arXiv++ Combinatorics

This survey paper describes Springer fibers, which are used in one of the earliest examples of a geometric representation. We will compare and contrast them with Schubert varieties, another family of subvarieties of the flag variety that play an important role in representation theory and combinatorics, but whose geometry is in many respects simpler. The end of the paper describes a way that Springer fibers and Schubert varieties are related, as well as open questions.

We study the algebraic geometry and combinatorics of the central degeneration (the degeneration that shows up in local models of Shimura varieties and Gaitsgory's central sheaves) in type A. More specifically, we elucidate the central degeneration of semi-infinite orbits and explain its relations with Levi restriction. Also, we discuss the central degeneration of Mirkovi$\acute{\text{c}}$-Vilonen cycles in the affine Grassmannian, and the corresponding transformations of Mirkovi$\acute{\text{c}}$-Vilonen polytopes. In addition, we shed some light on the geometry of Iwahori MV cycles in the affine Grassmannian and generalized MV cycles in the affine flag variety, which are closely related to Demazure modules and affine Deligne-Lusztig varieties respectively.

We prove a type-uniform Chevalley formula for multiplication with divisor classes in the equivariant quantum $K$-theory ring of any cominuscule flag variety $G/P$. We also prove that multiplication with divisor classes determines the equivariant quantum $K$-theory of arbitrary flag varieties. These results prove a conjecture of Gorbounov and Korff concerning the equivariant quantum $K$-theory of Grassmannians of Lie type A.

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.

This is a set of working notes which give a second proof of the Shareshian--Wachs conjecture, the first (and recent) proof being by Brosnan and Chow in November 2015. The conjecture relates some symmetric functions constructed combinatorially out of unit interval graphs (their $q$-chromatic quasisymmetric functions), and some symmetric functions constructed algebro-geometrically out of Tymoczko's representation of the symmetric group on the equivariant cohomology ring of a family of subvarieties of the complex flag variety, called regular semisimple Hessenberg varieties. Brosnan and Chow's proof is based in part on the idea of deforming the Hessenberg varieties. The proof given here, in contrast, is based on the idea of recursively decomposing Hessenberg varieties, using a new Hopf algebra as the organizing principle for this recursion. We hope that taken together, each approach will shed some light on the other, since there are still many outstanding questions regarding the objects under study.

Involution words are variations of reduced words for twisted involutions in Coxeter groups. They arise naturally in the study of the Bruhat order, of certain Iwahori-Hecke algebra modules, and of orbit closures in flag varieties. Specifically, to any twisted involutions $x$, $y$ in a Coxeter group $W$ with automorphism $*$, we associate a set of involution words $\hat{\mathcal{R}}_*(x,y)$. This set is the disjoint union of the reduced words of a set of group elements $\mathcal{A}_*(x,y)$, which we call the atoms of $y$ relative to $x$. The atoms, in turn, are contained in a larger set $\mathcal{B}_*(x,y) \subset W$ with a similar definition, whose elements we refer to as Hecke atoms. Our main results concern some interesting properties of the sets $\hat{\mathcal{R}}_*(x,y)$ and $\mathcal{A}_*(x,y) \subset \mathcal{B}_*(x,y)$. For finite Coxeter groups we prove that $\mathcal{A}_*(1,y)$ consists of exactly the minimal-length elements $w \in W$ such that $w^* y \leq w$ in Bruhat order, and conjecture a more general property for arbitrary Coxeter groups. In type $A$, we describe a simple set of conditions characterizing the sets $\mathcal{A}_*(x,y)$ for all involutions $x,y \in S_n$, giving a common generalization of three recent theorems of Can, Joyce, and Wyser. We show that the atoms of a fixed involution in the symmetric group (relative to $x=1$) naturally form a graded poset, while the Hecke atoms surprisingly form an equivalence class under the "Chinese relation" studied by Cassaigne, Espie, et al. These facts allow us to recover a recent theorem of Hu and Zhang describing a set of "braid relations" spanning the involution words of any self-inverse permutation. We prove a generalization of this result giving an analogue of Matsumoto's theorem for involution words in arbitrary Coxeter groups.

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.

Matrix Schubert varieties are certain varieties in the affine space of square matrices which are determined by specifying rank conditions on submatrices. We study these varieties for generic matrices, symmetric matrices, and upper triangular matrices in view of two applications to algebraic statistics: we observe that special conditional independence models for Gaussian random variables are intersections of matrix Schubert varieties in the symmetric case. Consequently, we obtain a combinatorial primary decomposition algorithm for some conditional independence ideals. We also characterize the vanishing ideals of Gaussian graphical models for generalized Markov chains. In the course of this investigation, we are led to consider three related stratifications, which come from the Schubert stratification of a flag variety. We provide some combinatorial results, including describing the stratifications using the language of rank arrays and enumerating the strata in each case.

We give an explicit description of the closure containment order (or "Bruhat order") on the set of orbits of GL_p \times GL_q on the flag variety GL_{p+q}/B, relative to the parametrization of the orbits by combinatorial objects called "clans". This leads to a corresponding description of the closures of such orbits as sets of flags satisfying certain incidence conditions encoded by the parametrizing clans.

Extending results of Wyser, we determine formulas for the equivariant cohomology classes of closed orbits of certain families of spherical subgroups of $GL_n$ on the flag variety $GL_n/B$. Putting this together with a slight extension of the results of Can-Joyce-Wyser, we arrive at a family of polynomial identities which show that certain explicit sums of Schubert polynomials factor as products of linear forms.

We prove a conjecture which expresses the bigraded Poisson-de Rham homology of the nilpotent cone of a semisimple Lie algebra in terms of the generalized (one-variable) Kostka polynomials, via a formula suggested by Lusztig. This allows us to construct a canonical family of filtrations on the flag variety cohomology, and hence on irreducible representations of the Weyl group, whose Hilbert series are given by the generalized Kostka polynomials. We deduce consequences for the cohomology of all Springer fibers. In particular, this computes the grading on the zeroth Poisson homology of all classical finite W-algebras, as well as the filtration on the zeroth Hochschild homology of all quantum finite W-algebras, and we generalize to all homology degrees. As a consequence, we deduce a conjecture of Proudfoot on symplectic duality, relating in type A the Poisson homology of Slodowy slices to the intersection cohomology of nilpotent orbit closures. In the last section, we give an analogue of our main theorem in the setting of mirabolic D-modules.

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 intervals in the weak order on involutions. In particular, our definition of "involution Schubert polynomials" can be viewed as a Billey-Jockusch-Stanley type formula for cohomology class representatives of $\mathrm{O}_n$- and $\mathrm{Sp}_{2n}$-orbit closures in the flag variety, defined inductively in recent work of Wyser and Yong. As a special case of a more general theorem, we show that the involution Stanley symmetric function for the longest element of a finite symmetric group is a product of staircase-shaped Schur functions. This implies that the number of involution words for the longest element of a finite symmetric group is equal to the dimension of a certain irreducible representation of a Weyl group of type $B$.

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 construct the affine version of the Fomin-Kirillov algebra, called the affine FK algebra, to investigate the combinatorics of affine Schubert calculus for type $A$. We introduce Murnaghan-Nakayama elements and Dunkl elements in the affine FK algebra. We show that they are commutative as Bruhat operators, and the commutative algebra generated by these operators is isomorphic to the cohomology of the affine flag variety. We show that the cohomology of the affine flag variety is product of the cohomology of an affine Grassmannian and a flag variety, which are generated by MN elements and Dunkl elements respectively. The Schubert classes in cohomology of the affine Grassmannian (resp. the flag variety) can be identified with affine Schur functions (resp. Schubert polynomials) in a quotient of the polynomial ring. Affine Schubert polynomials, polynomial representatives of the Schubert class in the cohomology of the affine flag variety, can be defined in the product of two quotient rings using the Bernstein-Gelfand-Gelfand operators interpreted as divided difference operators acting on the affine Fomin-Kirillov algebra. As for other applications, we obtain Murnaghan-Nakayama rules both for the affine Schubert polynomials and affine Stanley symmetric functions. We also define $k$-strong-ribbon tableaux from Murnaghan-Nakayama elements to provide a new formula of $k$-Schur functions. This formula gives the character table of the representation of the symmetric group whose Frobenius characteristic image is the $k$-Schur function.

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 give a new proof for the fact that the number of torus fixed points for the degenerated flag variety is equal to the normalized median Genocchi number, using the identification with a certain Schubert variety. We further study the torus fixed points for the symplectic degenerated flag variety and develop a combinatorial model, symplectic Dellac configurations, so parametrize them. The number of these symplectic fixed points is conjectured to be the median Euler number.

We give an algebra-combinatorial constructions of (noncommutative) generating functions of double Schubert and double $β$-Grothendieck polynomials corresponding to the full flag varieties associated to the Lie groups of classical types $A,B, C$ and $D$. Our approach is based on the decomposition of certain `` transfer matrices `` corresponding to the exponential solution to the quantum Yang--Baxter equations associated with either NiCoxeter or IdCoxeter algebras of classical types. The "triple"~$β$-Grothendieck polynomials ${\mathfrak{G}}_{w}^{W}(X,Y,Z)$ we have introduced, satisfy, among other things, the coherency and (generalized) vanishing conditions. Their generating function has a nice factorization in the algebra $Id_βCoxeter(W)$, and as a consequence, the polynomials ${\mathfrak{G}}_{w}^{W}(X,Y,Z)$ admit a combinatorial description in terms of $W$-type pipe dreams.

A parametrization of a positroid variety $Π$ of dimension $d$ is a regular map $(\mathbb{C}^{\times})^{d} \rightarrow Π$ which is birational onto a dense subset of $Π$. There are several remarkable combinatorial constructions which yield parametrizations of positroid varieties. We investigate the relationship between two families of such parametrizations, and prove they are essentially the same. Our first family is defined in terms of Postnikov's boundary measurement map, and the domain of each parametrization is the space of edge weights of a planar network. We focus on a special class of planar networks called bridge graphs, which have applications to particle physics. Our second family arises from Marsh and Rietsch's parametrizations of Deodhar components of the flag variety, which are indexed by certain subexpressions of reduced words. Projecting to the Grassmannian gives a family of parametrizations for each positroid variety. We show that each Deodhar parametrization for a positroid variety corresponds to a bridge graph, while each parametrization from a bridge graph agrees with some projected Deodhar parametrization.

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.

This paper introduces a two-parameter deformation of the cohomology of generalized flag varieties. One special case is the Belkale-Kumar deformation (used to study eigencones of Lie groups). Another picks out intersections of Schubert varieties that behave nicely under projections. Our construction yields a new proof that the Belkale-Kumar product is well-defined. This proof is shorter and more elementary than earlier proofs.