We present a partial generalization to Schubert calculus on flag varieties of the classical Littlewood-Richardson rule, in its version based on Schuetzenberger's jeu de taquin. More precisely, we describe certain structure constants expressing the product of a Schubert and a Schur polynomial. We use a generalization of Fomin's growth diagrams (for chains in Young's lattice of partitions) to chains of permutations in the so-called k-Bruhat order. Our work is based on the recent thesis of Beligan, in which he generalizes the classical plactic structure on words to chains in certain intervals in k-Bruhat order. Potential applications of our work include the generalization of the S_3-symmetric Littlewood-Richardson rule due to Thomas and Yong, which is based on Fomin's growth diagrams.
We prove, combinatorially, that the product of a Schubert polynomial by a Stanley symmetric polynomial is a truncated Schubert polynomial. Using Monk's rule, we derive a nonnegative combinatorial formula for the Schubert polynomial expansion of a truncated Schubert polynomial. Combining these results, we give a nonnegative combinatorial rule for the product of a Schubert and a Schur polynomial in the Schubert basis.
We introduce analogs of left and right RSK insertion for Schubert calculus of complete flag varieties. The objects being inserted are certain biwords, the insertion objects are bumpless pipe dreams, and the recording objects are decorated chains in Bruhat order. As an application, we adopt Lenart's growth diagrams of permutations to give a combinatorial rule for Schubert structure constants in the separated descent case.
We enumerate the number of staircase diagrams over classically finite $E$-type Dynkin diagrams, extending the work of Richmond and Slofstra (Staircase Diagrams and Enumeration of smooth Schubert varieties) and completing the enumeration of staircase diagrams over finite type Dynkin diagrams. The staircase diagrams are in bijection to smooth and rationally smooth Schubert varieties over $E$-type thereby giving an enumeration of these varieties.
We establish the formula for multiplication by the class of a special Schubert variety in the integral cohomology ring of the flag manifold. This formula also describes the multiplication of a Schubert polynomial by either an elementary symmetric polynomial or a complete homogeneous symmetric polynomial. Thus, we generalize the classical Pieri's rule for symmetric polynomials/Grassmann varieties to Schubert polynomials/flag manifolds. Our primary technique is an explicit geometric description of certain intersections of Schubert varieties. This method allows us to compute additional structure …
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 funct…
We develop Pieri type as well as Murnaghan--Nakayama type formulas for equivariant Chern--Schwartz--MacPherson classes of Schubert cells in the classical flag variety. These formulas include as special cases many previously known multiplication formulas for Chern--Schwartz--MacPherson classes or Schubert classes. We apply the equivariant Murnaghan--Nakayama formula to the enumeration of rim hook tableaux.
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 enumerate smooth and rationally smooth Schubert varieties in the classical finite types A, B, C, and D, extending Haiman's enumeration for type A. To do this enumeration, we introduce a notion of staircase diagrams on a graph. These combinatorial structures are collections of steps of irregular size, forming interconnected staircases over the given graph. Over a Dynkin-Coxeter graph, the set of "nearly-maximally labelled" staircase diagrams is in bijection with the set of Schubert varieties with a complete Billey-Postnikov (BP) decomposition. We can then use an earlier result of the authors…
We continue the study of root-theoretic Young diagrams (RYDs) from [Searles-Yong '13]. We provide an RYD formula for the $GL_n$ Belkale-Kumar product, after [Knutson-Purbhoo '11], and we give a translation of the indexing set of [Buch-Kresch-Tamvakis '09] for Schubert varieties of non-maximal isotropic Grassmannians into RYDs. We then use this translation to prove that the RYD formulas of [Searles-Yong '13] for Schubert calculus of the classical (co)adjoint varieties agree with the Pieri rules of [Buch-Kresch-Tamvakis '09], which were needed in the proofs of the (co)adjoint formulas.
Using combinatorial properties of symmetric polynomials, we compute explicitly the Soergel modules for some permutations whose corresponding Schubert varieties are rationally smooth. We build from them diagram algebras whose module categories are equivalent to the subquotient categories of the BGG category $\mathcal{O}(\mathfrak{gl}_n)$ which show up in categorification of $\mathfrak{gl}(1|1)$-representations. We construct diagrammatically the graded cellular structure and the properly stratified structure of these algebras.
Kohnert proposed the first monomial positive formula for Schubert polynomials as the generating polynomial for certain unit cell diagrams obtained from the Rothe diagram of a permutation. Billey, Jockusch and Stanley gave the first proven formula for Schubert polynomials as the generating polynomial for compatible sequences of reduced words of a permutation. In this paper, we give an explicit bijection between these two models, thereby definitively proving Kohnert's rule for Schubert polynomials.
We define and study odd analogues of classical geometric and combinatorial objects associated to permutations, namely odd Schubert varieties, odd diagrams, and odd inversion sets. We show that there is a bijection between odd inversion sets of permutations and acyclic orientations of the Turán graph, that the dimension of the odd Schubert variety associated to a permutation is the odd length of the permutation, and give several necessary conditions for a subset of $[n] \times [n]$ to be the odd diagram of a permutation. We also study the sign-twisted generating function of the odd length over …
We give combinatorial descriptions of the restrictions to T-fixed points of the classes of structure sheaves of Schubert varieties in the T-equivariant K-theory of Grassmannians and of maximal isotropic Grassmannians of orthogonal and symplectic types. We also give formulas, based on these descriptions, for the Hilbert series and Hilbert polynomials at T-fixed points of the corresponding Schubert varieties. These descriptions and formulas are given in terms of two equivalent combinatorial models: excited Young diagrams and set-valued tableaux. The restriction fomulas are positive, in that for …
We study root-theoretic Young diagrams to investigate the existence of a Lie-type uniform and nonnegative combinatorial rule for Schubert calculus. We provide formulas for (co)adjoint varieties of classical Lie type. This is a simplest case after the (co)minuscule family (where a rule has been proved by H.Thomas and the second author using work of R.Proctor). Our results build on earlier Pieri-type rules of P.Pragacz-J.Ratajski and of A.Buch-A.Kresch-H.Tamvakis. Specifically, our formula for OG(2,2n) is the first complete rule for a case where diagrams are non-planar. Yet the formulas possess …
Schubert polynomials were introduced in the context of the geometry of flag varieties. This paper investigates some of the connections not yet understood between several combinatorial structures for the construction of Schubert polynomials; we also present simplifications in some of the existing approaches to this area. We designate certain line diagrams known as rc-graphs as the main structure. The other structures in the literature we study include: semistandard Young tableaux, Kohnert diagrams, and balanced labelings of the diagram of a permutation. The main tools in our investigation are c…
We introduce an algorithm to describe Pieri's Rule for multiplication of Schubert polynomials. The algorithm uses tower diagrams introduced by the authors and another new algorithm that describes Monk's Rule. Our result is different from the well-known descriptions (and proofs) of the rule by Bergeron-Billey and Kogan-Kumar and uses Sottile's version of Pieri's Rule.
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 …
We establish a poset structure on combinatorial bases of multivariate polynomials defined by positive expansions, and study properties common to bases in this poset. Included are the well-studied bases of Schubert polynomials, Demazure characters and Demazure atoms; the quasi-key, fundamental and monomial slide bases introduced in 2017 by Assaf and the author; and a new basis we introduce completing this poset structure. We show the product of a Schur polynomial and an element of a basis in this poset expands positively in that basis; in particular, we give the first Littlewood-Richardson rule…
Define a ``truncation'' $r_{t}(p)$ of a polynomial $p$ in $\{x_1,x_2,x_3,...\}$ as the polynomial with all but the first $t$ variables set to zero. In certain good cases, the truncation of a Schubert or Grothendieck polynomial may again be a Schubert or Grothendieck polynomial. We use this phenomenon to give subtraction-free formulae for certain Schubert structure constants in $K(Flags({\mathbb C}^n))$, in particular generalizing those from [Kogan '00] in which only cohomology was treated, and from [Buch `02] on the Grassmannian case. The terms of the answer are computed using ``marching'' ope…
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.
For a given permutation $π\in S_N$, Fulton proves that the matrix Schubert variety $\overline{X_π} \cong Y_π \times \mathbb{C}^q$ can be defined via certain rank conditions encoded in the Rothe diagram of $π$. In the case where $Y_π:=\text{TV}(σ_π)$ is toric (with respect to a $(\mathbb{C}^*)^{2N-1}$ action), we show that it can be described as an edge ideal of a bipartite graph $G^π$. We characterize the lower dimensional faces of the associated so-called edge cone $σ_π$ explicitly in terms of subgraphs of $G^π$ and present a combinatorial study for the first order deformations of $Y_π$. We p…
We prove Pieri formulas for the multiplication with special Schubert classes in the K-theory of all cominuscule Grassmannians. For Grassmannians of type A this gives a new proof of a formula of Lenart. Our formula is new for Lagrangian Grassmannians, and for orthogonal Grassmannians it proves a special case of a conjectural Littlewood-Richardson rule of Thomas and Yong. Recent work of Thomas and Yong and of E. Clifford has shown that the full Littlewood-Richardson rule for orthogonal Grassmannians follows from the Pieri case proved here. We describe the K-theoretic Pieri coefficients both as i…
We show the equivalence of the Pieri formula for flag manifolds and certain identities among the structure constants, giving new proofs of both the Pieri formula and of these identities. A key step is the association of a symmetric function to a finite poset with labeled Hasse diagram satisfying a symmetry condition. This gives a unified definition of skew Schur functions, Stanley symmetric function, and skew Schubert functions (defined here). We also use algebraic geometry to show the coefficient of a monomial in a Schubert polynomial counts certain chains in the Bruhat order, obtaining a new…
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.
A driving question in (quantum) cohomology of flag varieties is to find non-recursive, positive combinatorial formulas for expressing the product of two classes in a particularly nice basis, called the Schubert basis. Bertram, Ciocan-Fontanine and Fulton provided a way to compute quantum products of Schubert classes in the Grassmannian of k-planes in complex n-space by doing classical multiplication and then applying a combinatorial rim hook rule which yields the quantum parameter. In this paper, we provide a generalization of this rim hook rule to the setting in which there is also an action …
For a finite Coxeter system and a subset of its diagram nodes, we define spherical elements (a generalization of Coxeter elements). Conjecturally, for Weyl groups, spherical elements index Schubert varieties in a flag manifold G/B that are spherical for the action of a Levi subgroup. We evidence the conjecture, employing the combinatorics of Demazure modules, and work of R. Avdeev-A. Petukhov, M. Can-R. Hodges, R. Hodges-V. Lakshmibai, P. Karuppuchamy, P. Magyar-J. Weyman-A. Zelevinsky, N. Perrin, J. Stembridge, and B. Tenner. In type A, we establish connections with the key polynomials of A. …
Nakada's colored hook formula is a vast generalization of many important formulae in combinatorics, such as the classical hook length formula and the Peterson's formula for the number of reduced expressions of minuscule Weyl group elements. In this paper, we utilize cohomological properties of Segre-MacPherson classes of Schubert cells and varieties to prove a generalization of a cohomological version of Nakada's formula, in terms of smoothness properties of Schubert varieties. A key ingredient in the proof is the study of a decorated version of the Bruhat graph. Summing over weighted paths of…
We consider framed chord diagrams, i.e. chord diagrams with chords of two types. It is well known that chord diagrams modulo 4T-relations admit Hopf algebra structure, where the multiplication is given by any connected sum with respect to the orientation. But in the case of framed chord diagrams a natural way to define a multiplication is not known yet. In the present paper, we first define a new module $\mathcal{M}_2$ which is generated by chord diagrams on two circles and factored by $4$T-relations. Then we construct a "covering" map from the module of framed chord diagrams into $\mathcal{M}…
Involution words are variations of reduced words for involutions in Coxeter groups, first studied under the name of "admissible sequences" by Richardson and Springer. They are maximal chains in Richardson and Springer's weak order on involutions. This article is the first in a series of papers on involution words, and focuses on their enumerative properties. We define involution analogues of several objects associated to permutations, including Rothe diagrams, the essential set, Schubert polynomials, and Stanley symmetric functions. These definitions have geometric interpretations for certain …
We introduce a family of rings of symmetric functions depending on an infinite sequence of parameters. A distinguished basis of such a ring is comprised by analogues of the Schur functions. The corresponding structure coefficients are polynomials in the parameters which we call the Littlewood-Richardson polynomials. We give a combinatorial rule for their calculation by modifying an earlier result of B. Sagan and the author. The new rule provides a formula for these polynomials which is manifestly positive in the sense of W. Graham. We apply this formula for the calculation of the product of eq…
