arXiv++ Combinatorics

In our previous paper, we gave a presentation of the torus-equivariant quantum $K$-theory ring $QK_{H}(Fl_{n+1})$ of the (full) flag manifold $Fl_{n+1}$ of type $A_{n}$ as a quotient of a polynomial ring by an explicit ideal. In this paper, we prove that quantum double Grothendieck polynomials, introduced by Lenart-Maeno, represent the corresponding (opposite) Schubert classes in the quantum $K$-theory ring $QK_{H}(Fl_{n+1})$ under this presentation. The main ingredient in our proof is an explicit formula expressing the semi-infinite Schubert class associated to the longest element of the finite Weyl group, which is proved by making use of the general Chevalley formula for the torus-equivariant $K$-group of the semi-infinite flag manifold associated to $SL_{n+1}(\mathbb{C})$.

Abhyankar defined an ideal to be Hilbertian if its Hilbert polynomial coincides with its Hilbert function for all nonnegative integers. In 1984, he proved that the ideal of (r+1)-order minors of a generic p x q matrix is Hilbertian. We give a different proof and a generalization to the Schubert determinantal ideals introduced by Fulton in 1992. Our proof reduces to a simple upper bound for the Castelnuovo-Mumford regularity of these ideals. We further indicate the pervasiveness of the Hilbertian property in Schubert geometry.

This article explores the relationship between Schubert varieties and equivariant embeddings, using the framework of homogeneous fiber bundles over flag varieties. We show that the homogenous fiber bundles obtained from Bott-Samelson-Demazure-Hansen varieties are always toroidal. Furthermore, we identify the wonderful varieties among them. We give a short proof of a conjecture of Gao, Hodges, and Yong for deciding when a Schubert variety is spherical with respect to an action of a Levi subgroup. By using BP-decompositions, we obtain a characterization of the smooth spherical Schubert varieties. Among the other applications of our results are: 1) a characterization of the spherical Bott-Samelson-Demazure-Hansen varieties, 2) an alternative proof of the fact that, in type A, every singular Schubert variety of torus complexity 1 is a spherical Schubert variety, and 3) a proof of the fact that, for simply laced algebraic groups of adjoint type, every spherical $G$-Schubert variety is locally rigid, that is to say, the first cohomology of its tangent sheaf vanishes.

We prove a short, root-system uniform, combinatorial classification of Levi-spherical Schubert varieties for any generalized flag variety $G/B$ of finite Lie type. We apply this to the study of multiplicity-free decompositions of a Demazure module into irreducible representations of a Levi subgroup.

Symmetric function theory is a key ingredient in the Schubert calculus of Grassmannians. Quasisymmetric functions are analogues that are similarly central to algebraic combinatorics, but for which the associated geometry is poorly developed. Baker and Richter (2008) showed that $\textrm{QSym}$ manifests topologically as the cohomology ring of the loop suspension of infinite projective space or equivalently of its combinatorial homotopy model, the James reduced product $J\mathbb{C}\mathbb{P}^\infty$. In recent work, we used this viewpoint to develop topologically-motivated bases of $\textrm{QSym}$ and initiate a Schubert calculus for $J\mathbb{C}\mathbb{P}^\infty$ in both cohomology and $K$-theory. Here, we study the torus-equivariant cohomology of $J\mathbb{C}\mathbb{P}^\infty$. We identify a cellular basis and introduce double monomial quasisymmetric functions as combinatorial representatives, analogous to the factorial Schur functions and double Schubert polynomials of classical Schubert calculus. We also provide a combinatorial Littlewood--Richardson rule for the structure coefficients of this basis. Furthermore, we introduce an algebro-geometric analogue of the James reduced product construction. In particular, we prove that the James reduced product of a complex projective variety also carries the structure of a projective variety.

In our previous work we have introduced an analogue of Robinson-Schensted-Knuth correspondence for Schubert calculus of the complete flag varieties. The objects inserted are certain biwords, the outcomes of insertion are bumpless pipe dreams, and the recording objects are decorated chains in Bruhat order. In this paper we study a class of biwords that have a certain associativity property; we call them plactic biwords. We introduce analogues of Knuth moves on plactic biwords, and prove that any two plactic biwords with the same insertion bumpless pipe dream are connected by those moves.

By the work of Breuil-Hellmann-Schraen, we know that the trianguline variety contains crystalline companion points which are parametrised by pairs (w,w_sat) of permutations. We first define and study a certain combinatorial property of a pair (w',w) of permutations, linked to the Bruhat order, in the context of Weyl groups of root systems. We call good pairs the pairs satisfying this property (which is the vast majority of pairs) and bad pairs the other ones. We then give an exact formula for the dimension of the tangent space to the trianguline variety at (generic) crystalline companion points such that (w,w_sat) is a good pair. The method (due to Breuil-Hellmann-Schraen) is to first compute an analogous dimension for a local model of the trianguline variety built out of Grothendieck's simultaneous resolution. To achieve this, we prove a conjecture of Breuil-Hellmann-Schraen, describing the intersection of the closure of a Schubert cell with another Schubert cell on this local model (in the context of an arbitrary split reductive group), when this pair of cells is parametrised by a good pair of permutations. We give counter-examples to this conjecture for an infinite family of pairs of cells (associated to bad pairs).

This is a survey article on Richardson varieties and their combinatorics. A Richardson variety is the intersection, inside the flag manifold GL_n/B_+, of a Schubert cell (B_- u B_+)/B_+ and an opposite Schubert cell (B_+ w B_+)/B_+ (or the similar intersection of Schubert varieties). In this survey, we provide an overview of what is known about (1) homogeneous coordinate rings of Richardson varieties, their bases and degenerations (2) parametrizations of Richardson varieties using Bott-Samelson varieties (3) Deodhar's decompositions of the flag manifold and of Richardson varieties within it and (4) total positivity in the flag manifold. We also provide an overview of the combinatorics of positroid varieties, their relations to Richardson varieties, and how they are parametrized using plabic graphs. Most of this survey is an overview of other authors' work over the last forty years, but there are also some minor original results: For example, that coordinate rings of open Richardson varieties are UFD's (Corollary 3.23), that the Deodhar decomposition is not a stratification in Lie type A (Section 4.3) and explicit descriptions of the Deodhar decomposition in terms of ranks of submatrices (Section 4.4).

This chapter combines an introduction and research survey about Schubert varieties. The theme is to combinatorially classify their singularities using a family of polynomial ideals generated by determinants.

Cominuscule flag varieties generalize Grassmannians to other Lie types. Schubert varieties in cominuscule flag varieties are indexed by posets of roots labeled long/short. These labeled posets generalize Young diagrams. We prove that Schubert varieties in potentially different cominuscule flag varieties are isomorphic as varieties if and only if their corresponding labeled posets are isomorphic, generalizing the classification of Grassmannian Schubert varieties using Young diagrams by the last two authors. Our proof is type-independent.

Dale Peterson has discovered a surprising result that the quantum cohomology ring of the flag variety $\mbox{GL}_n(\mathbb{C})/B$ is isomorphic to the coordinate ring of the intersection of the Peterson variety $\mbox{Pet}_n$ and the opposite Schubert cell associated with the identity element $Ω_e^\circ$ in $\mbox{GL}_n(\mathbb{C})/B$. This is an unpublished result, so papers of Kostant and Rietsch are referred for this result. An explicit presentation of the quantum cohomology ring of $\mbox{GL}_n(\mathbb{C})/B$ is given by Ciocan-Fontanine and Givental-Kim. In this paper we introduce further quantizations of their presentation so that they reflect the coordinate rings of the intersections of regular nilpotent Hessenberg varieties $\mbox{Hess}(N,h)$ and $Ω_e^\circ$ in $\mbox{GL}_n(\mathbb{C})/B$. In other words, we generalize the Peterson's statement to regular nilpotent Hessenberg varieties via the presentation given by Ciocan-Fontanine and Givental-Kim. As an application of our theorem, we show that the singular locus of the intersection of some regular nilpotent Hessenberg variety $\mbox{Hess}(N,h_m)$ and $Ω_e^\circ$ is the intersection of certain Schubert variety and $Ω_e^\circ$ where $h_m=(m,n,\ldots,n)$ for $1<m<n$. We also see that $\mbox{Hess}(N,h_2) \cap Ω_e^\circ$ is related with the cyclic quotient singularity.

We introduce shifted analogues of key polynomials related to symplectic and orthogonal orbit closures in the complete flag variety. Our definitions are given by applying isobaric divided difference operators to the analogues of Schubert polynomials for orbit closures that correspond to dominant involutions. We show that our shifted key polynomials are linear combinations of key polynomials with nonnegative integer coefficients. We also prove that they are partial versions of the classical Schur $P$- and $Q$-polynomials. Finally, we examine $K$-theoretic generalizations of these functions, which give shifted forms of Lascoux polynomials. In the symplectic case, these generalizations are partial versions of the $GP$-polynomials introduced by Ikeda and Naruse. Besides developing basic properties, we identify a number of conjectures and open problems.

The goal of this paper is to clarify the connection between certain structures from the theory of totally nonnegative Grassmannians, quiver Grassmannians for cyclic quivers and the theory of local models of Shimura varieties. More precisely, we generalize the construction from our previous paper relating the combinatorics and geometry of quiver Grassmanians to that of the totally nonnegative Grassmannians. The varieties we are interested in serve as realizations of local models of Shimura varieties. We exploit quiver representation techniques to study the quiver Grassmannians of interest and, in particular, to describe explicitly embeddings into affine flag varieties which allow us to realize our quiver Grassmannians as a union of Schubert varieties therein.

Let $G=SO(8n+4,\mathbb{C})$ ($n\ge 1$). Let $B$ be a Borel subgroup of $G$ containing a maximal torus $T$ of $G.$ Let $P (\supset B)$ denote the maximal parabolic subgroup of $G$ corresponding to the simple root $α_{4n+2}$. In this article, we prove projective normality of the GIT quotients of certain Schubert varieties in the orthogonal Grassmannian $G/P$ with respect to the descent of a suitable $T$-linearized very ample line bundle.

Let $G$ be a linear semisimple algebraic group and $B$ its Borel subgroup. Let $\mathbb{T}\subset B$ be the maximal torus. We study the inductive construction of Bott-Samelson varieties to obtain recursive formulas for the twisted motivic Chern classes of Schubert cells in $G/B$. To this end we introduce two families of operators acting on the equivariant K-theory $K_\mathbb{T}(G/B)[y]$, the right and left Demazure-Lusztig operators depending on a parameter. The twisted motivic Chern classes coincide (up to normalization) with the K-theoretic stable envelopes. Our results imply wall-crossing formulas for a change of the weight chamber and slope parameters. The right and left operators generate a twisted double Hecke algebra. We show that in the type $A$ this algebra acts on the Laurent polynomials. This action is a natural lift of the action on $K_\mathbb{T}(G/B)[y]$ with respect to the Kirwan map. We show that the left and right twisted Demazure-Lusztig operators provide a recursion for twisted motivic Chern classes of matrix Schubert varieties.

Evil-avoiding permutations, introduced by Kim and Williams in 2022, arise in the study of the inhomogeneous totally asymmetric simple exclusion process. Rectangular permutations, introduced by Chirivì, Fang, and Fourier in 2021, arise in the study of Schubert varieties and Demazure modules. Taking a suggestion of Kim and Williams, we supply an explicit bijection between evil-avoiding and rectangular permutations in $S_n$ that preserves the number of recoils. We encode these classes of permutations as regular languages and construct a length-preserving bijection between words in these regular languages. We extend the bijection to another Wilf-equivalent class of permutations, namely the $1$-almost-increasing permutations, and exhibit a bijection between rectangular permutations and walks of length $2n-2$ in a path of seven vertices starting and ending at the middle vertex.

We prove an explicit degree formula for certain unitary Deligne-Lusztig varieties. Combining with an alternative degree formula in terms of Schubert calculus, we deduce several algebraic combinatorial identities which may be of independent interest.

We propose a combinatorial model for the Schubert structure constants of the complete flag manifold when one of the factors is Grassmannian.

Schur functions are a basis of the symmetric function ring that represent Schubert cohomology classes for Grassmannians. Replacing the cohomology ring with $K$-theory yields a rich combinatorial theory of inhomogeneous deformations, where Schur functions are replaced by their $K$-analogues, the basis of symmetric Grothendieck functions. We introduce and initiate a theory of the Kromatic symmetric function $\overline{X}_G$, a $K$-theoretic analogue of the chromatic symmetric function $X_G$ of a graph $G$. The Kromatic symmetric function is a generating series for graph colorings in which vertices may receive any nonempty set of distinct colors such that neighboring color sets are disjoint. Our main result lifts a theorem of Gasharov (1996) to this setting, showing that when $G$ is a claw-free incomparability graph, $\overline{X}_G$ is a positive sum of symmetric Grothendieck functions. This result suggests a topological interpretation of Gasharov's theorem. We then show that the Kromatic symmetric functions of path graphs are not positive in any of several $K$-analogues of the $e$-basis of symmetric functions, demonstrating that the Stanley-Stembridge conjecture (1993) does not have such a lift to $K$-theory and so is unlikely to be amenable to a topological perspective. We also define a vertex-weighted extension of $\overline{X}_G$ and show that it admits a deletion--contraction relation. Finally, we give a $K$-analogue for $\overline{X}_G$ of the classic monomial-basis expansion of $X_G$.

We construct simple geometric operations on faces of the Cayley sum of two polytopes. These operations can be thought of as convex geometric counterparts of divided difference operators in Schubert calculus. We show that these operations give a uniform construction of Knutson-Miller mitosis (in type A) and (simplified) Fujita mitosis (in type C) on Kogan faces of Gelfand-Zetlin polytopes.