arXiv++ Combinatorics

We introduce rectangular elements in the symmetric group. In the framework of PBW degenerations, we show that in type A the degenerate Schubert variety associated to a rectangular element is indeed a Schubert variety in a partial flag variety of the same type with larger rank. Moreover, the degenerate Demazure module associated to a rectangular element is isomorphic to the Demazure module for this particular Schubert variety of larger rank. This generalizes previous results by Cerulli Irelli, Lanini and Littelmann for the PBW degenerate flag variety.

Peterson and Proctor obtained a formula which expresses the multivariate generating function for $P$-partitions on a $d$-complete poset $P$ as a product in terms of hooks in $P$. In this paper, we give a skew generalization of Peterson--Proctor's hook formula, i.e., a formula for the generating function for $(P \setminus F)$-partitions for a $d$-complete poset $P$ and its order filter $F$, by using the notion of excited diagrams. Our proof uses the Billey-type formula and the Chevalley-type formula in the equivariant $K$-theory of Kac--Moody partial flag varieties. This generalization provides an alternate proof of Peterson--Proctor's hook formula.

We show that the totally nonnegative part of a partial flag variety (in the sense of Lusztig) is homeomorphic to a closed ball.

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 show that the poset of $SL(n)$-orbit closures in the product of two partial flag varieties is a lattice if the action of $SL(n)$ is spherical.

This paper studies the geometry and combinatorics of three interrelated varieties: Springer fibers, Steinberg varieties, and parabolic Hessenberg varieties. We prove that each parabolic Hessenberg variety is the pullback of a Steinberg variety under the projection of the flag variety to an appropriate partial flag variety and we give three applications of this result. The first application constructs an explicit paving of all Steinberg varieties in Lie type $A$ in terms of semistandard tableaux. As a result, we obtain an elementary proof of a theorem of Steinberg and Shimomura that the well-known Kostka numbers count the maximal-dimensional irreducible components of Steinberg varieties. The second application proves an open conjecture for certain parabolic Hessenberg varieties in Lie type A by showing that their Betti numbers equal those of a specific union of Schubert varieties. The third application proves that the irreducible components of parabolic Hessenberg varieties are in bijection with the irreducible components of the Steinberg variety. All three of these applications extend our geometric understanding of the three varieties at the heart of this paper, a full understanding of which is unknown even for Springer varieties, despite over forty years' worth of work.

We study the equivariant oriented cohomology ring $h_T(G/P)$ of partial flag varieties using the moment map approach. We define the right Hecke action on this cohomology ring, and then prove that the respective Bott-Samelson classes in $h_{T}(G/P)$ can be obtained by applying this action to the fundamental class of the identity point, hence generalizing previously known results by Brion, Knutson, Peterson, Tymoczko and others. We then focus on the equivariant oriented cohomology theory corresponding to the 2-parameter Todd genus. We give a new interpretation of Deodhar's construction of the parabolic Kazhdan-Lusztig basis. Based on it, we define the parabolic Kazhdan-Lusztig (KL) Schubert classes independently of a reduced word. We make a positivity conjecture, and a conjecture about the relationship of such classes with smoothness of Schubert varieties. We then prove several special cases.

A Gelfand-Cetlin polytope is a convex polytope obtained as an image of certain completely integrable system on a partial flag variety. In this paper, we give an equivalent description of the face structure of a GC-polytope in terms of so called the face structure of a ladder diagram. Using our description, we obtain a partial differential equation whose solution is the exponential generating function of f-vectors of GC-polytopes. This solves the open problem (2) posed by Gusev, Kritchenko, and Timorin in [GKT].

In our previous work arXiv:1305.3543, we employed the approach to Schubert polynomials by Fomin, Stanley, and Kirillov to obtain simple, uniform proofs that the double Schubert polynomials of Lascoux and Schutzenberger and Ikeda, Mihalcea, and Naruse represent degeneracy loci for the classical groups in the sense of Fulton. Using this as our starting point, and purely combinatorial methods, we obtain a new proof of the general formulas of arXiv:0908.3628, which represent the degeneracy loci coming from any isotropic partial flag variety. Along the way, we also find several new formulas and elucidate the connections between some earlier ones.

In this paper, we study equivariant vector bundles on partial flag varieties arising from Schur functors. We show that a partial flag variety with three or more steps does not admit an Ulrich bundle of this form with respect to the minimal ample class. We classify Ulrich bundles of this form on two-step flag varieties F(1,n-1;n), F(2,n-1;n), F(2,n-2;n), F(k,k+1;n) and F(k,k+2;n). We give a conjectural description of the two-step flag varieties which admit such Ulrich bundles.

In this paper, we study equivariant vector bundles on partial flag varieties arising from Schur functors. We show that a partial flag variety with three or more steps does not admit an Ulrich bundle of this form with respect to the minimal ample class. We classify Ulrich bundles of this form on two-step flag varieties F(2,n;n+1), F(2,n;n+2), F(k,k+1;n), and F(k,k+2;n). We give a conjectural description of the two-step flag varieties which admit such Ulrich bundles. Our results provide counterexamples to conjectures by Costa and Miro-Roig.

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 analyze marked poset polytopes and generalize a result due to Hibi and Li, answering whether the marked chain polytope is unimodular equivalent to the marked order polytope. Both polytopes appear naturally in the representation theory of semi-simple Lie algebras, and hence we can give a necessary and sufficient condition on the marked poset such that the associated toric degenerations of the corresponding partial flag variety are isomorphic. We further show that the set of lattice points in such a marked poset polytope is the Minkowski sum of sets of lattice points for 0-1 polytopes. Moreover, we provide a decomposition of the marked poset into indecomposable marked posets, which respects this Minkowski sum decomposition for the marked chain polytopes polytopes.

In a spirit of Givental's constructions Batyrev, Ciocan-Fontanine, Kim, and van Straten suggested Landau--Ginzburg models for smooth Fano complete intersections in Grassmannians and partial flag varieties as certain complete intersections in complex tori equipped with special functions called superpotentials. We provide a particular algorithm for constructing birational isomorphisms of these models for complete intersections in Grassmannians of planes with complex tori. In this case the superpotentials are given by Laurent polynomials. We study Givental's integrals for Landau--Ginzburg models suggested by Batyrev, Ciocan-Fontanine, Kim, and van Straten and show that they are periods for pencils of fibers of maps provided by Laurent polynomials we obtain. The algorithm we provide after minor modifications can be applied in a more general context.

A Peterson variety is a subvariety of the flag variety $G/B$ which appears in the construction of the quantum cohomology of partial flag varieties. Each Peterson variety has a one-dimensional torus $S^1$ acting on it. We give a basis of Peterson Schubert classes for $H_{S^1}^*(Pet)$ and identify the ring generators. In type $A$ Harada-Tymoczko gave a positive Monk formula, and Bayegan-Harada gave Giambelli's formula for multiplication in the cohomology ring. This paper gives Monk's rule and Giambelli's formula for all Lie types.

We show a canonical injective morphism from the quantum cohomology ring QH(G/P) to the associated graded algebra of QH(G/B), which is with respect to a nice filtration on QH(G/B) introduced by Leung and the author. This tells us the vanishing of a lot of genus zero, three-pointed Gromov-Witten invariants of flag varieties G/P.

We describe a closed immersion from each representation space of a type A quiver with bipartite (i.e., alternating) orientation to a certain opposite Schubert cell of a partial flag variety. This "bipartite Zelevinsky map" restricts to an isomorphism from each orbit closure to a Schubert variety intersected with the above-mentioned opposite Schubert cell. For type A quivers of arbitrary orientation, we give the same result up to some factors of general linear groups. These identifications allow us to recover results of Bobinski and Zwara; namely we see that orbit closures of type A quivers are normal, Cohen-Macaulay, and have rational singularities. We also see that each representation space of a type A quiver admits a Frobenius splitting for which all of its orbit closures are compatibly Frobenius split.

Deodhar introduced his decomposition of partial flag varieties as a tool for understanding Kazhdan-Lusztig polynomials. The Deodhar decomposition of the Grassmannian is also useful in the context of soliton solutions to the KP equation, as shown by Kodama and the second author. Deodhar components S_D of the Grassmannian are in bijection with certain tableaux D called Go-diagrams, and each component is isomorphic to (K*)^a \times (K)^b for some non-negative integers a and b. Our main result is an explicit parameterization of each Deodhar component in the Grassmannian in terms of networks. More specifically, from a Go-diagram D we construct a weighted network N_D and its weight matrix W_D, whose entries enumerate directed paths in N_D. By letting the weights in the network vary over K or K* as appropriate, one gets a parameterization of the Deodhar component S_D. One application of such a parameterization is that one may immediately determine which Plucker coordinates are vanishing and nonvanishing, by using the Lindstrom-Gessel-Viennot Lemma. We also give a (minimal) characterization of each Deodhar component in terms of Plucker coordinates. A main tool for us is the work of Marsh and Rietsch on Deodhar components in the flag variety.

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.

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.