Hilbert Series in Four Variables and Linear Factors of High Multiplicity
Abstract
Explicit sequences of forms with the Hilbert series predicted by Fröberg's conjecture are difficult to construct beyond the almost complete intersection case. Over a field of characteristic zero, we prove that six forms of degree d≥4 in four variables cannot have the predicted series if each is divisible by a power of a linear form with exponent at least (15d+91)/16. A power of the product of six quadric cones gives a nonzero element of the inverse system in a degree where the predicted series vanishes. This obstruction implies that every fixed-order Taylor truncation of the homogeneous Rogers--Szegő polynomial at q=1 fails to complete five powers of linear forms to the predicted series in all sufficiently large degrees. As a fixed-degree counterpart, we use exact certificates to prove the conjecture for any number of general quintics or septics; together with known results, this establishes the equal-degree conjecture in four variables for 1≤ d≤9.
Related
- On the Hilbert Series and Multiplicity of Generalized Binomial Edge Ideals
- Hilbert Series and Logarithmic Degrees of A-Hypergeometric Series
- On Hilbert's irreducibility theorem for linear algebraic groups
- Multiplicity and solution construction in linear elliptic problems with nonlocal nonlinearities
- Coherence and the Hilbert-syzygy identity for power series over valuation domains
BibTeX
@misc{wang2026hilbert,
title = {{Hilbert Series in Four Variables and Linear Factors of High Multiplicity}},
author = {Qihang Wang},
howpublished = {arXiv},
year = {2026},
month = nov,
doi = {10.48550/arxiv.2608.24797},
eprint = {2608.24797},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2608.24797},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Hilbert Series in Four Variables and Linear Factors of High Multiplicity
AU - Qihang Wang
PY - 2026
DA - 2026/11/04
PB - arXiv
DO - 10.48550/arxiv.2608.24797
UR - https://arxiv.org/abs/2608.24797
AB - Explicit sequences of forms with the Hilbert series predicted by Fröberg's conjecture are difficult to construct beyond the almost complete intersection case. Over a field of characteristic zero, we prove that six forms of degree d≥4 in four variables cannot have the predicted series if each is divisible by a power of a linear form with exponent at least (15d+91)/16. A power of the product of six quadric cones gives a nonzero element of the inverse system in a degree where the predicted series vanishes. This obstruction implies that every fixed-order Taylor truncation of the homogeneous Rogers--Szegő polynomial at q=1 fails to complete five powers of linear forms to the predicted series in all sufficiently large degrees. As a fixed-degree counterpart, we use exact certificates to prove the conjecture for any number of general quintics or septics; together with known results, this establishes the equal-degree conjecture in four variables for 1≤ d≤9.
ER -