Search arXiv⌕ Search

arXiv · 2503.16155

Some new Betti numbers of ideals generated by n+1 generic forms in n variables

Abstract

Very little is known on the Hilbert series of graded algebras $\mathbb C[x_1,\ldots,x_n]/(g_1,\ldots,g_r)$, $r>n$, $g_i$ generic form of degree $e_i$, in general. One instance when the series is known, is for $n+1$ forms in $n$ variables, \cite{St}. Of course even less is known about Betti numbers. There are some general results on the Betti table by Pardue and Richert in \cite{Pa-Ri,Pa-Ri1}, and by Diem in \cite{Di}. Then there are results on Betti numbers in the case $n+1$ relations in $n$ variables, described below, by Migliore and Mirò-Roig in \cite{Mi-Mi}, and more partial results in the general case by the same authors in \cite{Mi-Mi1}. In this paper we consider the same case as in \cite{Mi-Mi}, $n+1$ forms in $n$ variables. Our results can be described as follows. We can determine all graded Betti numbers of $\mathbb C[x_1,\ldots,x_n]/(g_1,\ldots,g_{n+1})$, $g_i$ generic, at least if $\sum_{i=1}^{n+1}°(g_i)-n$ is even, often in more cases. Thus, given {\em any} set $\{ e_1,\ldots,e_n\}$, $e_i\ge2$ for all $i$, such that $°(g_i)=e_i$, $i=1,\ldots,n$, we get many numbers $D_j$, so that we can determine all graded Betti numbers of $\mathbb C[x_1,\ldots,x_n]/(g_1,\ldots,g_{n+1})$, $°(g_i)=e_i$, $1\le i\le n$, $°(g_{n+1})=D_j$. The main ingredients of the proof is a theorem by Pardue and Richert, \cite{Pa-Ri,Pa-Ri1}, and later by Diem,\cite{Di}, and a new short proof of a theorem on Hilbert series of artinian complete intersections by Reid, Roberts, and Roitman, \cite{R-R-R}. We also give examples of algebras with many so called "ghost terms" in the minimal resolution.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Ralf Fröberg. 2026-03-15. Some new Betti numbers of ideals generated by n+1 generic forms in n variables. https://arxiv.org/abs/2503.16155

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Systems of parameters consisting of linear forms for monomial ideal quotients

Let $S=K[x_1,\ldots,x_n]$ be a polynomial ring over a field $K$ and let $I$ be a monomial ideal of $S$. We classify linear systems of parameters of $S/I$ over any field $K$ using linear algebra and show explicit linear systems of parameters when $K$ has at least $n$ elements. If $I(G)$ is the edge ideal of a perfect graph $G$, a cycle or the complement of a cycle, we show that $S/I(G)$ has a 0-1 linear system of parameters, and for graphs with independence number equal to $2$, we characterize when $S/I(G)$ has a 0-1 linear system of parameters.

math.AC↗

Primality of dilated closed path polyominoes

In this paper we define a novel product on polyominoes called the tensor product of polyominoes. Using a special case of this product which we name a dilation, we construct a new class of polyominoes called the dilated closed paths. This class is a ''thick'' generalization of Cisto and Navarra's class of closed paths (arXiv:2006.13935). We prove the Zig-Zag Walk Conjecture for this new class thereby fully characterizing primality for its associated polyomino ideals.

math.AC↗

Reduced and coreduced modules with respect to inverse families of ideals

Let R be a commutative ring and Phi an inverse family of ideals with greatest proper member L. We introduce and study Phi reduced and Phi coreduced modules, extending the corresponding notions for powers of a single ideal. We show that, on these classes of modules, the generalized torsion and completion functors associated with Phi are determined by L. We establish characterizations and closure properties of these modules and obtain a Greenlees May type adjunction and a Matlis Greenlees May type characterization. When Phi is a system of ideals, we further investigate the radicality of the generalized torsion functor and derive associated torsion theories on suitable Serre subcategories. These results provide a module theoretic framework for studying generalized torsion and completion with respect to families of ideals

math.AC↗