arXiv++ Combinatorics

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.

Springer fibers are subvarieties of the flag variety parametrized by partitions; they are central objects of study in geometric representation theory. Schubert varieties are subvarieties of the flag variety that induce a well-known basis for the cohomology of the flag variety. This paper relates these two varieties combinatorially. We prove that the Betti numbers of the Springer fiber associated to a partition with at most three rows or two columns are equal to the Betti numbers of a specific union of Schubert varieties.

In this paper, we study the geometry of various Hessenberg varieties in type A, as well as families thereof, with the additional goal of laying the groundwork for future computations of Newton-Okounkov bodies of Hessenberg varieties. Our main results are as follows. We find explicit and computationally convenient generators for the local defining ideals of indecomposable regular nilpotent Hessenberg varieties, and then show that all regular nilpotent Hessenberg varieties are local complete intersections. We also show that certain families of Hessenberg varieties, whose generic fibers are regular semisimple Hessenberg varieties and the special fiber is a regular nilpotent Hessenberg variety, are flat and have reduced fibres. This result further allows us to give a computationally effective formula for the degree of a regular nilpotent Hessenberg variety with respect to a Plücker embedding. Furthermore, we construct certain flags of subvarieties of a regular nilpotent Hessenberg variety, obtained by intersecting with Schubert varieties, which are suitable for computing Newton-Okounkov bodies. As an application of our results, we explicitly compute many Newton-Okounkov bodies of the two-dimensional Peterson variety with respect to Plücker embeddings.

We introduce diagrams and essential sets for signed permutations, extending the analogous notions for ordinary permutations. In particular, we show that the essential set provides a minimal list of rank conditions defining the Schubert variety or degeneracy locus corresponding to a signed permutation. Our essential set is in bijection with the poset-theoretic version defined by Reiner, Woo, and Yong, and thus gives an explicit, diagrammatic method for computing the latter.

This is a review/announcement of results concerning the connection between certain exactly solvable two-dimensional models of statistical mechanics, namely loop models, and the equivariant $K$-theory of the cotangent bundle of the Grassmannian. We interpret various concepts from integrable systems ($R$-matrix, partition function on a finite domain) in geometric terms. As a byproduct, we provide explicit formulae for $K$-classes of various coherent sheaves, including structure and (conjecturally) square roots of canonical sheaves and canonical sheaves of conormal varieties of Schubert varieties.

We study the combinatorics of pseudoline arrangements and their relation to the geometry of flag and Schubert varieties. We associate to each pseudoline arrangement two polyhedral cones, defined in a dual manner. We prove that one of them is the weighted string cone by Littelmann and Berenstein-Zelevinsky. For the other we show how it arises in the framework of cluster varieties and mirror symmetry by Gross-Hacking-Keel-Kontsevich: for the flag variety the cone is the tropicalization of their superpotential while for Schubert varieties a restriction of the superpotential is necessary. We prove that the two cones are unimodularly equivalent. As a corollary of our combinatorial result we realize Caldero's toric degenerations of Schubert varieties as GHKK-degeneration using cluster theory.

We find the generating function for the permutation class $\mathcal{A}'=\text{Av}(52341,53241,52431,35142,42513,351624)$ whose permutations index local complete intersection Schubert varieties. The method we apply is the extension of how Albert and Brignall discover the generating function for $\mathcal{A}=\text{Av}(4231,35142,42513,351624)$ in their paper. This completes the enumerations of all classical permutation classes indexing certain types of Schubert varieties.

We give a permutation pattern avoidance criteria for determining when the projection map from the flag variety to a Grassmannian induces a fiber bundle structure on a Schubert variety. In particular, we introduce the notion of a split pattern and show that a Schubert variety has such a fiber bundle structure if and only if the corresponding permutation avoids the split patterns 3|12 and 23|1. Continuing, we show that a Schubert variety is an iterated fiber bundle of Grassmannian Schubert varieties if and only if the corresponding permutation avoids (non-split) patterns 3412, 52341, and 635241. This extends a combined result of Lakshmibai-Sandhya, Ryan, and Wolper who prove that Schubert varieties whose permutation avoids the "smooth" patterns 3412 and 4231 are iterated fiber bundles of smooth Grassmannian Schubert varieties.

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.

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 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 showing that all finite-type rationally smooth Schubert varieties have a complete BP decomposition to finish the enumeration.

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.

The Schubert polynomials lift the Schur basis of symmetric polynomials into a basis for Z[x1,x2,...]. We suggest the "prism tableau model" for these polynomials. A novel aspect of this alternative to earlier results is that it directly invokes semistandard tableaux; it does so as part of a colored tableau amalgam. In the Grassmannian case, a prism tableau with colors ignored is a semistandard Young tableau. Our arguments are developed from the Groebner geometry of matrix Schubert varieties.

Given a matrix Schubert variety $\overline{X_π}$, it can be written as $\overline{X_π}=Y_π\times \mathbb{C}^q$ (where $q$ is maximal possible). We characterize when $Y_π$ is toric (with respect to a $(\mathbb{C}^*)^{2n-1}$-action) and study the associated polytope $Φ(\mathbb{P}(Y_π))$ of its projectivization. We construct regular triangulations of $Φ(\mathbb{P}(Y_π))$ which we show are geometric realizations of a family of subword complexes. Subword complexes were introduced by Knutson and Miller in 2004, who also showed that they are homeomorphic to balls or spheres and raised the question of their polytopal realizations.

The main results of this paper are accessible with only basic linear algebra. Given an increasing sequence of dimensions, a flag in a vector space is an increasing sequence of subspaces with those dimensions. The set of all such flags (the flag manifold) can be projectively coordinatized using products of minors of a matrix. These products are indexed by tableaux on a Young diagram. A basis of "standard monomials" for the vector space generated by such projective coordinates over the entire flag manifold has long been known. A Schubert variety is a subset of flags specified by a permutation. Lakshmibai, Musili, and Seshadri gave a standard monomial basis for the smaller vector space generated by the projective coordinates restricted to a Schubert variety. Reiner and Shimozono made this theory more explicit by giving a straightening algorithm for the products of the minors in terms of the right key of a Young tableau. Since then, Willis introduced scanning tableaux as a more direct way to obtain right keys. This paper uses scanning tableaux to give more-direct proofs of the spanning and the linear independence of the standard monomials. In the appendix it is noted that this basis is a weight basis for the dual of a Demazure module for a Borel subgroup of GL(n). This paper contains a complete proof that the characters of these modules (the key polynomials) can be expressed as the sums of the weights for the tableaux used to index the standard monomial bases.

Let $G$ be the product $GL_r(C) \times (C^\times)^n$. We show that the $G$-equivariant Chow class of a $G$ orbit closure in the space of $r$-by-$n$ matrices is determined by a matroid. To do this, we split the natural surjective map from the $G$ equvariant Chow ring of the space of matrices to the torus equivariant Chow ring of the Grassmannian. The splitting takes the class of a Schubert variety to the corresponding factorial Schur polynomial, and also has the property that the class of a subvariety of the Grassmannian is mapped to the class of the closure of those matrices whose row span is in the variety.

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.

Flag domains are open orbits of real semisimple Lie groups in flag manifolds of their complexifications. Certain group theoretically defined compact complex submanifolds, which are regarded as cycles, are of basic importance for their complex geometric and representation theoretic properties. It is known that there are optimal Schubert varieties which intersect the cycles transversally in finitely many points and in particular determine them in homology. Here we give a precise description of these Schubert varieties in terms of certain subsets of the Weyl group and compute their total number for all the real forms of SL(n,C). Furthermore, we give an explicit description of the points of intersection in terms of flags and their number.

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.

In this article we prove that Schubert union codes are Tanner codes constructed with the point--line incidence geometry that Schubert varieties inherit from the Grassmannian. We do this by first finding an lengthening algorithm for Tanner codes. This algorithm finds the entries of a codeword of a Tanner code from the entries in a given subset of its positions. We find sufficient conditions on the initial set and the initial positions such that a codeword is determined from the component codes only. We find an iterative and systematic encoding algorithm for Schubert union codes with linear complexity. With this encoder we also determine the minimum distance of Schubert union codes.