variety
2752 papers tagged with this keyword
On Orbital variety closures in sl_n. III Geometric properties
Published in Journal of Algebra, 305, 2006, pp. 68-97
• View Publication
• BIB
This is the third paper in the series. Here we define a few combinatorial orders on Young tableaux. The first order is obtained from induced Duflo order by the extension with the help of Vogan T_{α, β} procedure. We call it Duflo-Vogan order. The second order is obtained from the generalization of Spaltenstein's construction by consideration of an orbital variety as a double chain of nilpotent orbits. We call it the chain order. Again, we use Vogan's T_{α, β} procedure, however, this time to restrict the chain order. We call it Vogan-chain order. The order on Young tableaux defined by the inclusion of orbital variety closures is called a geometric order and the order on Young tableaux defined by inverse inclusion of primitive ideals is called an algebraic order.
We get the following relations between the orders: Duflo-Vogan order is an extension of the induced Duflo order; the algebraic order is an extension of Duflo-Vogan order; the geometric order is an extension of the algebraic order; Vogan-chain order is an extension of the geometric order; and, finally, the chain order is an extension of Vogan-chain order. The computationsshow that Duflo-Vogan and Vogan-chain orders coincide on sl_n for n<10 and in n=10 there is one case (up to T_{α,β} procedure and transposition) where Vogan-chain order is a proper extension of Duflo-Vogan order. In this only case the algebraic order coincides with Vogan-chain order. These computations permit us to conjecture that in sl_n the algebraic order coincides with the geometric order. As well we conjecture that the combinatorics of both the inclusions on primitive ideals and on orbital variety closures is defined by Vogan-chain order on Young tableaux.
Hyperplane arrangements and Lefschetz's hyperplane section theorem
Published in Kodai Math. Journal 30 no. 2 (2007) 157--194.
• View Publication
• BIB
The Lefschetz hyperplane section theorem asserts that an affine variety is homotopy equivalent to a space obtained from its generic hyperplane section by attaching some cells. The purpose of this paper is to describe attaching maps of these cells for the complement of a complex hyperplane arrangement defined over real numbers. The cells and attaching maps are described in combinatorial terms of chambers. We also discuss the cellular chain complex with coefficients in a local system and a presentation for the fundamental group associated to the minimal CW-decomposition for the complement.
A Relative Laplacian spectral recursion
Published
• View Publication
• BIB
The Laplacian spectral recursion, satisfied by matroid complexes and shifted complexes, expresses the eigenvalues of the combinatorial Laplacian of a simplicial complex in terms of its deletion and contraction with respect to vertex e, and the relative simplicial pair of the deletion modulo the contraction. We generalize this recursion to relative simplicial pairs, which we interpret as intervals in the Boolean algebra. The deletion modulo contraction term is replaced by the result of removing from the interval all pairs of faces in the interval that differ only by vertex e.
We show that shifted pairs and some matroid pairs satisfy this recursion. We also show that the class of intervals satisfying this recursion is closed under a wide variety of operations, including duality and taking skeleta.
A remark on a theorem of M. Haiman
We deduce a special case of a theorem of M. Haiman concerning alternating polynomials in 2n variables from our results about almost commuting variety, obtained earlier in a joint work with W.-L. Gan.
Combinatorial secant varieties
Published
• View Publication
• BIB
The construction of joins and secant varieties is studied in the combinatorial context of monomial ideals. For ideals generated by quadratic monomials, the generators of the secant ideals are obstructions to graph colorings, and this leads to a commutative algebra version of the Strong Perfect Graph Theorem. Given any projective variety and any term order, we explore whether the initial ideal of the secant ideal coincides with the secant ideal of the initial ideal. For toric varieties, this leads to the notion of delightful triangulations of convex polytopes.
Resonance varieties, admissible line combinatorics and combinatorial pencils
In this paper we define the combinatorial analogous of a pencil, and show its relationship with the concept of admissibility. Such an object is usefull to study the isomorphisms between fundamental groups of the complements of line arrangement with the same combinatorial type. This definition generalizes the idea of net given by Yuzvinsky and others. The main theorem in this paper states that there is a correspondence between components of the resonance variety and combinatorial pencils.
Ehrhart polynomials and stringy Betti numbers
Published in Math. Ann. 333 (2005), no. 4, 787--795.
• Search Publication
We study the connection between stringy Betti numbers of Gorenstein toric varieties and the generating functions of the Ehrhart polynomials of certain polyhedral regions. We use this point of view to give counterexamples to Hibi's conjecture on the unimodality of delta-vectors of reflexive polytopes.
On some noncommutative algebras related to K-theory of flag varieties, part I
For any Lie algebra of classical type or type $G_2$ we define a $K$-theoretic analog of Dunkl's elements, the so-called truncated {\it Ruijsenaars-Schneider-Macdonald elements}, $RSM$-elements for short, in the corresponding {\it Yang-Baxter group}, which form a commuting family of elements in the latter. For the root systems of type $A$ we prove that the subalgebra of the {\it bracket algebra} generated by the RSM-elements is isomorphic to the Grothendieck ring of the flag variety. In general, we prove that the subalgebra generated by the {\it images} of the RSM-elements in the corresponding {\it Nichols-Woronowicz algebra} is canonically isomorphic to the Grothendieck ring of the corresponding flag varieties of classical type or of type $G_2$. In other words, we construct the ``Nichols-Woronowicz algebra model'' for the Grothendieck Calculus on Weyl groups of classical type or type $G_2,$ providing a partial generalization of some recent results by Y. Bazlov. We also give a conjectural description (theorem for type $A$) of a commutative subalgebra generated by the {\it truncated RSM-elements} in the bracket algebra for the classical root systems. Our results provide a proof and generalizations of recent conjecture and result by C. Lenart and A. Yong for the root system of type $A$.
Resolutions for Equivariant Sheaves over Toric Varieties
In this work we construct global resolutions for general coherent equivariant sheaves over toric varieties. For this, we use the framework of sheaves over posets. We develop a notion of gluing of posets and of sheaves over posets, which we apply to construct global resolutions for equivariant sheaves. Our constructions give a natural correspondence between resolutions for reflexive equivariant sheaves and free resolutions of vector space arrangements.
A scheme related to the Brauer loop model
Published in Advances in Mathematics, Volume 214, Issue 1, 10 September 2007, Pages 40-77
• View Publication
• BIB
We introduce the_Brauer loop scheme_ E := {M in M_N(C) : M\cp M = 0}, where \cp is a certain degeneration of the ordinary matrix product. Its components of top dimension, floor(N^2/2), correspond to involutions πin S_N having one or no fixed points. In the case N even, this scheme contains the upper-upper scheme from [Knutson '04] as a union of (N/2)! of its components. One of those is a degeneration of the_commuting variety_ of pairs of commuting matrices.
The_Brauer loop model_ is a quantum integrable stochastic process introduced in [de Gier--Nienhuis '04], and some of the entries of its Perron-Frobenius eigenvector were observed (conjecturally) to match the degrees of the components of the upper-upper scheme. We extend this, with proof, to_all_ the entries: they are the degrees of the components of the Brauer loop scheme.
Our proof of this follows the program outlined in [Di Francesco--Zinn-Justin '04]. In that paper, the entries of the Perron-Frobenius eigenvector were generalized from numbers to polynomials, which allowed them to be calculated inductively using divided difference operators. We relate these polynomials to the multidegrees of the components of the Brauer loop scheme, defined using an evident torus action on E. In particular, we obtain a formula for the degree of the commuting variety, previously calculated up to 4x4 matrices.
Schubert Unions in Grassmann Varieties
Published
• View Publication
• BIB
We study subsets of Grassmann varieties G(l,m) over a field F, such that these subsets are unions of Schubert cycles, with respect to a fixed flag. We study the linear spans of, and in case of positive characteristic, the number of points on such unions over finite fields. Moreover we study a geometric duality of such unions, and give a combinatorial interpretation of this duality. We discuss the maximum number of points over a finite field for the Schubert unions of a given spanning dimension, and we give some applications to coding theory. We define Schubert union codes, and study the parameters and support weights of these codes and of the well-known Grassmann codes.
Rigidity theory for matroids
Published in Comment. Math. Helv. 82 (2007), 197-233
• View Publication
• BIB
Combinatorial rigidity theory seeks to describe the rigidity or flexibility of bar-joint frameworks in R^d in terms of the structure of the underlying graph G. The goal of this article is to broaden the foundations of combinatorial rigidity theory by replacing G with an arbitrary representable matroid M. The ideas of rigidity independence and parallel independence, as well as Laman's and Recski's combinatorial characterizations of 2-dimensional rigidity for graphs, can naturally be extended to this winder setting. As we explain, many of these fundamental concepts really depend only on the matroid associated with G (or its Tutte polynomial) and have little to do with the special nature of graphic matroids or the field R.
Our main result is a "nesting theorem" relating the various kinds of independence. Immediate corollaries include generalizations of Laman's Theorem, as well as the equality of 2-rigidity and 2-parallel independence. A key tool in our study is the space of photos of M, a natural algebraic variety whose irreducibility is closely related to the notions of rigidity independence and parallel independence.
The number of points on this variety, when working over a finite field, turns out to be an interesting Tutte polynomial evaluation.
Intersections of Schubert varieties and other permutation array schemes
Published
• View Publication
• BIB
Using a blend of combinatorics and geometry, we give an algorithm for algebraically finding all flags in any zero-dimensional intersection of Schubert varieties with respect to three transverse flags, and more generally, any number of flags. In particular, the number of flags in a triple intersection is also a structure constant for the cohomology ring of the flag manifold. Our algorithm is based on solving a limited number of determinantal equations for each intersection (far fewer than the naive approach). These equations may be used to compute Galois and monodromy groups of intersections of Schubert varieties. We are able to limit the number of equations by using the permutation arrays of Eriksson and Linusson, and their permutation array varieties, introduced as generalizations of Schubert varieties. We show that there exists a unique permutation array corresponding to each realizable Schubert problem and give a simple recurrence to compute the corresponding rank table, giving in particular a simple criterion for a Littlewood-Richardson coefficient to be 0. We describe pathologies of Eriksson and Linusson's permutation array varieties (failure of existence, irreducibility, equidimensionality, and reducedness of equations), and define the more natural permutation array schemes. In particular, we give several counterexamples to the Realizability Conjecture based on classical projective geometry. Finally, we give examples where Galois/monodromy groups experimentally appear to be smaller than expected.
Resonance, linear syzygies, Chen groups, and the Bernstein-Gelfand-Gelfand correspondence
Published in Trans. Amer. Math. Soc. 358 (2006), no. 5, 2269-2289
• View Publication
• BIB
If \A is a complex hyperplane arrangement, with complement X, we show that the Chen ranks of G=π_1(X) are equal to the graded Betti numbers of the linear strand in a minimal, free resolution of the cohomology ring A=H^*(X,\k), viewed as a module over the exterior algebra E on \A: θ_k(G) = \dim_\k Tor^E_{k-1}(A,\k)_k, where \k is a field of characteristic 0, and k\ge 2. The Chen ranks conjecture asserts that, for k sufficiently large, θ_k(G) =(k-1) \sum_{r\ge 1} h_r \binom{r+k-1}{k}, where h_r is the number of r-dimensional components of the projective resonance variety R^1(\A). Our earlier work on the resolution of A over E and the above equality yield a proof of the conjecture for graphic arrangements. Using results on the geometry of R^1(\A) and a localization argument, we establish the conjectured lower bound for the Chen ranks of an arbitrary arrangement \A. Finally, we show that there is a polynomial P(t) of degree equal to the dimension of R^1(\A), such that θ_k(G) = P(k), for k sufficiently large.
Chains in the Bruhat order
Published
• View Publication
• BIB
We study a family of polynomials whose values express degrees of Schubert varieties in the generalized complex flag manifold G/B. The polynomials are given by weighted sums over saturated chains in the Bruhat order. We derive several explicit formulas for these polynomials, and investigate their relations with Schubert polynomials, harmonic polynomials, Demazure characters, and generalized Littlewood-Richardson coefficients. In the second half of the paper, we concern with the case of to the classical flag manifold of Lie type A and discuss related combinatorial objects: flagged Schur polynomials, 312-avoiding permutations, generalized Gelfand-Tsetlin polytopes, the inverse Schubert-Kostka matrix, parking functions, and binary trees.
Gröbner geometry of vertex decompositions and of flagged tableaux
Published in J. Reine Angew. Math. 630 (2009), 1--31
• View Publication
• BIB
We relate a classic algebro-geometric degeneration technique, dating at least to [Hodge 1941], to the notion of vertex decompositions of simplicial complexes. The good case is when the degeneration is reduced, and we call this a "geometric vertex decomposition".
Our main example in this paper is the family of vexillary matrix Schubert varieties, whose ideals are also known as (one-sided) ladder determinantal ideals. Using a diagonal term order to specify the (Gröbner) degeneration, we show that these have geometric vertex decompositions into simpler varieties of the same type. From this, together with the combinatorics of the pipe dreams of [Fomin--Kirillov 1996], we derive a new formula for the numerators of their multigraded Hilbert series, the double Grothendieck polynomials, in terms of "flagged set-valued tableaux". This unifies work of [Wachs 1985] on flagged tableaux, and [Buch 2002] on set-valued tableaux, giving geometric meaning to both.
This work focuses on diagonal term orders, giving results complementary to those of [Knutson--Miller 2004], where it was shown that the generating minors form a Gröbner basis for any antidiagonal term order and any matrix Schubert variety. We show here that under a diagonal term order, the only matrix Schubert varieties for which these minors form Gröbner bases are the vexillary ones, reaching an end toward which the ladder determinantal literature had been building.
Rook poset equivalence of Ferrers boards
Published
• View Publication
• BIB
A natural construction due to K. Ding yields Schubert varieties from Ferrers boards. The poset structure of the Schubert cells in these varieties is equal to the poset of maximal rook placements on the Ferrers board under the Bruhat order. We determine when two Ferrers boards have isomorphic rook posets. Equivalently, we give an exact categorization of when two Ding Schubert varieties have identical Schubert cell structures. This also produces a complete classification of isomorphism types of lower intervals of 312-avoiding permutations in the Bruhat order.
Affine Stanley symmetric functions
Published
• View Publication
• BIB
We define a new family of symmetric functions which are affine analogues of Stanley symmetric functions. We establish basic properties of these functions including symmetry, dominance and conjugation. We conjecture certain positivity properties in terms of a subfamily of symmetric functions called affine Schur functions. As applications, we show how affine Stanley symmetric functions generalise the (dual of the) $k$-Schur functions of Lapointe, Lascoux and Morse as well as the cylindric Schur functions of Postnikov. Conjecturally, affine Stanley symmetric functions should be related to the cohomology of the affine flag variety.
Equivariant quantum cohomology of homogeneous spaces
Published
• View Publication
• BIB
We prove a Chevalley formula for the equivariant quantum multiplication of two Schubert classes in the homogeneous variety X=G/P. As in the case when X is a Grassmannian, studied by the author in a previous paper, this formula implies an effective algorithm to compute the structure constants of the equivariant quantum cohomology algebra of X.
Volume and lattice points of reflexive simplices
Published in Discr. Comp. Geom. 37 (2007), 301-320
• View Publication
• BIB
We prove sharp upper bounds on the volume and the number of lattice points on edges of higher-dimensional reflexive simplices. These convex-geometric results are derived from new number-theoretic bounds on the denominators of unit fractions summing up to one. The main algebro-geometric application is a sharp upper bound on the anticanonical degree of higher-dimensional Q-factorial Gorenstein toric Fano varieties with Picard number one, where we completely characterize the case of equality.