arXiv++ Combinatorics

We give the first conjectural construction of a monomial basis for the coinvariant ring $R_n^{(1,2)}$, for the symmetric group $S_n$ acting on one set of bosonic (commuting) and two sets of fermionic (anticommuting) variables. Our construction interpolates between the modified Motzkin path basis for $R_n^{(0,2)}$ of Kim-Rhoades (2022) and the super-Artin basis for $R_n^{(1,1)}$ conjectured by Sagan-Swanson (2024) and proven by Angarone et al. (2024). We prove that our proposed basis has cardinality $2^{n-1}n!$, aligning with a conjecture of Zabrocki (2020) on the dimension of $R_n^{(1,2)}$, and show how it gives a combinatorial expression for the Hilbert series. We also conjecture a Frobenius series for $R_n^{(1,2)}$. We show that these proposed Hilbert and Frobenius series are equivalent to conjectures of Iraci, Nadeau, and Vanden Wyngaerd (2024) on $R_n^{(1,2)}$ in terms of segmented Smirnov words, by exhibiting a weight-preserving bijection between our proposed basis and their segmented permutations. We extend some of their results on the sign character to hook characters, and give a formula for the $m_μ$ coefficients of the conjectural Frobenius series. Finally, we conjecture a monomial basis for the analogous ring in type $B_n$, and show that it has cardinality $4^nn!$.

The type $A$ Kostant partition function is an important combinatorial object with various applications: it counts integer flows on the complete directed graph, computes Hilbert series of spaces of diagonal harmonics, and can be used to compute weight and tensor product multiplicities of representations. In this paper we study asymptotics of the Kostant partition function, improving on various previously known lower bounds and settling conjectures of O'Neill and Yip. Our methods build upon recent results and techniques of Brändén-Leake-Pak, who used Lorentzian polynomials and Gurvits' capacity method to bound the number of lattice points of transportation and flow polytopes. Finally, we also give new two-sided bounds using the Lidskii formulas from subdivisions of flow polytopes.

Contractads are operadic-type algebraic structures well-suited for describing configuration spaces indexed by a simple connected graph $Γ$. Specifically, these configuration spaces are defined as $\mathrm{Conf}_Γ(X):=X^{|V(Γ)|}\setminus \cup_{(ij)\in E(Γ)} \{x_i=x_j\}$. In this paper, we explore functional equations for the Hilbert series of Koszul dual contractads and provide explicit Hilbert series for fundamental contractads such as the commutative, Lie, associative and the little discs contractads. Additionally, we focus on a particular contractad derived from the wonderful compactifications of $\mathrm{Conf}_Γ(\mathbb{k})$, for $\mathbb{k}=\mathbb{R},\mathbb{C}$. First, we demonstrate that for complete multipartite graphs, the associated wonderful compactifications coincide with the modular compactifications introduced by Smyth. Second, we establish that the homology of the complex points and the homology of the real locus of the wonderful contractad are both quadratic and Koszul contractads. We offer a detailed description of generators and relations, extending the concepts of the Hypercommutative operad and cacti operads, respectively. Furthermore, using the functional equations for the Hilbert series, we describe the corresponding Hilbert series for the homology of modular compactifications.

Consider the $(\mathfrak{g}, K)$-modules $L_λ$ for unitary highest weight representations of the real reductive group $G_{\mathbb{R}} = \operatorname{U}(p,q)$, $\operatorname{Mp}(2n, \mathbb{R})$, or $\operatorname{O}^*(2n)$, where $\operatorname{Mp}(2n,\mathbb{R})$ denotes the metaplectic double cover of $\operatorname{Sp}(2n,\mathbb{R})$. Let $k$ be a positive integer. Corresponding to $G_{\mathbb{R}}$ via Howe duality is the compact group $\operatorname{U}(k)$, $\operatorname{O}(k)$, or $\operatorname{Sp}(k)$, respectively, for which every irreducible representation $σ$ corresponds to a unique $L_λ = L_{λ(σ)}$. Nishiyama-Ochiai-Taniguchi (2001) expressed the Bernstein degree $\operatorname{Deg} L_{λ(σ)}$ as the product of $\dim σ$ and the degree of the associated variety of $L_{λ(σ)}$; this result is valid when $k \leq r :=$ the real rank of $G_{\mathbb{R}}$. In this paper, for arbitrary $k$, we give a new combinatorial interpretation $\operatorname{Deg} L_{λ(σ)} = \#(\mathcal{Q}_k(σ) \times \mathcal{P}_k)$, where $\mathcal{Q}_k(σ)$ is a certain set of semistandard tableaux, whose cardinality (for $k \geq r$) interpolates between $\dim σ$ and the dimension of the simple $K$-module with highest weight $λ(σ)$. The set $\mathcal{P}_k$ consists of certain plane partitions that encode the Hilbert series of the associated variety. We exhibit analogous sets $\mathcal{P}_k$ of plane partitions for all real reductive groups of Hermitian type, including the exceptional groups.

We associate a quotient of superspace to any hyperplane arrangement by considering the differential closure of an ideal generated by powers of certain homogeneous linear forms. This quotient is a superspace analogue of the external zonotopal algebra, and it further contains the central zonotopal algebra in the appropriate grading. We show that an evaluation of the bivariate Tutte polynomial is the bigraded Hilbert series of this quotient. We then use this fact to construct an explicit basis for the Macaulay inverse. These results generalize those of Ardila-Postnikov and Holtz-Ron. We also discuss enumerative consequences of our results in the setting of hyperplane arrangements.

Matrix Schubert varieties (Fulton '92) carry natural actions of Levi groups. Their coordinate rings are thereby Levi-representations; what is a combinatorial counting rule for the multiplicities of their irreducibles? When the Levi group is a torus, (Knutson-Miller '04) answers the question. We present a general solution, a common refinement of the multigraded Hilbert series, the Cauchy identity, and the Littlewood-Richardson rule. Our result applies to any ``bicrystalline'' algebraic variety; we define these using the operators of (Kashiwara '95) and of (Danilov-Koshevoi '05, van Leeuwen '06). The proof introduces a ``filtered'' generalization of the Robinson-Schensted-Knuth correspondence.

It is well known that the Eulerian polynomial is the Hilbert series of the cohomology of the permutahedral variety. Stanley obtained a formula showing that the cohomology carries a permutation representation of $\mathfrak{S}_n$. We answer a question of Stembridge on finding an explicit permutation basis of this cohomology. We observe that the Feichtner-Yuzvinsky basis for the Chow ring of the Boolean matroid is such a permutation basis, and then we construct an $\mathfrak{S}_n$-equivariant bijection between this basis and codes introduced by Stembridge, thereby giving a combinatorial proof of Stanley's formula. We obtain an analogous result for the stellahedral variety. We find a permutation basis of the permutation representation its cohomology carries. This involves the augmented Chow ring of a matroid introduced by Braden, Huh, Matherne, Proudfoot and Wang. Along the way, we obtain a general result on augmented Chow rings (which was also independently obtained by Eur) asserting that augmented Chow rings of matroids are actually Chow rings in the sense of Feichtner and Yuzvinsky. In the last part of the paper, we study enumerative aspects of the permutahedra and the stellohedra related to these permutation bases.

The associative spectrum of a groupoid (i.e., a set with a binary operation) measures its nonassociativity while the associative-commutative spectrum measures both nonassociativity and noncommutativity of the groupoid. The two spectra are also the coefficients of the Hilbert series of certain operads. We establish upper bounds for the two spectra of various varieties of groupoids defined by different sets of identities and provide examples (often groupoids with three elements) for which the upper bounds are achieved. Our results have connections to many interesting combinatorial objects and integer sequences and naturally lead to some questions for future studies.

Let $H$ be a complex reductive group, with finite-dimensional representations $W$ and $U$. The module of covariants for $W$ of type $U$ is the space of all $H$-equivariant polynomial maps $\varphi: W \longrightarrow U$. In this paper, we take $H$ to be one of the classical groups $\operatorname{GL}(V)$, $\operatorname{O}(V)$, or $\operatorname{Sp}(V)$, where $W$ is a direct sum of copies of $V$ and $V^*$, and $U$ is an arbitrary rational representation (with $U$ restricted to exterior powers of $V$ in the $H= \operatorname{O}(V)$ case). Our main result gives uniform Stanley decompositions of these modules of covariants, with Stanley spaces parametrized by combinatorial objects we call jellyfish. As a corollary, we write down the Hilbert series as a finite sum of rational functions, each with a combinatorial interpretation in terms of lattice paths. Notably, these results do not rely on the module being Cohen-Macaulay. We further apply our methods to invariant rings for $\operatorname{SL}(V)$ and $\operatorname{SO}(V)$. Our proofs (for $H = \operatorname{GL}(V)$ and $\operatorname{Sp}(V)$) rely on previous work by Jackson on standard monomial theory for dual reductive pairs, since classical modules of covariants can be viewed via Howe duality as Harish-Chandra modules of unitary highest weight representations of a certain real reductive group. As a first step toward extending this program to arbitrary unitary highest weight representations (including those of the exceptional groups), we establish analogous results uniformly for the Wallach representations of type ADE.

We study representations of finite groups on Stanley--Reisner rings of simplicial complexes and on lattice points in lattice polytopes. The framework of translative group actions allows us to use the theory of proper colorings of simplicial complexes without requiring an explicit coloring to be given. We prove that the equivariant Hilbert series of a Cohen--Macaulay simplicial complex under a translative group action admits a rational expression whose numerator is a positive integer combination of irreducible characters. This implies an analogous rational expression for the equivariant Ehrhart series of a lattice polytope with a unimodular triangulation that is invariant under a translative group action. As an application, we study the equivariant Ehrhart series of alcoved polytopes in the sense of Lam and Postnikov and derive explicit results in the case of order polytopes and of Lipschitz poset polytopes.

We consider the 2-generated free metabelian associative and Lie algebras over the complex field and the invariants of the dihedral groups of finite order acting on these algebras. In the associative case we find a finite set of generators of the algebra of invariants. In the Lie case, when the algebra of invariants is not finitely generated, we give a minimal system of generators of the invariants in the commutator ideal as a module of the algebra of the invariants in the polynomial algebra in two variables. In both associative and Lie cases we compute the Hilbert series of the algebras of invariants.

In this exposition, we compute the hilbert series of the coordinate ring of some highest weight varieties. We also explain why Narayana numbers (and their generalizations) appear naturally in the numerator of the hilbert series of the coordinate ring of complex grassmanian Gr(d,n+d+1) and of the minimal nilpotent adjoint orbit in sl_n(C). These calculations might be related to some cluster algebra structures.

The first half of this paper is largely expository, wherein we present a systematic combinatorial approach to the theory of polynomial (semi)invariants and multilinear invariants of several vectors and covectors, for the classical groups. This culminates in a graphical description of graded linear bases. By applying well-known results of lattice path combinatorics to Weyl's fundamental theorems of classical invariant theory, we write down Stanley decompositions and Hilbert-Poincare series in terms of families of non-intersecting lattice paths, enumerated with respect to certain corners. In the second half of the paper, we revisit the (semi)invariants in the first half as a special case of a much broader phenomenon. On one hand, polynomial invariants of a group $H$ can be generalized to modules of covariants, i.e., $H$-equivariant polynomial functions between $H$-modules. On the other hand, from the perspective of Roger Howe's theory of dual pairs, these modules of covariants can be viewed as infinite-dimensional simple $(\mathfrak{g}, K)$-modules. This suggests an expanded program in which our goal is to apply combinatorial techniques involving lattice paths in order to write down Hilbert series for arbitrary unitarizable highest-weight $(\mathfrak{g},K)$-modules. As a preview of future work in this program, we present examples showing how modules of covariants -- even those which are not Cohen-Macaulay, and therefore which we would not expect to be combinatorially nice -- can be decomposed in terms of lattice paths. We also extend these methods beyond the classical groups.

We give an explicit characterization of the standard monomials for positroid varieties with respect to the Hodge degeneration and give a Gröbner basis. Furthermore, we show that promotion and evacuation biject standard monomials of a positroid variety with those of its cyclic shifts and $w_0$-reflection, respectively. The connection to promotion allows us to identify standard monomials of a positroid variety with Lam's cyclic Demazure crystal. Using a recurrence on the Hilbert series, we give an inductive formula for the character of cyclic Demazure modules.

Each connected graded, graded-commutative algebra $A$ of finite type over a field $\Bbbk$ of characteristic zero defines a complex of finitely generated, graded modules over a symmetric algebra, whose homology graded modules are called the (higher) Koszul modules of $A$. In this note, we investigate the geometry of the support loci of these modules, called the resonance schemes of the algebra. When $A=\Bbbk\langle Δ\rangle$ is the exterior Stanley-Reisner algebra associated to a finite simplicial complex $Δ$, we show that the resonance schemes are reduced. We also compute the Hilbert series of the Koszul modules and give bounds on the regularity and projective dimension of these graded modules. This leads to a relationship between resonance and Hilbert series that generalizes a known formula for the Chen ranks of a right-angled Artin group.

Let $\mathbf{x}_{n \times n}$ be an $n \times n$ matrix of variables and let $\mathbb{F}[\mathbf{x}_{n \times n}]$ be the polynomial ring in these variables over a field $\mathbb{F}$. We study the ideal $I_n \subseteq \mathbb{F}[\mathbf{x}_{n \times n}]$ generated by all row and column variable sums and all products of two variables drawn from the same row or column. We show that the quotient $\mathbb{F}[\mathbf{x}_{n \times n}]/I_n$ admits a standard monomial basis determined by Viennot's shadow line avatar of the Schensted correspondence. As a corollary, the Hilbert series of $\mathbb{F}[\mathbf{x}_{n \times n}]/I_n$ is the generating function of permutations in $\mathfrak{S}_n$ by the length of their longest increasing subsequence. Along the way, we describe a `shadow junta' basis of the vector space of $k$-local permutation statistics. We also calculate the structure of $\mathbb{F}[\mathbf{x}_{n \times n}]/I_n$ as a graded $\mathfrak{S}_n \times \mathfrak{S}_n$-module.

Bipartite determinantal ideals are introduced by Illian and the author as a vast generalization of the classical determinantal ideals intensively studied in commutative algebra, algebraic geometry, representation theory and combinatorics. We introduce a combinatorial model called concurrent vertex maps to describe the Stanley-Reisner complex of the initial ideal of any bipartite determinantal ideal, and study properties and applications of this model including vertex decomposability, shelling orders, formulas of the Hilbert series and $h$-polynomials.

Let $\mathbb{K}$ be a field and $n$ be a positive integer. Let $Γ=([n], E)$ be a simple graph, where $[n]=\{1,\ldots, n\}$. If $S=\mathbb{K}[x_1, \ldots, x_n, y_1, \ldots, y_n]$ is a polynomial ring, then the graded ideal \[ L_Γ^\mathbb{K}(2) = \left( x_{i}x_{j} + y_{i}y_{j} \colon \quad \{i, j\} \in E(Γ)\right) \subset S,\] is called the Lovász-Saks-Schrijver ideal, LSS-ideal for short, of $Γ$ with respect to $\mathbb{K}$. In the present paper, we compute a Gröbner basis of this ideal with respect to lexicographic ordering induced by $x_1>\cdots>x_n>y_1>\cdots>y_n$ when $Γ=T$ is a tree. As a result, we show that it is independent of the choice of the ground field $\mathbb{K}$ and compute the Hilbert series of $L_T^\mathbb{K}(2)$. Finally, we present concrete combinatorial formulas to obtain the Krull dimension of $S/L_T^\mathbb{K}(2)$ as well as lower and upper bounds for Krull dimension.

We introduce the notion of the second lattice width of a lattice polytope and use this to classify lattice triangles by their width and second width. This is equivalent to classifying lattice triangles contained in a given rectangle (and no smaller rectangle) up to affine equivalence. Using this classification we investigate the automorphism groups and Ehrhart theory of lattice triangles. We also show that the sequence counting lattice triangles contained in dilations of the unit square has generating function equal to the Hilbert series of a degree 8 hypersurface in $\mathbb{P}(1,1,1,2,2,2)$.

For a nonnegative integer $p$, we give explicit formulas for the $p$-Frobenius number and the $p$-genus of generalized Fibonacci numerical semigroups. Here, the $p$-numerical semigroup $S_p$ is defined as the set of integers whose nonnegative integral linear combinations of given positive integers $a_1,a_2,\dots,a_k$ are expressed more than $p$ ways. When $p=0$, $S_0$ with the $0$-Frobenius number and the $0$-genus is the original numerical semigroup with the Frobenius number and the genus. In this paper, we consider the $p$-numerical semigroup involving Jacobsthal polynomials, which include Fibonacci numbers as special cases. We can also treat with the Jacobsthal-Lucas polynomials, including Lucas numbers accordingly. One of the applications on the $p$-Hilbert series is mentioned.