variety
2680 papers tagged with this keyword
Rewriting Procedures Generalise to Kan Extensions of Actions of Categories
Kan extensions provide a natural general framework for a variety of combinatorial problems. We have developed rewriting procedures for Kan extensions (over the category of sets) and this enables one program to address a wide range of problems. Thus it is possible to use the same framework (and therefore program) to enumerate monoid or group (or category of groupoid) elements, to enumerate cosets or congruence classes on monoids, calculate equivariant equivalence relations, induced actions of groups, monoids or categories and even more. This extended abstract is an outline of "Using Rewriting Systems to Compute Kan Extensions and Induced Actions of Categories" by R. Brown and A. Heyworth.
On a generalization of property B
A set-theoretic property called Property S is introduced as a generalization of the well-known Property B. Property S is named for A.Schrijver who first used it to formulate an equivalent of the boolean prime ideal theorem. It was independently introduced by A. Kolany to give a uniform treatment for a variety of satisfiability problems who then used a generalized resolution method to determine satisfiability. Here we further investigate Property S and the resolution method.
The still-Life density problem and its generalizations
Published in Pages 228--253 of_Voronoi's Impact on Modern Science, Book I_ (P. Engel, H. Syta, eds.; Institute of Math., Kyiv 1998 = Vol.21 of Proc. Inst. Math. Nat. Acad. Sci. Ukraine)
• Search Publication
A "still Life" is a subset S of the square lattice Z^2 fixed under the transition rule of Conway's Game of Life, i.e. a subset satisfying the following three conditions:
1. No element of Z^2-S has exactly three neighbors in S;
2. Every element of S has at least two neighbors in S;
3. Every element of S has at most three neighbors in S.
Here a ``neighbor'' of any x \in Z^2 is one of the eight lattice points closest to x other than x itself. The "still-Life conjecture" is the assertion that a still Life cannot have density greater than 1/2 (a bound easily attained, for instance by {(x,y): x is even}). We prove this conjecture, showing that in fact condition 3 alone ensures that S has density at most 1/2. We then consider variations of the problem such as changing the number of allowed neighbors or the definition of neighborhoods; using a variety of methods we find some partial results and many new open problems and conjectures.
Some Speed-Ups and Speed Limits for Real Algebraic Geometry
Published
• View Publication
• BIB
We give new positive and negative results (some conditional) on speeding up computational algebraic geometry over the reals: (1) A new and sharper upper bound on the number of connected components of a semialgebraic set. Our bound is novel in that it is stated in terms of the volumes of certain polytopes and, for a large class of inputs, beats the best previous bounds by a factor exponential in the number of variables. (2) A new algorithm for approximating the real roots of certain sparse polynomial systems. Two features of our algorithm are (a) arithmetic complexity polylogarithmic in the degree of the underlying complex variety (as opposed to the super-linear dependence in earlier algorithms) and (b) a simple and efficient generalization to certain univariate exponential sums. (3) Detecting whether a real algebraic surface (given as the common zero set of some input straight-line programs) is not smooth can be done in polynomial time within the classical Turing model (resp. BSS model over C) only if P=NP (resp. NP<=BPP). The last result follows easily from an unpublished result of Steve Smale.
Equivariant Intersection Cohomology of Toric Varieties
Published
• View Publication
• BIB
We investigate the equivariant intersection cohomology of a toric variety. Considering the defining fan of the variety as a finite topological space with the subfans being the open sets (that corresponds to the "toric" topology given by the invariant open subsets), equivariant intersection cohomology provides a sheaf (of graded modules over a sheaf of graded rings) on that "fan space". We prove that this sheaf is a "minimal extension sheaf", i.e., that it satisfies three relatively simple axioms which are known to characterize such a sheaf up to isomorphism. In the verification of the second of these axioms, a key role is played by "equivariantly formal" toric varieties, where equivariant and "usual" (non-equivariant) intersection cohomology determine each other by Kunneth type formulae. Minimal extension sheaves can be constructed in a purely formal way and thus also exist for non-rational fans. As a consequence, we can extend the notion of an equivariantly formal fan even to this general setup. In this way, it will be possible to introduce "virtual" intersection cohomology for equivariantly formal non-rational fans.
Cohomology of a Hamiltonian T-space with involution
Published
• View Publication
• BIB
Let $M$ be a compact symplectic manifold on which a compact torus $T$ acts Hamiltonialy with a moment map $μ$. Suppose there exists a symplectic involution $θ:M\to M$, such that $μ\circθ=-μ$. Assuming that 0 is a regular value of $μ$, we calculate the trace of the action of $θ$ on the cohomology of $M$ in terms of the trace of the action of $θ$ on the symplectic reduction $μ^{-1}(0)/T$ of $M$. This result generalizes a theorem of R. Stanley, who considered the case when $M$ was a toric variety.
On the cohomology of discriminantal arrangements and Orlik-Solomon algebras
Published
• View Publication
• BIB
We relate the cohomology of the Orlik-Solomon algebra of a discriminantal arrangement to the local system cohomology of the complement. The Orlik-Solomon algebra of such an arrangement (viewed as a complex) is shown to be a linear approximation of a complex arising from the fundamental group of the complement, the cohomology of which is isomorphic to that of the complement with coefficients in an arbitrary complex rank one local system. We also establish the relationship between the cohomology support loci of the complement of a discriminantal arrangement and the resonant varieties of its Orlik-Solomon algebra.
Factorization of Kazhdan-Lusztig elements for Grassmanians
Published
• View Publication
• BIB
We show that the Kazhdan-Lusztig basis elements $C_w$ of the Hecke algebra of the symmetric group, when $w \in S_n$ corresponds to a Schubert subvariety of a Grassmann variety, can be written as a product of factors of the form $T_i+f_j(v)$, where $f_j$ are rational functions.
Multiplicities of Points on Schubert Varieties in Grassmannians
Published
• View Publication
• BIB
We obtain an explicit determinantal formula for the multiplicity of any point on a classical Schubert variety.
A Pieri-type formula for isotropic flag manifolds
Published in Trans. Amer. Math. Soc., 354 No. 7, (2002), 2659-2705
• View Publication
• BIB
We give the formula for multiplying a Schubert class on an odd orthogonal or symplectic flag manifold by a special Schubert class pulled back from a Grassmannian of maximal isotropic subspaces. This is also the formula for multiplying a type $B$ (respectively, type $C$) Schubert polynomial by the Schur $P$-polynomial $p_m$ (respectively, the Schur $Q$-polynomial $q_m$). Geometric constructions and intermediate results allow us to ultimately deduce this from formulas for the classical flag manifold. These intermediate results are concerned with the Bruhat order of the Coxeter group ${\mathcal B}_\infty$, identities of the structure constants for the Schubert basis of cohomology, and intersections of Schubert varieties. We show these identities follow from the Pieri-type formula, except some `hidden symmetries' of the structure constants. Our analysis leads to a new partial order on the Coxeter group ${\mathcal B}_\infty$ and formulas for many of these structure constants.
Recognizing Schubert cells
Published
• View Publication
• BIB
This paper focuses on the properties of Schubert cells as quasi-projective subvarieties of a generalized flag variety. More specifically, we investigate the problem of distinguishing between different Schubert cells using vanishing patterns of generalized Plucker coordinates.
Ground State Entropy of Potts Antiferromagnets on Homeomorphic Families of Strip Graphs
Published in Physica A259, 315 (1998)
• View Publication
• BIB
We present exact calculations of the zero-temperature partition function, and ground-state degeneracy (per site), $W$, for the $q$-state Potts antiferromagnet on a variety of homeomorphic families of planar strip graphs $G = (Ch)_{k_1,k_2,Σ,k,m}$, where $k_1$, $k_2$, $Σ$, and $k$ describe the homeomorphic structure, and $m$ denotes the length of the strip. Several different ways of taking the total number of vertices to infinity, by sending (i) $m \to \infty$ with $k_1$, $k_2$, and $k$ fixed; (ii) $k_1$ and/or $k_2 \to \infty$ with $m$, and $k$ fixed; and (iii) $k \to \infty$ with $m$ and $p=k_1+k_2$ fixed are studied and the respective loci of points ${\cal B}$ where $W$ is nonanalytic in the complex $q$ plane are determined. The ${\cal B}$'s for limit (i) are comprised of arcs which do not enclose regions in the $q$ plane and, for many values of $p$ and $k$, include support for $Re(q) < 0$. The ${\cal B}$ for limits (ii) and (iii) is the unit circle $|q-1|=1$.
Ring structure, uniform expressions and intersection homology
Although intersection homology lacks a ring structure, certain expressions (called uniform) in the intersection homology of an irreducible projective variety $X$ always give the same value, when computed via the decomposition theorem on any resolution $X_r\to X$. This paper uses uniform (and non-uniform) expressions to define what is believed to be the usual intersection homology (and its local-global variant) of a convex polytope (or a projective toric variety). Such expressions are generated by the facets, and so may lead to necessary numerical conditions on the flag vector. Most of the concepts, however, apply to more general algebraic varieties, and perhaps some other situations also.
Affine type A crystal structure on tensor products of rectangles, Demazure characters, and nilpotent varieties
Published
• View Publication
• BIB
Answering a question of Kuniba, Misra, Okado, Takagi, and Uchiyama, it is shown that certain Demazure characters of affine type A, coincide with the graded characters of coordinate rings of closures of conjugacy classes of nilpotent matrices. This entails a translation of the affine type A crystal theory into the language of tableaux following Nakayashiki and Yamada, for the case of tensor products of the classical crystals indexed by rectangular partitions. In particular the explicit action of the zero-th crystal raising operator on the above crystals is given, and its direct connection with the generalized cocyclage on Littlewood-Richardson tableaux is explained.
Skew-symmetric Vanishing Lattices and Intersections of Schubert Cells
We prove that the number of connected components in the intersection of two open opposite Schubert cells in the variety of complete real n-dimensional flags equals 3*2^{n-1} for n>5.
Double Bruhat cells and total positivity
Published
• View Publication
• BIB
We study intersections of opposite Bruhat cells in a semisimple complex Lie group, and associated totally nonnegative varieties.
On the Classification of Toric Fano 4-folds
Published
• View Publication
• BIB
In this paper we explain the complete biregular classification of all 4-dimensional smooth toric Fano varieties. The main result states that there exist exactly 123 different types of toric Fano 4-folds up to isomorphism.
Characteristic varieties of arrangements
Published in Mathematical Proceedings of the Cambridge Philosophical Society 127 (1999), no. 1, 33-53
• View Publication
• BIB
The k-th Fitting ideal of the Alexander invariant B of an arrangement A of n complex hyperplanes defines a characteristic subvariety, V_k(A), of the complex algebraic n-torus. In the combinatorially determined case where B decomposes as a direct sum of local Alexander invariants, we obtain a complete description of V_k(A). For any arrangement A, we show that the tangent cone at the identity of this variety coincides with R^1_k(A), one of the cohomology support loci of the Orlik-Solomon algebra. Using work of Arapura and Libgober, we conclude that all positive-dimensional components of V_k(A) are combinatorially determined, and that R^1_k(A) is the union of a subspace arrangement in C^n, thereby resolving a conjecture of Falk. We use these results to study the reflection arrangements associated to monomial groups.
Homotopy types of complements of 2-arrangements in R^4
Published in Topology 39 (2000), no. 1, 61-88
• View Publication
• BIB
We study the homotopy types of complements of arrangements of n transverse planes in R^4, obtaining a complete classification for n <= 6, and lower bounds for the number of homotopy types in general. Furthermore, we show that the homotopy type of a 2-arrangement in R^4 is not determined by the cohomology ring, thereby answering a question of Ziegler. The invariants that we use are derived from the characteristic varieties of the complement. The nature of these varieties illustrates the difference between real and complex arrangements.
Descent identities, Hessenberg varieties, and the Weil conjectures
Published
• View Publication
• BIB
The Weil Conjectures are applied to the Hessenberg Varieties to obtain interesting information about the combinatorics of descents in the symmetric group. Combining this with elementary linear algebra leads to elegant proofs of some identities from the theory of descents.