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.
We prove the affine Pieri rule for the cohomology of the affine flag variety conjectured by Lam, Lapointe, Morse and Shimozono. We study the cap operator on the affine nilHecke ring that is motivated by Kostant and Kumar's work on the equivariant cohomology of the affine flag variety. We show that the cap operators for Pieri elements are the same as Pieri operators defined by Berg, Saliola and Serrano. This establishes the affine Pieri rule.
We prove an explicit combinatorial formula for certain structure constants of the T-equivariant cohomology of the flag manifold SLn/B. Our result generalizes the Pieri-type formula in ordinary cohomology proved by Sottile in 1996. Our result also gives a Pieri-type formula for the double Schubert polynomials introduced by Lascoux and Schutzenberger.
We use geometry to give a short proof of an equivariant Pieri rule in the classical flag manifold. This rule is due to Robinson, who gave an algebraic proof.
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 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 …
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 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…
We give elementary geometric proofs of the main theorems about the (small) quantum cohomology of partial flag varieties SL(n)/P, including the quantum Pieri and quantum Giambelli formulas and the presentation.
We give a Pieri rule for the torus-equivariant cohomology of (submaximal) Grassmannians of Lie types B, C, and D. To the authors' best knowledge, our rule is the first manifestly positive formula, beyond the equivariant Chevalley formula. We also give a simple proof of the equivariant Pieri rule for the ordinary (type A) Grassmannian.
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 combin…
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 give a direct proof of the equivalence between the Giambelli and Pieri type formulas for Hall-Littlewood functions using Young's raising operators, parallel to joint work with Buch and Kresch for the Schubert classes on isotropic Grassmannians. We prove several closely related mirror identities enjoyed by the Giambelli polynomials, which lead to new recursions for Schubert classes. The raising operator approach is applied to obtain tableau formulas for Hall-Littlewood functions, theta polynomials, and related Stanley symmetric functions. Finally, we introduce the notion of a skew element w …
An explicit rule is given for the product of the degree two class with an arbitrary Schubert class in the torus-equivariant homology of the affine Grassmannian. In addition a Pieri rule (the Schubert expansion of the product of a special Schubert class with an arbitrary one) is established for the equivariant homology of the affine Grassmannians of SL_n and a similar formula is conjectured for Sp_{2n} and SO_{2n+1}. For SL_n the formula is explicit and positive. By a theorem of Peterson these compute certain products of Schubert classes in the torus-equivariant quantum cohomology of flag varie…
We propose new Pieri type formulas for Jack polynomials, which is another kind of Pieri type formulas than the ones in the previous paper (G. Shibukawa, arXiv:2004.12875). From these new Pieri type formulas, we give yet another proof of difference and Pieri formulas for interpolation Jack polynomials. Further, we also generalize a falling type twisted Pieri formula to the binomial type polynomials including Jack and multivariate Bernoulli polynomials.
We provide a generalization of the Schensted insertion algorithm for rc-graphs of Bergeron and Billey. The new algorithm is used to give a new proof of Pieri's formula.
We present explicit Pieri formulas for Macdonald's spherical functions (or generalized Hall-Littlewood polynomials associated with root systems) and their $q$-deformation the Macdonald polynomials. For the root systems of type $A$, our Pieri formulas recover the well-known Pieri formulas for the Hall-Littlewood and Macdonald symmetric functions due to Morris and Macdonald as special cases.
We give an explicit Pieri formula for Macdonald polynomials attached to the root system C_n (with equal multiplicities). By inversion we obtain an explicit expansion for two-row Macdonald polynomials of type C.
We give the explicit analytic development of Macdonald polynomials in terms of "modified complete" and elementary symmetric functions. These expansions are obtained by inverting the Pieri formula. Specialization yields similar developments for monomial, Jack and Hall-Littlewood symmetric functions.
We give a Pieri-type formula for the sum of $K$-$k$-Schur functions $\sum_{μ\leλ} g^{(k)}_μ$ over a principal order ideal of the poset of $k$-bounded partitions under the strong Bruhat order, which sum we denote by $\widetilde{g}^{(k)}_λ$. As an application of this, we also give a $k$-rectangle factorization formula $\widetilde{g}^{(k)}_{R_t\cupλ}=\widetilde{g}^{(k)}_{R_t} \widetilde{g}^{(k)}_λ$ where $R_t=(t^{k+1-t})$, analogous to that of $k$-Schur functions $s^{(k)}_{R_t\cupλ}=s^{(k)}_{R_t}s^{(k)}_λ$.
Young's lattice, the lattice of all Young diagrams, has the Robinson-Schensted-Knuth correspondence, the correspondence between certain matrices and pairs of semi-standard Young tableaux with the same shape. Fomin introduced generalized Schur operators to generalize the Robinson-Schensted-Knuth correspondence. In this sense, generalized Schur operators are generalizations of semi-standard Young tableaux. We define a generalization of Schur polynomials as expansion coefficients of generalized Schur operators. We show that the commutating relation of generalized Schur operators implies Pieri's f…
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 alge…
We show a Z^2-filtered algebraic structure and a "quantum to classical" principle on the torus-equivariant quantum cohomology of a complete flag variety of general Lie type, generalizing earlier works of Leung and the second author. We also provide various applications on equivariant quantum Schubert calculus, including an equivariant quantum Pieri rule for any partial flag variety of Lie type A.
We study the Pieri type formulas for the Schur multiple zeta functions along with those for the Schur polynomials. To formulate these formulas, we introduce a new insertion rule for adding boxes in the Young tableaux and obtain the results for the hook type Schur multiple zeta functions. For the proof, we show {certain} extended Jacobi-Trudi formulas for the Schur multiple zeta functions.
We give a combinatorial interpretation of a Pieri formula for double Grothendieck polynomials in terms of an interval of the Bruhat order. Another description had been given by Lenart and Postnikov in terms of chain enumerations. We use Lascoux's interpretation of a product of Grothendieck polynomials as a product of two kinds of generators of the 0-Hecke algebra, or sorting operators. In this way we obtain a direct proof of the result of Lenart and Postnikov and then prove that the set of permutations occuring in the result is actually an interval of the Bruhat order.
We introduce Jack (unitary) characters and prove two kinds of formulas that are suitable for their asymptotics, as the lengths of the signatures that parametrize them go to infinity. The first kind includes several integral representations for Jack characters of one variable. The second identity we prove is the Pieri integral formula for Jack characters which, in a sense, is dual to the well known Pieri rule for Jack polynomials. The Pieri integral formula can also be seen as a functional equation for irreducible spherical functions of virtual Gelfand pairs. As an application of our formulas, …
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…
In a seminal paper Richard Stanley derived Pieri rules for the Jack symmetric function basis. These rules were extended by Macdonald to his now famous symmetric function basis. The original form of these rules had a forbidding complexity that made them difficult to use in explicit calculations. In the early 90's it was discovered that, due to massive cancellations, the dual rule, which expresses skewing by $e_1$ the modified Macdonald polynomial ${\tilde H}_μ[X;q,t]$, can be given a very simple combinatorial form in terms of corner weights of the Ferrers' diagram of $μ$. A similar formula was …
Ikeda-Mihalcea-Naruse's double Schubert polynomials represent the equivariant cohomology classes of Schubert varieties in the type C flag varieties. The goal of this paper is to obtain a new tableau formula of these polynomials associated to vexillary signed permutations introduced by Anderson-Fulton. To achieve that goal, we introduce flagged factorial (Schur) $Q$-functions, combinatorially defined in terms of (flagged) marked shifted tableaux for flagged strict partitions, and prove their Schur-Pfaffian formula. As an application, we also obtain a new combinatorial formula of factorial $Q$-f…
We present an explicit difference operator diagonalized by the Macdonald polynomials associated with an (arbitrary) admissible pair of irreducible reduced crystallographic root systems. By the duality symmetry, this gives rise to an explicit Pieri formula for the Macdonald polynomials in question. The simplest examples of our construction recover Macdonald's celebrated difference operators and associated Pieri formulas pertaining to the minuscule and quasi-minuscule weights. As further by-products, explicit expansions and Littlewood-Richardson type formulas are obtained for the Macdonald polyn…
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.
We give a new description of the Pieri rule for k-Schur functions using the Bruhat order on the affine type-A Weyl group. In doing so, we prove a new combinatorial formula for representatives of the Schubert classes for the cohomology of affine Grassmannians. We show how new combinatorics involved in our formulas gives the Kostka-Foulkes polynomials and discuss how this can be applied to study the transition matrices between Hall-Littlewood and k-Schur functions.
We prove that twisted versions of Schubert polynomials defined by $\widetilde{\mathfrak S}_{w_0} = x_1^{n-1}x_2^{n-2} \cdots x_{n-1}$ and $\widetilde{\mathfrak S}_{ws_i} = (s_i+\partial_i)\widetilde{\mathfrak S}_w$ are monomial positive and give a combinatorial formula for their coefficients. In doing so, we reprove and extend a previous result about positivity of skew divided difference operators and show how it implies the Pieri rule for Schubert polynomials. We also give positive formulas for double versions of the $\widetilde{\mathfrak S}_w$ as well as their localizations.
We introduce a mutation algorithm for puzzles that is a three-direction analogue of the classical jeu de taquin algorithm for semistandard tableaux. We apply this algorithm to prove our conjectured puzzle formula for the equivariant Schubert structure constants of two-step flag varieties. This formula gives an expression for the structure constants that is positive in the sense of Graham. Thanks to the equivariant version of the `quantum equals classical' result, our formula specializes to a Littlewood-Richardson rule for the equivariant quantum cohomology of Grassmannians.
In this paper we study the T-equivariant generalized cohomology of flag varieties using two models, the Borel model and the moment graph model. We study the differences between the Schubert classes and the Bott-Samelson classes. After setup of the general framework we compute, for classes of Schubert varieties of complex dimension <4 in rank 2 (including A_2, B_2, G_2 and A_1^{(1)}), moment graph representatives, Pieri-Chevalley formulas and products of Schubert classes. These computations generalize the computations in equivariant K-theory for rank 2 cases which are given in Griffeth-Ram arXi…
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 add…
We continue the study, begun in [Kouno-Naito-Orr-Sagaki, 2021], of inverse Chevalley formulas for the equivariant $K$-group of semi-infinite flag manifolds. Using the language of alcove paths, we reformulate and extend our combinatorial inverse Chevalley formula to arbitrary weights in all simply-laced types (conjecturally also for $E_8$).
We give a combinatorial Chevalley formula for an arbitrary weight, in the torus-equivariant K-theory of semi-infinite flag manifolds, which is expressed in terms of the quantum alcove model. As an application, we prove the Chevalley formula for anti-dominant fundamental weights in the (small) torus-equivariant quantum K-theory of the flag manifold G/B; this has been a longstanding conjecture about the multiplicative structure of the mentioned quantum K-theory. Moreover, in type A, we prove that the so-called quantum Grothendieck polynomials indeed represent Schubert classes in the (non-equivar…
We describe the torus-equivariant cohomology of weighted partial flag orbifolds ${\mathrm{w}}Σ$ of type $A$. We establish counterparts of several results known for the partial flag variety that collectively constitute what we refer to as ``Schubert Calculus on ${\mathrm{w}}Σ$''. For the weighed Schubert classes in ${\mathrm{w}}Σ$, we give the Chevalley's formula. In addition, we define the weighted analogue of double Schubert polynomials and give the corresponding Chevalley--Monk's formula.
We use the Pieri and Giambelli formulas of arXiv:0809.4966 and arXiv:1109.6669 and the calculus of raising operators developed in arXiv:0811.2781 and arXiv:0812.0639 to prove a tableau formula for eta polynomials of arXiv:1109.6669 and the Stanley symmetric functions which correspond to Grassmannian elements of the Weyl group $W_n$ of type $D_n$. We define the skew elements of $W_n$ and exhibit a bijection between the set of reduced words for any skew element $w$ in $W_n$ and a set of certain standard typed tableaux on a skew shape $λ/μ$ associated to $w$.
We prove an explicit inverse Chevalley formula in the equivariant $K$-theory of semi-infinite flag manifolds of simply-laced type. By an inverse Chevalley formula, we mean a formula for the product of an equivariant scalar with a Schubert class, expressed as a $\mathbb{Z}[q^{\pm 1}]$-linear combination of Schubert classes twisted by equivariant line bundles. Our formula applies to arbitrary Schubert classes in semi-infinite flag manifolds of simply-laced type and equivariant scalars $e^λ$, where $λ$ is an arbitrary minuscule weight. By a result of Stembridge, our formula completely determines …
We prove a conjecture of Knutson asserting that the Schubert structure constants of the cohomology ring of a two-step flag variety are equal to the number of puzzles with specified border labels that can be created using a list of eight puzzle pieces. As a consequence, we obtain a puzzle formula for the Gromov-Witten invariants defining the small quantum cohomology ring of a Grassmann variety of type A. The proof of the conjecture proceeds by showing that the puzzle formula defines an associative product on the cohomology ring of the two-step flag variety. It is based on an explicit bijection …
We introduce interpolation analogues of Schur Q-functions - the multiparameter Schur Q-functions. We obtain for them several results: a combinatorial formula, generating functions for one-row and two-rows functions, vanishing and characterization properties, a Pieri-type formula, a Nimmo-type formula (a relation of two Pfaffians), a Giambelli-Schur-type Pfaffian formula, a determinantal formula for the transition coefficients between multiparameter Schur Q-functions with different parameters. We write an explicit Pfaffian expression for the dimension of skew shifted Young diagram. This paper i…
We present in this article a family of new combinatorial identities via purely differential/complex geometry methods, which include as a speical case a unified and explicit formula for Chern numbers of all complex flag manifolds. Our strategy is to construct concrete circle actions with isolated fixed points on these manifolds and explicitly determine their weights. Then applying Bott's residue formula to these models yields the desired results.
Divided difference operators are degree-reducing operators on the cohomology of flag varieties that are used to compute algebraic invariants of the ring (for instance, structure constants). We identify divided difference operators on the equivariant cohomology of G/P for arbitrary partial flag varieties of arbitrary Lie type, and show how to use them in the ordinary cohomology of G/P. We provide three applications. The first shows that all Schubert classes of partial flag varieties can be generated from a sequence of divided difference operators on the highest-degree Schubert class. The second…
Fomin and Kirillov initiated a line of research into the realization of the cohomology and $K$-theory of generalized flag varieties $G/B$ as commutative subalgebras of certain noncommutative algebras. This approach has several advantages, which we discuss. This paper contains the most comprehensive result in a series of papers related to the mentioned line of research. More precisely, we give a model for the $T$-equivariant $K$-theory of a generalized flag variety $K_T(G/B)$ in terms of a certain braided Hopf algebra called the Nichols-Woronowicz algebra. Our model is based on the Chevalley-ty…
This paper provides a unified combinatorial framework to study orbits in certain affine flag varieties via the associated Bruhat-Tits buildings. We first formulate, for arbitrary affine buildings, the notion of a chimney retraction. This simultaneously generalizes the two well-known notions of retractions in affine buildings: retractions from chambers at infinity and retractions from alcoves. We then present a recursive formula for computing the images of certain minimal galleries in the building under chimney retractions, using purely combinatorial tools associated to the underlying affine We…
