arXiv++ Combinatorics

Given a point z in P^1, let F(z) be the osculating flag to the rational normal curve at point z. The study of Schubert problems with respect to such flags F(z_1), F(z_2), ..., F(z_r) has been studied both classically and recently, especially when the points z_i are real. Since the rational normal curve has an action of PGL_2, it is natural to consider the points (z_1, ..., z_r) as living in the moduli space of r distinct point in P^1 -- the famous M_{0,r}. One can then ask to extend the results on Schubert intersections to the compactification \bar{M}_{0,r}. The first part of this paper achieves this goal. We construct a flat, Cohen-Macaulay family over \bar{M}_{0,r}, whose fibers over M_{0,r} are isomorphic to G(d,n) and, given partitions lambda_1, ..., lambda_r, we construct a flat Cohen-Macualay family over \bar{M}_{0,r} whose fiber over (z_1, ..., z_r) in M_{0,r} is the intersection of the Schubert varieties indexed by lambda_i with respect to the osculating flags F(z_i). In the second part of the paper, we investigate the topology of the real points of our family, in the case that sum |lambda_i| = dim G(d,n). We show that our family is a finite covering space of \bar{M}_{0,r}, and give an explicit CW decomposition of this cover whose faces are indexed by objects from the theory of Young tableaux.

The main purpose of this paper is to show that the multiplication of a Schubert polynomial of finite type $A$ by a Schur function, which we refer to as Schubert vs. Schur problem, can be understood from the multiplication in the space of dual $k$-Schur functions. Using earlier work by the second author, we encode both problems by means of quasisymmetric functions. On the Schubert vs. Schur side, we study the poset given by the Bergeron-Sottile's $r$-Bruhat order, along with certain operators associated to this order. On the other side, we connect this poset with a graph on dual $k$-Schur functions given by studying the affine grassmannian order of Lam-Lapointe-Morse-Shimozono. Also, we define operators associated to the graph on dual $k$-Schur functions which are analogous to the ones given for the Schubert vs. Schur problem.

In this paper, we introduce a family of symmetric polynomials by specializing the factorial Schur polynomials. These polynomials represent the weighted Schubert classes of the cohomology of the weighted Grassmannian introduced by Corti-Reid, and we regard these polynomials as analogue of the Schur polynomials. We show that those twisted Schur polynomials are the characters of certain representations. Thus we give an interpretation of the Schubert structure constants of the weighted Grassmannians as the (rational) multiplicities of tensor products of the representations. Furthermore, we derive two types of determinantal formulas for the weighted Schubert classes, in terms of special weighted Schubert classes, and also in terms of Chern classes of tautological orbi-bundles.

We observe that the expansion in the basis of Schubert cycles for $H^*(G/B)$ of the class of a Richardson variety stable under a spherical Levi subgroup is described by a theorem of Brion. Using this observation, along with a combinatorial model of the poset of certain symmetric subgroup orbit closures, we give positive combinatorial descriptions of certain Schubert structure constants on the full flag variety in type $A$. Namely, we describe $c_{u,v}^w$ when $u$ and $v$ are inverse to Grassmannian permutations with unique descents at $p$ and $q$, respectively. We offer some conjectures for similar rules in types $B$ and $D$, associated to Richardson varieties stable under spherical Levi subgroups of $SO(2n+1,\C)$ and $SO(2n,\C)$, respectively.

We study the problem of expanding the product of two Stanley symmetric functions $F_w\cdot F_u$ into Stanley symmetric functions in some natural way. Our approach is to consider a Stanley symmetric function as a stabilized Schubert polynomial $F_{w}=\lim_{n\to \infty}\mathfrak{S}_{1^{n}\times w}$, and study the behavior of the expansion of $\s_{1^n\times w}\cdot\s_{1^n\times u}$ into Schubert polynomials, as $n$ increases. We prove that this expansion stabilizes and thus we get a natural expansion for the product of two Stanley symmetric functions. In the case when one permutation is Grassmannian, we have a better understanding of this stability. We then study some other related stable properties, which provides a second proof of the main result.

We show that the Galois group of any Schubert problem involving lines in projective space contains the alternating group. This constitutes the largest family of enumerative problems whose Galois groups have been largely determined. Using a criterion of Vakil and a special position argument due to Schubert, our result follows from a particular inequality among Kostka numbers of two-rowed tableaux. In most cases, a combinatorial injection proves the inequality. For the remaining cases, we use the Weyl integral formula to obtain an integral formula for these Kostka numbers. This rewrites the inequality as an integral, which we estimate to establish the inequality.

We introduce edge labeled Young tableaux. Our main results provide a corresponding analogue of [Schützenberger '77]'s theory of jeu de taquin. These are applied to the equivariant Schubert calculus of Grassmannians. Reinterpreting, we present new (semi)standard tableaux to study factorial Schur polynomials, after [Biedenharn-Louck '89], [Macdonald '92] and [Goulden-Greene '94] and others. Consequently, we obtain new combinatorial rules for the Schubert structure coefficients, complementing work of [Molev-Sagan '99], [Knutson-Tao '03], [Molev '08] and [Kreiman '09]. We also describe a conjectural generalization of one of our rules to the equivariant K-theory of Grassmannians, extending work of [Thomas-Yong '07]. This conjecture concretely realizes the "positivity" known to exist by [Anderson-Griffeth-Miller '08]. It provides an alternative to the conjectural rule of Knutson-Vakil reported in [Coskun-Vakil '06].

We have developed a patch implementing multivariate polynomials seen as a multi-base algebra. The patch is to be released into the software Sage and can already be found within the Sage-Combinat distribution. One can use our patch to define a polynomial in a set of indexed variables and expand it into a linear basis of the multivariate polynomials. So far, we have the Schubert polynomials, the Key polynomials of types A, B, C, or D, the Grothendieck polynomials and the non-symmetric Macdonald polynomials. One can also use a double set of variables and work with specific double-linear bases like the double Schubert polynomials or double Grothendieck polynomials. Our implementation is based on a definition of the basis using divided difference operators and one can also define new bases using these operators.

Let X=G/P be a homogeneous space and e_k be the class of a simple coroot in H_2(X). A theorem of Strickland shows that for almost all X, the variety of pointed lines of degree e_k, denoted Z_k(X), is again a homogeneous space. For these X we show that the 3-point, genus 0, equivariant K-theoretic Gromov-Witten invariants of lines of degree e_k are equal to quantities obtained in the (ordinary) equivariant K-theory of Z_k(X). We apply this to compute the structure constants N_{u,v}^{w, e_k} for degree e_k from the multiplication of two Schubert classes in the equivariant quantum K-theory ring of X. Using geometry of spaces of lines through Schubert or Richardson varieties we prove vanishing and positivity properties of N_{u,v}^{w,e_k}. This generalizes many results about K-theory and quantum cohomology of X, and also gives new identities among the structure constants in equivariant K-theory of X.

We show that the Galois group of any Schubert problem involving lines in projective space contains the alternating group. Using a criterion of Vakil and a special position argument due to Schubert, this follows from a particular inequality among Kostka numbers of two-rowed tableaux. In most cases, an easy combinatorial injection proves the inequality. For the remaining cases, we use that these Kostka numbers appear in tensor product decompositions of sl_2(C)-modules. Interpreting the tensor product as the action of certain commuting Toeplitz matrices and using a spectral analysis and Fourier series rewrites the inequality as the positivity of an integral. We establish the inequality by estimating this integral.

We relate the counting of rational curves intersecting Schubert varieties of the Grassmannian to the counting of certain non-intersecting lattice paths on the cylinder, so-called vicious and osculating walkers. These lattice paths form exactly solvable statistical mechanics models and are obtained from solutions to the Yang-Baxter equation. The eigenvectors of the transfer matrices of these models yield the idempotents of the Verlinde algebra of the gauged u(n)-WZNW model. The latter is known to be closely related to the small quantum cohomology ring of the Grassmannian. We establish further that the partition functions of the vicious and osculating walker model are given in terms of Postnikov's toric Schur functions and can be interpreted as generating functions for Gromov-Witten invariants.

Enumeration of pattern-avoiding objects is an active area of study with connections to such disparate regions of mathematics as Schubert varieties and stack-sortable sequences. Recent research in this area has brought attention to colored permutations and colored set partitions. A colored partition of a set $S$ is a partition of $S$ with each element receiving a color from the set $[k]=\{1,2,...,k\}$. Let $Π_n\wr C_k$ be the set of partitions of $[n]$ with colors from $[k]$. In an earlier work, the authors study pattern avoidance in colored set partitions in the equality sense. Here we study pattern avoidance in colored partitions in the pattern sense. We say that $σ\inΠ_n\wr C_k$ contains $π\in Π_m\wr C_\ell$ in the pattern sense if $σ$ contains a copy $π$ when the colors are ignored and the colors on this copy of $π$ are order isomorphic to the colors on $π$. Otherwise we say that $σ$ avoids $π$. We focus on patterns from $Π_2\wr C_2$ and find that many familiar and some new integer sequences appear. We provide bijective proofs wherever possible, and we provide formulas for computing those sequences that are new.

Explicit combinatorial cancellation-free rules are given for the product of an equivariant line bundle class with a Schubert class in the torus-equivariant K-theory of a Kac-Moody flag manifold. The weight of the line bundle may be dominant or antidominant, and the coefficients may be described either by Lakshmibai-Seshadri paths or by the alcove model of the first author and Postnikov. For Lakshmibai-Seshadri paths, our formulas are the Kac-Moody generalizations of results of Griffeth-Ram and Pittie-Ram for finite dimensional flag manifolds. A gap in the proofs of the mentioned results is addressed.

Let G be a simple and simply-connected complex algebraic group, and let X \subset G^\vee be the centralizer subgroup of a principal nilpotent element. Ginzburg and Peterson independently related the ring of functions on X with the homology ring of the affine Grassmannian Gr_G. Peterson furthermore connected this ring to the quantum cohomology rings of partial flag varieties G/P. The first aim of this paper is to study three different notions of positivity on X: (1) Schubert positivity arising via Peterson's work, (2) total positivity in the sense of Lusztig, and (3) Mirkovic-Vilonen positivity obtained from the MV-cycles in Gr_G. Our first main theorem establishes that these three notions of positivity coincide. The second aim of this paper is to parametrize the totally nonnegative part of X, confirming a conjecture of the second author. In type A a substantial part of our results were previously established by the second author. The crucial new component of this paper is the connection with the affine Grassmannian and the geometric Satake correspondence.

The k-Schur functions were first introduced by Lapointe, Lascoux and Morse (2003) in the hopes of refining the expansion of Macdonald polynomials into Schur functions. Recently, an alternative definition for k-Schur functions was given by Lam, Lapointe, Morse, and Shimozono (2010) as the weighted generating function of starred strong tableaux which correspond with labeled saturated chains in the Bruhat order on the affine symmetric group modulo the symmetric group. This definition has been shown to correspond to the Schubert basis for the affine Grassmannian of type A by Lam (2008), and, at t = 1, it is equivalent to the k-tableaux characterization of Lapointe and Morse (2007). In this paper, we extend Haiman's (1992) dual equivalence relation on standard Young tableaux to all starred strong tableaux. The elementary equivalence relations can be interpreted as labeled edges in a graph which share many of the properties of Assaf's dual equivalence graphs. These graphs display much of the complexity of working with k-Schur functions and the interval structure on affine Symmetric Group modulo the Symmetric Group. We introduce the notions of flattening and squashing skew starred strong tableaux in analogy with jeu da taquin slides in order to give a method to find all isomorphism types for affine dual equivalence graphs of rank 4. Finally, we make connections between k-Schur functions and both LLT and Macdonald polynomials by comparing the graphs for these functions.

We introduce two families of symmetric functions generalizing the factorial Schur $P$- and $Q$- functions due to Ivanov. We call them $K$-theoretic analogues of factorial Schur $P$- and $Q$- functions. We prove various combinatorial expressions for these functions, e.g. as a ratio of Pfaffians, and a sum over excited Young diagrams. As a geometric application, we show that these functions represent the Schubert classes in the $K$-theory of torus equivariant coherent sheaves on the maximal isotropic Grassmannians of symplectic and orthogonal types. This generalizes a corresponding result for the equivariant cohomology given by the authors. We also discuss a remarkable property enjoyed by these functions, which we call the $K$-theoretic $Q$-cancellation property. We prove that the $K$-theoretic $P$-functions form a (formal) basis of the ring of functions with the $K$-theoretic $Q$-cancellation property.

We characterize by pattern avoidance the Schubert varieties for GL_n which are local complete intersections (lci). For those Schubert varieties which are local complete intersections, we give an explicit minimal set of equations cutting out their neighborhoods at the identity. Although the statement of our characterization only requires ordinary pattern avoidance, showing that the Schubert varieties not satisfying our conditions are not lci appears to require working with more general notions of pattern avoidance. The Schubert varieties defined by inclusions, originally introduced by Gasharov and Reiner, turn out to be an important subclass, and we further develop some of their combinatorics. Applications include formulas for Kostant polynomials and presentations of cohomology rings for lci Schubert varieties.

While the intersection of the Grassmannian Bruhat decompositions for all coordinate flags is an intractable mess, the intersection of only the cyclic shifts of one Bruhat decomposition turns out to have many of the good properties of the Bruhat and Richardson decompositions. This decomposition coincides with the projection of the Richardson stratification of the flag manifold, studied by Lusztig, Rietsch, Brown-Goodearl-Yakimov and the present authors. However, its cyclic-invariance is hidden in this description. Postnikov gave many cyclic-invariant ways to index the strata, and we give a new one, by a subset of the affine Weyl group we call bounded juggling patterns. We call the strata positroid varieties. Applying results from the authors' previous work, we show that positroid varieties are normal, Cohen-Macaulay, have rational singularities, and are defined as schemes by the vanishing of Plucker coordinates. We prove that their associated cohomology classes are represented by affine Stanley functions. This last fact lets us connect Postnikov's and Buch-Kresch-Tamvakis' approaches to quantum Schubert calculus.

We introduce affine Stanley symmetric functions for the special orthogonal groups, a class of symmetric functions that model the cohomology of the affine Grassmannian, continuing the work of Lam and Lam, Schilling, and Shimozono on the special linear and symplectic groups, respectively. For the odd orthogonal groups, a Hopf-algebra isomorphism is given, identifying (co)homology Schubert classes with symmetric functions. For the even orthogonal groups, we conjecture an approximate model of (co)homology via symmetric functions. In the process, we develop type B and type D non-commutative k-Schur functions as elements of the nilCoxeter algebra that model homology of the affine Grassmannian. Additionally, Pieri rules for multiplication by special Schubert classes in homology are given in both cases. Finally, we present a type-free interpretation of Pieri factors, used in the definition of noncommutative k-Schur functions or affine Stanley symmetric functions for any classical type.

We establish an equivariant quantum Giambelli formula for partial flag varieties. The answer is given in terms of a specialization of universal double Schubert polynomials. Along the way, we give new proofs of the presentation of the equivariant quantum cohomology ring, as well as Graham-positivity of the structure constants in equivariant quantum Schubert calculus.