arXiv++ Combinatorics

These notes are an expanded version of a talk given by the second author. Our main interest is focused on the challenging problem of computing Kronecker coefficients. We decided, at the beginning, to take a very general approach to the problem of studying multiplicity functions, and we survey the various aspects of the theory that comes into play, giving a detailed bibliography to orient the reader. Nonetheless the main general theorems involving multiplicities functions (convexity, quasi-polynomial behavior, Jeffrey-Kirwan residues) are stated without proofs. Then, we present in detail our approach to the computational problem, giving explicit formulae, and outlining an algorithm that calculate many interesting examples, some of which appear in the literature also in connection with Hilbert series.

Let $\k$ be a field and let $A$ be a standard $\mathbb{N}$-graded $\k$-algebra. Using numerical information of some invariants in the primary decomposition of $0$ in $A$, namely the so called dimension filtration, we associate a bivariate polynomial $\BW(A;t,w)$, that we call the Björner--Wachs polynomial, to $A$. It is shown that the Björner--Wachs polynomial is an algebraic counterpart of the combinatorially defined $h$-triangle of finite simplicial complexes introduced by Björner \& Wachs. We provide a characterisation of sequentially Cohen--Macaulay algebras in terms of the effect of the reverse lexicographic generic initial ideal on the Björner--Wachs polynomial. More precisely, we show that a graded algebra is sequentially Cohen--Macaulay if and only if it has a stable Björner--Wachs polynomial under passing to the reverse lexicographic generic initial ideal. We conclude by discussing connections with the Hilbert series of local cohomology modules.

The deviations of a graded algebra are a sequence of integers that determine the Poincare series of its residue field and arise as the number of generators of certain DG algebras. In a sense, deviations measure how far a ring is from being a complete intersection. In this paper we study extremal deviations among those of algebras with a fixed Hilbert series. In this setting, we prove that, like the Betti numbers, deviations do not decrease when passing to an initial ideal and are maximized by the Lex-segment ideal. We also prove that deviations grow exponentially for Golod rings and for certain quadratic monomial algebras.

We introduce, by adopting the point of view and the tools offered by the theory of operads, a generalization on a nonnegative integer parameter $γ$ of diassociative algebras of Loday, called $γ$-pluriassociative algebras. By Koszul duality of operads, we obtain a generalization of dendriform algebras, called $γ$-polydendriform algebras. In the same manner as dendriform algebras are suitable devices to split associative operations into two parts, $γ$-polydendriform algebras seem adapted structures to split associative operations into $2 γ$ operations so that some partial sums of these operations are associative. We provide a complete study of the operads governing our generalizations of the diassociative and dendriform operads. Among other, we exhibit several presentations by generators and relations, compute their Hilbert series, show that they are Koszul, and construct free objects in the corresponding categories. We also provide consistent generalizations on a nonnegative integer of the duplicial, triassociative and tridendriform operads, and of some operads of the operadic butterfly.

We study representations of wreath product analogues of categories of finite sets. This includes the category of finite sets and injections (studied by Church, Ellenberg, and Farb) and the opposite of the category of finite sets and surjections (studied by the authors in previous work). We prove noetherian properties for the injective version when the group in question is polycyclic-by-finite and use it to deduce general twisted homological stability results for such wreath products and indicate some applications to representation stability. We introduce a new class of formal languages (quasi-ordered languages) and use them to deduce strong rationality properties of Hilbert series of representations for the surjective version when the group is finite.

The current paper deals with the enumeration and classification of the set $\mathcal{SOR}_{r,n}$ of self-orthogonal $r\times r$ partial Latin rectangles based on $n$ symbols. These combinatorial objects are identified with the independent sets of a Hamming graph and with the zeros of a radical zero-dimensional ideal of polynomials, whose reduced Gröbner basis and Hilbert series can be computed to determine explicitly the set $\mathcal{SOR}_{r,n}$. In particular, the cardinality of this set is shown for $r\leq 4$ and $n\leq 9$ and several formulas on the cardinality of $\mathcal{SOR}_{r,n}$ are exposed, for $r\leq 3$. The distribution of $r\times s$ partial Latin rectangles based on $n$ symbols according to their size is also obtained, for all $r,s,n\leq 4$.

The Fomin-Kirillov algebra $\mathcal E_n$ is a noncommutative algebra with a generator for each edge in the complete graph on $n$ vertices. For any graph $G$ on $n$ vertices, let $\mathcal E_G$ be the subalgebra of $\mathcal E_n$ generated by the edges in $G$. We show that the commutative quotient of $\mathcal E_G$ is isomorphic to the Orlik-Terao algebra of $G$. As a consequence, the Hilbert series of this quotient is given by $(-t)^n χ_G(-t^{-1})$, where $χ_G$ is the chromatic polynomial of $G$. We also give a reduction algorithm for the graded components of $\mathcal E_G$ that do not vanish in the commutative quotient and show that their structure is described by the combinatorics of noncrossing forests.

Given a category C of a combinatorial nature, we study the following fundamental question: how does the combinatorial behavior of C affect the algebraic behavior of representations of C? We prove two general results. The first gives a combinatorial criterion for representations of C to admit a theory of Gröbner bases. From this, we obtain a criterion for noetherianity of representations. The second gives a combinatorial criterion for a general "rationality" result for Hilbert series of representations of C. This criterion connects to the theory of formal languages, and makes essential use of results on the generating functions of languages, such as the transfer-matrix method and the Chomsky-Schützenberger theorem. Our work is motivated by recent work in the literature on representations of various specific categories. Our general criteria recover many of the results on these categories that had been proved by ad hoc means, and often yield cleaner proofs and stronger statements. For example: we give a new, more robust, proof that FI-modules (originally introduced by Church-Ellenberg-Farb), and a family of natural generalizations, are noetherian; we give an easy proof of a generalization of the Lannes-Schwartz artinian conjecture from the study of generic representation theory of finite fields; we significantly improve the theory of $Δ$-modules, introduced by Snowden in connection to syzygies of Segre embeddings; and we establish fundamental properties of twisted commutative algebras in positive characteristic.

Let $X$ be a $(d\times N)$-matrix. We consider the variable polytope $Π_X(u) = \{w \ge 0 : X w = u \}$. It is known that the function $T_X$ that assigns to a parameter $u \in \mathbb{R}^d$ the volume of the polytope $Π_X(u)$ is piecewise polynomial. The Brion-Vergne formula implies that the number of lattice points in $Π_X(u)$ can be obtained by applying a certain differential operator to the function $T_X$. In this article we slightly improve the Brion-Vergne formula and we study two spaces of differential operators that arise in this context: the space of relevant differential operators (i.e. operators that do not annihilate $T_X$) and the space of nice differential operators (i.e. operators that leave $T_X$ continuous). These two spaces are finite-dimensional homogeneous vector spaces and their Hilbert series are evaluations of the Tutte polynomial of the arithmetic matroid defined by the matrix $X$. They are closely related to the $\mathcal{P}$-spaces studied by Ardila-Postnikov and Holtz-Ron in the context of zonotopal algebra and power ideals.

Algorithms are presented for calculating the partition function of constrained beta-gamma systems in terms of the generating functions of the individual fields of the theory, the latter obtained as the Hilbert series of the arc space of the algebraic variety defined by the constraint. Examples of a beta-gamma system on a complex surface with an $A_1$ singularity and pure spinors are worked out and compared with existing results.

In this paper, we investigate the M{ö}bius function $μ\_{\mathcal{S}}$ associated to a (locally finite) poset arising from a semigroup $\mathcal{S}$ of $\mathbb{Z}^m$. We introduce and develop a new approach to study $μ\_{\mathcal{S}}$ by using the Hilbert series of $\mathcal{S}$. The latter enables us to provide formulas for $μ\_{\mathcal{S}}$ when $\mathcal{S}$ belongs to certain families of semigroups. Finally, a characterization for a locally finite poset to be isomorphic to a semigroup poset is given.

In the past, empirical evidence has been presented that Hilbert series of symplectic quotients of unitary representations obey a certain universal system of infinitely many constraints. Formal series with this property have been called \emph{symplectic}. Here we show that a formal power series is symplectic if and only if it is a formal composite with the formal power series $x^2/(1-x)$. Hence the set of symplectic power series forms a subalgebra of the algebra of formal power series. The subalgebra property is translated into an identity for the coefficients of the even Euler polynomials, which can be interpreted as a cubic identity for the Bernoulli numbers. Furthermore we show that a rational power series is symplectic if and only if it is invariant under the idempotent Möbius transformation $x\mapsto x/(x-1)$. It follows that the Hilbert series of a graded Cohen-Macaulay algebra $A$ is symplectic if and only if $A$ is Gorenstein with its a-invariant and its Krull dimension adding up to zero. It is shown that this is the case for algebras of regular functions on symplectic quotients of unitary representations of tori.

Conjectures are given for Hilbert series related to polynomial invariants of finite general linear groups, one for invariants mod Frobenius powers of the irrelevant ideal, one for cofixed spaces of polynomials.

In this paper we study the class of power ideals generated by the $k^n$ forms $(x_0+ξ^{g_1}x_1+\ldots+ξ^{g_n}x_n)^{(k-1)d}$ where $ξ$ is a fixed primitive $k^{th}$-root of unity and $0\leq g_j\leq k-1$ for all $j$. For $k=2$, by using a $\mathbb{Z}_k^{n+1}$-grading on $\mathbb{C}[x_0,\ldots,x_n]$, we compute the Hilbert series of the associated quotient rings via a simple numerical algorithm. We also conjecture the extension for $k>2$. Via Macaulay duality, those power ideals are related to schemes of fat points with support on the $k^n$ points $[1:ξ^{g_1}:\ldots:ξ^{g_n}]$ in $\mathbb{P}^n$. We compute Hilbert series, Betti numbers and Gröbner basis for such $0$-dimensional schemes. This explicitly determines the Hilbert series of the power ideal for all $k$: that this agrees with our conjecture for $k>2$ is supported by several computer experiments.

We study the minimal free resolution of the Veronese modules of the polynomial ring in n variables, by giving a formula for the Betti numbers in terms of the reduced homology of some skeleton of a simplicial complex. We characterize when they are Cohen-Macaulay and we give a sufficient condition for the linearity of their minimal free resolution. We also conjecture that in 2 variables the Veronese modules have always pure resolutions. In addition, we give a closed formula for their Hilbert series. As an application of our results, we calculate the complete Betti diagrams of the Veronese subrings in three variables with degree 4 and 5, and in four variables with degree 3.

In this note, we give examples of formal power series satisfying certain conditions that cannot be realized as Hilbert series of finitely generated modules. This answers to the negative a question raised in a recent article by the second and the third author. On the other hand, we show that the answer is positive after multiplication with a scalar.

We show that a cyclic quotient surface singularity S can be decomposed, in a precise sense, into a number of elementary T-singularities together with a cyclic quotient surface singularity called the residue of S. A normal surface X with isolated cyclic quotient singularities {S_i} admits a Q-Gorenstein partial smoothing to a surface with singularities given by the residues of the S_i. We define the singularity content of a Fano lattice polygon P: this records the total number of elementary T-singularities and the residues of the corresponding toric Fano surface X_P. We express the degree of X_P in terms of the singularity content of P; give a formula for the Hilbert series of X_P in terms of singularity content; and show that singularity content is an invariant of P under mutation.

In this paper, we introduce the concept of spanning simplicial complexes $Δ_s(G)$ associated to a simple finite connected graph G. We give the characterization of all spanning trees of the uni-cyclic graph $U_{n,m}$. In particular, we give the formula for computing the Hilbert series and h-vector of the Stanley-Riesner ring k[Δ_s(U_{n,m})]. Finally, we prove that the spanning simplicial complex $Δ_s(U_{n,m})$ is shifted hence $Δ_s(U_{n,m})$ is shellable.

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.

For a graph $G$, Postnikov-Shapiro \cite{PS04} construct two ideals $I_G$ and $J_G.$ $I_G$ is a monomial ideal and $J_G$ is generated by powers of linear forms. They proved the equality of their Hilbert series and conjectured that the graded Betti numbers are equal. When $G=K_{n+1}^{l,k}$ is the complete graph on the vertices $\{0,1,\cdots, n\}$ with the edges $e_{i, j},$ $i, j\neq 0,$ of multiplicity $k$ and the edges $e_{0, i}$ of multiplicity $l,$ for two non-negative integers $k$ and $l,$ they gave an explicit formula for the graded Betti numbers of $I_G,$ which are conjecturally the same for $J_G.$ We prove this conjecture in the case $n=3,$ which was also conjectured by Schenck \cite{S04}.