arXiv++ Combinatorics

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.

We study combinatorial aspects of the Schubert calculus of the affine Grassmannian Gr associated with SL(n,C). Our main results are: 1) Pieri rules for the Schubert bases of H^*(Gr) and H_*(Gr), which expresses the product of a special Schubert class and an arbitrary Schubert class in terms of Schubert classes. 2) A new combinatorial definition for k-Schur functions, which represent the Schubert basis of H_*(Gr). 3) A combinatorial interpretation of the pairing between homology and cohomology of the affine Grassmannian. These results are obtained by interpreting the Schubert bases of Gr combinatorially as generating functions of objects we call strong and weak tableaux, which are respectively defined using the strong and weak orders on the affine symmetric group. We define a bijection called affine insertion, generalizing the Robinson-Schensted Knuth correspondence, which sends certain biwords to pairs of tableaux of the same shape, one strong and one weak. Affine insertion offers a duality between the weak and strong orders which does not seem to have been noticed previously. Our cohomology Pieri rule conjecturally extends to the affine flag manifold, and we give a series of related combinatorial conjectures.

Given two Schubert classes $σ_λ$ and $σ_μ$ in the quantum cohomology of a Grassmannian, we construct a partition $ν$, depending on $λ$ and $μ$, such that $σ_ν$ appears with coefficient 1 in the lowest (or highest) degree part of the quantum product $σ_λ\starσ_μ$. To do this, we show that for any two partitions $λ$ and $μ$, contained in a $k$-by-$(n-k)$ rectangle and such that the 180-degree rotation of one does not overlap the other, there is a third partition $ν$, also contained in the rectangle, such that the Littlewood-Richardson number $c_{λμ}^ν$ is 1.

Quantum K-theory is a K-theoretic version of quantum cohomology, which was recently defined by Y.-P. Lee. Based on a presentation for the quantum K-theory of the classical flag variety Fl_n, we define and study quantum Grothendieck polynomials. We conjecture that they represent Schubert classes (i.e., the natural basis elements) in the quantum K-theory of Fl_n, and present strong evidence for this conjecture. We describe an efficient algorithm which, if the conjecture is true, computes the quantum K-invariants of Gromov-Witten type for Fl_n. Two explicit constructions for quantum Grothendieck polynomials are presented. The natural generalizations of several properties of Grothendieck polynomials and of the quantum Schubert polynomials due to Fomin, Gelfand, and Postnikov are proved for our quantum Grothendieck polynomials. For instance, we use a quantization map satisfying a factorization property similar to the cohomology quantization map, and we derive a Monk-type multiplication formula. We also define quantum double Grothendieck polynomials and derive a Cauchy identity. Our constructions are considerably more complex than those for quantum Schubert polynomials. In particular, a crucial ingredient in our work is the Pieri formula for Grothendieck polynomials due to the first author and Sottile.

In this paper we classify the multiplicity-free skew characters of the symmetric group. Furthermore we show that the Schubert calculus is equivalent to that of skew characters in the following sense: If we decompose the product of two Schubert classes we get the same as if we decompose a skew character and replace the irreducible characters by Schubert classes of the `inverse' partitions (Theorem 4.2).

The necessary and sufficient Horn inequalities which determine the non-vanishing Littlewood-Richardson coefficients in the cohomology of a Grassmannian are recursive in that they are naturally indexed by non-vanishing Littlewood-Richardson coefficients on smaller Grassmannians. We show how non-vanishing in the Schubert calculus for cominuscule flag varieties is similarly recursive. For these varieties, the non-vanishing of products of Schubert classes is controlled by the non-vanishing products on smaller cominuscule flag varieties. In particular, we show that the lists of Schubert classes whose product is non-zero naturally correspond to the integer points in the feasibility polytope, which is defined by inequalities coming from non-vanishing products of Schubert classes on smaller cominuscule flag varieties. While the Grassmannian is cominuscule, our necessary and sufficient inequalities are different than the classical Horn inequalities.

Confirming a conjecture of Mark Shimozono, we identify polynomial representatives for the Schubert classes of the affine Grassmannian as the k-Schur functions in homology and affine Schur functions in cohomology. Our results rely on Kostant and Kumar's nilHecke ring, work of Peterson on the homology of based loops on a compact group, and earlier work of ours on non-commutative k-Schur functions.

We give positive formulas for the restriction of a Schubert Class to a T-fixed point in the equivariant K-theory and equivariant cohomology of the Lagrangian Grassmannian. Our formulas rely on a result of Ghorpade-Raghavan, which gives an equivariant Grobner degeneration of a Schubert variety in the neighborhood of a T-fixed point of the Lagrangian Grassmannian.

We give positive formulas for the restriction of a Schubert Class to a T-fixed point in the equivariant K-theory and equivariant cohomology of the Grassmannian. Our formulas rely on a result of Kodiyalam-Raghavan and Kreiman-Lakshmibai, which gives an equivariant Grobner degeneration of a Schubert variety in the neighborhood of a T-fixed point of the Grassmannian.

We give a nonrecursive, combinatorial characterization of multiplicity-free products of Grassmannian Schubert classes. This answers a question of W. Fulton and extends results of J. Stembridge.

Let $LG_n$ denote the Lagrangian Grassmannian parametrizing maximal isotropic (Lagrangian) subspaces of a fixed symplectic vector space of dimension $2n.$ For each strict partition $λ=(λ_1,...,λ_k)$ with $λ_1\leq n$ there is a Schubert variety $X(λ).$ Let $T$ denote a maximal torus of the symplectic group acting on $LG_n.$ Consider the $T$-equivariant cohomology of $LG_n$ and the $T$-equivariant fundamental class $σ(λ)$ of $X(λ).$ The main result of the present paper is an explicit formula for the restriction of the class $σ(λ)$ to any torus fixed point. The formula is written in terms of factorial analogue of the Schur $Q$-function, introduced by Ivanov. As a corollary to the restriction formula, we obtain an equivariant version of the Giambelli-type formula for $LG_n.$ As another consequence of the main result, we obtained a presentation of the ring $H_T^*(LG_n).$

We find presentations by generators and relations for the equivariant quantum cohomology of the Grassmannian. For these presentations, we also find determinantal formulae for the equivariant quantum Schubert classes. To prove this, we use the theory of factorial Schur functions and a characterization of the equivariant quantum cohomology ring.

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.

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.

Using a combinatorial approach which avoids geometry, this paper studies the ring structure of K_T(G/B), the T-equivariant K-theory of the (generalized) flag variety G/B. Here the data is a complex reductive algebraic group (or symmetrizable Kac-Moody group) G, a Borel subgroup B, and a maximal torus T, and K_T(G/B) is the Grothendieck group of T-equivariant coherent sheaves on G/B. We prove "Pieri-Chevalley" formulas for the products of a Schubert class by a homogeneous line bundle (dominant or anti-dominant) and for products of a Schubert class by a codimension 1 Schubert class. All of these Pieri-Chevalley formulas are given in terms of the combinatorics of the Littelmann path model. We give explicit computations of products of Schubert classes for the rank two cases and this data allows us to make a "positivity conjecture" generalizing the theorems of Brion and Graham, which treat the cases K(G/B) and H_T^*(G/B), respectively.

We propose a new approach to the multiplication of Schubert classes in the K-theory of the flag variety. This extends the work of Fomin and Kirillov in the cohomology case, and is based on the quadratic algebra defined by them. More precisely, we define K-theoretic versions of the Dunkl elements considered by Fomin and Kirillov, show that they commute, and use them to describe the structure constants of the K-theory of the flag variety with respect to its basis of Schubert classes.

We recall the root game, introduced in an earlier paper, which gives a fairly powerful sufficient condition for non-vanishing of Schubert calculus on a generalised flag manifold G/B. We show that it gives a necessary and sufficient rule for non-vanishing of Schubert calculus on Grassmannians. In particular, a Littlewood-Richardson number is non-zero if and only if it is possible to win the corresponding root game. More generally, the rule can be used to determine whether or not a product of several Schubert classes on Gr_l(n) is non-zero in a manifestly symmetric way. Finally, we give a geometric interpretation of root games for Grassmannian Schubert problems.

For any finite Coxeter system $(W,S)$ we construct a certain noncommutative algebra, so-called {\it bracket algebra}, together with a familiy of commuting elements, so-called {\it Dunkl elements.} Dunkl elements conjecturally generate an algebra which is canonically isomorphic to the coinvariant algebra of the group $W.$ We prove this conjecture for classical Coxeter groups and $I_2(m)$. We define a ``quantization'' and a multiparameter deformation of our construction and show that for Lie groups of classical type and $G_2,$ the algebra generated by Dunkl elements in the quantized bracket algebra is canonically isomorphic to the small quantum cohomology ring of the corresponding flag variety, as described by B. Kim. For crystallographic Coxeter systems we define {\it quantum Bruhat representation} of the corresponding bracket algebra. We study in more detail relations and structure of $B_n$-, $D_n$- and $G_2$-bracket algebras, and as an application, discover {\it Pieri type formula} in the $B_n$-bracket algebra. As a corollary, we obtain Pieri type formula for multiplication of arbitrary $B_n$-Schubert classes by some special ones. Our Pieri type formula is a generalization of Pieri's formulas obtained by A. Lascoux and M.-P. Schützenberger for flag varieties of type $A.$ We also introduce a super-version of the bracket algebra together with a family of pairwise anticommutative elements which describes ``noncommutative differential geometry on a finite Coxeter group'' in a sense of S. Majid.

We give an explicit combinatorial Chevalley-type formula for the equivariant K-theory of generalized flag varieties G/P which is a direct generalization of the classical Chevalley formula. Our formula implies a simple combinatorial model for the characters of the irreducible representations of G and, more generally, for the Demazure characters. This model can be viewed as a discrete counterpart of the Littelmann path model, and has several advantages. Our construction is given in terms of a certain R-matrix, that is, a collection of operators satisfying the Yang-Baxter equation. It reduces to combinatorics of decompositions in the affine Weyl group and enumeration of saturated chains in the Bruhat order on the (nonaffine) Weyl group. Our model easily implies several symmetries of the coefficients in the Chevalley-type formula. We also derive a simple formula for multiplying an arbitrary Schubert class by a divisor class, as well as a dual Chevalley-type formula. The paper contains other applications and examples.

For any complex reductive connected Lie group G, many of the structure constants of the ordinary cohomology ring H^*(G/B; Z) vanish in the Schubert basis, and the rest are strictly positive. We present a combinatorial game, the ``root game'', which provides some criteria for determining which of the Schubert intersection numbers vanish. The definition of the root game is manifestly invariant under automorphisms of G, and under permutations of the classes intersected. Although these criteria are not proven to cover all cases, in practice they work very well, giving a complete answer to the question for G=SL(7,C). In a separate paper we show that one of these criteria is in fact necessary and sufficient when the classes are pulled back from a Grassmannian. More generally If G' -> G is an inclusion of complex reductive connected Lie groups, there is an induced map H^*(G/B) -> H^*(G'/B') on the cohomology of the homogeneous spaces. The image of a Schubert class under this map is a positive sum of Schubert classes on G'/B'. We investigate the problem of determining which Schubert classes appear with non-zero coefficient. This is the vanishing problem for branching Schubert calculus, which plays an important role in representation theory and symplectic geometry, as shown in [Berenstein-Sjamaar 2000]. The root game generalises to give a vanishing criterion and a non-vanishing criterion for this problem.