variety
2752 papers tagged with this keyword
Matching polytopes, toric geometry, and the non-negative part of the Grassmannian
Published
• View Publication
• BIB
In this paper we use toric geometry to investigate the topology of the totally non-negative part of the Grassmannian (Gr_{kn})_{\geq 0}. This is a cell complex whose cells Delta_G can be parameterized in terms of the combinatorics of plane-bipartite graphs G. To each cell Delta_G we associate a certain polytope P(G). The polytopes P(G) are analogous to the well-known Birkhoff polytopes, and we describe their face lattices in terms of matchings and unions of matchings of G. We also demonstrate a close connection between the polytopes P(G) and matroid polytopes. We then use the data of P(G) to define an associated toric variety X_G. We use our technology to prove that the cell decomposition of (Gr_{kn})_{\geq 0} is a CW complex, and furthermore, that the Euler characteristic of the closure of each cell of (Gr_{kn})_{\geq 0} is 1.
Tropical Implicitization and Mixed Fiber Polytopes
Published in Software for algebraic geometry, 111--131, IMA Vol. Math. Appl., 148, Springer, New York, 2008
• View Publication
• BIB
The software TrIm offers implementations of tropical implicitization and tropical elimination, as developed by Tevelev and the authors. Given a polynomial map with generic coefficients, TrIm computes the tropical variety of the image. When the image is a hypersurface, the output is the Newton polytope of the defining polynomial. TrIm can thus be used to compute mixed fiber polytopes, including secondary polytopes.
Permutation actions on equivariant cohomology
Published
• View Publication
• BIB
This survey paper describes two geometric representations of the permutation group using the tools of toric topology. These actions are extremely useful for computational problems in Schubert calculus. The (torus) equivariant cohomology of the flag variety is constructed using the combinatorial description of Goresky-Kottwitz-MacPherson, discussed in detail. Two permutation representations on equivariant and ordinary cohomology are identified in terms of irreducible representations of the permutation group. We show how to use the permutation actions to construct divided difference operators and to give formulas for some localizations of certain equivariant classes.
This paper includes several new results, in particular a new proof of the Chevalley-Monk formula and a proof that one of the natural permutation representations on the equivariant cohomology of the flag variety is the regular representation. Many examples, exercises, and open questions are provided.
A survey of hypertoric geometry and topology
Published
• View Publication
• BIB
Hypertoric varieties are quaternionic analogues of toric varieties, important for their interaction with the combinatorics of matroids as well as for their prominent place in the rapidly expanding field of algebraic symplectic and hyperkahler geometry. The aim of this survey is to give clear definitions and statements of known results, serving both as a reference and as a point of entry to this beautiful subject.
Orthogonal arrays from Hermitian varieties
Published in Innovations in Incidence Geometry 5: 129-144 (2007)
• View Publication
• BIB
An orthogonal array OA(q^{2n-1},q^{2n-2}, q,2) is constructed from the action of a subset of PGL(n+1,q^2) on some non--degenerate Hermitian varieties in PG(n,q^2). It is also shown that the rows of this orthogonal array correspond to some blocks of an affine design, which for q> 2 is a non--classical model of the affine space AG(2n-1,q).
Dimension and enumeration of primitive ideals in quantum algebras
Published
• View Publication
• BIB
In this paper, we study the primitive ideals of quantum algebras supporting a rational torus action. We first prove a quantum analogue of a Theorem of Dixmier; namely, we show that the Gelfand-Kirillov dimension of primitive factors of various quantum algebras is always even. Next we give a combinatorial criterion for a prime ideal that is invariant under the torus action to be primitive. We use this criterion to obtain a formula for the number of primitive ideals in the algebra of $2\times n$ quantum matrices that are invariant under the action of the torus. Roughly speaking, this can be thought of as giving an enumeration of the points that are invariant under the induced action of the torus in the ``variety of $2\times n$ quantum matrices''.
On Automorphism Groups of Networks
Published in Discrete Appl. Math. 156 (2008), no. 18, 3525-3531.
• View Publication
• BIB
We consider the size and structure of the automorphism groups of a variety of empirical `real-world' networks and find that, in contrast to classical random graph models, many real-world networks are richly symmetric. We relate automorphism group structure to network topology and discuss generic forms of symmetry and their origin in real-world networks.
A jeu de taquin theory for increasing tableaux, with applications to K-theoretic Schubert calculus
Published in Algebra Number Theory 3 (2009), no. 2, 121--148.
• View Publication
• BIB
We introduce a theory of jeu de taquin for increasing tableaux, extending fundamental work of [Schützenberger '77] for standard Young tableaux. We apply this to give a new combinatorial rule for the K-theory Schubert calculus of Grassmannians via K-theoretic jeu de taquin, providing an alternative to the rules of [Buch '02] and others. This rule naturally generalizes to give a conjectural root-system uniform rule for any minuscule flag variety G/P, extending [Thomas-Yong '06]. We also present analogues of results of Fomin, Haiman, Schensted and Schützenberger.
Quantum cohomology of G/P and homology of affine Grassmannian
Published
• View Publication
• BIB
Let G be a simple and simply-connected complex algebraic group, P \subset G a parabolic subgroup. We prove an unpublished result of D. Peterson which states that the quantum cohomology QH^*(G/P) of a flag variety is, up to localization, a quotient of the homology H_*(Gr_G) of the affine Grassmannian \Gr_G of G. As a consequence, all three-point genus zero Gromov-Witten invariants of $G/P$ are identified with homology Schubert structure constants of H_*(Gr_G), establishing the equivalence of the quantum and homology affine Schubert calculi.
For the case G = B, we use the Mihalcea's equivariant quantum Chevalley formula for QH^*(G/B), together with relationships between the quantum Bruhat graph of Brenti, Fomin and Postnikov and the Bruhat order on the affine Weyl group. As byproducts we obtain formulae for affine Schubert homology classes in terms of quantum Schubert polynomials. We give some applications in quantum cohomology.
Our main results extend to the torus-equivariant setting.
Domino Tiling Congruence Modulo 4
Published
• View Publication
• BIB
The number of domino tilings of a region with reflective symmetry across a line is combinatorially shown to depend on the number of domino tilings of particular subregions, modulo 4. This expands upon previous congruency results for domino tilings, modulo 2, and leads to a variety of corollaries, including that the number of domino tilings of a k x 2k rectangle is congruent to 1 mod 4.
Bruhat order for two subspaces and a flag
The classical Ehresmann-Bruhat order describes the possible degenerations of a pair of flags in a finite-dimensional vector space V; or, equivalently, the closure of an orbit of the group GL(V) acting on the direct product of two full flag varieties.
We obtain a similar result for triples consisting of two subspaces and a partial flag in V; this is equivalent to describing the closure of a GL(V)-orbit in the product of two Grassmannians and one flag variety. We give a rank criterion to check whether such a triple can be degenerated to another one, and we classify the minimal degenerations. Our methods involve only elementary linear algebra and combinatorics of graphs (originating in Auslander-Reiten quivers).
Moduli spaces of rational tropical curves
This note is devoted to the definition of moduli spaces of rational tropical curves with n marked points. We show that this space has a structure of a smooth tropical variety of dimension n-3. We define the Deligne-Mumford compactification of this space and tropical $ψ$-class divisors.
Gorenstein locus of minuscule Schubert varieties
Published
• View Publication
• BIB
In this article, we describe explicitely the Gorenstein locus of all minuscule Schubert varieties. This proves a special case of a conjecture of A. Woo and A. Yong (see math.AG/0603273) on the Gorenstein locus of Schubert varieties.
Hilbert functions of points on Schubert varieties in Orthogonal Grassmannians
Published
• View Publication
• BIB
A solution is given to the following problem: how to compute the multiplicity, or more generally the Hilbert function, at a point on a Schubert variety in an orthogonal Grassmannian. Standard monomial theory is applied to translate the problem from geometry to combinatorics. The solution of the resulting combinatorial problem forms the bulk of the paper. This approach has been followed earlier to solve the same problem for the Grassmannian and the symplectic Grassmannian.
As an application, we present an interpretation of the multiplicity as the number of non-intersecting lattice paths of a certain kind.
Taking the Schubert variety to be of a special kind and the point to be the "identity coset," our problem specializes to a problem about Pfaffian ideals treatments of which by different methods exist in the literature. Also available in the literature is a geometric solution when the point is a "generic singularity."
Piecewise polynomials, Minkowski weights, and localization on toric varieties
Published in Algebra Number Theory 2 (2008), no. 2, 135--155.
• View Publication
• BIB
We use localization to describe the restriction map from equivariant Chow cohomology to ordinary Chow cohomology for complete toric varieties in terms of piecewise polynomial functions and Minkowski weights. We compute examples showing that this map is not surjective in general, and that its kernel is not always generated in degree one. We prove a localization formula for mixed volumes of lattice polytopes and, more generally, a Bott residue formula for toric vector bundles.
Excited Young diagrams and equivariant Schubert calculus
Published
• View Publication
• BIB
We describe the torus-equivariant cohomology ring of isotropic Grassmannians by using a localization map to the torus fixed points. We present two types of formulas for equivariant Schubert classes of these homogeneous spaces. The first formula involves combinatorial objects which we call ``excited Young diagrams'' and the second one is written in terms of factorial Schur $Q$- or $P$-functions. As an application, we give a Giambelli-type formula for the equivariant Schubert classes. We also give combinatorial and Pfaffian formulas for the multiplicity of a singular point in a Schubert variety.
Tropicalization of group representations
Published in Algebr. Geom. Topol. 8 (2008) 279-307
• View Publication
• BIB
In this paper we give an interpretation to the boundary points of the compactification of the parameter space of convex projective structures on an n-manifold M. These spaces are closed semi-algebraic subsets of the variety of characters of representations of the fundamental group of M in SL_{n+1}(R). The boundary was constructed as the tropicalization of this semi-algebraic set. Here we show that the geometric interpretation for the points of the boundary can be constructed searching for a tropical analogue to an action of the group on a projective space. To do this we need to construct a tropical projective space with many invertible projective maps. We achieve this using a generalization of the Bruhat-Tits buildings for SL_{n+1} to non-archimedean fields with real surjective valuation. In the case n = 1 these objects are the real trees used by Morgan and Shalen to describe the boundary points for the Teichmuller spaces. In the general case they are contractible metric spaces with a structure of tropical projective spaces.
Combinatorial aspects of mirror symmetry
Published in Contemporary Mathematics 452 (2008), 35-66
• View Publication
• BIB
The purpose of this paper is to review some combinatorial ideas behind the mirror symmetry for Calabi-Yau hypersurfaces and complete intersections in Gorenstein toric Fano varieties. We suggest as a basic combinatorial object the notion of a Gorenstein polytope of index r. A natural combinatorial duality for d-dimensional Gorenstein polytopes of index r extends the well-known polar duality for reflexive polytopes (case r=1). We consider the Borisov duality between two nef-partitions as a duality between two Gorenstein polytopes P and P^* of index r together with selected special (r-1)-dimensional simplices S in P and S' in P^*. Different choices of these simplices suggest an interesting relation to Homological Mirror Symmetry.
B-orbits of nilpotent order 2 and link patterns
Published
• View Publication
• BIB
In this paper we describe geometry of orbits of upper triangular matrices of nilpotent order 2 under conjugation by the group of upper triangular invertible matrices in terms of link patterns. Further we apply this description to the computations of the closures of orbital varieties of nilpotent order 2 and intersections of components of a Springer fiber of nilpotent order 2. In particular we connect our results to the combinatorics of meanders and Temperley-Lieb algebras.
Multiplier ideals of sums via cellular resolutions
Published
• View Publication
• BIB
Fix nonzero ideal sheaves a_1,...,a_r on a normal Q-Gorenstein complex variety X. Fix any positive real number c, and consider the multiplier ideal J of the sum a_1+...+a_r with weighting coefficient c. We construct an exact sequence resolving J by sheaves over X that are direct sums of multiplier ideals for products a_1^{v_1}...a_r^{v_r} for various real vectors v such that v_1+...+v_r = c. The resolution is cellular, in the sense that its boundary maps are encoded by the algebraic chain complex of a regular CW-complex. The CW-complex is naturally expressed as a triangulation T of the simplex of nonnegative real vectors summing to c. The acyclicity of our resolution reduces to that of a cellular free resolution, supported on T, of a related monomial ideal. This acyclicity rests on a comparison between the homology of certain homology-manifolds-with-boundary and the homology of the simplicial complexes obtained by deleting collections of boundary faces from them. Our resolution implies the multiplier ideal sum formula J((a_1+...+a_r)^c) = \sum_{|v|=c} J(a_1^{v_1}...a_r^{v_r}), which implicitly follows from Takagi's proof of the two-summand formula (math.AG/0410612). We recover Howald's multiplier ideal formula for monomial ideals (math.AG/0003232) as a special case. Our resolution also yields a new exactness proof for the Skoda complex.