arXiv++ Combinatorics

We introduce multivariate rational generating series called Hall-Littlewood-Schubert ($\mathsf{HLS}_n$) series. They are defined in terms of polynomials related to Hall-Littlewood polynomials and semistandard Young tableaux. We show that $\mathsf{HLS}_n$ series provide solutions to a range of enumeration problems upon judicious substitutions of their variables. These include the problem to enumerate sublattices of a $p$-adic lattice according to the elementary divisor types of their intersections with the members of a complete flag of reference in the ambient lattice. This is an affine analog of the stratification of Grassmannians by Schubert varieties. Other substitutions of $\mathsf{HLS}_n$ series yield new formulae for Hecke series and $p$-adic integrals associated with symplectic $p$-adic groups, and combinatorially defined quiver representation zeta functions. $\mathsf{HLS}_n$ series are $q$-analogs of Hilbert series of Stanley-Reisner rings associated with posets arising from parabolic quotients of Coxeter groups of type $\mathsf{B}$ with the Bruhat order. Special values of coarsened $\mathsf{HLS}_n$ series yield analogs of the classical Littlewood identity for the generating functions of Schur polynomials.

We give a criterion for a collection of polynomials to be a universal Gröbner basis for an ideal in terms of the multidegree of the closure of the corresponding affine variety in $(\mathbb{P}^1)^N$. This criterion can be used to give simple proofs of several existing results on universal Gröbner bases. We introduce fine Schubert polynomials, which record the multidegrees of the closures of matrix Schubert varieties in $(\mathbb{P}^1)^{n^2}$. We compute the fine Schubert polynomials of permutations $w$ where the coefficients of the Schubert polynomials of $w$ and $w^{-1}$ are all either 0 or 1, and we use this to give a universal Gröbner basis for the ideal of the matrix Schubert variety of such a permutation.

Using the language of Seshadri stratifications we develop a geometrical interpretation of Lakshmibai-Seshadri-tableaux and their associated standard monomial bases. These tableaux are a generalization of Young-tableaux and De-Concini-tableaux to all Dynkin types. More precisely, we construct filtrations of multihomogeneous coordinate rings of Schubert varieties, such that the subquotients are one-dimensional and indexed by standard tableaux.

Horospherical Schubert varieties are determined. It is shown that the stabilizer of an arbitrary point in a Schubert variety is a strongly solvable algebraic group. The connectedness of this stabilizer subgroup is discussed. Moreover, a new family of spherical varieties, called doubly spherical varieties, is introduced. It is shown that every nearly toric Schubert variety is doubly spherical.

In this chapter, we give an overview of Billey-Postnikov (BP) decompositions which have become an important tool for understanding the geometry and combinatorics of Schubert varieties. BP decompositions are factorizations of Coxeter group elements with many nice properties in relation to Bruhat partial order. They have played an important role in the classification and enumeration of smooth Schubert varieties. They have also been used in the study of inversion hyperplane arrangements and permutation pattern avoidance. We survey many of these applications.

While mirror symmetry for flag varieties and Grassmannians has been extensively studied, Schubert varieties in the Grassmannian are singular, and hence standard mirror symmetry statements are not well-defined. Nevertheless, in this article we introduce a ``superpotential'' $W^λ$ for each Grassmannian Schubert variety $X_λ$, generalizing the Marsh-Rietsch superpotential for Grassmannians, and we show that $W^λ$ governs many toric degenerations of $X_λ$. We also generalize the ``polytopal mirror theorem'' for Grassmannians from our previous work: namely, for any cluster seed $G$ for $X_λ$, we construct a corresponding Newton-Okounkov convex body $Δ_G^λ$, and show that it coincides with the superpotential polytope $Γ_G^λ$, that is, it is cut out by the inequalities obtained by tropicalizing an associated Laurent expansion of $W^λ$. This gives us a toric degeneration of the Schubert variety $X_λ$ to the (singular) toric variety $Y(\mathcal{N}_λ)$ of the Newton-Okounkov body. Finally, for a particular cluster seed $G=G^λ_{\mathrm{rec}}$ we show that the toric variety $Y(\mathcal{N}_λ)$ has a small toric desingularisation, and we describe an intermediate partial desingularisation $Y(\mathcal{F}_λ)$ that is Gorenstein Fano. Many of our results extend to more general varieties in the Grassmannian.

We provide an algebraic-geometrical interpretation of the classical semistandard Young-tableaux via the notion of Seshadri stratifications. The columns appearing in such a tableau correspond to vanishing multiplicities of certain rational functions on Schubert varieties. To build a framework for this correspondence we generalize Seshadri stratifications to multiprojective varieties, which forms the largest part of this article.

We study the multiplicity number of the characteristic cycle of the intersection complex of the matroid Schubert variety. It is shown to be a combinatorial invariant, and it can be computed by explicit formulas. We also conjecture that the generalization to arbitrary matroid is non-negative.

The expansion of a Schubert polynomial into slide polynomials corresponds to a sum over sub-balls in the subword complex. There has been recent interest in other, coarser, expansions of Schubert polynomials. We extend the methods used in [KM04] to prove that the subword complex is a ball or a sphere to a more general method, and use it to prove that the expansion of a Schubert polynomial into forest polynomials also corresponds to a sum over sub-balls in the subword complex. When expanding the product $\mathfrak{S}_π\mathfrak{S}_ρ$ of two Schubert polynomials into Schubert polynomials $\mathfrak{S}_σ$, there is a bijection between shuffles of reduced words for $π$ and $ρ$ and reduced words for $σ$ (counted with multiplicity). We give such a bijection for Monk's rule and Sottile's Pieri rule. We give tableau-based definitions of slide polynomials, glide polynomials, and fundamental quasisymmetric polynomials and show that the expansion of a Schur polynomial into fundamental quasisymmetric polynomials corresponds to a sum over sub-balls in the tableau complex. The Schubert polynomials are the cohomology classes of matrix Schubert varieties, but there is no geometric explanation of the slide polynomials. We show that the slide polynomials are not (antidiagonal) Gröbner degenerations of matrix Schubert varieties, answering in the negative a question of [ST21, Section 1.4].

In the Grassmannian $Gr_{\mathbb{C}}(k,n)$ we have positroid varieties $Π_f$, each indexed by a bounded affine permutation $f$ and containing torus-fixed points $λ\in Π_f$. In this paper we consider the partially ordered set consisting of quadruples $(k,n,Π_f,λ)$ (or \textit{(positroid) pairs} $(Π_f,λ)$ for short). The partial order is the ordering given by the covering relation $\lessdot$ where $(Π_f',λ') \lessdot (Π_f,λ)$ if $Π_f'$ is obtained by $Π_f$ by \textit{deletion} or \textit{contraction.} Using the results of Snider [2010], we know that positroid varieties can be studied in a neighborhood of each of these points by \textit{affine pipe dreams.} Our main theorem provides a quick test of when a positroid variety is smooth at one of these given points. It is sufficient to test smoothness of a positroid variety by using the main result to test smoothness at each of these points. These results can also be applied to the question of whether Schubert varieties in flag manifolds are smooth at points given by 321-avoiding permutations, as studied in Graham/Kreimer [2020]. We have a secondary result, which describes the minimal singular positroid pairs in our ordering - these are the positroid pairs where any deletion or contraction causes it to become smooth.

We describe the loci of non-rationally smooth (nrs) points and of singular points for any non-spiral Schubert variety of $\tilde{A}_2$ in terms of the geometry of the (affine) Weyl group action on the plane $\mathbb{R}^2$. Together with the results of Graham and Li for spiral elements, this allows us to explicitly identify the maximal singular and nrs points in any Schubert variety of type $\tilde{A}_2$. Comparable results are not known for any other infinite-dimensional Kac-Moody flag variety (except for type $\tilde{A}_1$, where every Schubert variety is rationally smooth). As a consequence, we deduce that if $x$ is a point in a non-spiral Schubert variety $X_w$, then $x$ is nrs in $X_w$ if and only if there are more than $\dim X_w$ curves in $X_w$ through $x$ which are stable under the action of a maximal torus, as is true for Schubert varieties in (finite) type $A$. Combined with the work of Graham and Li for spiral Schubert varieties, this implies the Lookup Conjecture for $\tilde{A}_2$.

In this paper, we initiate the study of constant dimension subspace codes restricted to Schubert varieties, which we call Schubert subspace codes. These codes have a very natural geometric description, as objects that we call intersecting sets with respect to a fixed subspace. We provide a geometric construction of maximum size constant dimension subspace codes in some Schubert varieties with the largest possible value for the minimum subspace distance. Finally, we generalize the problem to different values of the minimum distance.

This article establishes alcove walk models for intersections of Schubert varieties and partially semi-infinite orbits in the affine Grassmannian of a split reductive group (we call such intersections parabolic Mirković-Vilonen intersections). More precisely, we describe explicit cellular pavings of these intersections, indexed by certain positively-folded alcove walks. We prove a parametrization of the irreducible components of maximal possible dimension, in terms of alcove walks of maximal possible dimension. We then deduce a new combinatorial description of branching to Levi subgroups of irreducible highest weight representations, and in particular we give a new algorithm for computing the characters of such representations.

We prove a formula for the degrees of Ikeda and Naruse's $P$-Grothendieck polynomials using combinatorics of shifted tableaux. We show this formula can be used in conjunction with results of Hamaker, Marberg, and Pawlowski to obtain an upper bound on the Castelnuovo-Mumford regularity of certain Pfaffian varieties known as vexillary skew-symmetric matrix Schubert varieties. Similar combinatorics additionally yields a new formula for the degree of Grassmannian Grothendieck polynomials and the regularity of Grassmannian matrix Schubert varieties, complementing a 2021 formula of Rajchgot, Ren, Robichaux, St. Dizier, and Weigandt.

The goal of this paper is twofold. Firstly, we provide a type-uniform formula for the torus complexity of the usual torus action on a Richardson variety, by developing the notion of algebraic dimensions of Bruhat intervals, strengthening a type $A$ result by Donten-Bury, Escobar and Portakal. In the process, we give an explicit description of the torus action on any Deodhar component as well as describe the root subgroups that comprise the component. Secondly, when a Levi subgroup in a reductive algebraic group acts on a Schubert variety, we exhibit a codimension preserving bijection between the Levi-Borel subgroup (a Borel subgroup in the Levi subgroup) orbits in the big open cell of that Schubert variety and torus orbits in the big open cell of a distinguished Schubert subvariety. This bijection has many applications including a type-uniform formula for the Levi-Borel complexity of the usual Levi-Borel subgroup action on a Schubert variety. We conclude by extending the Levi-Borel complexity results to a large class of Schubert varieties in the partial flag variety.

We compare the following three families of geometric objects: Schubert varieties in flag manifolds, matrix Schubert varieties, and Borel orbits of 2-nilpotent matrices. The first family is governed by permutations, the second by partial permutations, and the last one by "link patterns". These geometric objects admit characteristic classes in equivariant elliptic cohomology obtained within the framework created by Borisov and Libgober. We construct a Hecke-type algebra for computing elliptic classes and extend its action to include partial permutations and linking patterns. A uniform point of view facilitates a better understanding of duality.

Matrix Schubert varieties (Fulton '92) carry natural actions of Levi groups. Their coordinate rings are thereby Levi-representations; what is a combinatorial counting rule for the multiplicities of their irreducibles? When the Levi group is a torus, (Knutson-Miller '04) answers the question. We present a general solution, a common refinement of the multigraded Hilbert series, the Cauchy identity, and the Littlewood-Richardson rule. Our result applies to any ``bicrystalline'' algebraic variety; we define these using the operators of (Kashiwara '95) and of (Danilov-Koshevoi '05, van Leeuwen '06). The proof introduces a ``filtered'' generalization of the Robinson-Schensted-Knuth correspondence.

The goal of the paper is twofold: on one side it provides an order structure on the set of all maximal chains in the Bruhat poset of Schubert varieties in a Grassmann variety; on the other hand, using this order structure, it works out explicit formulae for the valuation and the Newton-Okounkov body associated to each maximal chain appearing in the framework of Seshadri stratification.

In this paper, we give a formula for the number of permutations that avoid the split patterns $3|12$ and $23|1$ with respect to a position $r$. Such permutations count the number of Schubert varieties for which the projection map from the flag variety to a Grassmannian induces a fiber bundle structure. We also study the corresponding bivariate generating function and show how it is related to modified Bessel functions.

We prove a Pieri formula for motivic Chern classes of Schubert cells in the equivariant K-theory of Grassmannians, which is described in terms of ribbon operators on partitions. Our approach is to transform the Schubert calculus over Grassmannians to the calculation in a certain affine Hecke algebra. As a consequence, we derive a Pieri formula for Segre motivic classes of Schubert cells in Grassmannians. We apply the Pieri formulas to establish a relation between motivic Chern classes and Segre motivic classes, extending a well-known relation between the classes of structure sheaves and ideal sheaves. As another application, we find a symmetric power series representative for the class of the dualizing sheaf of a Schubert variety.