arXiv++ Combinatorics

The product of any finite number of factorial Schur functions can be expanded as a $Z[y]$-linear combination of Schur functions. We give a rule for computing the coefficients in such an expansion which generalizes a specialization of the Molev-Sagan rule, which in turn generalizes the classical Littlewood-Richardson rule.

We give a positive equivariant Littlewood-Richardson rule also discovered independently by Molev. Our proof generalizes a proof by Stembridge of the ordinary Littlewood-Richardson rule. We describe a weight-preserving bijection between our indexing tableaux and the Knutson-Tao puzzles.

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 an explicit Grobner basis for the ideal of the tangent cone at any T-fixed point of a Richardson variety in the Grassmannian, thus generalizing a result of Kodiyalam-Raghavan and Kreiman-Lakshmibai. Our proof is based on a generalization of the Robinson-Schensted-Knuth (RSK) correspondence, which we call the bounded RSK (BRSK). We use the Grobner basis result to deduce a formula which computes the multiplicity of the Richardson variety at any T-fixed point by counting families of nonintersecting lattice paths, thus generalizing a result first proved by Krattehthaler.

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.

We give an elementary and easily computable basis for the Demazure modules in the basic representation of the affine Lie algebra sl(n)-hat (and the loop group SL(n)-hat). A novel feature is that we define our basis ``bottom-up'' by raising each extremal weight vector, rather than ``top-down'' by lowering the highest weight vector. Our basis arises naturally from the combinatorics of its indexing set, which consists of certain subsets of the integers first specified by the Kyoto school in terms of crystal operators. We give a new way of defining these special sets in terms of a recursive but very simple algorithm, the roof operator, which is analogous to the left-key construction of Lascoux-Schutzenberger. The roof operator is in a sense orthogonal to the crystal operators.