arXiv++ Combinatorics

It is well known that the $q$-Whittaker polynomials, which are $t=0$ specializations of the Macdonald polynomials $P_λ(X;q,t)$, expand positively as the sum of Schur polynomials. Macdonald polynomials have a quasisymmetric refinement: the quasisymmetric Macdonald polynomials $G_γ(X;q,t)$, and a nonsymmetric refinement: the ASEP polynomials $f_α(X;q,t)$. We study the $t=0$ specializations of both these families of polynomials and show analogous properties: the quasisymmetric Macdonald polynomials expand positively as a sum of quasisymmetric Schur functions, $\text{QS}_γ(X)$, and the ASEP polynomials expand positively as a sum of Demazure atoms, $\mathcal{A}_α(X)$. As a corollary of the latter, we prove more generally that any permuted basement Macdonald polynomial has a positive expansion in the Demazure atoms at $t=0$. We give a description of the structure coefficients of $G_γ(X;q,0)$ and $f_α(X;q,0)$ in both cases in terms of the charge statistic on a restricted set of semistandard tableaux.

We characterize subsets of highest weight $\mathfrak{g}$-crystals that arise as unions of Demazure crystals, for any symmetrizable Kac-Moody Lie algebra $\mathfrak{g}$. We provide a local characterization for these subsets and prove they admit disjoint decompositions into Demazure atoms. As a consequence, we give a new characterization for when a subset of a highest weight crystal is a Demazure crystal as well as a crystal-theoretic proof that any Polo module admits a relative Schubert filtration.

We will construct solvable lattice models whose partition functions are Demazure characters. We will construct a crystal structure on the states of the model and prove that the states of the closed model form a Demazure crystal.

A Bott manifold is a smooth projective toric variety having an iterated $\mathbb{C} P^1$-bundle structure. A certain family of Bott manifolds is used to understand the structure of Bott--Samelson varieties (or Bott--Samelson--Demazure--Hansen varieties), which provide desingularizations of Schubert varieties. Indeed, each Bott--Samelson variety is diffeomorphic to a Bott manifold. However, not all Bott manifolds originate from Bott--Samelson varieties. Those that do are specifically referred to as Bott manifolds of Bott--Samelson type. In this paper, we provide a characterization of Bott manifolds of Bott--Samelson type by exploring their relationship with combinatorial objects called assemblies of ordered partitions. Using this relationship, we enumerate Bott manifolds of Bott--Samelson type and describe isomorphic Bott manifolds of Bott--Samelson type in terms of assemblies of ordered partitions.

The main goal of this paper is to extend two fundamental combinatorial results in Schubert calculus on flag manifolds from equivariant cohomology and $K$-theory to equivariant elliptic cohomology. The foundations of elliptic Schubert calculus were laid in a few relatively recent papers by Rimányi, Weber, and Kumar. They include the recursive construction of elliptic Schubert classes via generalizations of the cohomology and $K$-theory push-pull operators and the study of the corresponding Demazure algebra. We derive a Billey-type formula for the localization of elliptic Schubert classes (for partial flag manifolds of arbitrary type) and a pipe dream model for their polynomial representatives in the case of type $A$ flag manifolds. The latter extends the pipe dream model for double Schubert and Grothendieck polynomials. We also study the degeneration of elliptic Schubert classes to $K$-theory, which recovers the corresponding classical formulas.

Several families of polynomials of combinatorial and representation theoretic interest (notably the Schur polynomials $s_λ$, Demazure characters $\mathfrak{D}_a$, and Demazure atoms $\mathfrak{A}_a$) can be defined in terms of divided difference operators. Hivert (2000) defines "fundamental analogues" of these divided difference operators, and Hivert and Hicks-Niese show in arXiv:2406.02420 that the polynomials that arise from those fundamental operators in analogous ways to the three families of polynomials above are respectively the fundamental quasisymmetric functions $F_a$ from (1984), the fundamental slides $\mathfrak{F}_a$ of Assaf and Searles from arXiv:1603.09744, and the fundamental particles $\mathfrak{P}_a$ of Searles from arXiv:1707.01172. Lascoux (2001) defines $K$-analogues of the divided difference operators, and in arXiv:1908.07364, Buciumas, Scrimshaw, and Weber show that the polynomials arising in corresponding ways from the $K$-theoretic divided difference operators are respectively the Grothendieck polynomials $\overline{s}_λ$, the combinatorial Lascoux polynomials $\overline{\mathfrak{D}}_a$ from arXiv:1611.08777, and the combinatorial Lascoux atoms $\overline{\mathfrak{A}}_a$ from arXiv:1611.08777, as conjectured by Monical in arXiv:1611.08777. We define $K$-analogues of Hivert's fundamental divided difference operators and show that the polynomials arising in the corresponding ways from our new operators are respectively the multifundamentals $\overline{F}_a$ of Lam and Pylyavskyy from arXiv:0705.2189, the fundamental glides $\overline{\mathfrak{F}}_a$ from of Pechenik and Searles from arXiv:1611.02545, and the kaons $\overline{\mathfrak{P}}_a$ of Monical, Pechenik, and Searles from arXiv:1806.03802.

Last passage percolation (LPP) in an $n\times n$ lower triangular domain has nice connections with various generalizations of Schur measures. LPP along an anti-diagonal, from $(1,n)$ to $(n,1)$, gives a distribution of a highest column of a random composition with respect to a Demazure measure (a non-symmetric analog of a Schur measure). LPP along a main diagonal, from $(1,1)$ to $(n,n)$, is distributed as a marginal of a Pfaffian Schur process. In the first case we show that the asymptotics for the constant specialization is governed by the GOE Tracy-Widom distribution, in the second case - by the GSE Tracy-Widom distribution. In the latter case we were also able to study the truncated lower triangular case, obtaining an interesting generalization of the GSE Tracy-Widom distribution.

The plethystic transformation $f[X] \mapsto f[X/(1-t)]$ and LLT polynomials are central to the theory of symmetric Macdonald polynomials. In this work, we introduce and study nonsymmetric flagged LLT polynomials. We show that these admit both an algebraic and a combinatorial description, that they Weyl symmetrize to the usual symmetric LLT polynomials, and we conjecture that they expand positively in terms of Demazure atoms. Additionally, we construct a nonsymmetric plethysm operator $Π_{t,x}$ on $\mathfrak{K}[x_1,\ldots,x_n]$, which serves as an analogue of $f[X] \mapsto f[X/(1-t)]$. We prove that $Π_{t,x}$ remarkably maps flagged LLT polynomials defined over a signed alphabet to ones over an unsigned alphabet. Our main application of this theory is to formulate a nonsymmetric version of Macdonald positivity, similar in spirit to conjectures of Knop and Lapointe, but with several new features. To do this, we recast the Haglund-Haiman-Loehr formula for nonsymmetric Macdonald polynomials $\mathcal{E}_{μ}(x;q,t)$ as a positive sum of signed flagged LLT polynomials. Then, after applying a suitable stable limit of $Π_{t,x}$ to a stable version of $\mathcal{E}_{μ}(x;q,t)$, we obtain modified nonsymmetric Macdonald polynomials which are positive sums of flagged LLT polynomials and thus are conjecturally atom positive, strengthening the Macdonald positivity conjecture.

We construct and analyze several new families of permutons arising from random processes involving the Demazure product on the symmetric group. First, we consider Demazure products associated to random pipe dreams, generalizing the Grothendieck permutons introduced by Morales, Panova, Petrov, and Yeliussizov by replacing staircase shapes with arbitrary order-convex shapes. Using the totally asymmetric simple exclusion process (TASEP) with geometric jumps, we prove precise scaling limit and fluctuation results for the associated height functions, showing that these models belong to the Kardar--Parisi--Zhang (KPZ) universality class. We then consider permutons obtained by applying deterministic sequences of bubble-sort operators to random initial permutations. We again provide precise descriptions of the limiting permutons. In a special case, we deduce the exact forms of the standard bubble-sort permutons, the supports of which were computed by DiFranco. A crucial tool in our analysis is a formulation, due to Chan and Pflueger, of the Demazure product as matrix multiplication in the min-plus tropical semiring. This allows us to define a Demazure product on the set of permutons. We discuss further applications of this product. For instance, we show that the number of inversions of the Demazure product of two independent uniformly random permutations of size $n$ is $\binom{n}{2}(1-o(1))$.

Colored lattice models can be used to describe many different types of special functions of interest in both algebraic combinatorics and representation theory, for example Schur polynomials, nonsymmetric Macdonald polynomials, and characters and Whittaker functions for representations of p-adic groups. A notable example is the metaplectic ice model of which there are actually two different variants: a Gamma and a Delta variant. These variants differ in key aspects but surprisingly produce equal partition functions, which are weighted sums over admissible configurations, and this equality is called the Gamma-Delta duality. The duality was used to prove the analytic continuation of certain multiple Dirichlet series and is highly non-trivial, especially since the number of configurations on each side of the equality can differ. In this paper we construct a new family of solvable, colored lattice models and prove that they are dual to existing lattice models in the literature, including the above metaplectic case and the lattice model for (non-metaplectic) Iwahori Whittaker functions together with its crystal limit for Demazure atoms for Cartan type A. The equality of partition functions is shown using Yang-Baxter equations involving R-matrices mixing lattice model rows of types Gamma and Delta. For the crystal Demazure lattice model we show that the duality refines to a weight-respecting bijection of states given by the Schützenberger involution on the associated Gelfand-Tsetlin patterns or semistandard Young tableaux. We also show how the individual steps exchanging two rows in the proof of the duality for the partition functions refines to Berenstein-Kirillov, or Bender-Knuth involutions.

We present the first positive combinatorial rule for expanding the product of a permuted-basement Demazure atom and a Schur polynomial. Special cases of permuted-basement Demazure atoms include Demazure atoms and characters. These cases have known tableau formulas for their expansions when multiplied by a Schur polynomial, due to Haglund, Luoto, Mason and van Willigenburg. We find a vertex model formula, giving a new rule even in these special cases, extending a technique introduced by Zinn-Justin for calculating Littlewood-Richardson coefficients. We derive a coloured vertex model for permuted-basement Demazure atoms, inspired by Borodin and Wheeler's model for non-symmetric Macdonald polynomials. We make this model compatible with an uncoloured vertex model for Schur polynomials, putting them in a single framework. Unlike previous work on structure coefficients via vertex models, a remarkable feature of our construction is that it relies on a Yang-Baxter equation that only holds for certain boundary conditions. However, this restricted Yang-Baxter equation is sufficient to show our result.

In this paper, we present an independent proof of the Cauchy identities for staircase matrices, originally discovered in arXiv:2411.03117, using the combinatorics of the Bruhat poset and the bubble-sort procedure. Additionally, we derive new insights into certain coefficients appearing in one of these identities. The first part of the paper focuses on combinatorial aspects. It is self-contained, of independent interest, and introduces a generalization of parabolic Bruhat graphs for monotone functions on an arborescent poset. The second part examines the intersections of Demazure modules within a given integrable representation. Finally, we propose a generalization of the classical Howe duality for staircase matrices in terms of the corresponding distributive lattice of Demazure submodules. Computing the associated character yields the desired Cauchy identities for staircase matrices.

We study a multi-symmetric generalization of the classical Schur functions called the multi-symmetric Schur functions. These functions form an integral basis for the ring of multi-symmetric functions indexed by tuples of partitions and are defined as certain stable-limits of key polynomials. We prove combinatorial results about the monomial expansions of the multi-symmetric Schur functions including a diagrammatic combinatorial formula and a triangularity result which completely characterizes their monomial multi-symmetric supports. The triangularity result involves a non-trivial generalization of the dominance order on partitions to tuples of partitions. We prove, using the Demazure character formula, that the multi-symmetric Schur functions expand positively into the basis of tensor products of ordinary Schur functions and describe the expansion coefficients as multiplicities of certain irreducible representations for Levi subgroups inside particular Demazure modules. Lastly, we find a family of multi-symmetric plethystic operators related to the classical Bernstein operators which act on the multi-symmetric Schur basis by a simple recurrence relation.

Kohnert polynomials and their associated posets are combinatorial objects with deep geometric and representation theoretic connections, generalizing both Schubert polynomials and type A Demazure characters. In this paper, we explore the properties of Kohnert polynomials and their posets indexed by northeast diagrams. We give separate classifications of the bounded, ranked, and multiplicity-free Kohnert posets for northeast diagrams, each of which can be computed in polynomial time with respect to the number of cells in the diagram. As an initial application, we specialize these classifications to simple criteria in the case of lock diagrams.

The Demazure product, also called the 0-Hecke product, is an associative operation on Coxeter groups with interesting properties and applications. In (Li et al 2024) it was shown that the Demazure product of two permutations can be described purely combinatorially: using only their one-line notation and not relying on reduced words. In this paper, we extend this to type D Coxeter groups.

The fact that Schubert polynomials are the weighted counting functions for reduced RC-graphs, also known as reduced pipe dreams, was established using their generating functions inside an appropriate Demazure algebra. Here we investigate the generating functions of another family of polynomials, the key polynomials, also known as Demazure characters. Each component in that function is a rational function, whose denominator is an explicit product whose definition is based on bounded ascending sequences of integers. We determine the first terms of the polynomial numerator, and pose conjectures about these terms in general as well as some of the next ones. The form of our generating functions suggests relations between the coefficients in key polynomials and signed sums of numbers of integral points on polytopes.

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_λ$.