arXiv++ Combinatorics

Fulton's universal Schubert polynomials give cohomology formulas for a class of degeneracy loci, which generalize Schubert varieties. The K-theoretic quiver formula of Buch expresses the structure sheaves of these loci as integral linear combinations of products of stable Grothendieck polynomials. We prove an explicit combinatorial formula for the coefficients, which shows that they have alternating signs. Our result is applied to obtain new expansions for the Grothendieck polynomials of Lascoux and Schützenberger.

We describe an explicit geometric Littlewood-Richardson rule, interpreted as deforming the intersection of two Schubert varieties so that they break into Schubert varieties. There are no restrictions on the base field, and all multiplicities arising are 1; this is important for applications. This rule should be seen as a generalization of Pieri's rule to arbitrary Schubert classes, by way of explicit homotopies. It has a straightforward bijection to other Littlewood-Richardson rules, such as tableaux, and Knutson and Tao's puzzles. This gives the first geometric proof and interpretation of the Littlewood-Richardson rule. It has a host of geometric consequences, described in the companion paper "Schubert induction". The rule also has an interpretation in K-theory, suggested by Buch, which gives an extension of puzzles to K-theory. The rule suggests a natural approach to the open question of finding a Littlewood-Richardson rule for the flag variety, leading to a conjecture, shown to be true up to dimension 5. Finally, the rule suggests approaches to similar open problems, such as Littlewood-Richardson rules for the symplectic Grassmannian and two-flag varieties.

A 321-k-gon-avoiding permutation pi avoids 321 and the following four patterns: k(k+2)(k+3)...(2k-1)1(2k)23...(k+1), k(k+2)(k+3)...(2k-1)(2k)123...(k+1), (k+1)(k+2)(k+3)...(2k-1)1(2k)23...k, (k+1)(k+2)(k+3)...(2k-1)(2k)123...k. The 321-4-gon-avoiding permutations were introduced and studied by Billey and Warrington [BW] as a class of elements of the symmetric group whose Kazhdan-Lusztig, Poincare polynomials, and the singular loci of whose Schubert varieties have fairly simple formulas and descriptions. Stankova and West [SW] gave an exact enumeration in terms of linear recurrences with constant coefficients for the cases k=2,3,4. In this paper, we extend these results by finding an explicit expression for the generating function for the number of 321-k-gon-avoiding permutations on n letters. The generating function is expressed via Chebyshev polynomials of the second kind.

Let w_0 denote the permutation [n,n-1,...,2,1]. We give two new explicit formulae for the Kazhdan-Lusztig polynomials P_{w_0w,w_0x} in S_n when x is a maximal element in the singular locus of the Schubert variety X_w. To do this, we utilize a standard identity that relates P_{x,w} and P_{w_0w,w_0x}.

The aim of this article is to present a smoothness criterion for Schubert varieties in generalized flag manifolds $G/B$ in terms of patterns in root systems. We generalize Lakshmibai-Sandhya's well-known result that says that a Schubert variety in $SL(n)/B$ is smooth if and only if the corresponding permutation avoids the patterns 3412 and 4231. Our criterion is formulated uniformly in general Lie theoretic terms. We define a notion of pattern in Weyl group elements and show that a Schubert variety is smooth (or rationally smooth) if and only if the corresponding element of the Weyl group avoids a certain finite list of patterns. These forbidden patterns live only in root subsystems with star-shaped Dynkin diagrams. In the simply-laced case the list of forbidden patterns is especially simple: besides two patterns of type $A_3$ that appear in Lakshmibai-Sandhya's criterion we only need one additional forbidden pattern of type $D_4$. Remarkably, several other important classes of elements in Weyl groups can also be described in terms of forbidden patterns. For example, the fully commutative elements in Weyl groups have such a characterization. In order to prove our criterion we used several known results for the classical types. For the exceptional types, our proof is based on computer verifications. In order to conduct such a verification for the computationally challenging type $E_8$, we derived several general results on Poincaré polynomials of cohomology rings of Schubert varieties based on parabolic decomposition, which have an independent interest.

We prove a conjecture by Kreiman and Lakshmibai on a combinatorial description of multiplicities of points on Schubert varieties in Graszmannians in terms of certain sets of reflections in the corresponding Weyl group. The proof is accomplished by setting up a bijection between these sets of reflections and the author's previous combinatorial interpretation of these multiplicities in terms of nonintersecting lattice paths (Séminaire Lotharingien Combin. 45 (2001), Article B45c; see http://www.mat.univie.ac.at/~slc/wpapers/s45kratt.html or http://www.arxiv.org/abs/math.AG/0011129).

The 321,hexagon-avoiding (321-hex) permutations were introduced and studied by Billey and Warrington in as a class of elements of S_n whose Kazhdan-Lusztig and Poincare polynomials and the singular loci of whose Schubert varieties have certain fairly simple and explicit descriptions. This paper provides a 7-term linear recurrence relation leading to an explicit enumeration of the 321-hex permutations. A complete description of the corresponding generating tree is obtained as a by-product of enumeration techniques used in the paper, including Schensted's 321-subsequences decomposition, a 5-parameter generating function and the symmetries of the octagonal patterns avoided by the 321-hex permutations.

We give an explicit combinatorial description of the irreducible components of the singular locus of the Schubert variety X_w for any element w in S_n. Our description of the irreducible components is computationally more efficient (O(n^6)) than the previously best known algorithms. This result proves a conjecture of Lakshmibai and Sandhya regarding this singular locus. Furthermore, we give simple formulas for calculating the Kazhdan-Lusztig polynomials at the maximum singular points.

We answer some questions related to multiplicity formulas by Rosenthal and Zelevinsky and by Lakshmibai and Weyman for points on Schubert varieties in Grassmannians. In particular, we give combinatorial interpretations in terms of nonintersecting lattice paths of these formulas, which makes the equality of the two formulas immediately obvious. Furthermore we provide an alternative determinantal formula for these multiplicities, and we show that they count semistandard tableaux of unusual shapes.

We propose a theory of double Schubert polynomials P_w(X,Y) for the Lie types B, C, D which naturally extends the family of Lascoux of Schutzenberger in type A. These polynomials satisfy positivity, orthogonality, and stability properties, and represent the classes of Schubert varieties and degeneracy loci of vector bundles. When w is a maximal Grassmannian element of the Weyl group, P_w(X,Y) can be expressed in terms of Schur-type determinants and Pfaffians, in analogy with the type A formula of Kempf and Laksov. An example, motivated by quantum cohomology, shows that there are no Chern class formulas for degeneracy loci of ``isotropic morphisms'' of bundles.

We give a combinatorial formula for the Kazhdan-Lusztig polynomials $P_{x,w}$ in the symmetric group when $w$ is a 321-hexagon-avoiding permutation. Our formula, which depends on a combinatorial framework developed by Deodhar, can be expressed in terms of a simple statistic on all subexpressions of any fixed reduced expression for $w$. We also show that $w$ being 321-hexagon-avoiding is equivalent to several other conditions, such as the Bott-Samelson resolution of the Schubert variety $X_w$ being small. We conclude with a simple method for completely determining the singular locus of $X_w$ when $w$ is 321-hexagon-avoiding.

The maximal minors of a p by (m + p) matrix of univariate polynomials of degree n with indeterminate coefficients are themselves polynomials of degree np. The subalgebra generated by their coefficients is the coordinate ring of the quantum Grassmannian, a singular compactification of the space of rational curves of degree np in the Grassmannian of p-planes in (m + p)-space. These subalgebra generators are shown to form a sagbi basis. The resulting flat deformation from the quantum Grassmannian to a toric variety gives a new `Gröbner basis style' proof of the Ravi-Rosenthal-Wang formulas in quantum Schubert calculus. The coordinate ring of the quantum Grassmannian is an algebra with straightening law, which is normal, Cohen-Macaulay, Gorenstein and Koszul, and the ideal of quantum Plücker relations has a quadratic Gröbner basis. This holds more generally for skew quantum Schubert varieties. These results are well-known for the classical Schubert varieties (n=0). We also show that the row-consecutive p by p-minors of a generic matrix form a sagbi basis and we give a quadratic Gröbner basis for their algebraic relations.

We obtain an explicit determinantal formula for the multiplicity of any point on a classical Schubert variety.

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.