arXiv++ Combinatorics

Browse math.CO papers from arXiv

variety

2752 papers tagged with this keyword
2004-12-10 v4
Inhomogenous model of crossing loops and multidegrees of some algebraic varieties
Published • View Publication • BIB
We consider a quantum integrable inhomogeneous model based on the Brauer algebra B(1) and discuss the properties of its ground state eigenvector. In particular we derive various sum rules, and show how some of its entries are related to multidegrees of algebraic varieties.
2004-11-16 v5
Intersection cohomology of hypertoric varieties
Published in Journal of Algebraic Geometry 16 (2007), 39-63 • View Publication • BIB
A hypertoric variety is a quaternionic analogue of a toric variety. Just as the topology of toric varieties is closely related to the combinatorics of polytopes, the topology of hypertoric varieties interacts richly with the combinatorics of hyperplane arrangements and matroids. Using finite field methods, we obtain combinatorial descriptions of the Betti numbers of hypertoric varieties, both for ordinary cohomology in the smooth case and intersection cohomology in the singular case. We also introduce a conjectural ring structure on the intersection cohomology of a hypertoric variety.
2004-11-15
Desingularization of toric and binomial varieties
Published • View Publication • BIB
We give a combinatorial algorithm for equivariant embedded resolution of singularities of a toric variety defined over a perfect field. The algorithm is realized by a finite succession of blowings-up with smooth invariant centres that satisfy the normal flatness criterion of Hironaka. The results extend to more general varieties defined locally by binomial equations.
2004-11-11
Matroid polytopes, nested sets and Bergman fans
The tropical variety defined by linear equations with constant coefficients is the Bergman fan of the corresponding matroid. Building on a self-contained introduction to matroid polytopes, we present a geometric construction of the Bergman fan, and we discuss its relationship with the simplicial complex of nested sets in the lattice of flats. The Bergman complex is triangulated by the nested set complex, and the two complexes coincide if and only if every connected flat remains connected after contracting along any subflat. This sharpens a result of Ardila-Klivans who showed that the Bergman complex is triangulated by the order complex of the lattice of flats. The nested sets specify the De Concini-Procesi compactification of the complement of a hyperplane arrangement, while the Bergman fan specifies the tropical compactification. These two compactifications are almost equal, and we highlight the subtle differences.
2004-11-06
On Ideal Generators for Affine Schubert Varieties
We consider a certain class of Schubert varieties of the affine Grassmannian of type A. By embedding a Schubert variety into a finite-dimensional Grassmannian, we construct an explicit basis of sections of the basic line bundle by restricting certain Plücker co-ordinates. As a consequence, we write an explicit set of generators for the degree-one part of the ideal of the finite-dimensional embedding. This in turn gives a set of generators for the degree-one part of the ideal defining the affine Grassmannian inside the infinite Grassmannian which we conjecture to be a complete set of ideal generators. We apply our results to the orbit closures of nilpotent matrices. We describe (in a characteristic-free way) a filtration for the coordinate ring of a nilpotent orbit closure and state a conjecture on the SL(n)-module structures of the constituents of this filtration.
2004-11-03 v3
The number of vertices of a Fano polytope
Published • View Publication • BIB
Let X be a complex, Gorenstein, Q-factorial, toric Fano variety. We prove two conjectures on the maximal Picard number of X in terms of its dimension and its pseudo-index, and characterize the boundary cases. Equivalently, we determine the maximal number of vertices of a simplicial reflexive polytope.
2004-10-31 v2
On the frontiers of polynomial computations in tropical geometry
Published • View Publication • BIB
We study some basic algorithmic problems concerning the intersection of tropical hypersurfaces in general dimension: deciding whether this intersection is nonempty, whether it is a tropical variety, and whether it is connected, as well as counting the number of connected components. We characterize the borderline between tractable and hard computations by proving $\mathcal{NP}$-hardness and #$\mathcal{P}$-hardness results under various strong restrictions of the input data, as well as providing polynomial time algorithms for various other restrictions.
2004-10-28
Codimension one decompositions and Chow varieties
Published • View Publication • BIB
A presentation of a degree $d$ form in $n+1$ variables as the sum of homogenous elements ``essentially'' involving $n$ variables is called a {\em codimension one decomposition}. Codimension one decompositions are introduced and the related Waring Problem is stated and solved. Natural schemes describing the codimension one decompositions of a generic form are defined. Dimension and degree formulae for these schemes are derived when the number of summands is the minimal one; in the zero dimensional case the scheme is showed to be reduced. These results are obtained by studying the Chow variety $Δ_{n,s}$ of zero dimensional degree $s$ cycles in $\PP^n$. In particular, an explicit formula for $\degΔ_{n,s}$ is determined.
2004-09-27 v2
Lower Bounds for Real Solutions to Sparse Polynomial Systems
Published in Advances in Mathematics, Volume 204, Issue 1, 1 August 2006, 116--151. • View Publication • BIB
We show how to construct sparse polynomial systems that have non-trivial lower bounds on their numbers of real solutions. These are unmixed systems associated to certain polytopes. For the order polytope of a poset P this lower bound is the sign-imbalance of P and it holds if all maximal chains of P have length of the same parity. This theory also gives lower bounds in the real Schubert calculus through sagbi degeneration of the Grassmannian to a toric variety, and thus recovers a result of Eremenko and Gabrielov.
2004-09-25 v2
When is a Schubert variety Gorenstein?
Published in Advances in Math., Vol 207 (2006), Issue 1 205--220 • View Publication • BIB
A (normal) variety is Gorenstein if it is Cohen-Macualay and its canonical sheaf is a line bundle. This property, which measures the ``pathology'' of the singularities of a variety, is thus stronger than Cohen-Macualayness, but is also weaker than smoothness. We determine which Schubert varieties are Gorenstein in terms of a combinatorial characterization using generalized pattern avoidance conditions. We also give an explicit description as a line bundle of the canonical sheaf of a Gorenstein Schubert variety.
2004-09-21
Schubert Varieties, Linear Codes and Enumerative Combinatorics
Published in Finite Fields and their Applications, Vol. 11, No. 4 (2005), pp. 684-699. • View Publication • BIB
We consider linear error correcting codes associated to higher dimensional projective varieties defined over a finite field. The problem of determining the basic parameters of such codes often leads to some interesting and difficult questions in combinatorics and algebraic geometry. This is illustrated by codes associated to Schubert varieties in Grassmannians, called Schubert codes, which have recently been studied. The basic parameters such as the length, dimension and minimum distance of these codes are known only in special cases. An upper bound for the minimum distance is known and it is conjectured that this bound is achieved. We give explicit formulae for the length and dimension of arbitrary Schubert codes and prove the minimum distance conjecture in the affirmative for codes associated to Schubert divisors.
2004-09-20 v3
Hilbert functions of points on Schubert varieties in the Symplectic Grassmannian
Published in Transactions of the American Mathematical Society, Vol. 358, No. 12 (2006), pp. 5401-5423 • View Publication • BIB
We give an explicit combinatorial description of the multiplicity as well as the Hilbert function of the tangent cone at any point on a Schubert variety in the symplectic Grassmannian.
2004-07-28
Complete toric varieties with reductive automorphism group
Published in Math. Z. 252 (2006), 767-786 • View Publication • BIB
We give equivalent and sufficient criteria for the automorphism group of a complete toric variety, respectively a Gorenstein toric Fano variety, to be reductive. In particular we show that the automorphism group of a Gorenstein toric Fano variety is reductive, if the barycenter of the associated reflexive polytope is zero. Furthermore a sharp bound on the dimension of the reductive automorphism group of a complete toric variety is proven by studying the set of Demazure roots.
2004-07-23 v5
A Pieri-type formula for the K-theory of a flag manifold
Published in Trans. Amer. Math. Soc. 359 (2007), 2317--2342. • View Publication • BIB
We derive explicit Pieri-type multiplication formulas in the Grothendieck ring of a flag variety. These expand the product of an arbitrary Schubert class and a special Schubert class in the basis of Schubert classes. These special Schubert classes are indexed by a cycle which has either the form (k-p+1,k-p+2,...,k+1) or the form (k+p,k+p-1,...,k), and are pulled back from a Grassmannian projection. Our formulas are in terms of certain labeled chains in the k-Bruhat order on the symmetric group and are combinatorial in that they involve no cancellations. We also show that the multiplicities in the Pieri formula are naturally certain binomial coefficients.
2004-07-09
Catalan numbers and Schubert polynomials for $w=1(n+1)... 2$
We show that the Schubert polynomial S_w specializes to the Catalan number C_n when $w=1(n+1)...2$. Several proofs of this result as well as a q-analog are given. An application to the singularities of Schubert varieties is given.
2004-06-26 v3
Linear conditions imposed on flag varieties
Published • View Publication • BIB
We study subvarieties of the flag variety called Hessenberg varieties, defined by certain linear conditions. These subvarieties arise naturally in applications including geometric representation theory, number theory, and numerical analysis. We describe completely the homology of Hessenberg varieties over GL_n(C) and show that they have no odd-dimensional homology. We provide an explicit geometric construction which partitions each Hessenberg variety into pieces homeomorphic to affine space. We characterize these affine pieces by fillings of Young tableaux and show that the dimension of the affine piece can be computed by combinatorial rules generalizing the Eulerian numbers. We give an equivalent formulation of this result in terms of roots. We conclude with a section on open questions.
2004-06-14 v2
Combinatorial construction of toric residues
Published in Ann. Inst. Fourier (Grenoble) 55, no. 2 (2005), 511--548 • View Publication • BIB
The toric residue is a map depending on n+1 semi-ample divisors on a complete toric variety of dimension n. It appears in a variety of contexts such as sparse polynomial systems, mirror symmetry, and GKZ hypergeometric functions. In this paper we investigate the problem of finding an explicit element whose toric residue is equal to one. Such an element is shown to exist if and only if the associated polytopes are essential. We reduce the problem to finding a collection of partitions of the lattice points in the polytopes satisfying a certain combinatorial property. We use this description to solve the problem when n=2 and for any n when the polytopes of the divisors share a complete flag of faces. The latter generalizes earlier results when the divisors were all ample.
The Positive Bergman Complex of an Oriented Matroid
Published • View Publication • BIB
We study the positive Bergman complex B+(M) of an oriented matroid M, which is a certain subcomplex of the Bergman complex B(M) of the underlying unoriented matroid. The positive Bergman complex is defined so that given a linear ideal I with associated oriented matroid M_I, the positive tropical variety associated to I is equal to the fan over B+(M_I). Our main result is that a certain "fine" subdivision of B+(M) is a geometric realization of the order complex of the proper part of the Las Vergnas face lattice of M. It follows that B+(M) is homeomorphic to a sphere. For the oriented matroid of the complete graph K_n, we show that the face poset of the "coarse" subdivision of B+(K_n) is dual to the face poset of the associahedron A_{n-2}, and we give a formula for the number of fine cells within a coarse cell.
2004-06-01
Asymptotics of multivariate sequences, II: multiple points of the singular variety
Published • View Publication • BIB
We consider a multivariate generating function F(z), whose coefficients are indexed by d-tuples of nonnegative integers: F(z) = sum_r a_r z^r where z^r denotes the product of z_j^{r_j} over j = 1, ..., d. Suppose that F(z) is meromorphic in some neighborhood of the origin in complex d-space. Let V be the set where the denominator of F vanishes. Effective asymptotic expansions for the coefficients can be obtained by complex contour integration near points of V. In the first article in this series, we treated the case of smooth points of V. In this article we deal with multiple points of V. Our results show that the central limit (Ornstein-Zernike) behavior typical of the smooth case does not hold in the multiple point case. For example, when V has a multiple point singularity at the point (1, ..., 1), rather than a_r decaying on the order of |r|^{-1/2} as |r| goes to infinity, a_r is a polynomial plus a rapidly decaying term.
2004-05-24
Gorenstein toric Fano varieties
Published in Manuscripta Math. 116 (2005), 183-210 • View Publication • BIB
We investigate Gorenstein toric Fano varieties by combinatorial methods using the notion of a reflexive polytope which appeared in connection to mirror symmetry. The paper contains generalisations of tools and previously known results for nonsingular toric Fano varieties. As applications we obtain new classification results, bounds of invariants and formulate conjectures concerning combinatorial and geometrical properties of reflexive polytopes.