arXiv++ Combinatorics

We introduce common generalization of (double) Schubert, Grothendieck, Demazure, dual and stable Grothendieck polynomials, and Di Francesco-Zinn-Justin polynomials. Our approach is based on the study of algebraic and combinatorial properties of the reduced rectangular plactic algebra and associated Cauchy kernels.

Lascoux has given a triangular version of the Cauchy identity where Schur polynomials are replaced by Demazure characters and Demazure atoms. He has then used the staircase expansion to recover expansions for all Ferrers shapes, where the Demazure characters and Demazure atoms are under the action of Demazure operators specified by the cells above the staircase. The characterisation of the tableau-pairs in these last expansions is less explicit. We give here a bijective proof for expansions over near staircases, where the tableau-pairs are made explicit. Our analysis formulates Mason's RSK analogue, for semi-skylines augmented fillings, in terms of growth diagrams.

We study a family of posets and the associated chain and order polytopes. We identify the order polytope as a maximal Kogan face in a Gelfand-Tsetlin polytope of a multiple of a fundamental weight. We show that the character of such a Kogan face equals to the character of a Demazure module which occurs in the irreducible representation of $\mathfrak{sl}_n$ having highest weight multiple of fundamental weight and for any such Demazure module there exists a corresponding poset and associated maximal Kogan face. We prove that the chain polytope parametrizes a monomial basis of the associated PBW-graded Demazure module and further, that the Demazure module is a favourable module, e.g. interesting geometric properties are governed by combinatorics of convex polytopes. Thus, we obtain for any minuscule Schubert variety a flat degeneration into a toric projective variety which is projectively normal and arithmetically Cohen-Macaulay. We provide a necessary and sufficient condition on the Weyl group element such that the toric variety associated to the chain polytope and the toric variety associated to the order polytope are isomorphic.

We study certain faces of the normal polytope introduced by Feigin, Littelmann and the author whose lattice points parametrize a monomial basis of the PBW-degenerated of simple modules for $\mathfrak{sl}_{n+1}$. We show that lattice points in these faces parametrize monomial bases of PBW-degenerated Demazure modules associated to Weyl group elements satisfying a certain closure property, for example Kempf elements. These faces are again normal polytopes and their Minkowski sum is compatible with tensor products, which implies that we obtain flat degenerations of the corresponding Schubert varieties to PBW degenerated and toric varieties.

An important combinatorial result in equivariant cohomology and $K$-theory Schubert calculus is represented by the formulas of Billey and Graham-Willems for the localization of Schubert classes at torus fixed points. These formulas work uniformly in all Lie types, and are based on the concept of a root polynomial. In this paper we define formal root polynomials associated with an arbitrary formal group law (and thus a generalized cohomology theory). We focus on the case of the hyperbolic formal group law (corresponding to elliptic cohomology). We study some of the properties of formal root polynomials. We give applications to the efficient computation of the transition matrix between two natural bases of the formal Demazure algebra in the hyperbolic case. As a corollary, we rederive in a transparent and uniform manner the formulas of Billey and Graham-Willems. We also prove the corresponding formula in connective $K$-theory, which seems new, and a duality result in this case. Other applications, including some related to the computation of Bott-Samelson classes in elliptic cohomology, are also discussed.

The right key of a semistandard Young tableau is a tool used to find Demazure characters for $sl_n(\mathbb{C})$. This thesis gives methods to obtain the right and left keys by inspection of the semistandard Young tableau. Given a partition $λ$ and a Weyl group element $w$, there is a semistandard Young tableau $Y_λ(w)$ of shape $λ$ that corresponds to $w$. The Demazure character for $λ$ and $w$ is known to be the sum of the weights of all tableaux whose right key is dominated by $Y_λ(w)$. The set of all such tableaux is denoted $\mathcal{D}_λ(w)$. Exploiting the method mentioned above for obtaining right keys, this thesis describes the entry at each location in any $T \in \mathcal{D}_λ(w)$. Lastly, we will consider $\mathcal{D}_λ(w)$ as an integral subset of Euclidean space. The final results present a condition that is both necessary and sufficient for this subset to be convex.

The Cherednik-Orr conjecture expresses the $t\to\infty$ limit of the nonsymmetric Macdonald polynomials in terms of the PBW twisted characters of the affine level one Demazure modules. We prove this conjecture in several special cases.

For a finite Coxeter group W, a subword complex is a simplicial complex associated with a pair (Q, ρ), where Q is a word in the alphabet of simple reflections, ρis a group element. We describe the transformations of such a complex induced by nil-moves and inverse operations on Q in the nil-Hecke monoid corresponding to W. If the complex is polytopal, we also describe such transformations for the dual polytope. For W simply-laced, these descriptions and results of \cite{Go} provide an algorithm for the construction of the subword complex corresponding to (Q, ρ) from the one corresponding to (δ(Q), ρ), for any sequence of elementary moves reducing the word Q to its Demazure product δ(Q). The former complex is spherical if and only if the latter one is the (-1)-sphere.

We prove a restriction of an analogue of the Robinson--Schensted--Knuth correspondence for semi-skyline augmented fillings, due to Mason, to multisets of cells of a staircase possibly truncated by a smaller staircase at the upper left end corner, or at the bottom right end corner. The restriction to be imposed on the pairs of semi-skyline augmented fillings is that the pair of shapes, rearrangements of each other, satisfies an inequality in the Bruhat order, w.r.t. the symmetric group, where one shape is bounded by the reverse of the other. For semi-standard Young tableaux the inequality means that the pair of their right keys is such that one key is bounded by the Schützenberger evacuation of the other. This bijection is then used to obtain %recover an expansion formula of the non-symmetric Cauchy kernel, over staircases or truncated staircases, in the basis of Demazure characters of type $A$, and the basis of Demazure atoms. The expansion implies Lascoux expansion formula, when specialised to staircases or truncated staircases, and make explicit, in the latter, the Young tableaux in the Demazure crystal by interpreting Demazure operators via elementary bubble sorting operators acting on weak compositions.

We give a Littlewood-Richardson type rule for expanding the product of a row-strict quasisymmetric Schur function and a symmetric Schur function in terms of row-strict quasisymmetric Schur functions. We then discuss a family of polynomials called Demazure atoms. We review the known characterizations of these polynomials and then present two new characterizations. Finally, we consider a family of polynomials called permuted basement nonsymmetric Macdonald polynomials which are obtained by permuting the basement of the combinatorial formula of Haglund, Haiman, and Loehr for nonsymmetric Macdonald polynomials. We show that these permuted basement nonsymmetric Macdonald polynomials are the simultaneous eigenfunctions of a family of commuting operators in the double affine Hecke algebra.

We present combinatorial rules (one theorem and two conjectures) concerning three bases of Z[x1,x2,....]. First, we prove a "splitting" rule for the basis of key polynomials [Demazure '74], thereby establishing a new positivity theorem about them. Second, we introduce an extension of [Kohnert '90]'s "moves" to conjecture the first combinatorial rule for a certain deformation [Lascoux '01] of the key polynomials. Third, we use the same extension to conjecture a new rule for the Grothendieck polynomials [Lascoux-Schutzenberger '82].

The Schur function indexed by a partition lambda with at most n parts is the sum of the weight monomials for the Young tableaux of shape lambda. Let pi be an n-permutation. We give two descriptions of the tableaux that contribute their monomials to the key polynomial indexed by pi and lambda. (These polynomials are the characters of the Demazure modules for GL(n).) The "atom" indexed by pi is the sum of weight monomials of the tableaux whose right keys are the "key" tableau for pi. Schur functions and key polynomials can be decomposed into sums of atoms. We also describe the tableaux that contribute to an atom, the tableaux that have a left key equal to a given key, and the tableaux that have a left key bounded below by a given key.

We prove asymptotic normality of the distributions defined by q-supernomials, which implies asymptotic normality of the distributions given by the central string functions and the basic specialization of fusion modules of the current algebra of sl2. The limit is taken over linearly scaled fusion powers of a fixed collection of irreducible representations. This includes as special instances all Demazure modules of the affine Kac-Moody algebra associated to sl2. Along with an available complementary result on the asymptotic normality of the basic specialization of graded tensors of the type A standard representation, our result is a central limit theorem for a serious class of graded tensors. It therefore serves as an indication towards universal behavior: The central string functions and the basic specialization of fusion and, in particular, Demazure modules behave asymptotically normal, as the number of fusions scale linearly in an asymptotic parameter, N say.

In 1982 Macdonald published his now famous constant term conjectures for classical root systems. This paper begins with the almost trivial observation that Macdonald's constant term identities admit an extra set of free parameters, thereby linking them to Poincare polynomials. We then exploit these extra degrees of freedom in the case of type A to give the first proof of Kadell's orthogonality conjecture---a symmetric function generalisation of the q-Dyson conjecture or Zeilberger-Bressoud theorem. Key ingredients in our proof of Kadell's orthogonality conjecture are the polynomial lemma of Karasev and Petrov, the scalar product for Demazure characters and (0,1)-matrices.

The right and left key of a semistandard Young tableau were introduced by Lascoux and Schutzenberger in 1990. Most prominently, the right key is a tool used to find Demazure characters for sl(n,C). Previous methods used to compute these keys require introducing other types of combinatorial objects. This paper gives methods to obtain the right and left keys by inspection of the semistandard Young tableau.

We study the generalized Galois numbers which count flags of length r in N-dimensional vector spaces over finite fields. We prove that the coefficients of those polynomials are asymptotically Gaussian normally distributed as N becomes large. Furthermore, we interpret the generalized Galois numbers as weighted inversion statistics on the descent classes of the symmetric group on N elements and identify their asymptotic limit as the Mahonian inversion statistic when r approaches infinity. Finally, we apply our statements to derive further statistical aspects of generalized Rogers-Szegoe polynomials, re-interpret the asymptotic behavior of linear q-ary codes and characters of the symmetric group acting on subspaces over finite fields, and discuss implications for affine Demazure modules and joint probability generating functions of descent-inversion statistics.

Generalized Galois numbers count the number of flags in vector spaces over finite fields. Asymptotically, as the dimension of the vector space becomes large, we give their exponential growth and determine their initial values. The initial values are expressed analytically in terms of theta functions and Euler's generating function for the partition numbers. Our asymptotic enumeration method is based on a Demazure module limit construction for integrable highest weight representations of affine Kac-Moody algebras. For the classical Galois numbers, that count the number of subspaces in vector spaces over finite fields, the theta functions are Jacobi theta functions. We apply our findings to the asymptotic number of q-ary codes, and conclude with some final remarks about possible future research concerning asymptotic enumerations via limit constructions for affine Kac-Moody algebras.

It has previously been shown that, at least for non-exceptional Kac-Moody Lie algebras, there is a close connection between Demazure crystals and tensor products of Kirillov-Reshetikhin crystals. In particular, certain Demazure crystals are isomorphic as classical crystals to tensor products of Kirillov-Reshetikhin crystals via a canonically chosen isomorphism. Here we show that this isomorphism intertwines the natural affine grading on Demazure crystals with a combinatorially defined energy function. As a consequence, we obtain a formula of the Demazure character in terms of the energy function, which has applications to Macdonald polynomials and q-deformed Whittaker functions.

In the prequel to this paper, we showed how results of Mason involving a new combinatorial formula for polynomials that are now known as Demazure atoms (characters of quotients of Demazure modules, called standard bases by Lascoux and Schutzenberger) could be used to define a new basis for the ring of quasisymmetric functions we call Quasisymmetric Schur functions (QS functions for short). In this paper we develop the combinatorics of these polynomials futher, by showing that the product of a Schur function and a Demazure atom has a positive expansion in terms of Demazure atoms. As a by-product, using the fact that both a QS function and a Demazure character have explicit expressions as a positive sum of atoms, we obtain the expansion of a product of a Schur function with a QS function (Demazure character) as a positive sum of QS functions (Demazure characters). Our formula for the coefficients in the expansion of a product of a Demazure character and a Schur function into Demazure characters is similar to known results and includes in particular the famous Littlewood-Richardson rule for the expansion of a product of Schur functions in terms of the Schur basis.

We prove that the Robinson-Schensted-Knuth correspondence is a $\gl_{\infty}$-crystal isomorphism between two realizations of the crystal graph of a generalized Verma module with respect to a maximal parabolic subalgebra of $\gl_{\infty}$. %This extends the previously known result that %the RSK correspondence is an isomorphism of bicrystals or double %crystals. A flagged version of the RSK correspondence is derived in a natural way by computing a Demazure crystal graph of a generalized Verma module. As an application, we discuss a relation between a Demazure crystal and plane partitions with a bounded condition.