arXiv++ Combinatorics

We study standard monomial bases for Richardson varieties inside the flag variety. In general, writing down a standard monomial basis for a Richardson variety can be challenging, as it involves computing so-called defining chains or key tableaux. However, for a certain family of Richardson varieties, indexed by compatible permutations, we provide a very direct and straightforward combinatorial rule for writing down a standard monomial basis. We apply this result to the study of toric degenerations of Richardson varieties. In particular, we provide a new family of toric degenerations of Richardson varieties inside flag varieties.

Richardson varieties are obtained as intersections of Schubert and opposite Schubert varieties. We provide a new family of toric degenerations of Richardson varieties inside Grassmannians by studying Gröbner degenerations of their corresponding ideals. These degenerations are parametrised by block diagonal matching fields in the sense of Sturmfels-Zelevinsky. We associate a weight vector to each block diagonal matching field and study its corresponding initial ideal. In particular, we characterise when such ideals are toric, hence providing a family of toric degenerations for Richardson varieties. Given a Richardson variety $X_{w}^v$ and a weight vector ${\bf w}_\ell$ arising from a matching field, we consider two ideals: an ideal $G_{k,n,\ell}|_w^v$ obtained by restricting the initial of the Plücker ideal to a smaller polynomial ring, and a toric ideal defined as the kernel of a monomial map $φ_\ell|_w^v$. We first characterise the monomial-free ideals of form $G_{k,n,\ell}|_w^v$. Then we construct a family of tableaux in bijection with semi-standard Young tableaux which leads to a monomial basis for the corresponding quotient ring. Finally, we prove that when $G_{k,n,\ell}|_w^v$ is monomial-free and the initial ideal in$_{{\bf w}_\ell}(I(X_w^v))$ is quadratically generated, then all three ideals in$_{{\bf w}_\ell}(I(X_w^v))$, $G_{k,n,\ell}|_w^v$ and ker$(φ_\ell|_w^v)$ coincide, and provide a toric degeneration of $X_w^v$.

We study the Gnedin-Kingman graph, which corresponds to Pieri's rule for the monomial basis $\{M_λ\}$ in the algebra $\mathrm{QSym}$ of quasisymmetric functions. The paper contains a detailed announcement of results concerning the classification of indecomposable semifinite harmonic functions on the Gnedin-Kingman graph. For these functions, we also establish a multiplicativity property, which is an analog of the Vershik-Kerov ring theorem.

We prove a new Fermionic quasiparticle sum expression for the character of the Ising model vertex algebra, related to the Jackson-Slater $q$-series identity of Rogers-Ramanujan type and to Nahm sums for the matrix $\left( \begin{smallmatrix} 8 & 3 \\ 3 & 2 \end{smallmatrix} \right)$. We find, as consequences, an explicit monomial basis for the Ising model, and a description of its singular support. We find that the ideal sheaf of the latter, defining it as a subscheme of the arc space of its associated scheme, is finitely generated as a differential ideal. We prove three new $q$-series identities of the Rogers-Ramanujan-Slater type associated with the three irreducible modules of the Virasoro Lie algebra of central charge $1/2$. We give a combinatorial interpretation to the identity associated with the vacuum module.

We introduce a family of ideals $I_{n,λ,s}$ in $\mathbb{Q}[x_1,\dots,x_n]$ for $λ$ a partition of $k\leq n$ and an integer $s \geq \ell(λ)$. This family contains both the Tanisaki ideals $I_λ$ and the ideals $I_{n,k}$ of Haglund-Rhoades-Shimozono as special cases. We study the corresponding quotient rings $R_{n,λ,s}$ as symmetric group modules. When $n=k$ and $s$ is arbitrary, we recover the Garsia-Procesi modules, and when $λ=(1^k)$ and $s=k$, we recover the generalized coinvariant algebras of Haglund-Rhoades-Shimozono. We give a monomial basis for $R_{n,λ,s}$, unifying the monomial bases studied by Garsia-Procesi and Haglund-Rhoades-Shimozono, and realize the $S_n$-module structure of $R_{n,λ,s}$ in terms of an action on $(n,λ,s)$-ordered set partitions. We also prove formulas for the Hilbert series and graded Frobenius characteristic of $R_{n,λ,s}$. We then connect our work with Eisenbud-Saltman rank varieties using results of Weyman. As an application of our work, we give a monomial basis, Hilbert series formula, and graded Frobenius characteristic formula for the coordinate ring of the scheme-theoretic intersection of a rank variety with diagonal matrices.

Let $W$ be an irreducible complex reflection group acting on its reflection representation $V$. We consider the doubly graded action of $W$ on the exterior algebra $\wedge (V \oplus V^*)$ as well as its quotient $DR_W := \wedge (V \oplus V^*)/ \langle \wedge (V \oplus V^*)^{W}_+ \rangle$ by the ideal generated by its homogeneous $W$-invariants with vanishing constant term. We describe the bigraded isomorphism type of $DR_W$; when $W = \mathfrak{S}_n$ is the symmetric group, the answer is a difference of Kronecker products of hook-shaped $\mathfrak{S}_n$-modules. We relate the Hilbert series of $DR_W$ to the (type A) Catalan and Narayana numbers and describe a standard monomial basis of $DR_W$ using a variant of Motzkin paths. Our methods are type-uniform and involve a Lefschetz-like theory which applies to the exterior algebra $\wedge (V \oplus V^*)$.

Springer fibers are subvarieties of the flag variety that play an important role in combinatorics and geometric representation theory. In this paper, we analyze the equivariant cohomology of Springer fibers for $GL_n(\mathbb{C})$ using results of Kumar and Procesi that describe this equivariant cohomology as a quotient ring. We define a basis for the equivariant cohomology of a Springer fiber, generalizing a monomial basis of the ordinary cohomology defined by De Concini and Procesi and studied by Garsia and Procesi. Our construction yields a combinatorial framework with which to study the equivariant and ordinary cohomology rings of Springer fibers. As an application, we identify an explicit collection of (equivariant) Schubert classes whose images in the (equivariant) cohomology ring of a given Springer fiber form a basis.

The commutative Hopf monoid of set compositions is a fundamental Hopf monoid internal to vector species, having undecorated bosonic Fock space the combinatorial Hopf algebra of quasisymmetric functions. We construct a geometric realization of this Hopf monoid over the adjoint of the (essentialized) braid hyperplane arrangement, which identifies the monomial basis with signed characteristic functions of the interiors of permutohedral tangent cones. We show that the indecomposable quotient Lie coalgebra is obtained by restricting functions to chambers of the adjoint arrangement, i.e. by quotienting out the higher codimensions. The resulting functions are characterized by the Steinmann relations of axiomatic quantum field theory, demonstrating an equivalence between the Steinmann relations, tangent cones to (generalized) permutohedra, and having algebraic structure internal to species. Our results give a new interpretation of a construction appearing in the mathematically rigorous formulation of renormalization by Epstein-Glaser, called causal perturbation theory. In particular, we show that operator products of time-ordered products correspond to the H-basis of the cocommutative Hopf monoid of set compositions, and generalized retarded products correspond to a spanning set of its primitive part Lie algebra.

We construct a combinatorial generalization of the Leray models for hyperplane arrangement complements. Given a matroid and some combinatorial blowup data, we give a presentation for a bigraded (commutative) differential-graded algebra. If the matroid is realizable over $\mathbb{C}$, this is the familiar Morgan model for a hyperplane arrangement complement, embedded in a blowup of projective space. In general, we obtain a cdga that interpolates between the Chow ring of a matroid and the Orlik-Solomon algebra. Our construction can also be expressed in terms of sheaves on combinatorial blowups of geometric lattices. As a key technical device, we construct a monomial basis via a Gröbner basis for the ideal of relations. Combining these ingredients, we show that our algebra is quasi-isomorphic to the classical Orlik-Solomon algebra of the matroid.

In a recent preprint, Carlsson and Oblomkov (2018) obtain a long sought after monomial basis for the ring $\operatorname{DR}_n$ of diagonal coinvariants. Their basis is closely related to the "schedules" formula for the Hilbert series of $\operatorname{DR}_n$ which was conjectured by the first author and Loehr (2005) and first proved by Carlsson and Mellit (2018), as a consequence of their proof of the famous Shuffle Conjecture. In this article we obtain a schedules formula for the combinatorial side of the Delta Conjecture, a conjecture introduced by the first author, Remmel and Wilson (2018) which contains the Shuffle Conjecture as a special case. Motivated by the Carlsson-Oblomkov basis for $\operatorname{DR}_n$ and our Delta schedules formula, we introduce a (conjectural) basis for the module $\operatorname{SDR}_n$ of super-diagonal coinvariants, an $S_n$ module generalizing $\operatorname{DR}_n$ introduced recently by Zabrocki (2019) which conjecturally corresponds to the Delta Conjecture.

The operads of Poisson and Gerstenhaber algebras are generated by a single binary element if we consider them as Hopf operads (i.e. as operads in the category of cocommutative coalgebras). In this note we discuss in details the Hopf operads generated by a single element of arbitrary arity. We explain why the dual space to the space of $n$-ary operations in this operads are quadratic and Koszul algebras. We give the detailed description of generators, relations and a certain monomial basis in these algebras.

We introduce a presentation of the Chow ring of a matroid by a new set of generators, called "simplicial generators." These generators are analogous to nef divisors on projective toric varieties, and admit a combinatorial interpretation via the theory of matroid quotients. Using this combinatorial interpretation, we (i) produce a bijection between a monomial basis of the Chow ring and a relative generalization of Schubert matroids, (ii) recover the Poincaré duality property, (iii) give a formula for the volume polynomial, which we show is log-concave in the positive orthant, and (iv) recover the validity of Hodge-Riemann relations in degree 1, which is the part of the Hodge theory of matroids that currently accounts for all combinatorial applications of [AHK18]. Our work avoids the use of "flips," the key technical tool employed in [AHK18].

We study some algebraic and combinatorial features of two algebras that arise as quotients of Temperley-Lieb algebras of type $\tilde{C}$, namely, the two-boundary Temperley-Lieb algebra and the symplectic blob algebra. We provide a monomial basis for both algebras. The elements of these bases are parameterized by certain subsets of fully commutative elements. We enumerate these elements according to their affine length.

In a paper by Ghorpade and Raghavan, they provide an explicit combinatorial description of the Hilbert function of the tangent cone at any point on a Schubert variety in the symplectic Grassmannian, by giving a certain "degree-preserving" bijection between a set of monomials defined by an initial ideal and a "standard monomial basis". We prove here that this bijection is in fact a bounded RSK correspondence.

The machinery of zonotopal algebra is linked with two particular polytopes: the Stanley-Pitman polytope and the regular simplex $\mathfrak{Sim}_n(t_1,...,t_n)$ with parameters $t_1,...,t_n\in \mathbb{R}_+^n$, defined by the inequalities $\sum_{i=1}^n r_i\leq \sum_{i=1}^n t_i, \mbox{ } r_i\in \mathbb{R}_+^n,$ where the $(r_i)_{i\in [n]}$ are variables. Specifically, we will discuss the central Dahmen-Micchelli space of the broken wheel graph $BW_n$ and its dual, the $\mathcal{P}$-central space. We will observe that the $\mathcal{P}$-central space of $BW_n$ is monomial, with a basis given by the $BW_n$-parking functions. We will show that the volume polynomial of the the Stanley-Pitman polytope lies in the central Dahmen-Micchelli space of $BW_n$ and is precisely the polynomial in a particular basis of the central Dahmen-Micchelli space which corresponds to the monomial $t_1t_2\cdots t_n$ in the dual monomial basis of the $\mathcal{P}$-central space. We will then define the generalized broken wheel graph $GBW_n(T)$ for a given rooted tree $T$ on $n$ vertices. For every such tree, we can construct $2^{n-1}$ directed graphs, which we will refer to as \textit{generalized broken wheel graphs}. Each generalized broken wheel graph constructed from $T$ will give us a polytope, its volume polynomial, and a \textit{reference monomial}. The $2^{n-1}$ polytopes together give a polyhedral subdivision of $\mathfrak{Sim}_n(t_1,...,t_n)$, their volume polynomials together give a basis for the subspace of homogeneous polynomials of degree $n$ of the corresponding central Dahmen-Micchelli space, and their reference monomials together give a basis for its dual.

To a vector configuration one can associate a polynomial ideal generated by powers of linear forms, known as a power ideal, which exhibits many combinatorial features of the matroid underlying the configuration. In this note we observe that certain power ideals associated to transversal matroids are, somewhat unexpectedly, monomial. Moreover, the (monomial) basis elements of the quotient ring defined by such a power ideal can be naturally identified with the lattice points of a remarkable convex polytope: a polymatroid, also known as generalized permutohedron. We dub the exponent vectors of these monomial basis elements "parking functions" of the corresponding transversal matroid. We highlight the connection between our investigation and Stanley-Reisner theory, and relate our findings to Stanley's conjectured necessary condition on matroid $h$-vectors.

A set partition of $[n] := \{1, 2, \dots, n \}$ is called {\em $r$-Stirling} if the numbers $1, 2, \dots, r$ belong to distinct blocks. Haglund, Rhoades, and Shimozono constructed graded ring $R_{n,k}$ depending on two positive integers $k \leq n$ whose algebraic properties are governed by the combinatorics of ordered set partitions of $[n]$ with $k$ blocks. We introduce a variant $R_{n,k}^{(r)}$ of this quotient for ordered $r$-Stirling partitions which depends on three integers $r \leq k \leq n$. We describe the standard monomial basis of $R_{n,k}^{(r)}$ and use the combinatorial notion of the {\em coinversion code} of an ordered set partition to reprove and generalize some results of Haglund et.\ al.\ in a more direct way. Furthermore, we introduce a variety $X_{n,k}^{(r)}$ of line arrangements whose cohomology is presented as the integral form of $R_{n,k}^{(r)}$, generalizing results of Pawlowski and Rhoades.

We combinatorially describe entries of the transition matrices which relate monomial bases of the zero-weight space of the quantum matrix bialgebra. This description leads to a combinatorial rule for evaluating induced sign characters of the type $A$ Hecke algebra $H_n(q)$ at all elements of the form $(1 + T_{s_{i_1}}) \cdots (1 + T_{s_{i_m}})$, including the Kazhdan-Lusztig basis elements indexed by $321$-hexagon-avoiding permutations. This result is the first subtraction-free rule for evaluating all elements of a basis of the $H_n(q)$-trace space at all elements of a basis of $H_n(q)$.

We define an action of the double coinvariant algebra $DR_n$ on the equivariant Borel-Moore homology of the affine flag variety $\widetilde{Fl}_n$ in type $A$, which has an explicit form in terms of the left and right action of the (extended) affine Weyl group and multiplication by Chern classes. Up to first order in the augmentation ideal, we show that it coincides with the action of the Cherednik algebra on the equivariant homology of the homogeneous affine Springer fiber $\widetilde{S}_{n,m} \subset \widetilde{Fl}_n$ due to Yun and the second author, and therefore preserves the non-equivariant Borel-Moore homology groups $H_*(\widetilde{S}_{n,m})\hookrightarrow H_*(\widetilde{Fl}_n)$. We then define a geometric filtration $F_{a} H_*(\widetilde{S}_{n,n+1})=H_*(\widetilde{S}(a))$ by closed subspaces $\widetilde{S}(a)\subset \widetilde{S}_{n,n+1}$, which we prove recovers the Garsia-Stanton descent order on $DR_n$. We use this to deduce an explicit monomial basis of $DR_n$, as well as an independent proof of the (non-compositional) Shuffle Theorem.

We investigate the rigidity for the Hopf algebra ${\rm QSym}$ of quasisymmetric functions with respect to the monomial, the fundamental and the quasisymmetric Schur basis, respectively. By establishing some combinatorial properties of the posets of compositions arising from the analogous Pieri rules for quasisymmetric functions, we show that ${\rm QSym}$ is rigid as an algebra with respect to the quasisymmetric Schur basis, and rigid as a coalgebra with respect to the monomial and the quasisymmetric Schur basis, respectively. The natural actions of reversal, complement and transpose of the labelling compositions lead to some nontrivial graded (co)algebra automorphisms of ${\rm QSym}$. We prove that the linear maps induced by the three actions are precisely the only nontrivial graded algebra automorphisms that take the fundamental basis into itself. Furthermore, the complement map on the labels gives the unique nontrivial graded coalgebra automorphism preserving the fundamental basis, while the reversal map on the labels gives the unique nontrivial graded algebra automorphism preserving the monomial basis. Therefore, ${\rm QSym}$ is rigid as a Hopf algebra with respect to the monomial and the quasisymmetric Schur basis.