arXiv++ Combinatorics

The celebrated Cauchy identity expresses the product of terms $(1 - x_i y_j)^{-1}$ for $(i,j)$ indexing entries of a rectangular $m\times n$-matrix as a sum over partitions $λ$ of products of Schur polynomials: $s_λ(x)s_λ(y)$. Algebraically, this identity comes from the decomposition of the symmetric algebra of the space of rectangular matrices, considered as a $\mathfrak{gl}_m$-$\mathfrak{gl}_n$-bi-module. We generalize the Cauchy decomposition by replacing rectangular matrices with arbitrary staircase-shaped matrices equipped with the left and right actions of the Borel upper-triangular subalgebras. For any given staircase shape $\mathsf{Y}$ we describe left and right "standard" filtrations on the symmetric algebra of the space of shape $\mathsf{Y}$ matrices. We show that the subquotients of these filtrations are tensor products of Demazure and opposite van der Kallen modules over the Borel subalgebras. On the level of characters, we derive three distinct expansions for the product $(1 - x_i y_j)^{-1}$ for $(i,j) \in \mathsf{Y}$. The first two expansions are sums of products of key polynomials $κ_λ(x)$ and (opposite) Demazure atoms $a^μ(y)$. The third expansion is an alternating sum of products of key polynomials $κ_λ(x)\,κ^μ(y)$.

Hopf algebroids are generalizations of Hopf algebras to less commutative settings. We show how the comultiplication defined by Kostant and Kumar turns the affine nil Hecke algebra associated to a Coxeter system into a Hopf algebroid without an antipode. The proof relies on mixed dihedral braid relations between Demazure operators and simple reflections. For researchers new to Hopf algebroids we include additional examples from ring theory, representation theory, and algebraic geometry.

In this paper, we study the relation between the key map and virtualization of crystals. Namely, we prove that virtualization between crystals in any two finite Cartan types commutes with the left and right key maps, thus embedding Demazure crystals and atoms correspondingly. In particular, this implies that the key map in any finite Cartan type can be reduced to the key map in a simply-laced type, provided an appropriate virtualization exists, generalizing the work of Azenhas--Santos. As an application, we study these maps in the context of orthogonal Kashiwara--Nakashima tableaux and show that the virtualizations from type B into C considered independently by Fujita and Pappe--Pfannerer--Schilling--Simone coincide with the splitting map of De Concini and Lecouvey. As a consequence, this enables us to give a new and purely combinatorial definition of orthogonal evacuation.

The flagged refined stable Grothendieck polynomials of skew shapes generalize several polynomials like stable Grothendieck polynomials, flagged skew Schur polynomials. In this paper, we provide a combinatorial expansion of the flagged refined skew stable Grothendieck polynomial in terms of key polynomials. We present this expansion by imposing a Demazure crystal structure on the set of flagged semi-standard set-valued tableaux of a given skew shape and a flag. We also provide expansions of the row-refined stable Grothendieck polynomials and refined dual stable Grothendieck polynomials and the Schur P-functions in terms of stable Grothendieck polynomials $G_λ$ and in terms of dual stable Grothendieck polynomials $g_λ$.

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.