arXiv++ Combinatorics

We study the torus equivariant K-homology ring of the affine Grassmannian $\mathrm{Gr}_G$ where $G$ is a connected reductive linear algebraic group. In type $A$, we introduce equivariantly deformed symmetric functions called the K-theoretic double $k$-Schur functions as the Schubert bases. The functions are constructed by Demazure operators acting on equivariant parameters. As an application, we provide a Ginzburg-Peterson type realization of the torus-equivariant K-homology ring of $\mathrm{Gr}_{{SL}_n}$ as the coordinate ring of a centralizer family for $PGL_n(\mathbb{C})$.

As part of a program to develop $K$-theoretic analogues of combinatorially important polynomials, Monical, Pechenik, and Searles (2021) proved two expansion formulas $\overline{\mathfrak{A}}_a = \sum_b Q_b^a(β)\overline{\mathfrak{P}}_b$ and $\overline{\mathfrak{Q}}_a = \sum_b M_b^a(β)\overline{\mathfrak{F}}_b,$ where each of $\overline{\mathfrak{A}}_a$, $\overline{\mathfrak{P}}_a$, $\overline{\mathfrak{Q}}_a$ and $\overline{\mathfrak{F}}_a$ is a family of polynomials that forms a basis for $\mathbb{Z}[x_1,\dots,x_n][β]$ indexed by weak compositions $a,$ and $Q_b^a(β)$ and $M_b^a(β)$ are monomials in $β$ for each pair $(a,b)$ of weak compositions. The polynomials $\overline{\mathfrak{A}}_a$ are the Lascoux atoms, $\overline{\mathfrak{P}}_a$ are the kaons, $\overline{\mathfrak{Q}}_a$ are the quasiLascoux polynomials, and $\overline{\mathfrak{F}}_a$ are the glide polynomials; these are respectively the $K$-analogues of the Demazure atoms $\mathfrak{A}_a$, the fundamental particles $\mathfrak{P}_a$, the quasikey polynomials $\mathfrak{Q}_a$, and the fundamental slide polynomials $\mathfrak{F}_a$. Monical, Pechenik, and Searles conjectured that for any fixed $a,$ $\sum_b Q_b^a(-1), \sum_b M_b^a(-1) \in \{0,1\},$ where $b$ ranges over all weak compositions. We prove this conjecture using a sign-reversing involution.

The Demazure operator associated to a simple reflection satisfies the twisted Leibniz rule. In this paper we introduce a generalization of the twisted Leibniz rule for the Demazure operator associated to any atomic double coset. We prove that this atomic Leibniz rule is equivalent to a polynomial forcing property for singular Soergel bimodules.

The symmetric group $\mathfrak{S}_n$ (and more generally, any Coxeter group) admits an associative operation known as the Demazure product. In this paper, we first extend the Demazure product to the (infinite) set of all biwords on $\{1, \ldots, n\}$, or equivalently, the set of all $n \times n$ nonnegative integer matrices. We define this product diagrammatically, via braid-like graphs we call kelp beds, since they significantly generalize the seaweeds introduced by Tiskin (2015). Our motivation for this extended Demazure product arises from optimization theory, in particular the semigroup of all $(n+1) \times (n+1)$ simple nonnegative integer Monge matrices equipped with the distance (i.e., min-plus) product. As our main result, we show that this semigroup of Monge matrices is isomorphic to the semigroup of biwords equipped with the extended Demazure product. We exploit this isomorphism to write down generating functions for the growth series of the Monge matrices with respect to certain natural matrix norms.

The key polynomials, the Demazure atoms, the Schubert polynomials, and even the Schur functions can be defined using divided difference operator. In 2000, Hivert introduced a quasisymmetric analog of the divided difference operator. In particular, replacing it in a natural way in the definition of the Schur functions gives Gessel's fundamental basis. This paper is our attempt to apply the same methods to define the remaining bases and study the results. In particular, we show both the key polynomials and Demazure atoms have natural analogs using Hivert's operator and that the resulting bases occur independently and defined by other means in the work of Assaf and Searles, as the fundemental slide polynomials and the fundamental particle basis respectively. We further explore properties of these two bases, including giving the structure constants for the fundamental particle basis.

For an untwisted affine Kac-Moody Lie algebra $\mathfrak{g}$ with Cartan and Borel subalgebras $\mathfrak{h} \subset \mathfrak{b} \subset \mathfrak{g}$, affine Demazure modules are certain $U(\mathfrak{b})$-submodules of the irreducible highest-weight representations of $\mathfrak{g}$. We introduce here the associated affine Demazure weight polytopes, given by the convex hull of the $\mathfrak{h}$-weights of such a module. Using methods of geometric invariant theory, we determine inequalities which define these polytopes; these inequalities come in three distinct flavors, specified by the standard, opposite, or semi-infinite Bruhat orders. We also give a combinatorial characterization of the vertices of these polytopes lying on an arbitrary face, utilizing the more general class of twisted Bruhat orders.

Schubert polynomials represent a basis for the cohomology of the complete flag variety and thus play a central role in geometry and combinatorics. In this context, Schubert polynomials are generating functions over various combinatorial objects, such as rc-graphs or reduced pipe dreams. By restricting Bergeron and Billey's chute moves on rc-graphs, we define a Demazure crystal structure on the monomials of a Schubert polynomial. As a consequence, we provide a method for decomposing Schubert polynomials as sums of key polynomials, complementing related work of Assaf and Schilling via reduced factorizations with cutoff, as well as Lenart's coplactic operators on biwords.

We construct an injective weight-preserving map (called the forgetful map) from the set of all admissible subsets in the quantum alcove model associated to an arbitrary weight. The image of this forgetful map can be explicitly described by introducing the notion of "interpolated quantum Lakshmibai-Seshadri (QLS for short) paths", which can be thought of as a generalization of quantum Lakshmibai-Seshadri paths. As an application, we reformulate, in terms of interpolated QLS paths, an identity of Chevalley type for the graded characters of Demazure submodules of a level-zero extremal weight module over a quantum affine algebra, which is a representation-theoretic analog of the Chevalley formula for the torus-equivariant $K$-group of a semi-infinite flag manifold.

Affine cluster varieties are covered up to codimension 2 by open algebraic tori. We put forth a general conjecture (based on earlier conversation between Vivek Shende and the last author) characterizing their deep locus, i.e. the complement of all cluster charts, as the locus of points with non-trivial stabilizer under the action of cluster automorphisms. We use the diagrammatics of Demazure weaves to verify the conjecture for skew-symmetric cluster varieties of finite cluster type with arbitrary choice of frozens and for the top open positroid strata of Grassmannians $\mathrm{Gr}(2,n)$ and $\mathrm{Gr}(3,n)$. We illustrate how this already has applications in symplectic topology and mirror symmetry, by proving that the Fukaya category of Grassmannians $\mathrm{Gr}(2,2n+1)$ is split-generated by finitely many Lagrangian tori, and homological mirror symmetry holds with a Landau--Ginzburg model proposed by Rietsch. Finally, we study the geometry of the deep locus, and find that it can be singular and have several irreducible components of different dimensions, but they all are again cluster varieties in our examples in really full rank cases.

In this paper, we establish that FFLV polytopes, which describe monomial bases compatible with the PBW filtration on finite-dimensional simple modules for $\lie{sl}_n$ and $\lie{sp}_n$, are actually string polytopes as described by Littelmann and Berenstein-Zelevinsky for Demazure modules of higher-rank Lie algebras.

We prove a Chevalley formula to multiply the motivic Chern classes of Schubert cells in a generalized flag manifold $G/P$ by the class of any line bundle $\mathcal{L}_λ$. Our formula is given in terms of the $λ$-chains of Lenart and Postnikov. Its proof relies on a change of basis formula in the affine Hecke algebra due to Ram, and on the Hecke algebra action on torus-equivariant K-theory of the complete flag manifold $G/B$ via left Demazure--Lusztig operators. We revisit some wall-crossing formulae for the stable envelopes in $T^*(G/B)$. We use our Chevalley formula, and the equivalence between motivic Chern classes of Schubert cells and K-theoretic stable envelopes in $T^*(G/B)$, to give formulae for the change of polarization, and for the change of slope for stable envelopes. We prove several additional applications, including Serre, star, and Dynkin, dualities of the Chevalley coefficients, new formulae for the Whittaker functions, and for the Hall--Littlewood polynomials. We also discuss positivity properties of Chevalley coefficients, and properties of the coefficients arising from multiplication by minuscule weights.

We study parabolic double cosets in a Coxeter system by decomposing them into atom(ic coset)s, a generalization of simple reflections introduced in a joint work with Elias, Libedinsky, Patimo. We define and classify braid relations between compositions of atoms and prove a Matsumoto theorem. Together with a quadratic relation, our braid relations give a presentation of nilCoxeter algebroids similar to Demazure's presentation of nilCoxeter algebras. Our consideration of reduced compositions of atoms gives rise to a new combinatorial structure, which is equipped with a length function and a Bruhat order and is realized as Tits cone intersections in the sense of Iyama-Wemyss.

Demazure crystals give a combinatorial framework in which to study Demazure modules. They are extremal, in that they satisfy Kashiwara's string property, and they are Demazure atom-positive, in that they decompose naturally into subsets called crystal Demazure atoms. The properties of extremality and atom-positivity are further linked by a conjecture of Polo, which concerns the structure of the tensor product of two Demazure modules. We study these two properties in isolation - first providing a recursive formula for generating crystal Demazure atoms which generalizes a result of Lascoux-Schützenberger, and then examining the structure of extremal subsets and their characters - before commenting on the connection (or lack thereof) between them.

One definition of key polynomials is as the weight generating functions of key tableaux. Assaf and Schilling introduced a crystal structure on key tableaux and related it to Morse--Schilling crystals on reduced factorizations for permutations via weak Edelman--Greene insertion. In this paper, we consider generalizations of both crystals depending on a flag. We extend weak EG insertion to a bijection between our flagged objects and show that the recording tableau gives a crystal isomorphism. As an application, we show that flagged key tableaux have a natural Demazure crystal structure, whose characters recover Reiner and Shimozono's flagged key polynomials.

We give an explicit characterization of the standard monomials for positroid varieties with respect to the Hodge degeneration and give a Gröbner basis. Furthermore, we show that promotion and evacuation biject standard monomials of a positroid variety with those of its cyclic shifts and $w_0$-reflection, respectively. The connection to promotion allows us to identify standard monomials of a positroid variety with Lam's cyclic Demazure crystal. Using a recurrence on the Hilbert series, we give an inductive formula for the character of cyclic Demazure modules.

Given a skew shape $ λ/ μ$ and a flag $Φ,$ we show that the set of all flagged reverse plane partitions of shape $λ/ μ$ and flag $Φ$ is a disjoint union of Demazure crystals (up to isomorphism). As a result, the flagged dual stable Grothendieck polynomial $ g_{λ/μ}(X_Φ)$ is shown to be key positive.

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.