%~Mouliné par MaN_auto v.0.27.3 2024-03-05 09:47:30
\documentclass[CRMATH,Unicode,XML,published]{cedram}

\TopicEN{Algebra}
\TopicFR{Algèbre}


\usepackage{amssymb}
\usepackage{mathrsfs}
%\usepackage{enumitem}
\usepackage{bbm}
\usepackage[mathlines]{lineno}


\DeclareMathOperator{\depth}{depth}
\DeclareMathOperator{\Ker}{Ker}
\DeclareMathOperator{\pd}{pd}
\DeclareMathOperator{\reg}{reg}
\DeclareMathOperator{\Tor}{Tor}

\newcommand{\kk}{\mathbbm{k}}
\newcommand{\fkp}{\mathfrak{p}}
\newcommand{\bbN}{\mathbb{N}}
\newcommand{\rpd}{\mathrm{pd}}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\graphicspath{{./figures/}}

\newcommand*{\mk}{\mkern -1mu}
\newcommand*{\Mk}{\mkern -2mu}
\newcommand*{\mK}{\mkern 1mu}
\newcommand*{\MK}{\mkern 2mu}

%\hypersetup{urlcolor=purple, linkcolor=blue, citecolor=red}

\newcommand*{\relabel}{\renewcommand{\labelenumi}{(\theenumi)}}
\newcommand*{\romanenumi}{\renewcommand*{\theenumi}{\roman{enumi}}\relabel}
\newcommand*{\Romanenumi}{\renewcommand*{\theenumi}{\Roman{enumi}}\relabel}
\newcommand*{\alphenumi}{\renewcommand*{\theenumi}{\alph{enumi}}\relabel}
\newcommand*{\Alphenumi}{\renewcommand*{\theenumi}{\Alph{enumi}}\relabel}
\let\oldtilde\tilde
\renewcommand*{\tilde}[1]{\mathchoice{\widetilde{#1}}{\widetilde{#1}}{\oldtilde{#1}}{\oldtilde{#1}}}
\let\oldhat\hat
\renewcommand*{\hat}[1]{\mathchoice{\widehat{#1}}{\widehat{#1}}{\oldhat{#1}}{\oldhat{#1}}}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\title[Regularity of Primes]{Prime Ideals and Three-generated Ideals with Large Regularity}



\subjclass{13D02, 13D05, 13P20}


%\keywords{Regularity, prime ideal, free resolution, Eisenbud-Goto Conjecture, Stillman's Conjecture}

\author{\firstname{Jason} \lastname{McCullough}}
\address{Iowa State University, Department of Mathematics, Ames, IA, USA}
\email[J. McCullough]{jmccullo@iastate.edu}
\thanks{The author was support by National Science Foundation grant DMS--1900792.}

\begin{abstract}
Ananyan and Hochster proved the existence of a function $\Phi(m,d)$ such that any graded ideal $I$ generated by $m$ forms of degree at most $d$ in a standard graded polynomial ring satisfies $\mathrm{reg}(I) \le \Phi(m,d)$. Relatedly, Caviglia et. al. proved the existence of a function $\Psi(e)$ such that any nondegenerate prime ideal $P$ of degree $e$ in a standard graded polynomial ring over an algebraically closed field satisfies $\mathrm{reg}(P) \le \Psi(\deg(P))$. We provide a construction showing that both $\Phi(3,d)$ and $\Psi(e)$ must be at least doubly exponential in $d$ and $e$, respectively. Previously known lower bounds were merely super-polynomial in both cases.
\end{abstract}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\dateposted{2024-05-02}
\begin{document}
\maketitle

\section{Introduction}

Let $\kk$ be a field and let $S = \kk[x_1,\,\ldots,\,x_n]$ be a standard graded polynomial ring. Let $I = (f_1,\,\ldots,\,f_m)$ be a graded ideal of $S$. The (Castelnuovo-Mumford) regularity of $I$ is
\[
\reg_S(I) = \min\left\{j-i\,\middle|\, \Tor_i^S(I,\kk)_j \neq 0\right\}.
\]

Originally defined for ideal sheaves via cohomology vanishing by Mumford, this version is due to Eisenbud and Goto~\cite{EG84}. Since the maximal degree of an element in a minimal generating set of $I$ is at most $\reg(I)$, finding upper bounds on the regularity of graded ideals is a very active area of research. Moreover, Bayer and Stillman showed that in the reverse lexicographic order and in generic coordinates, the regularity of an ideal matches that of its generic initial ideal; thus, regularity is a proxy for computation complexity.

For arbitrary ideals, regularity can be doubly exponential in terms of the degrees of the generators and number of variables. In contrast, regularity is well-behaved for defining ideals of smooth projective varieties~\cite[Theorem~3.12]{BM93}, \cite[Corollary~4]{BEL91}, or those with mild singularities~\cite[Theorem~0.1]{CU02}. For reduced and irreducible but possibly singular varieties, defining ideals were thought to also have well-behaved regularity, as predicted by the Eisenbud--Goto Conjecture, which holds for curves~\cite{GLP83}, smooth surfaces~\cite{Pinkham86, Lazarsfeld87}, three-folds with mild singularities~\cite{NP22}, and arithmetically Cohen--Macaulay varieties~\cite{EG84}. Further results for smooth three-folds~\cite{Kwak98, Kwak99, Ran90} supported the conjecture. Work of Noma~\cite{Noma14} and Kwak and Park~\cite{KP20} shows that the regularity of the structure sheaf of any smooth variety satisfies the bound predicted by the Eisenbud--Goto Conjecture, and as a result, the conjecture holds for smooth and projectively normal varieties. However, counterexamples to the conjecture were constructed by Peeva and the author in~\cite[Theorem~1.9]{MP18}. More precisely, they showed that the regularity of a nondegenerate prime ideal over an algebraically closed field was not bounded by any polynomial function of its degree~(i.e. multiplicity). Further counterexamples were constructed in~\cite[Theorem~3.3]{CCMPV19}, \cite[Theorem~1.2]{Choe22}, and~\cite[3.3, 3.6, 3.8]{HK22}. Yet, Caviglia et. al. \cite[Corollary~5.3]{CCMPV19} proved the existence of a function $\Psi(e)$ bounding the regularity of all nondegenerate primes of degree $e$. It is easy to see that such a function does not exist even for primary ideals, thus determining the asymptotic growth rate of the optimal function $\Psi(e)$ is an interesting open problem. In this short note, we show how to sharpen the best known lower bound for $\Psi(e)$, proving that it grows at least doubly exponentially in $e$.

Relatedly, Stillman~\cite[Problem 3.15]{PS09} conjectured a bound $\Phi(m,d)$ on the regularity of a graded ideal generated by $m$ forms of degree at most $d$ without fixing the number of variables. The existence of such a bound was first proved by Ananyan and Hochster~\cite[Theorem~D]{AH20} and later by Erman, Sam, and Snowden~\cite[Theorem~4.12]{ESS19}. The previous best lower bounds in the three-generated case for $\Phi(3,d)$ were quadratic~\cite{Caviglia04} or super-polynomial~\cite{Choe22} in $d$. We show that $\Phi(3,d)$ must also be at least doubly exponential in $d$.


\section{Main Results}

Three-generated ideals capture almost all of the pathologies seen in arbitrary resolutions, as is made precise by Bruns's Theorem~\cite[Korollar~1]{Bruns76}. It is known that three-generated ideals can have exponentially large projective dimension in terms of the degrees of the generators~\cite[Corollary~3.6]{BMNSSS11}. For many years, a construction due to Caviglia~\cite[Example~4.2.1]{Caviglia04} of a three-generated ideal with quadratic growth of regularity was the best known lower bound for $\Phi(3,d)$. As Eisenbud writes in~\cite[p.~62]{Eisenbud05}, ``It would be interesting to have more and stronger examples with high regularity.'' The author conjectured that a certain three-generated ideal family exhibited super-polynomial growth of regularity relative to the degrees of the three generators~\cite[Conjecture~13.9]{MP20}. Recently, Choe~\cite[Theorem~1.2]{Choe22} constructed a different such example. Below we construct a three-generated ideal with doubly exponential growth of its regularity in terms of the common degree of its minimal generators.

The following is a slight generalization of~\cite[Proposition~5.1]{Choe22}, which in turn generalized~\cite[Proposition~7.1]{CCMPV19}. It shows how to compute invariants of three-generated analogues of arbitrary graded ideals. We include a proof for completeness.

\begin{prop}\label{3gen}
Let $I = (g_0,\,\ldots,\,g_m)$ be a graded ideal of a standard graded polynomial ring $S = \kk[x_1,\,\ldots,\,x_n]$ with $d_i = \deg(g_i)$ nondecreasing and $d = d_m$. Let $R = S[y,z]$ and pick integers $s,t \ge m + d - d_0 + 1$. Set
\[
J = \left(y^s, z^t, \sum_{i = 0}^m g_i y^{d-d_i+i} z^{m-i}\right) \subseteq R.
\]
Then $J$ is a graded ideal with generators of degree $s,t,m+d$. Moreover,
\begin{enumerate}
\item\label{prop1.1} $\reg_R(J) \ge \reg_S(I) + s + t -2$,
\item\label{prop1.2} $\pd_R(J) \ge \pd_S(I) + 2$,
\item\label{prop1.3} $\deg(J) = tm.$
\end{enumerate}
\end{prop}

\begin{proof}
Note that $R/J$ is a finitely generated $S$-module and that $y^{s-1}z^{t-1}(R/J) \cong (S/I)(-s - t+2)$ as an $S$-direct summand of $R/J$. Thus
\[
\reg_R(R/J) \ge \reg_S\big((S/I)(-s-t+2)\big) = \reg_S(S/I) +s+t - 2,
\]
or equivalently,
\[
\reg_R(J) \ge \reg_S(I) + s + t - 2.
\]

Similarly, suppose $\pd_S(S/I) = p$. Modding out by a regular sequence of linear forms (extending the field if necessary), we may assume that $\depth(S/I) = 0$ so that $S/I$ has a nonzero socle element $w$. Clearly $y^{s-1}z^{t-1}w$ is a nonzero socle element in $R/J$. The result follows by the Auslander--Buchsbaum Theorem.

For the degree computation, simply note that since $\sqrt{J} = (y,z) =\fkp$, we have $\deg(J) = \lambda(S_{\fkp}/J_{\fkp})$ and $S_\fkp/J_\fkp$ has $S_\fkp/\fkp S_\fkp$-basis $y^iz^j$ for $0 \le i \le m-1$ and $0 \le j \le t-1$.
\end{proof}

As an immediate corollary, we see that finding an explicit answer to Stillman's Conjecture reduces to the three-generated case.

\begin{coro}
To find an explicit function $\Phi(m,d)$ bounding the regularity of ideals generated by $m$ forms of degree at most $d$, it suffices to find an explicit bound $\Phi(3,d)$ in the three-generated ideal case.
\end{coro}

We also get a larger lower bound on the possible value of $\Phi(3,d)$. Recall that a function $f:\bbN \to \bbN$ is $\Omega(g(n))$ if there is a constant $c$ such that $f(n) \ge c \cdot g(n)$ for $n \gg 0$.

\begin{theo}\label{3reg}
Let $\kk$ be a field and fix an integer $r \ge 2$. Then there is a standard graded polynomial ring $R$ over $\kk$ and a graded ideal $J$ of $R$ generated by $3$ forms of degree~$22r-2$ with $\reg(J) \ge 2^{2^{r-1}} + 44r - 6$. In particular, $\Phi(3,d)$ is $2^{2^{\Omega(d)}}$.
\end{theo}


\begin{proof}
By~\cite{Koh98}, there is a polynomial ring $S$ and graded ideal $I$ generated by $22r-3$ quadrics with $\reg(I) \ge 2^{2^{r-1}}$. Applying Proposition~\ref{3gen} with $m = 22r-4$ and $s = t = 22r-2$, we get an ideal $J$ generated by three forms of degree~$22r-2$ and $\reg(J) \ge 2^{2^{r-1}} + 44r - 6$.
\end{proof}

We turn now to constructing prime ideals with large regularity. In~\cite{MP18}, Peeva and the author employed Rees-like algebras to create counterexamples of the Eisenbud--Goto Conjecture. After homogenizing the defining ideals of such algebras, they computed the invariants of the new standard graded prime ideals in terms of the arbitrary starting ideal. We record the essential part of their theorem here.

\begin{theo}[{McCullough--Peeva~\cite{MP18}}]\label{reeslike}
Let $\kk$ be any field. Let $I = (f_1,\,\ldots,\,f_m)$ be a graded ideal in the standard graded polynomial ring $S = \kk[x_1,\,\ldots,\,x_n]$. There is a nondegenerate graded prime ideal $P$ in the standard graded polynomial ring $R = S[y_1,\,\ldots,\,y_m,u_1,\,\ldots,\,u_m,z,v]$ satisfying
\begin{enumerate}
\item\label{theo4.1} $\reg_R(P) = \reg_S(I) + 2 + \sum_{i = 1}^m \deg(f_i)$,
\item\label{theo4.2} $\deg_R(R/P) = 2 \prod_{i = 1}^m (\deg(f_i) + 1)$.
\end{enumerate}
\end{theo}


The trick to achieving more extreme counterexamples to the Eisenbud--Goto Conjecture is to feed the Mayr--Meyer ideals, such as Koh's version~\cite{Koh98}, into Proposition~\ref{3gen}, and moreover to do it twice, before constructing a Rees-like algebra.

\begin{theo}
Over any field $\kk$ and for any integer $r$, there exists a standard graded polynomial ring $S$ and nondegenerate prime ideal $P \subseteq S$ with
\[
\deg(P) = 396r \qquad \text{ and } \qquad \reg(P) \ge 2^{2^{r-1}} + 66r + 6.
\]
In particular, $\Psi(e)$ is $2^{2^{\Omega(e)}}$.
\end{theo}

\begin{proof}
Begin with the ideal $J$ from Theorem~\ref{3reg} which has three generators of degree~$22r-2$ and $\reg(J) \ge 2^{2^{r-1}} + 44r - 6$. Applying Proposition~\ref{3gen} again with $m = 2$ and $s = t = 3$, we get an ideal $J'$ generated by forms of degrees $3,3,22r$ with $\reg(J') \ge 2^{2^{r-1}} + 44r-2$. Applying Theorem~\ref{reeslike} to $J'$ yields a standard graded prime ideal $P$ with $\deg(P) = 396r$ and $\reg(P) \ge 2^{2^{r-1}} + 66r +6$.
\end{proof}

In particular, we get counterexamples to the Eisenbud--Goto Conjecture for $r \ge 5$.

We recall that the existence of a function $\Phi(m,d)$ bounding the regularity of an ideal generated by $m$ forms of degree at most $d$ is equivalent to a function $\Psi(e)$ bounding the regularity of nondegenerate prime ideals of degree $e$. Given $\Phi(m,d)$, it follows from~\cite{CCMPV19} that
\[
\Psi(e) \le \max\left\{e^2,\Phi\left(e,e^2\right)+1\right\}.
\]

Similarly, given an explicit function $\Psi(e)$, it follows from~\cite{MP18} that
\[
\Phi(m,d) \le \Psi\left(2(d+1)^m\right).
\]

There is a parallel version of Stillman's Conjecture~\cite{PS09} which posits a bound $\Phi_{\rpd}(m,d)$ on the projective dimension of graded ideals generated by $m$ forms of degree at most $d$. Caviglia showed that the existence of $\Phi(m,d)$ is equivalent to that of $\Phi_{\rpd}(m,d)$. In fact, he showed that
\[
\Phi(m,d) \le (2d)^{2^{\Phi_{\rpd}(m,d)-2}}
\]

and
\[
\Phi_{\rpd}(m,d) \le \Phi(m,d) \cdot \sum_{i = 0}^{\Phi(m,d)} m^{2i}.
\]

See~\cite[Theorem~4]{MS13} for details. There is yet a fourth function $\Psi_{\rpd}(e)$ bounding the projective dimension of nondegenerate prime ideals of degree $e$ over an algebraically closed field. Given $\Phi_{\rpd}(m,d)$, it follows from~\cite[Theorem~5.2]{CCMPV19} that
\[
\Psi_{\rpd}(e) \le \max\left\{e, \Phi_{\rpd}\left(e,e^2\right)-1\right\}.
\]

Similarly, given $\Psi_{\rpd}(e)$, it follows from~\cite[Theorem~1.6]{MP18} that
\[
\Phi_{\rpd}(m,d) \le \Psi_{\rpd}\left(2(d+1)^m\right).
\]

Thus finding explicit formulas for any of $\Psi(e), \Psi_{\rpd}(e), \Phi(m,d), \Phi_{\rpd}(m,d)$ will yield explicit formulas for all of the others. Currently the best lower bound estimate for $\Phi_{\rpd}(3,d)$ is $\sqrt{d}^{\sqrt{d}-1}$~\cite[Corollary~3.6]{BMNSSS11}. Using Theorem~\ref{3gen}, we can increase this lower bound as well.

\begin{theo}
For any integer $r \ge 1$, there is a standard graded ideal $I$ with three generators in degree~$4r+1$ with $\rpd(I) \ge r^{2r}$. In particular, $\Phi_{\rpd}(3,d)$ is $(d/5)^{\Omega(d)}$.
\end{theo}

\begin{proof}
By~\cite[Corollary~3.7]{BMNSSS11}, there is an ideal $I$ with $2r+1$ generators of degree~$2r+1$ and $\pd_S(S/I) \ge r^{2r}$. Applying Proposition~\ref{3gen} with $m = 2r$ and $s = t = 4r+1$ yields an ideal $J$ generated by three forms of degree~$4r+1$ and $\pd_R(J) \ge r^{2r} + 1$.
\end{proof}

\section*{Acknowlegements}

This work was completed while preparing for the Workshop on Regularity and Syzygies hosted at the University of Illinois Chicago and organized by Wenliang Zhang. The author thanks Paolo Mantero, Matt Mastroeni, and Lance Edward Miller for feedback on an earlier draft of this paper. 


\section*{Declaration of interests}
The authors do not work for, advise, own shares in, or receive funds from any organization that could benefit from this article, and have declared no affiliations other than their research organizations.

\bibliographystyle{crplain}
\bibliography{crmath20230459}
\end{document}