Search arXiv⌕ Search

arXiv · 2609.32135

Maximal shifts below the Taylor bound

Abstract

Let $I\subseteq S$ be a monomial ideal with minimal generator degrees between $e$ and $d$, where $2\leq e\leq d$. We prove that if $t_a(S/I)<ea$, then $$ t_{a+b}(S/I)\leq t_a(S/I)+ \left\lceil\frac{(2d-1)b}{2}\right\rceil $$ for $a\geq2$, $b\geq0$, and $a+b\leq\operatorname{pd}_S(S/I)$. Consequently, $$ t_{a+b}(S/I)\leq ae+db-1-\left\lfloor\frac b2\right\rfloor. $$ In particular, if $t_2(S/I)<2e$, then $$ t_i(S/I)\leq \left\lceil\frac{(2d-1)i}{2}\right\rceil-2(d-e) $$ for $2\leq i\leq\operatorname{pd}_S(S/I)$. We also obtain a regularity bound and give a quadratic family in which our estimate for the last shift is smaller than every bound obtained from ordinary subadditivity. The constant $2d-1$ is sharp for $d=2$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Abed Abedelfatah. 2026-09-26. Maximal shifts below the Taylor bound. https://arxiv.org/abs/2609.32135

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

KEEP EXPLORING

Related papers

Splitting the Matroid Determinant

The principal matroid determinant $E_L$ of a linear space $L \subseteq \mathbb{P}^n$ has been introduced in recent work by Matsubara-Heo and Telen. In this paper, we give the complete factorization of this polynomial into its irreducible components, proving a conjecture of the aforementioned authors. Our methods rely on bounding local multiplicities and an étale-local description of the strata of reciprocal linear spaces developed by Elias, Proudfoot and Wakefield. We also discuss analogous questions for other coordinate-wise powers of linear spaces.

math.AC↗

On embeddings of rings into their canonical modules

We study embeddings of Cohen--Macaulay local rings into their canonical modules such that the quotient of the cokernel by a regular sequence has the residue field as a direct summand. Motivated by almost Gorenstein rings, we prove an Ext-vanishing criterion for finite projective dimension, which implies G-regularity and the generalized Auslander--Reiten condition. We characterize this summand condition for one-dimensional fiber products and numerical semigroup rings. For Stanley--Reisner rings of graphs, we characterize the corresponding condition for graded embeddings in terms of the graph and show that it is equivalent to a strict multiplicity inequality.

math.AC↗

A Bézout domain that is not an elementary divisor domain

We settle in the negative the longstanding question whether every Bézout domain is an elementary divisor domain by constructing a Bézout domain over which an explicit $2\times 2$ matrix has no Smith normal form. The obstruction is topological and is detected by the Möbius line bundle.

math.AC↗