arXiv++ Combinatorics

This is the first of three papers that develop structures which are counted by a "parabolic" generalization of Catalan numbers. Fix a subset R of {1,..,n-1}. Consider the ordered partitions of {1,..,n} whose block sizes are determined by R. These are the "inverses" of (parabolic) multipermutations whose multiplicities are determined by R. The standard forms of the ordered partitions are refered to as "R-permutations". The notion of 312-avoidance is extended from permutations to R-permutations. Let lambda be a partition of N such that the set of column lengths in its shape is R or R union {n}. Fix an R-permutation pi. The type A Demazure character (key polynomial) in x_1, .., x_n that is indexed by lambda and pi can be described as the sum of the weight monomials for some of the semistandard Young tableau of shape lambda that are used to describe the Schur function indexed by lambda. Descriptions of these "Demazure" tableaux developed by the authors in earlier papers are used to prove that the set of these tableaux is convex in Z^N if and only if pi is R-312-avoiding if and only if the tableau set is the entire principal ideal generated by the key of pi. These papers were inspired by results of Reiner and Shimozono and by Postnikov and Stanley concerning coincidences between Demazure characters and flagged Schur functions. This convexity result is used in the next paper to deepen those results from the level of polynomials to the level of tableau sets. The R-parabolic Catalan number is defined to be the number of R-312-avoiding permutations. These special R-permutations are reformulated as "R-rightmost clump deleting" chains of subsets of {1,..,n} and as "gapless R-tuples"; the latter n-tuples arise in multiple contexts in these papers.

Stanley symmetric functions are the stable limits of Schubert polynomials. In this paper, we show that, conversely, Schubert polynomials are Demazure truncations of Stanley symmetric functions. This parallels the relationship between Schur functions and Demazure characters for the general linear group. We establish this connection by imposing a Demazure crystal structure on key tableaux, recently introduced by the first author in connection with Demazure characters and Schubert polynomials, and linking this to the type A crystal structure on reduced word factorizations, recently introduced by Morse and the second author in connection with Stanley symmetric functions.

We study the nonsymmetric Macdonald polynomials specialized at infinity from various points of view. First, we define a family of modules of the Iwahori algebra whose characters are equal to the nonsymmetric Macdonald polynomials specialized at infinity. Second, we show that these modules are isomorphic to the dual spaces of sections of certain sheaves on the semi-infinite Schubert varieties. Third, we prove that the global versions of these modules are homologically dual to the level one affine Demazure modules.

We study the specialization of the type A nonsymmetric Macdonald polynomials at $t=0$ based on the combinatorial formula of Haglund, Haiman, and Loehr. We prove that this specialization expands nonnegatively into the fundamental slide polynomials, introduced by the author and Searles. Using this and weak dual equivalence, we prove combinatorially that this specialization is a positive graded sum of Demazure characters. We use stability results for fundamental slide polynomials to show that this specialization stabilizes and to show that the Demazure character coefficients give a refinement of the Kostka--Foulkes polynomials.

A polynomial has saturated Newton polytope (SNP) if every lattice point of the convex hull of its exponent vectors corresponds to a monomial. We compile instances of SNP in algebraic combinatorics (some with proofs, others conjecturally): skew Schur polynomials; symmetric polynomials associated to reduced words, Redfield--Polya theory, Witt vectors, and totally nonnegative matrices; resultants; discriminants (up to quartics); Macdonald polynomials; key polynomials; Demazure atoms; Schubert polynomials; and Grothendieck polynomials, among others. Our principal construction is the Schubitope. For any subset of [n] x [n], we describe it by linear inequalities. This generalized permutahedron conjecturally has positive Ehrhart polynomial. We conjecture it describes the Newton polytope of Schubert and key polynomials. We also define dominance order on permutations and study its poset-theoretic properties.

Let $λ$ be a partition with no more than $n$ parts. Let $β$ be a weakly increasing $n$-tuple with entries from $\{ 1, ... , n \}$. The flagged Schur function in the variables $x_1, ... , x_n$ that is indexed by $λ$ and $β$ has been defined to be the sum of the content weight monomials for the semistandard Young tableaux of shape $λ$ whose values are row-wise bounded by the entries of $β$. Gessel and Viennot gave a determinant expression for the flagged Schur function indexed by $λ$ and $β$; this could be done since the pair $(λ, β)$ satisfied their "nonpermutable" condition for the sequence of terminals of an $n$-tuple of lattice paths that they used to model the tableaux. We generalize flagged Schur functions by dropping the requirement that $β$ be weakly increasing. Then for each $λ$ we give a condition on the entries of $β$ for the pair $(λ, β)$ to be nonpermutable that is both necessary and sufficient. When the parts of $λ$ are not distinct there will be multiple row bound $n$-tuples $β$ that will produce the same set of tableaux. We accordingly group the bounding $β$ into equivalence classes and identify the most efficient $β$ in each class for the determinant computation. We recently showed that many other sets of objects that are indexed by $n$ and $λ$ are enumerated by the number of these efficient $n$-tuples. We called these counts "parabolic Catalan numbers". It is noted that the $GL(n)$ Demazure characters (key polynomials) indexed by 312-avoiding permutations can also be expressed with these determinants.

Shuffles are n-multipermutations with suit multiplicities given by a subset R of {1,..,n-1}. Their inverses are ordered partitions of {1,..,n} whose block sizes derive from R. These "R-permutations" depict the min length coset reps for the quotient of S_n by the parabolic subgroup W_J, with J the complement of R. We refer to those that blockwise avoid the pattern 312 as "312-avoiding R-permutations" and define the "parabolic R-Catalan number" to be the number of them. Let lambda be a partition of N with at most n parts whose set of shape column lengths less than n is R. We show that the number of flagged Schur functions formed on the shape of lambda is this parabolic R-Catalan number, and list over a dozen other phenomena that are enumerated by it. Let pi be an R-permutation. We view the Demazure character (key polynomial) indexed by (lambda,pi) as the sum of the content weight monomials for our "pi-Demazure" semistandard tableaux of shape lambda with entries from {1,..,n}. We show that the set of these tableaux is convex in Z^N if and only if pi is a 312-avoiding R-permutation. A flagged Schur function is the sum of the content weight monomials for the semistandard tableaux of shape lambda whose entries are row-wise bounded by a given weakly increasing n-tuple. We consider general row bound sums for which the bounds may be any n-tuple. Reiner and Shimozono and then Postnikov and Stanley obtained results concerning coincidences between flagged Schur functions and Demazure characters: when lambda is strict, the flagged Schur functions exactly coincide with the 312-avoiding Demazure characters. For general lambda we introduce precise indexing sets of n-tuple bounds for the row bound sums. This and our convexity results are used to sharpen their coincidence results, to extend them to general row bound sums, and to show they hold at the deeper level of coinciding underlying tableau sets.

We give a simple crystal theoretic interpretation of the Lascoux's expansion of a non-symmetric Cauchy kernel $\prod_{i+ j\leq n+1}(1-x_iy_j)^{-1}$, which is given in terms of Demazure characters and atoms. We give a bijective proof of the non-symmetric Cauchy identity using the crystal of Lakshmibai-Seshadri paths, and extend it to the case of continuous crystals.

Set-valued tableaux play an important role in combinatorial $K$-theory. Separately, semistandard skyline fillings are a combinatorial model for Demazure atoms and key polynomials. We unify these two concepts by defining a set-valued extension of semistandard skyline fillings and then give analogues of results of J. Haglund, K. Luoto, S. Mason, and S. van Willigenberg. Additionally, we give a bijection between set-valued semistandard Young tableaux and C. Lenart's Schur expansion of the Grothendieck polynomial $G_λ$, using the uncrowding operator of V. Reiner, B. Tenner, and A. Yong.

We study a family of finite--dimensional representations of the hyperspecial parabolic subalgebra of the twisted affine Lie algebra of type $\tt A_2^{(2)}$. We prove that these modules admit a decreasing filtration whose sections are isomorphic to stable Demazure modules in an integrable highest weight module of sufficiently large level. In particular, we show that any stable level $m'$ Demazure module admits a filtration by level $m$ Demazure modules for all $m\ge m'$. We define the graded and weighted generating functions which encode the multiplicity of a given Demazure module and establish a recursive formulae. In the case when $m'=1,2$ and $m=2,3$ we determine these generating functions completely and show that they define hypergeoemetric series and that they are related to the $q$--Fibonacci polynomials defined by Carlitz.

This paper studies the properties of Demazure atoms and characters using linear operators and also tableaux-combinatorics. It proves the atom-positivity property of the product of a dominating monomial and an atom, which was an open problem. Furthermore, it provides a combinatorial proof to the key-positivity property of the product of a dominating monomial and a key using skyline fillings, an algebraic proof to the key-positivity property of the product of a Schur function and a key using linear operator and verifies the first open case for the conjecture of key-positivity of the product of two keys using linear operators and polytopes.

S.~Elnitsky (1997) gave an elegant bijection between rhombic tilings of $2n$-gons and commutation classes of reduced words in the symmetric group on $n$ letters. P.~Magyar (1998) found an important construction of the Bott-Samelson varieties introduced by H.C.~Hansen (1973) and M.~Demazure (1974). We explain a natural connection between S.~Elnitsky's and P.~Magyar's results. This suggests using tilings to encapsulate Bott-Samelson data (in type $A$). It also indicates a geometric perspective on S.~Elnitsky's combinatorics. We also extend this construction by assigning desingularizations to the zonotopal tilings considered by B.~Tenner (2006).

We study the algebraic geometry and combinatorics of the central degeneration (the degeneration that shows up in local models of Shimura varieties and Gaitsgory's central sheaves) in type A. More specifically, we elucidate the central degeneration of semi-infinite orbits and explain its relations with Levi restriction. Also, we discuss the central degeneration of Mirkovi$\acute{\text{c}}$-Vilonen cycles in the affine Grassmannian, and the corresponding transformations of Mirkovi$\acute{\text{c}}$-Vilonen polytopes. In addition, we shed some light on the geometry of Iwahori MV cycles in the affine Grassmannian and generalized MV cycles in the affine flag variety, which are closely related to Demazure modules and affine Deligne-Lusztig varieties respectively.

We extend the family non-symmetric Macdonald polynomials and define general-basement Macdonald polynomials. We show that these also satisfy a triangularity property with respect to the monomials bases and behave well under the Demazure-Lusztig operators. The symmetric Macdonald polynomials $J_λ$ are expressed as a sum of general-basement Macdonald polynomials via an explicit formula. By letting $q=0$, we obtain $t$-deformations of key polynomials and Demazure atoms and we show that the Hall--Littlewood polynomials expand positively into these. This generalizes a result by Haglund, Luoto, Mason and van Willigenburg. As a corollary, we prove that Schur polynomials decompose with non-negative coefficients into $t$-deformations of general Demazure atoms and thus generalizing the $t=0$ case which was previously known. This gives a unified formula for the classical expansion of Schur polynomials in Hall-Littlewood polynomials and the expansion of Schur polynomials into Demazure atoms.

The Kashiwara $B(\infty)$ crystal pertains to a Verma module for a Kac- Moody Lie algebra. Ostensibly it provides only a parametrisation of the global/canonical basis for the latter. Yet it is much more having a rich combinatorial structure from which one may read of a parametrisation of the corresponding basis for any integrable highest weight module, describe the decomposition of the tensor products of highest weight modules, the Demazure submodules of integrable highest weight modules and Demazure flags for translates of Demazure modules. $B(\infty)$ has in general infinitely many presentations as subsets of countably many copies of the natural numbers each given by successive reduced decompositions of Weyl group elements. In each presentation there is an action of Kashiwara operators determined by Kashiwara functions. These functions are linear in the entries. Thus a natural question is to show that in each presentation the subset $B(\infty)$ is polyhedral. Here a new approach to this question is initiated based on constructing dual Kashiwara functions and in this it is enough to show that the latter are also linear in the entries. The present work resolves one of the two very difficult obstacles in a step-wise construction, namely that the resulting functions must satisfy a sum, or simply S, condition. It depends very subtly on inequalities between the coefficients occurring in functions obtained from the previous step. The only remaining obstacle, that sufficiently many functions are obtained, can at least be verified in many families of cases, though this is to be postponed to a subsequent paper. This theory has some intriguing numerology which involves the Catalan numbers in two different ways.

The main results of this paper are accessible with only basic linear algebra. Given an increasing sequence of dimensions, a flag in a vector space is an increasing sequence of subspaces with those dimensions. The set of all such flags (the flag manifold) can be projectively coordinatized using products of minors of a matrix. These products are indexed by tableaux on a Young diagram. A basis of "standard monomials" for the vector space generated by such projective coordinates over the entire flag manifold has long been known. A Schubert variety is a subset of flags specified by a permutation. Lakshmibai, Musili, and Seshadri gave a standard monomial basis for the smaller vector space generated by the projective coordinates restricted to a Schubert variety. Reiner and Shimozono made this theory more explicit by giving a straightening algorithm for the products of the minors in terms of the right key of a Young tableau. Since then, Willis introduced scanning tableaux as a more direct way to obtain right keys. This paper uses scanning tableaux to give more-direct proofs of the spanning and the linear independence of the standard monomials. In the appendix it is noted that this basis is a weight basis for the dual of a Demazure module for a Borel subgroup of GL(n). This paper contains a complete proof that the characters of these modules (the key polynomials) can be expressed as the sums of the weights for the tableaux used to index the standard monomial bases.

There are several combinatorial methods that can be used to produce type A Demazure characters (key polynomials). The alcove path model of Lenart and Postnikov provides a procedure that inputs a semistandard tableau $T$ and outputs a saturated chain in the Bruhat order. The final permutation in this chain determines a family of Demazure characters for which $T$ contributes its weight. Separately, the right key of $T$ introduced by Lascoux and Schützenberger also determines a family of Demazure characters for which $T$ contributes its weight. In this paper we show that the final permutation in the chain produced by the alcove model corresponds bijectively to the right key of the tableau. From this it follows that the generating sets for the Demazure characters produced by these two methods are equivalent.

We show that several families of polynomials defined via fillings of diagrams satisfy linear recurrences under a natural operation on the shape of the diagram. We focus on key polynomials, (also known as Demazure characters), and Demazure atoms. The same technique can be applied to Hall-Littlewood polynomials and dual Grothendieck polynomials. The motivation behind this is that such recurrences are strongly connected with other nice properties, such as interpretations in terms of lattice points in polytopes and divided difference operators.

We introduce a new set of $q$-difference operators acting as raising operators on a family of symmetric polynomials which are characters of graded tensor products of current algebra ${\mathfrak g}[u]$ KR-modules \cite{FL} for ${\mathfrak g}=A_r$. These operators are generalizations of the Kirillov-Noumi \cite{kinoum} Macdonald raising operators, in the dual $q$-Whittaker limit $t\to\infty$. They form a representation of the quantum $Q$-system of type $A$ \cite{qKR}. This system is a subalgebra of a quantum cluster algebra, and is also a discrete integrable system whose conserved quantities, analogous to the Casimirs of $U_q({\mathfrak sl}_{r+1})$, act as difference operators on the above family of symmetric polynomials. The characters in the special case of products of fundamental modules are class I $q$-Whittaker functions, or characters of level-1 Demazure modules or Weyl modules. The action of the conserved quantities on these characters gives the difference quantum Toda equations \cite{Etingof}. We obtain a generalization of the latter for arbitrary tensor products of KR-modules.

We study the level $m$--Demazure flag of a level $\ell$--Demazure module for $\frak{sl}_2[t]$. We define the generating series $A_n^{\ell \rightarrow m}(x,q)$ which encodes the $q$--multiplicity of the level $m$ Demazure module of weight $n$. We establish two recursive formulae for these functions. We show that the specialization to $q=1$ is a rational function involving the Chebyshev polynomials. We give a closed form for $A_n^{\ell \rightarrow \ell+1}(x,q)$ and prove that it is given by a rational function. In the case when $m=\ell+1$ and $\ell=1,2$, we relate the generating series to partial theta series. We also study the specializations $A_n^{1\rightarrow 3}(q^k,q)$ and relate them to the fifth order mock-theta functions of Ramanujan.