Bounds for Regularity of Toric Varieties in Terms of Multiplicity

Giulio Caviglia; Kieran Hilmer

Home/Archive/arXiv

arXiv · 2610.03368

Bounds for Regularity of Toric Varieties in Terms of Multiplicity

Giulio Caviglia·Kieran Hilmer

View original source ↗Read source document ↗Export metadata ↓

Abstract

The Eisenbud-Goto conjecture stated that for a homogeneous prime ideal in a polynomial ring over an algebraically closed field, the Castelnuovo-Mumford regularity is bounded above by the multiplicity minus height plus one. In 2017, McCullough and Peeva showed that the regularity of an arbitrary homogeneous prime cannot be bounded by any polynomial function of the multiplicity. For ideals generated by polynomials with at most $c$ terms, we present a bound on the regularity which is less than triple exponential in $c$ and the multiplicity. Furthermore, for toric ideals we get a bound that is smaller than double exponential in terms of multiplicity.

Explore related subjects

math.AC

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Giulio Caviglia, Kieran Hilmer. 2026-10-02. Bounds for Regularity of Toric Varieties in Terms of Multiplicity. https://arxiv.org/abs/2610.03368

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

KEEP EXPLORING

Related papers

arXiv2026

Comprehensive Restriction Algorithm for Hypergeometric Systems

An algorithm computing the restriction of a holonomic D-module to a linear subspace was given by T.Oaku in 1997. We consider a problem of computing the restriction for a given holonomic D-module with parameters. We will give a partial answer to the problem for general holonomic D-modules and an answer to hypergeometric holonomic D-modules. The above results are based on comprehensive Groebner system and an algorithm for the isomorphic classification of hypergeometric D-modules.

math.AC↗

arXiv2026

Trace ideals of exterior powers of the module of differentials

For each $i \geq 0$, we study the trace ideal of the $i$-th exterior power of the module of differentials. In characteristic zero, we show that these ideals characterize the polynomial rank of graded rings and the formal power series rank of complete local rings with finite residue-field extension, namely the maximal number of variables for a polynomial or formal power series extension over a subring. Moreover, we introduce the top differential trace and prove that it precisely defines the singular locus of reduced equidimensional local or graded rings. Motivated by this, we introduce and investigate nearly regular rings, which are rings whose top differential trace contains the maximal ideal.

math.AC↗

arXiv2026

A palindromicity criterion for the $h$-polynomials of bipartite edge rings

We study a symmetry problem for the $h$-polynomials of edge rings of bipartite graphs. Let $G$ be a bipartite graph and write $h(\mathbb{k}[G];t)=h_0+h_1t+\cdots+h_st^s$. We prove that if $\Bbbk[G]$ is pseudo-Gorenstein and $h_1=h_{s-1}$, then $\Bbbk[G]$ is Gorenstein. Equivalently, under these assumptions the $h$-polynomial of $\Bbbk[G]$ is palindromic. The proof treats the $2$-connected case first by translating the numerical condition $h_1=h_{s-1}$ into a tight-separation condition for non-edges, and then passes to arbitrary bipartite graphs using the block decomposition. We also construct a blockwise minimal Gorenstein closure, obtained by adjoining all non-edges not separated by tight acceptable sets, and show that this construction preserves the next-to-leading coefficient of the $h$-polynomial.

math.AC↗