arXiv++ Combinatorics

In a classical-type flag variety, we consider a Schubert variety associated to a vexillary (signed) permutation, and establish a combinatorial formula for the Hilbert-Samuel multiplicity of a point on such a Schubert variety. The formula is expressed in terms of excited Young diagrams, and extends results for Grassmannians due to Krattenthaler, Lakshmibai-Raghavan-Sankaran, and for the maximal isotropic (symplectic and orthogonal) Grassmannians to Ghorpade-Raghavan, Raghavan-Upadhyay, Kreiman, and Ikeda-Naruse. We also provide a new proof of a theorem of Li-Yong in the type A vexillary case. The main ingredient is an isomorphism between certain neighborhoods of fixed points, known as Kazhdan-Lusztig varieties, which, in turn, relies on a direct sum embedding previously used by Anderson-Fulton to relate vexillary loci to Grassmannian loci.

We establish combinatorial and inductive formulas for Kazhdan-Lusztig polynomials associated to covexillary elements in classical types, extending results of Boe, Lascoux-Schützenberger, Sankaran-Vanchinathan, and Zelevinsky for Grassmannians of classical types. The proof uses intersection cohomology theory and the isomorphism of Kazhdan-Lusztig varieties from Anderson-Ikeda-Jeon-Kawago.

We introduce the notion of a Seshadri stratification on an embedded projective variety. Such a structure enables us to construct a Newton-Okounkov simplicial complex and a flat degeneration of the projective variety into a union of toric varieties. We show that the Seshadri stratification provides a geometric setup for a standard monomial theory. In this framework, Lakshmibai-Seshadri paths for Schubert varieties get a geometric interpretation as successive vanishing orders of regular functions.

We express a Schubert expansion of the Chern-Mather class for Schubert varieties in the even orthogonal Grassmannian via integrals involving Pfaffians and pushforward of the small resolutions in the sense of Intersection Cohomology (IH) constructed by Sankaran and Vanchinathan, instead of the Nash blowup. The equivariant localization is employed to show the way of computing the integral. As a byproduct, we present the computations. For analogy and the completion of the method in ordinary Grassmannians, we also suggest Kazhdan-Lusztig classes associated to Schubert varieties in the Lagrangian and odd orthogonal Grassmannian.

Using Grothendieck's "functor of points" approach to algebraic geometry, we define a new infinite-dimensional algebro-geometric flag space as a $k$-functor (for $k$ a ring) which maps a $k$-algebra $R$ to the set of certain well-ordered chains of submodules of an infinite rank free $R$-module. This generalizes the well known construction of a $k$-functor that is represented by the classical (i.e. finite-dimensional) full flag scheme. We prove that as in the finite-dimensional case, there is an action of a general linear group on our flag space, that the stabilizer of the standard flag is the subgroup $B$ of upper triangular matrices, and that the Bruhat decomposition holds, meaning that our space is covered by the disjoint Schubert cells $\text{sh}(B σB) / B$ indexed by permutations $σ$ of an infinite set. Finally, in the case of flags indexed by the ordinal $ω+ 1$, we define an analog of the Bruhat order on this infinite permutation group and prove that when $k$ is a domain, Ehresmann's closure relations still hold, i.e. that the closure $\overline{\text{sh}(B σB) / B}$ is covered by the Schubert cells indexed by permutations smaller than $σ$ in the infinite Bruhat order.

We extend the notion of proper elements to all Coxeter groups. For all infinite families of finite Coxeter groups we prove that the probability a random element is proper goes to zero in the limit. This proves a conjecture of the third author and A. Yong regarding the proportion of Schubert varieties that are Levi spherical for all infinite families of Weyl groups. We also enumerate the proper elements in the exceptional Coxeter groups.

We present a formula for the Poincaré dual in the flag manifold of the equivariant fundamental class of any regular nilpotent or regular semisimple Hessenberg variety as a polynomial in terms of certain Chern classes. We then develop a type-independent proof of the Giambelli formula for the Peterson variety, and use this formula to compute the intersection multiplicity of a Peterson variety with an opposite Schubert variety corresponding to a Coxeter word. Finally, we develop an equivariant Chevalley formula for the cap product of a divisor class with a fundamental class, and a dual Monk rule, for the Peterson variety.

We investigate the class of Kazhdan-Lusztig varieties, and its subclass of matrix Schubert varieties, endowed with a naturally defined torus action. Writing a matrix Schubert variety $\overline{X_w}$ as $\overline{X_w}=Y_w\times \mathbb{C}^d$ (where $d$ is maximal possible), we show that $Y_w$ can be of complexity-$k$ exactly when $k\neq 1$. Also, we give a combinatorial description of the extremal rays of the weight cone of a Kazhdan-Lusztig variety, which in particular turns out to be the edge cone of an acyclic directed graph. As a consequence we show that given permutations $v$ and $w$, the complexity of Kazhdan-Lusztig variety indexed by $(v,w)$ is the same as the complexity of the Richardson variety indexed by $(v,w)$. Finally, we use this description to compute the complexity of certain Kazhdan-Lusztig varieties.

Schubert patch ideals are a class of generalized determinantal ideals. They are prime defining ideals of open patches of Schubert varieties in the type $A$ flag variety. In this paper, we adapt the linkage-theoretic approach of E. Gorla, J. Migliore, and U. Nagel to prove a conjecture of A. Yong, namely, that the essential minors of every Schubert patch ideal form a Gröbner basis. Using the same approach, we recover the result of A. Woo and A. Yong that the essential minors of a Kazhdan-Lusztig ideal form a Gröbner basis. With respect to the standard grading of assigning degree 1 to each variable, we also show that homogeneous Schubert patch ideals and homogeneous Kazhdan-Lusztig ideals (and hence, Schubert determinantal ideals) are glicci.

We attach a $\mathfrak{sl}_2$ crystal, called cocrystal, to a symplectic Kashiwara-Nakashima (KN) tableau, whose vertices are skew KN tableaux connected via the Lecouvey-Sheats symplectic \emph{jeu de taquin}. These cocrystals contain all the needed information to compute right and left keys of a symplectic KN tableau. Motivated by Willis' direct way of computing type $A$ right and left keys, we also give a way of computing symplectic, right and left, keys without the use of the symplectic \emph{jeu de taquin}. On the other hand, we prove that Baker virtualization by folding $A_{2n-1}$ into $C_n$ commutes with dilatation of crystals. Thus we may alternatively utilize this Baker virtualization to embed a type $C_n$ Demazure crystal, its opposite and atoms into $A_{2n-1}$ ones. The right, respectively left keys of a KN tableau are thereby computed as $A_{2n-1}$ semistandard tableaux and returned back via reverse Baker embedding to the $C_n$ crystal as its right respectively left symplectic keys. In particular, Baker embedding also virtualizes the crystal of Lakshmibai-Seshadri paths as $B_n$-paths into the crystal of Lakshmibai-Seshadri paths as $\mathfrak{S}_{2n}$-paths. Lastly, as an application of our explicit symplectic right and left key maps, thanks to the isomorphism between Lakshmibai-Seshadri path and Kashiwara crystals we use, similarly to the ${{Gl}(n,\mathbb{C})}$ case, left and right key maps as a tool to test whether a symplectic KN tableau is \emph{standard} on a Schubert or Richardson variety in the flag variety $Sp(2n,\mathbb{C})/B$, with $B$ a Borel subgroup.

Matrix Schubert varieties are affine varieties arising in the Schubert calculus of the complete flag variety. We give a formula for the Castelnuovo-Mumford regularity of matrix Schubert varieties, answering a question of Jenna Rajchgot. We follow her proposed strategy of studying the highest-degree homogeneous parts of Grothendieck polynomials, which we call Castelnuovo-Mumford polynomials. In addition to the regularity formula, we obtain formulas for the degrees of all Castelnuovo-Mumford polynomials and for their leading terms, as well as a complete description of when two Castelnuovo-Mumford polynomials agree up to scalar multiple. The degree of the Grothendieck polynomial is a new permutation statistic which we call the Rajchgot index; we develop the properties of Rajchgot index and relate it to major index and to weak order.

The classical $q$-analogue of the integers was recently generalized by Morier-Genoud and Ovsienko to give $q$-analogues of rational numbers. Some combinatorial interpretations are already known, namely as the rank generating functions for certain partially ordered sets. We review some of these interpretations, and additionally give a slightly novel approach in terms of planar graphs called snake graphs. Using the snake graph approach, we show that the numerators of $q$-rationals count the sizes of certain varieties over finite fields, which are unions of open Schubert cells in some Grassmannian.

Recently, we have witnessed tremendous applications of algebraic intersection theory to branches of mathematics, that previously seemed very distant. In this article we review some of them. Our aim is to provide a unified approach to the results e.g. in the theory of chromatic polynomials (work of Adiprasito, Huh, Katz), maximum likelihood degree in algebraic statistics (Drton, Manivel, Monin, Sturmfels, Uhler, Wiśniewski), Euler characteristics of determinental varieties (Dimca, Papadima), characteristic numbers (Aluffi, Schubert, Vakil) and the degree of semidefinite programming (Bothmer, Nie, Ranestad, Sturmfels). Our main tools come from intersection theory on special varieties called the varieties of complete forms (De Concini, Procesi, Thaddeus) and the study of Segre classes (Laksov, Lascoux, Pragacz, Thorup).

We introduce the characteristic numbers and the chromatic polynomial of a tensor. Our approach generalizes and unifies the chromatic polynomial of a graph and of a matroid, characteristic numbers of quadrics in Schubert calculus, Betti numbers of complements of hyperplane arrangements and Euler characteristic of complements of determinantal hypersurfaces and the maximum likelihood degree for general linear concentration models in algebraic statistics.

A toric degeneration of an irreducible variety is a flat degeneration to an irreducible toric variety. In the case of a flag variety, its toric degeneration with desirable properties induces degenerations of Richardson varieties to unions of irreducible closed toric subvarieties, called semi-toric degenerations. For instance, Morier-Genoud proved that Caldero's toric degenerations arising from string polytopes have this property. Semi-toric degenerations are closely related to Schubert calculus. Indeed, Kogan-Miller constructed semi-toric degenerations of Schubert varieties from Knutson-Miller's semi-toric degenerations of matrix Schubert varieties which give a geometric proof of the pipe dream formula of Schubert polynomials. In this paper, we focus on a toric degeneration of a flag variety arising from a cluster structure, and prove that it induces semi-toric degenerations of Richardson varieties. Our semi-toric degeneration can be regarded as a generalization of Morier-Genoud's and Kogan-Miller's semi-toric degenerations.

A permutation is called smooth if the corresponding Schubert variety is smooth. Gilboa and Lapid prove that in the symmetric group, multiplying the reflections below a smooth element $w$ in Bruhat order in a compatible order yields back the element $w$. We strengthen this result by showing that such a product in fact determines a saturated chain $e \to w$ in Bruhat order, and that this property characterizes smooth elements.

In this paper, we give a formula for the number of lattice points in the dilations of Schubert matroid polytopes. As applications, we obtain the Ehrhart polynomials of uniform and minimal matroids as special cases, and give a recursive formula for the Ehrhart polynomials of $(a,b)$-Catalan matroids. Ferroni showed that uniform and minimal matroids are Ehrhart positive. We show that all sparse paving Schubert matroids are Ehrhart positive and their Ehrhart polynomials are coefficient-wisely bounded by those of minimal and uniform matroids. This confirms a conjecture of Ferroni for the case of sparse paving Schubert matroids. Furthermore, we introduce notched rectangle matroids, which include minimal matroids, sparse paving Schubert matroids and panhandle matroids. We show that three subfamilies of notched rectangle matroids are Ehrhart positive, and conjecture that all notched rectangle matroids are Ehrhart positive.

A complete flag in $\mathbb{R}^n$ is a sequence of nested subspaces $V_1 \subset \cdots \subset V_{n-1}$ such that each $V_k$ has dimension $k$. It is called totally nonnegative if all its Plücker coordinates are nonnegative. We may view each $V_k$ as a subspace of polynomials in $\mathbb{R}[x]$ of degree at most $n-1$, by associating a vector $(a_1, \dots, a_n)$ in $\mathbb{R}^n$ to the polynomial $a_1 + a_2x + \cdots + a_nx^{n-1}$. We show that a complete flag is totally nonnegative if and only if each of its Wronskian polynomials $\mathsf{Wr}(V_k)$ is nonzero on the interval $(0, \infty)$. In the language of Chebyshev systems, this means that the flag forms a Markov system or $ECT$-system on $(0, \infty)$. This gives a new characterization and membership test for the totally nonnegative flag variety. Similarly, we show that a complete flag is totally positive if and only if each $\mathsf{Wr}(V_k)$ is nonzero on $[0, \infty]$. We use these results to show that a conjecture of Eremenko (2015) in real Schubert calculus is equivalent to the following conjecture: if $V$ is a finite-dimensional subspace of polynomials such that all complex zeros of $\mathsf{Wr}(V)$ lie in the interval $(-\infty, 0)$, then all Plücker coordinates of $V$ are real and positive. This conjecture is a totally positive strengthening of a result of Mukhin, Tarasov, and Varchenko (2009), and can be reformulated as saying that all complex solutions to a certain family of Schubert problems in the Grassmannian are real and totally positive. We also show that our conjecture is equivalent to a totally positive version of the secant conjecture of Sottile (2003).

We prove that double Schubert polynomials have the Saturated Newton Polytope property. This settles a conjecture by Monical, Tokcan and Yong. Our ideas are motivated by the theory of multidegrees. We introduce a notion of standardization of ideals that enables us to study non-standard multigradings. This allows us to show that the support of the multidegree polynomial of each Cohen-Macaulay prime ideal, and in particular, that of each Schubert determinantal ideal is a discrete polymatroid.

We introduce an insertion algorithm on Kohnert's combinatorial model for Demazure characters, generalizing Robinson--Schensted--Knuth insertion on tableaux. Our new insertion yields an explicit, nonnegative formula expressing the product of a Demazure character and a Schur polynomial as a sum of Schubert characters, partially resolving Polo's conjecture that the tensor product of Demazure modules admits a Schubert filtration.