arXiv++ Combinatorics

In this paper, we explore combinatorial properties of the posets associated with Kohnert polynomials. In particular, we determine a sufficient condition guaranteeing when such ``Kohnert posets'' are bounded and two necessary conditions for when they are ranked. Moreover, we apply the aforementioned conditions to find complete characterizations of when Kohnert posets are bounded and when they are ranked in special cases, including those associated with Demazure characters.

First, this article develops the theory of weaves and their cluster structures for the affine cones of positroid varieties. In particular, we explain how to construct a weave from a reduced plabic graph, show it is Demazure, compare their associated cluster structures, and prove that the conjugate surface of the graph is Hamiltonian isotopic to the Lagrangian filling associated to the weave. The T-duality map for plabic graphs has a surprising key role in the construction of these weaves. Second, we use the above established bridge between weaves and reduced plabic graphs to show that the Muller-Speyer twist map on positroid varieties is the Donaldson-Thomas transformation. This latter statement implies that the Muller-Speyer twist is a quasi-cluster automorphism. An additional corollary of our results is that target labeled seeds and the source labeled seeds are related by a quasi-cluster transformation.

For any Coxeter system, and any double coset for two standard parabolic subgroups, we introduce a Demazure operator. These operators form a basis for morphism spaces in a category we call the nilCoxeter category, and we also present this category by generators and relations. We prove a generalization to this context of Demazure's celebrated theorem on Frobenius extensions. This generalized theorem serves as a criterion for ensuring the proper behavior of singular Soergel bimodules.

We generalize a theorem of Littlewood concerning the factorization of Schur polynomials when their variables are twisted by roots of unity. We show that a certain family of flagged skew Schur polynomials admit a similar factorization. These include an interesting family of Demazure characters as a special case.

This article continues our study of $P$- and $Q$-key polynomials, which are (non-symmetric) "partial" Schur $P$- and $Q$-functions as well as "shifted" versions of key polynomials. Our main results provide a crystal interpretation of $P$- and $Q$-key polynomials, namely, as the characters of certain connected subcrystals of normal crystals associated to the queer Lie superalgebra $\mathfrak{q}_n$. In the $P$-key case, the ambient normal crystals are the $\mathfrak{q}_n$-crystals studied by Grantcharov et al., while in the $Q$-key case, these are replaced by the extended $\mathfrak{q}_n$-crystals recently introduced by the first author and Tong. Using these constructions, we propose a crystal-theoretic lift of several conjectures about the decomposition of involution Schubert polynomials into $P$- and $Q$-key polynomials. We verify these generalized conjectures in a few special cases. Along the way, we establish some miscellaneous results about normal $\mathfrak{q}_n$-crystals and Demazure $\mathfrak{gl}_n$-crystals.

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.

The Demazure product (also goes by the name of 0-Hecke product or the greedy product) is an associative operation on Coxeter groups with interesting properties and important applications. In this note, we study permutations and present an efficient way to compute the Demazure product of two permutations starting from their usual product and then applying a new operator we call a hopping operator. We also give an analogous result for the group of signed permutations.

We give simple procedures to obtain the left and right keys of a semi-standard Young tableau. Keys derive their interest from the fact that they encode the characters of Demazure and opposite Demazure modules for the general and special linear groups. Given the importance of keys, there are indeed several procedures available in the literature to determine them. In comparison, our procedures are new (to the best of our knowledge) and especially simple. Having said that, we hasten to add that there is nothing new in any individual ingredient that goes into our procedures. These ingredients are all routine, straightforward, and (in any case) occur in the literature. But they never quite seem to have been put together as done here. Our procedures end up repeatedly performing the Deodhar lifts, maximal lifts for the left key and minimal lifts for right key. Together with the well known fact that keys can be obtained by such repeated lifts, this justifies the procedures. The relevance of Deodhar lifts to combinatorial models for Demazure characters is well known in Standard Monomial Theory. Right and left keys appear respectively as initial and final directions of Lakshmibai-Seshadri paths in Littelmanns Path Model Theory.

We generalize the property of small-torus equivariant K-homology of the affine Grassmannian to general oriented (co)homology theory in the sense of Levine and Morel. The main tool we use is the formal affine Demazure algebra associated to the affine root system. More precisely, we prove that the small-torus equivariant oriented cohomology of the affine Grassmannian satisfies the GKM condition. We also show that its dual, the small-torus equivariant homology, is isomorphic to the centralizer of the equivariant oriented cohomology of a point in the the formal affine Demazure algebra.

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 use non-symmetric Cauchy kernel identities to get the law of last passagepercolation models in terms of Demazure characters. The construction is basedon some restrictions of the RSK correspondence that we rephrase in a unifiedway which is compatible with crystal basis theory.

Demazure crystals are subcrystals of highest weight irreducible $\mathfrak{g}$-crystals. In this article, we study tensor products of a larger class of subcrystals, called extremal, and give a local characterization for exactly when the tensor product of Demazure crystals is extremal. We then show that tensor products of Demazure crystals decompose into direct sums of Demazure crystals if and only if the tensor product is extremal, thus providing a sufficient and necessary local criterion for when the tensor product of Demazure crystals is itself Demazure. As an application, we show that the primary component in the tensor square of any Demazure crystal is always Demazure.

We provide identities of inverse Chevalley type for the graded characters of level-zero Demazure submodules of extremal weight modules over a quantum affine algebra of type $C$. These identities express the product $e^μ \, \mathrm{gch} \, V_{x}^{-}(λ)$ of the (one-dimensional) character $e^μ$, where $μ$ is a (not necessarily dominant) minuscule weight, with the graded character $\mathrm{gch} \, V_{x}^{-}(λ)$ of the level-zero Demazure submodule $V_{x}^{-}(λ)$ over the quantum affine algebra $U_{\mathsf{q}}(\mathfrak{g}_{\mathrm{af}})$ as an explicit finite linear combination of the graded characters of level-zero Demazure submodules. These identities immediately imply the corresponding inverse Chevalley formulas in the torus-equivariant $K$-group of the semi-infinite flag manifold $\mathbf{Q}_{G}$ associated to a connected, simply-connected and simple algebraic group $G$ of type $C$. Also, we derive cancellation-free identities from the identities above of inverse Chevalley type in the case that $μ$ is a standard basis element $\varepsilon_{k}$ in the weight lattice $P$ of $G$.

A standard monomial theory for Schubert varieties is constructed exploiting (1) the geometry of the Seshadri stratifications of Schubert varieties by their Schubert subvarieties and (2) the combinatorial LS-path character formula for Demazure modules. The general theory of Seshadri stratifications is improved by using arbitrary linearization of the partial order and by weakening the definition of balanced stratification.

Coxeter groups possess an associative operation, called variously the Demazure, greedy, or $0$-Hecke product. For symmetric groups, this product has an amusing formulation as matrix multiplication in the min-plus (tropical) semiring of two matrices associated to the permutations. We prove that this min-plus formulation extends to furnish a Demazure product on a much larger group of integer permutations, consisting of all permutations that change the sign of finite many integers. We prove several alternative descriptions of this product and some useful properties of it. These results were developed in service of future applications to Brill-Noether theory of algebraic and tropical curves; the connection is surveyed in an appendix.

We characterise the symplectic Weyl group elements such that the FFLV basis is compatible with the PBW filtration on symplectic Demazure modules, extending type A results by the second author. Surprisingly, the number of such elements depends not on the type A or C of the Lie algebra but on the rank only.

For $G$ a reductive group and $T\subset B$ a maximal torus and Borel subgroup, Demazure modules are certain $B$-submodules, indexed by elements of the Weyl group, of the finite irreducible representations of $G$. In order to describe the $T$-weight spaces that appear in a Demazure module, we study the convex hull of these weights - the Demazure polytope. We characterize these polytopes both by vertices and by inequalities, and we use these results to prove that Demazure characters are saturated, in the case that $G$ is simple of classical Lie type. Specializing to $G=GL_n$, we recover results of Fink, Mészáros, and St. Dizier, and separately Fan and Guo, on key polynomials, originally conjectured by Monical, Tokcan, and Yong.

This paper gives a novel and compact proof that a metric graph consisting of a chain of loops of torsion order $0$ is Brill-Noether general (a theorem of Cools-Draisma-Payne-Robeva), and a finite or metric graph consisting of a chain of loops of torsion order $k$ is Hurwitz-Brill-Noether general in the sense of splitting loci (a theorem of Cook-Powell-Jensen). In fact, we prove a generalization to (metric) graphs with two marked points, that behaves well under vertex gluing. The key construction is a way to associate permutations to divisors on twice-marked graphs, simultaneously encoding the ranks of every twist of the divisor by the marked points. Vertex gluing corresponds to the Demazure product, which can be formulated via tropical matrix multiplication.

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.

The tableau model for Kirillov-Reshetikhin (KR) crystals, which are finite dimensional crystals corresponding to certain affine Lie algebras, is commonly used for its ease of crystal operator calculations. However, its simplicity makes quite complex the calculation of statistics such as: keys (used to express Demazure characters), the crystal energy function (an affine grading on tensor products of KR crystals), and the combinatorial R-matrix (an affine crystal isomorphism permuting factors in a tensor product of KR crystals). It has been shown that these calculations are much simpler with the added structure in the quantum alcove model for KR crystals. In this paper, we give an explicit description of the crystal isomorphism between the mentioned realizations of KR crystals in all classical Lie types.