arXiv++ Combinatorics

Let $n,k,$ and $r$ be nonnegative integers and let $S_n$ be the symmetric group. We introduce a quotient $R_{n,k,r}$ of the polynomial ring $\mathbb{Q}[x_1, \dots, x_n]$ in $n$ variables which carries the structure of a graded $S_n$-module. When $r \geq n$ or $k = 0$ the quotient $R_{n,k,r}$ reduces to the classical coinvariant algebra $R_n$ attached to the symmetric group. Just as algebraic properties of $R_n$ are controlled by combinatorial properties of permutations in $S_n$, the algebra of $R_{n,k,r}$ is controlled by the combinatorics of objects called {\em tail positive words}. We calculate the standard monomial basis of $R_{n,k,r}$ and its graded $S_n$-isomorphism type. We also view $R_{n,k,r}$ as a module over the 0-Hecke algebra $H_n(0)$, prove that $R_{n,k,r}$ is a projective 0-Hecke module, and calculate its quasisymmetric and nonsymmetric 0-Hecke characteristics. We conjecture a relationship between our quotient $R_{n,k,r}$ and the delta operators of the theory of Macdonald polynomials.

We present a combinatorial monomial basis (or, more precisely, a family of monomial bases) in every finite-dimensional irreducible $\mathfrak{so}_{2n+1}$-module. These bases are in many ways similar to the FFLV bases for types $A$ and $C$. They are also defined combinatorially via sums over Dyck paths in certain triangular grids. Our sums, however, involve weights depending on the length of the corresponding root. Accordingly, our bases also induce bases in certain degenerations of the modules but these degenerations are obtained not from the filtration by PBW degree but by a weighted version thereof.

The symmetric group $\mathfrak{S}_n$ acts on the polynomial ring $\mathbb{Q}[\mathbf{x}_n] = \mathbb{Q}[x_1, \dots, x_n]$ by variable permutation. The invariant ideal $I_n$ is the ideal generated by all $\mathfrak{S}_n$-invariant polynomials with vanishing constant term. The quotient $R_n = \frac{\mathbb{Q}[\mathbf{x}_n]}{I_n}$ is called the coinvariant algebra. The coinvariant algebra $R_n$ has received a great deal of study in algebraic and geometric combinatorics. We introduce a generalization $I_{n,k} \subseteq \mathbb{Q}[\mathbf{x}_n]$ of the ideal $I_n$ indexed by two positive integers $k \leq n$. The corresponding quotient $R_{n,k} := \frac{\mathbb{Q}[\mathbf{x}_n]}{I_{n,k}}$ carries a graded action of $\mathfrak{S}_n$ and specializes to $R_n$ when $k = n$. We generalize many of the nice properties of $R_n$ to $R_{n,k}$. In particular, we describe the Hilbert series of $R_{n,k}$, give extensions of the Artin and Garsia-Stanton monomial bases of $R_n$ to $R_{n,k}$, determine the reduced Gröbner basis for $I_{n,k}$ with respect to the lexicographic monomial order, and describe the graded Frobenius series of $R_{n,k}$. Just as the combinatorics of $R_n$ are controlled by permutations in $\mathfrak{S}_n$, we will show that the combinatorics of $R_{n,k}$ are controlled by ordered set partitions of $\{1, 2, \dots, n\}$ with $k$ blocks. The {\em Delta Conjecture} of Haglund, Remmel, and Wilson is a generalization of the Shuffle Conjecture in the theory of diagonal coinvariants. We will show that the graded Frobenius series of $R_{n,k}$ is (up to a minor twist) the $t = 0$ specialization of the combinatorial side of the Delta Conjecture. It remains an open problem to give a bigraded $\mathfrak{S}_n$-module $V_{n,k}$ whose Frobenius image is even conjecturally equal to any of the expressions in the Delta Conjecture; our module $R_{n,k}$ solves this problem in the specialization $t = 0$.

We introduce an affine Schur algebra via the affine Hecke algebra associated to Weyl group of affine type C. We establish multiplication formulas on the affine Hecke algebra and affine Schur algebra. Then we construct monomial bases and canonical bases for the affine Schur algebra. The multiplication formula allows us to establish a stabilization property of the family of affine Schur algebras that leads to the modified version of an algebra ${\mathbf K}^{\mathfrak c}_n$. We show that ${\mathbf K}^{\mathfrak c}_n$ is a coideal subalgebra of quantum affine algebra ${\bf U}(\hat{\mathfrak{gl}}_n)$, and $\big({\mathbf U}(\hat{ \mathfrak{gl}}_n), {\mathbf K}^{\mathfrak c}_n)$ forms a quantum symmetric pair. The modified coideal subalgebra is shown to admit monomial and stably canonical bases. We also formulate several variants of the affine Schur algebra and the (modified) coideal subalgebra above, as well as their monomial and canonical bases. This work provides a new and algebraic approach which complements and sheds new light on our previous geometric approach on the subject. In the appendix by four of the authors, new length formulas for the Weyl groups of affine classical types are obtained in a symmetrized fashion.

FFLV polytopes describe monomial bases in irreducible representations of $\mathfrak{sl}_n$ and $\mathfrak{sp}_{2n}$. We study various sets of vertices of FFLV polytopes. First, we consider the special linear case. We prove the locality of the set of vertices with respect to the type $A$ Dynkin diagram. Then we describe all the permutation vertices and after that we describe all the simple vertices and prove that their number is equal to the large Schröder number. Finally, we derive analogous results for symplectic algebras.

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.

We generalize the construction of the bracelet and bangle bases defined by Musiker, Schiffler and Williams, and the band basis defined by D. Thurston to cluster algebras arising from orbifolds. We prove that the bracelet bases are positive, and the bracelet basis for the affine cluster algebra of type $C_n^{(1)}$ is atomic. We also show that cluster monomial bases of all skew-symmetrizable cluster algebras of finite type are atomic.

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.

Consider the vector space $\mathbb{K}\mathcal{P}$ spanned by parking functions. By representing parking functions as labeled digraphs, Hivert, Novelli and Thibon constructed a cocommutative Hopf algebra PQSym$^{*}$ on $\mathbb{K}\mathcal{P}$. The product and coproduct of PQSym$^{*}$ are analogous to the product and coproduct of the Hopf algebra NCSym of symmetric functions in noncommuting variables defined in terms of the power sum basis. In this paper, we view a parking function as a word. We shall construct a Hopf algebra PFSym on $\mathbb{K}\mathcal{P}$ with a formal basis $\{M_a\}$ analogous to the monomial basis of NCSym. By introducing a partial order on parking functions, we transform the basis $\{M_a\}$ to another basis $\{Q_a\}$ via the Möbius inversion. We prove the freeness of PFSym by finding two free generating sets in terms of the $M$-basis and the $Q$-basis, and we show that PFSym is isomorphic to the Hopf algebra PQSym$^{*}$. It turns out that our construction, when restricted to permutations and non-increasing parking functions, leads to a new way to approach the Grossman-Larson Hopf algebras of ordered trees and heap-ordered trees.

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.

We give an alternative proof of the main result of the paper http://arxiv.org/abs/math/0112104, the proof relies on Brion's theorem about convex polyhedra. The result itself can be viewed as a formula for the character of the Feigin-Stoyanovsky subspace of an integrable irreducible representation of the affine Lie algebra $\widehat{\mathfrak{sl}_n}(\mathbb{C})$. Our approach is to assign integer points of a certain polytope to the vectors comprising a monomial basis of the subspace and then compute the character via (a variation of) Brion's theorem.

The Fomin-Kirillov algebra $\mathcal E_n$ is a noncommutative quadratic algebra with a generator for every edge of the complete graph on $n$ vertices. For any graph $G$ on $n$ vertices, we define $\mathcal E_G$ to be the subalgebra of $\mathcal E_n$ generated by the edges of $G$. We show that these algebras have many parallels with Coxeter groups and their nil-Coxeter algebras: for instance, $\mathcal E_G$ is a free $\mathcal E_H$-module for any $H\subseteq G$, and if $\mathcal E_G$ is finite-dimensional, then its Hilbert series has symmetric coefficients. We determine explicit monomial bases and Hilbert series for $\mathcal E_G$ when $G$ is a simply-laced finite Dynkin diagram or a cycle, in particular showing that $\mathcal E_G$ is finite-dimensional in these cases. We also present conjectures for the Hilbert series of $\mathcal E_{\tilde{D}_n}$, $\mathcal E_{\tilde{E}_6}$, and $\mathcal E_{\tilde{E}_7}$, as well as for which graphs $G$ on six vertices $\mathcal E_G$ is finite-dimensional.

In this paper, we study the concept of free pre-Lie algebra generated by a (non-empty) set. We review the construction of A. Agrachev and R. Gamkrelidze of monomial bases in free pre-Lie algebras. We describe the matrix of the monomial basis vectors in terms of the rooted trees basis exhibited by F. Chapoton and M. Livernet. We also show that this matrix is unipotent and we find an explicit expression for its coefficients.

Macdonald superpolynomials provide a remarkably rich generalization of the usual Macdonald polynomials. The starting point of this work is the observation of a previously unnoticed stability property of the Macdonald superpolynomials when the fermionic sector m is sufficiently large: their decomposition in the monomial basis is then independent of m. These stable superpolynomials are readily mapped into bisymmetric polynomials, an operation that spoils the ring structure but drastically simplifies the associated vector space. Our main result is a factorization of the (stable) bisymmetric Macdonald polynomials, called double Macdonald polynomials and indexed by pairs of partitions, into a product of Macdonald polynomials (albeit subject to non-trivial plethystic transformations). As an off-shoot, we note that, after multiplication by a t-Vandermonde determinant, this provides explicit formulas for a large class of Macdonald polynomials with prescribed symmetry. The factorization of the double Macdonald polynomials leads immediately to the generalization of basically every elementary properties of the Macdonald polynomials to the double case (norm, kernel, duality, positivity, etc). When lifted back to superspace, this validates various previously formulated conjectures in the stable regime. The q,t-Kostka coefficients associated to the double Macdonald polynomials are shown to be q,t-analogs of the dimensions of the irreducible representations of the hyperoctahedral group B_n. Moreover, a Nabla operator on the double Macdonald polynomials is defined and its action on a certain bisymmetric Schur function can be interpreted as the Frobenius series of a bigraded module of dimension (2n+1)^n, a formula again characteristic of the Coxeter group of type B_n. Finally, as a side result, we obtain a simple identity involving products of four Littlewood-Richardson coefficients.

Brown has shown that the Stanley-Reisner ring of the broken circuit complex of a graph has a linear system of parameters which is defined in terms of the circuits and cocircuits of the graph. Later on Brown and Sagan conjectured a special set of monomials - a so-called NBC basis - described in terms of the circuits and cocircuits of the graph to be a monomial basis for the corresponding quotient of the Stanley-Reisner ring and proved this to be true for theta and phi graphs. We generalize the aforementioned linear system of parameters to broken circuit complexes of regular matroids and transfer the notion of NBC bases to the general setting of regular matroids. We are able to obtain the analogous results to the ones of Brown and Sagan in this more general context. We show a deletion-contraction axiom for the existence of NBC bases. Using this results we identify two infinite classes of matroids which have NBC bases and which are the matroid theoretic analogue of theta and phi graphs.

The symplectic group branching algebra, B, is a graded algebra whose components encode the multiplicities of irreducible representations of Sp(2n-2,C) in each irreducible representation of Sp(2n,C). By describing on B an ASL structure, we construct an explicit standard monomial basis of B consisting of Sp(2n-2,C) highest weight vectors. Moreover, B is known to carry a canonical action of the n-fold product SL(2) \times ... \times SL(2), and we show that the standard monomial basis is the unique (up to scalar) weight basis associated to this representation. Finally, using the theory of Hibi algebras we describe a deformation of Spec(B) into an explicit toric variety.

We give a direct geometric interpretation of the path model using galleries in the $1-$skeleton of the Bruhat-Tits building associated to a semi-simple algebraic group. This interpretation allows us to compute the coefficients of the expansion of the Hall-Littlewood polynomials in the monomial basis. The formula we obtain is a "geometric compression" of the one proved by Schwer, its specialization to the case ${\tt A}_n$ turns out to be equivalent to Macdonald's formula.

A Richardson variety $X_\ga^\gc$ in the Orthogonal Grassmannian is defined to be the intersection of a Schubert variety $X^\gc$ in the Orthogonal Grassmannian and a opposite Schubert variety $X_\ga$ therein. We give an explicit description of the initial ideal (with respect to certain conveniently chosen term order) for the ideal of the tangent cone at any $T$-fixed point of $X_\ga^\gc$, thus generalizing a result of Raghavan-Upadhyay \cite{Ra-Up2}. Our proof is based on a generalization of the Robinson-Schensted-Knuth (RSK) correspondence, which we call the Orthogonal bounded RSK (OBRSK). The OBRSK correspondence will give a degree-preserving bijection between a set of monomials defined by the initial ideal of the ideal of the tangent cone (as mentioned above) and a `standard monomial basis'. A similar work for Richardson varieties in the ordinary Grassmannian was done by Kreiman in \cite{Kr-bkrs}.

We study the structure of a family of algebras which encodes a generalization of the Pieri Rule for the complex orthogonal group. In particular, we show that each of these algebras has a standard monomial basis and has a flat deformation to a Hibi algebra. There is also a parallel theory for the complex symplectic group.