Arc HP-Series in Algebraic Geometry

• Arc HP-Series is a Hilbert–Poincaré series derived from the arc algebra of a variety at a point, encoding graded dimensions and singularity invariants.
• It is computed using jet schemes and Gröbner bases techniques, yielding rational forms that reveal multiplicity growth and partition-theoretic identities.
• The series bridges algebraic geometry, combinatorics, and physics by connecting singularity analysis with classical identities such as the Rogers–Ramanujan product.

The Arc HP-Series is a generating function, specifically a Hilbert–Poincaré series, associated with the graded algebra of the arc space of a variety at a point. This object encodes deep connections among algebraic geometry, combinatorics, partition theory, and mathematical physics. By computing the series for various singularities and jet schemes, researchers have exposed links to integer partitions with prescribed constraints, Rogers–Ramanujan-type identities, and invariants relevant to singularity theory and conformal field theory.

1. Definition and General Construction

The arc space $X_\infty$ of an affine variety $$X \subset \mathbb{A}^n_k = \operatorname{Spec} k[x_1,\ldots,x_n]/(g_1,\ldots,g_r)$$ is defined as the inverse limit of the jet schemes $X_m$ describing morphisms $\operatorname{Spec}(k[t]/(t^{m+1})) \to X$. Each $X_m$ is realized explicitly as

$$J_m(X) = k[x_i^{(j)} \mid 1 \le i \le n,\, 0 \le j \le m] / ( G_\ell^{(j)} ),$$

where $$x_i(t) = x_i^{(0)} + x_i^{(1)} t + \dots + x_i^{(m)} t^m$$ and $G_\ell^{(j)}$ are the coefficients of $t^j$ in $g_\ell(x_1(t),\dots,x_n(t))$. The arc algebra $J_\infty(X)$ is then

$$J_\infty(X) = k[x_i^{(j)}\,|\,1 \le i \le n,\, j \ge 0] / ( G_\ell^{(j)}\,|\,1 \le \ell \le r,\, j \ge 0 ).$$

When focusing at a $k$-rational point $\mathfrak{p}$ (e.g., the origin), the “focussed arc algebra” $J_\infty^{\mathfrak{p}}(X)$ is obtained by setting all “constant” coefficients to zero, so variables $x_i^{(j)}$ for $j \ge 1$, and the ideal is determined by setting $x_i^{(0)}=0$ in $G_\ell^{(j)}$.

The natural grading of $J_\infty^{\mathfrak{p}}(X)$ by $\deg x_i^{(j)} = j$ leads to the Hilbert–Poincaré (HP) series: $$\operatorname{HP}_{X,\mathfrak{p}}(t) = \sum_{d=0}^\infty \dim_k \left( J_\infty^{\mathfrak{p}}(X) \right)_d t^d.$$ This construction extends to non-reduced schemes and plays a central role in understanding their infinitesimal structure (Bruschek et al., 2011).

2. Closed Form for Fat Points and Multiplicity Growth

For the fat point defined by $x^m = 0$ on the affine line, the arc space is controlled by the differential ideal generated by all derivatives of $x^m$. The coordinate ring is

$$R_m = k[x^{(\infty)}] / \mathcal{I}_m^{(\infty)},\quad \mathcal{I}_m^{(\infty)} = \langle (x^m)^{(j)} \mid j \ge 0 \rangle.$$

A natural filtration by the subalgebras in finitely many variables $x^{(\leq \ell)} = \{x, x', \dots, x^{(\ell)}\}$ and the corresponding quotient $R_{m,\ell}$ gives dimensions $D_\ell = \dim_k R_{m,\ell}$. A combinatorial analysis proves $D_\ell = m^{\ell+1}$ for all $\ell \ge 0$, hence the HP-series has rational form

$$H(t) = \sum_{\ell \ge 0} D_\ell t^\ell = \frac{m}{1 - m t}$$

(Manssour et al., 2021). This quantifies the multiplicity growth along arcs through a highly singular (non-reduced) subscheme and recovers the classical algebraic multiplicity in this setting.

3. Connection to Partition Theory and Rogers–Ramanujan Identities

When $m = 2$, i.e., for the double point $y^2 = 0$, the HP-series coincides with the generating function for integer partitions into parts with difference at least two (“distinct and no two consecutive”). Making a Gröbner basis computation reveals that the leading ideal is generated by $\{ y_i^2,\, y_i y_{i+1} \mid i \ge 1\}$; thus, the only nonzero monomials are those in which each exponent is $0$ or $1$, and no two consecutive exponents are $1$. The $t$-grading of such a monomial is the sum of indices: $$\operatorname{HP}_{y^2=0,0}(t) = \sum_{(\alpha_i)\,\in\,\{0,1\}^\infty\atop \alpha_i \alpha_{i+1}=0} t^{\sum i \alpha_i} = \sum_{m\geq 0} p_{\mathrm{dist,gap}\ 2}(m)\, t^m,$$ where $p_{\mathrm{dist,gap}\ 2}(m)$ counts partitions of $m$ into pairwise distinct non-consecutive parts. The first Rogers–Ramanujan identity furnishes the celebrated closed form: $$\operatorname{HP}_{y^2=0,0}(t) = \prod_{i\equiv 1,4\pmod{5}} \frac{1}{1-t^i}$$ (Bruschek et al., 2011). This establishes a direct bridge between arc geometry and classical partition-theoretic identities, realized algebraically via monomial ideals and their Hilbert series.

4. Algorithmic Computation and Gröbner Bases

Calculation of HP-series for more complicated singularities employs Gröbner-basis techniques. The general steps are:

1. Describe the variety via polynomial constraints $I$.
2. Form the jet/arc ideal $J_\infty$.
3. Compute the HP-series $H_I(q, t)$ through:
   • explicit infinite products for complete intersection singularities, or
   • Gröbner bases in truncated arc algebras and extraction of dimensions (Bhamidipati et al., 2014).
4. Interpret the HP-series as a generating function for monomials (or for partition functions in the context of beta–gamma systems).
5. If necessary, reconstruct partition identities (e.g., Rogers–Ramanujan or Gordon’s generalizations for higher gap conditions).

This approach rigorously connects the algebraic structure of singularities to the combinatorics of partitions with imposed gap conditions, and to the product forms known from analytical identities.

5. Generalizations to Higher Multiplicity and Complex Singularities

For $y^n=0$ (the $n$-fold point), the leading ideal is determined by $y_q^{n-r} y_{q+1}^r$ for $0 \le r < n,\ q \ge 1$, translating to monomial conditions encoding “gap $n$” constraints in the corresponding partitions. The HP-series is then

$$\operatorname{HP}_{y^n=0,0}(t) = \prod_{i \not\equiv 0, n, n+1\;\text{mod}\;(2n+1)} \frac{1}{1-t^i},$$

directly generalizing the Rogers–Ramanujan product and matching Gordon’s partition theorems (Bruschek et al., 2011). For rational double points, normal crossings, and canonical hypersurface singularities, explicit product formulas for the HP-series are available, each reflecting a corresponding partition structure.

6. Motivic, Differential, and Physical Perspectives

The Arc HP-Series extends classical motivic invariants by encoding higher-order structure in non-reduced schemes. While the geometric motivic Poincaré series $P_X(t)$ is always rational by Denef–Loeser, it is insensitive to the nilpotent structure of fat points, giving a universal $[A^0]/(1-t)$. In contrast, the arc HP-series $m/(1-mt)$ varies with $m$ and extracts the “multiplicity growth” along nilpotent arcs (Manssour et al., 2021).

In differential algebra, the HP-series offers a quantitative measure of solution multiplicity for singular (often univariate) differential equations, a notion absent in the classical setting. From the perspective of mathematical physics, the Hilbert–Poincaré series computed for arc spaces correspond to partition functions of constrained field theories, such as beta–gamma systems and pure spinor models, where these series provide generating functions for allowed field monomials subject to both gauge and geometric constraints (Bhamidipati et al., 2014).

7. Summary Table: Arc HP-Series in Key Cases

Variety / Scheme	Arc HP-Series $\operatorname{HP}(t)$	Combinatorial Interpretation
Fat point $x^m=0$	$\dfrac{m}{1-mt}$	Multiplicity growth: $m^{\ell+1}$ in length $\ell$ truncations
Double point $y^2=0$	$$\prod_{i\equiv1,4\;(\mathrm{mod}\ 5)}\dfrac{1}{1-t^i}$$	Partitions: distinct, no consecutive parts; Rogers–Ramanujan type
$n$-fold point $y^n=0$	$$\prod_{i\not\equiv0,n,n+1\,(\mathrm{mod}\;2n+1)}\dfrac{1}{1-t^i}$$	Partitions: difference $\ge n$, Gordon’s generalization
Smooth $d$-dim. point	$\left( \prod_{i\geq 1} (1-t^i)^{-1} \right)^d$	Unconstrained partitions; $d$ sequences

The computation and interpretation of arc HP-series provide an explicit, combinatorially rich algebraic invariant that unites singularity theory, partition identities, and aspects of mathematical physics (Manssour et al., 2021, Bruschek et al., 2011, Bhamidipati et al., 2014).