\section{Introduction}\label{intro}

In this paper we consider the Rees algebra of a particular class of ideals and explore the properties of these rings. For $I =(f_1,\ldots,f_n)$ an ideal of a Noetherian ring $R$, the Rees algebra of $I$ is the graded subalgebra $\mathcal{R}(I) = R[f_1 t,\ldots, f_n t] = R\oplus It \oplus I^2t^2\oplus \cdots \subset R[t]$. Geometrically, $\mathcal{R}(I)$ is the homogeneous coordinate ring of the blowup of $\mathop{\rm Spec}(R)$ along the closed subscheme $V(I)$. There is a natural $R$-algebra epimorphism $\Psi:R[T_1,\ldots,T_n] \rightarrow \mathcal{R}(I)$ given by $\Psi(T_i)= f_it$. The kernel $\mathcal{J} = \ker \Psi$ is the \textit{defining ideal} of $\mathcal{R}(I)$ and is of great interest as $\Psi$ induces an isomorphism $\mathcal{R}(I) \cong R[T_1,\ldots,T_n] / \mathcal{J}$. The search for a set of minimal generators of $\mathcal{J}$, the \textit{defining equations} of $\mathcal{R}(I)$, has become a fundamental problem and has been studied to great extent in recent years (see e.g. \cite{MU,KPU2,Morey,UV,KM,Vasconcelos,HSV1,Johnson,CHW,KPU1,BCS,Weaver}).

Although this problem has been well-studied, the defining equations of Rees algebras are known in few cases. As $\mathcal{J}$ encodes all of the polynomial relations amongst a generating set of $I$, a complete solution requires some knowledge regarding the structure of $I$ and its syzygies. Much work has been accomplished for perfect ideals of grade two, which are generated by the maximal minors of an almost square matrix by the Hilbert-Burch theorem \cite{Eisenbud}. These ideals and their Rees algebras have been studied under a multitude of various assumptions (see e.g. \cite{Morey, MU,BM,CHW,KM,Lan1,Lan2,Weaver}). Furthermore, perfect Gorenstein ideals of grade three and their Rees algebras have been a topic of great interest in recent years. Similar to perfect ideals of grade two, these ideals have prescribed structures and resolutions. These ideals are generated by the submaximal Pfaffians of a square alternating matrix by the Buchsbaum-Eisenbud structure theorem \cite{BE}. The Rees algebras of these ideals have been studied in different settings using a variety of techniques (see e.g. \cite{Johnson,Morey,KPU2}).

In this paper, we consider the Rees algebra of a perfect Gorenstein ideal of grade three in a \textit{hypersurface ring}. Whereas the defining equations of Rees rings have been studied to great length, most results within the literature require that the ideal in question belongs to $k[x_1,\ldots,x_d]$, a polynomial ring over a field $k$. There is strong geometric motivation to consider Rees algebras of ideals in this new setting. As the Rees ring is the algebraic realization of the blowup of $\mathop{\rm Spec}(R)$ along $V(I)$, altering the ring is reflected by the blowup of a different scheme. There has been recent success in the way of determining the equations defining Rees algebras of perfect ideals with grade two in hypersurface rings in \cite{Weaver}. Expanding upon this, we consider perfect Gorenstein ideals of grade three in these rings and study the defining equations of their Rees algebras.

The objective of this paper is to extend one of the classical results within the study of Rees algebras to the setting of a hypersurface ring. In \cite{Morey}, Morey considered a linearly presented perfect Gorenstein ideal of grade three in $k[x_1,\ldots,x_d]$. The defining equations of its Rees ring were produced and it was shown that there is a single nontrivial equation, which can be identified as the greatest common divisor of the maximal minors of a Jacobian dual matrix. In our setting, we show that this fails to be the case, but that a similar phenomenon occurs upon modification and repetition. The main results \Cref{mainresult} and \Cref{depth}(a) are rephrased below.

\begin{theorem}
Let $S=k[x_1,\ldots,x_{d+1}]$ for $k$ an infinite field, $f\in S$ a homogeneous polynomial of degree $m$, and $R=S/(f)$. Let $I$ be a perfect Gorenstein $R$-ideal of grade 3 with alternating presentation matrix $\varphi$ consisting of linear entries. Let $\overline{\,\cdot\,}$ denote images modulo $(f)$. If $I$ satisfies $G_d$, $I_1(\varphi) = \overline{(x_1,\ldots,x_{d+1})}$, and $\mu(I) = d+1$, then the defining ideal $\mathcal{J}$ of $\mathcal{R}(I)$ is
$$\mathcal{J} =\overline{\mathcal{L}_m + \big(\mathop{\rm gcd} I_{d+1}(\BB_m)\big)}$$
where the pair $(\BB_m,\mathcal{L}_m)$ is the $m^{\text{th}}$ gcd-iteration of $(B,\mathscr{L})$, for $B$ a modified Jacobian dual with respect to $\underline{x}=x_1,\ldots,x_{d+1}$ and $\mathscr{L}=(\underline{x}\cdot B)$. Additionally, $\mathcal{R}(I)$ is almost Cohen-Macaulay and is Cohen-Macaulay if and only if $m=1$.
\end{theorem}

Traditionally, one searches for the nontrivial equations of Rees algebras by using a \textit{Jacobian dual} matrix corresponding to a presentation matrix of the ideal. However, in the setting above, the Jacobian dual is insufficient and such a matrix must be altered. Repeating the construction in \cite{Weaver}, we introduce a \textit{modified Jacobian dual} matrix. A recursive algorithm of \textit{gcd-iterations} is then developed in order to produce the equations of $\mathcal{J}$. This iterative procedure is similar to the methods used in \cite{BM,CHW,Weaver}.

We now describe how this paper is organized. In \Cref{prelims} we briefly review the preliminary material on Rees algebras of ideals necessary for the scope of this paper. Additionally, we restate the result of Morey \cite[4.3]{Morey} and describe some properties of the Jacobian dual of an alternating matrix. In \Cref{hypring} we begin the study of the Rees algebra $\mathcal{R}(I)$, for $I$ a linearly presented perfect Gorenstein ideal of grade three in a hypersurface ring $R=S/(f)$. We introduce a perfect Gorenstein ideal $J$ of grade three in the polynomial ring $S$ and compare the Rees algebras $\mathcal{R}(I)$ and $\mathcal{R}(J)$. We also introduce the modified Jacobian dual matrix. In \Cref{iterationssec} we introduce the recursive algorithm of \textit{gcd-iterations}, which produces equations belonging to the defining ideal. We then give a sufficient condition for when the defining ideal agrees with the ideal obtained from this algorithm. In \Cref{defidealsec} we show that this condition is satisfied and that the method of gcd-iterations produces a \textit{minimal} generating set of $\mathcal{J}$. Properties such as Cohen-Macaulayness and Castelnuovo-Mumford regularity of $\mathcal{R}(I)$ are then studied.

\section{ Preliminaries}\label{prelims}

We now introduce the necessary conventions and preliminary information required for this paper.

\subsection{Rees Algebras of Ideals}

 Let $R$ be a Noetherian ring and $I=(f_1, \ldots,f_n)$ an $R$-ideal of positive grade. There is a natural homogeneous epimorphism of $R$-algebras
$$\Psi:\, R[T_1,\ldots,T_n] \longrightarrow \mathcal{R}(I)$$
given by $T_i\mapsto f_it$. This map induces an isomorphism
$$\mathcal{R}(I) \cong R[T_1,\ldots,T_n]/\mathcal{J}$$
for $\mathcal{J} = \ker \Psi$, which is the \textit{defining ideal} of $\mathcal{R}(I)$. Additionally, any minimal generator of $\mathcal{J}$ is called a \textit{defining equation} of $\mathcal{R}(I)$. The map $\Psi$ factors through the symmetric algebra $\mathop{\rm Sym}(I)$ via the natural map
$$\sigma:\, R[T_1,\ldots,T_n] \longrightarrow \mathop{\rm Sym}(I)$$
where the kernel $\mathscr{L}=\ker \sigma$ can be described easily from a presentation of $I$. Indeed, if $R^m\overset{\varphi}{\rightarrow}R^n \rightarrow I\rightarrow 0$ is any presentation of $I$, then $\mathscr{L}$ is generated by the linear forms $\ell_1,\ldots,\ell_m$ where
$$[T_1\ldots T_n]\cdot \varphi = [\ell_1 \ldots \ell_m].$$

We note that if $R$ is a standard graded ring, each of the maps and ideals above are bihomogeneous. As $\Psi$ factors through $\sigma$, we have the containment of ideals $\mathscr{L}\subseteq \mathcal{J}$. This containment is often strict, but if $\mathscr{L} = \mathcal{J}$ we say that $I$ is of \textit{linear type}. As mentioned, $\Psi$ factors through $\sigma$, hence there is a natural epimorphism $\mathop{\rm Sym}(I) \rightarrow \mathcal{R}(I)$ with kernel $\mathcal{Q} =\mathcal{J}/\mathscr{L}$. This ideal $\mathcal{Q}$ is typically used to measure how greatly $\mathop{\rm Sym}(I)$ and $\mathcal{R}(I)$ differ when $I$ is not an ideal of linear type.

We now introduce a common source of higher-degree generators of $\mathcal{J}$. With $R^m\overset{\varphi}{\rightarrow}R^n \rightarrow I\rightarrow 0$ a presentation of $I$ as before, there exists an $r\times m$ matrix $B(\varphi)$ consisting of linear entries in $R[T_1,\ldots,T_n]$ with
$$[T_1 \ldots T_n] \cdot \varphi= [x_1\ldots x_r]\cdot B(\varphi) $$
where $(x_1,\ldots,x_r)$ is an ideal containing the entries of $\varphi$. The matrix $B(\varphi)$ is called a \textit{Jacobian dual} of $\varphi$, with respect to the sequence $x_1,\ldots,x_r$. Notice that $[x_1\ldots x_r]\cdot B(\varphi) = [\ell_1\ldots \ell_m]$, where $\ell_1,\ldots,\ell_m$ are the equations defining $\mathop{\rm Sym}(I)$ as before. We note that this matrix is not unique in general. However, if $R=k[x_1,\ldots,x_d]$ and the entries of $\varphi$ are linear, there is a Jacobian dual $B(\varphi)$, with respect to $x_1,\ldots,x_d$, consisting of linear entries in $k[T_1,\ldots,T_n]$ which is unique.

The ideal $I$ is said to satisfy the condition $G_s$ if $\mu(I_\mathfrak{p}) \leq \mathop{\rm dim} R_\mathfrak{p}$ for all $\mathfrak{p} \in V(I)$ with $\mathop{\rm dim} R_\mathfrak{p}\leq s-1$. Equivalently, $I$ satisfies $G_s$ if and only if $\mathop{\rm ht} {\rm Fitt}_j(I)\geq j+1$ for all $1\leq j\leq s-1$, where ${\rm Fitt}_j(I) = I_{n-j}(\varphi)$ is the $j^{\text{th}}$ \textit{Fitting ideal} of $I$ for any presentation $\varphi$ as above. If $I$ satisfies $G_s$ for all $s$, $I$ is said to satisfy $G_\infty$.

Lastly, we introduce two algebras related to $\mathcal{R}(I)$. The \textit{associated graded ring} of $I$ is $\mathcal{G}(I) =\mathcal{R}(I) \otimes_R R/I\cong  \mathcal{R}(I)/I\mathcal{R}(I)$. If $R$ is a local ring with maximal ideal $\mathfrak{m}$ and residue field $k$, the \textit{special fiber ring} of $I$ is $\mathcal{F}(I) = \mathcal{R}(I)\otimes_R k \cong \mathcal{R}(I)/\mathfrak{m} \mathcal{R}(I)$. Its Krull dimension $\ell(I) = \mathop{\rm dim} \mathcal{F}(I)$ is the \textit{analytic spread} of $I$.

\subsection{Perfect Gorenstein Ideals of Grade Three}
The Rees algebras of perfect Gorenstein ideals of grade three are a rich source of interesting phenomena and anomalies. These ideals are a natural candidate to study due to their prescribed structures and resolutions. By the Buchsbaum-Eisenbud theorem \cite[2.1]{BE}, these ideals are presented by an alternating matrix. Moreover, these ideals can be generated by the submaximal Pfaffians of such a matrix. We begin by recalling a classic result within the study of equations of Rees algebras due to Morey and we restate it for reference.

\begin{theorem}[{\cite[4.3]{Morey}}]\label{Moreyresult}
Let $R=k[x_1,\ldots,x_d]$ for $k$ a field, and let $I$ be a perfect Gorenstein $R$-ideal of grade 3 with alternating presentation matrix $\varphi$ consisting of linear entries. If $I$ satisfies the condition $G_d$ and $\mu(I)=d+1$, then the defining ideal of $\mathcal{R}(I)$ is
$$\mathcal{J} = \mathscr{L} + \big(\mathop{\rm gcd} I_d(B(\varphi))\big)$$
where $B(\varphi)$ is the Jacobian dual of $\varphi$ with respect to $\underline{x}=x_1,\ldots,x_d$ and $\mathscr{L} = (\underline{x}\cdot B(\varphi))$. Additionally, $\mathcal{R}(I)$ is Cohen-Macaulay.
\end{theorem}

 Here $\mathop{\rm gcd} I_d(B(\varphi))$ denotes the greatest common divisor of the $d\times d$ minors of the Jacobian dual $B(\varphi)$, which consists of entries in $k[T_1,\ldots,T_{d+1}]$. Whereas this result does describe a generating set of the defining ideal, for our purposes we will require a more precise description in how this greatest common divisor arises. In order to describe how the minors of the Jacobian dual above factor, we introduce a lemma of Cramer's rule.

\begin{lemma}[{\cite[4.3]{BM}}]\label{crlemma}
Let $R$ be a commutative ring, $[a_1\ldots a_r]$ a $1\times r$ matrix, and $M$ an $r\times (r-1)$ matrix with entries in $R$. For $1\leq t\leq r$, let $M_t$ denote the $(r-1)\times (r-1)$ submatrix of $M$ obtained by deleting the $t^{\text{th}}$ row of $M$ and set $m_t=\operatorname{det} M_t$. Then in the ring $R/(\underline{a}\cdot M)$
$$\overline{a_t}\cdot\overline{m_k} = (-1)^{t-k} \overline{a_k}\cdot \overline{m_t}$$
for all $1\leq k,t\leq r$.
\end{lemma}

With this, we may describe how the maximal minors of $B(\varphi)$ factor in the setting of \Cref{Moreyresult}.

\begin{proposition}\label{JDminors}
With the assumptions of \cref{Moreyresult}, let $B_i$ denote the submatrix obtained by deleting the $i^{\text{th}}$ column of $B(\varphi)$. There exists a polynomial $g \in k[T_1,\ldots, T_{d+1}]$ such that for all $1\leq j \leq d+1$, one has $ \operatorname{det} B_i = (-1)^{i+1} T_i \cdot g$.
\end{proposition}

\begin{proof}
Writing $\underline{x}=x_1,\ldots,x_d$ and $\underline{T} =T_1,\ldots,T_{d+1}$ for the two sequences of indeterminates, we claim that $B(\varphi) \cdot [\,\underline{T}\,]^t = 0$. As $[\,\underline{x}\,] \cdot B(\varphi) = [\,\underline{T}\,] \cdot \varphi$, we have
$$[\,\underline{x}\,] \cdot B(\varphi) \cdot [\,\underline{T}\,]^t = [\,\underline{T}\,] \cdot \varphi \cdot [\,\underline{T}\,]^t =0 $$
since $\varphi$ is an alternating matrix. As $\varphi$ consists of linear entries in $k[x_1,\ldots,x_d]$, the entries of $B(\varphi)$ belong to $k[T_1,\ldots,T_{d+1}]$. Thus it follows that $B(\varphi) \cdot [\,\underline{T}\,]^t = 0$. Now applying \cref{crlemma} to $[\,\underline{T}\,]$ and the transpose of $B(\varphi)$, it follows that
$$T_i \cdot (\operatorname{det} B_j) = (-1)^{i-j} \,T_j \cdot (\operatorname{det} B_i)$$
in $k[T_1,\ldots,T_{d+1}]$ for all $1\leq i,j\leq d+1$, and the claim follows.
\end{proof}

Notice that the equation in \Cref{JDminors} is precisely the greatest common divisor of the minors of $B(\varphi)$, $g=\mathop{\rm gcd} I_d(B(\varphi))$, as in \Cref{Moreyresult}.

\section{Ideals of Hypersurface Rings}\label{hypring}

We now begin our study of the Rees algebra $\mathcal{R}(I)$, for $I$ a perfect Gorenstein ideal of grade three in a hypersurface ring. We introduce a second ideal $J$ which is also perfect Gorenstein of grade three and is closely related to $I$. We study the relation between the Rees rings $\mathcal{R}(I)$ and $\mathcal{R}(J)$, and their defining ideals.

\begin{setting}\label{setting1}
Let $S=k[x_1,\ldots,x_{d+1}]$ for $k$ an infinite field, $f\in S$ a homogeneous polynomial of degree $m\geq 1$, and $R= S/(f)$. Let $I$ be a perfect Gorenstein $R$-ideal of grade 3 with alternating presentation matrix $\varphi$ consisting of linear entries in $R$. Further assume that $I$ satisfies the condition $G_d$, $\mu(I)=d+1$, and $I_1(\varphi) = \overline{(x_1,\ldots,x_{d+1})}$.
\end{setting}

Notice that $d$ is necessarily even by \cite[2.2]{BE}. Following the path of \cite{Weaver}, we immediately return to the polynomial ring and produce an $S$-ideal related to $I$, which will also be perfect and Gorenstein of grade three.

\begin{notation}\label{notation1}
Let $\overline{\,\cdot\,}$ denote images  modulo the ideal $(f)$ and let $\psi$ be an $(d+1)\times (d+1)$ alternating matrix consisting of linear entries in $S$ with $I_1(\psi) =(x_1,\ldots,x_{d+1})$, such that $\varphi = \overline{\psi}$. Writing $[\ell_1 \ldots \ell_{d+1}]= [T_1 \ldots T_{d+1}]  \cdot \psi$, we consider the $S[T_1,\ldots,T_{d+1}]$-ideal $\mathscr{L}=(\ell_1,\ldots,\ell_{d+1},f)$.
\end{notation}

Certainly, such a matrix $\psi$ exists and we note that it is unique and automatically has $I_1(\psi) =(x_1,\ldots,x_{d+1})$ if $m\geq 2$. If $m=1$, then $\psi$ is not unique, but any such matrix may be chosen.

\begin{proposition}\label{Jlineartype}
There exists a perfect Gorenstein $S$-ideal $J$ with grade 3, which is presented by $\psi$. Additionally, $J$ is of linear type.
\end{proposition}

\begin{proof}
To show that $\psi$ is the presentation matrix of a perfect Gorenstein ideal with grade 3, it suffices to show that $\mathop{\rm ht} \mathop{\rm Pf}_d(\psi) \geq 3$ by \cite[2.1]{BE}. Notice that the image of this ideal in $R$ is exactly the corresponding ideal of Pfaffians of $\varphi$. As the height can only decrease by passing to $R$, we have $\mathop{\rm ht} \mathop{\rm Pf}_d(\psi) \geq \mathop{\rm ht} \overline{\mathop{\rm Pf}_d(\psi)} = \mathop{\rm ht} \mathop{\rm Pf}_d(\varphi)=3$, as $I$ is perfect and Gorenstein of grade 3, using \cite[2.1]{BE}. Thus the first claim follows and such an ideal $J$ exists.

To show that $J$ is of linear type, it suffices to show that $J$ satisfies $G_{\infty}$ by \cite[2.6]{HSV1}. However, as $\mu(J) = d+1 =\mathop{\rm dim} S$, it is enough to show that $J$ satisfies $G_{d+1}$. Recall from \Cref{prelims} that this condition can be interpreted in terms of heights of Fitting ideals. Repeating the previous argument, notice that the images of the Fitting ideals of $J$ in $R$ are the corresponding Fitting ideals of $I$. Moreover, the heights of these ideals can only decrease when passing to $R$. Hence $\mathop{\rm ht} {\rm Fitt}_i(J) \geq \mathop{\rm ht} {\rm Fitt}_i(I) \geq i+1$ for all $1\leq i\leq d-1$, since $I$ satisfies $G_d$. With this, it follows that $J$ satisfies $G_d$ as well. Thus we need only show that the $d^{\text{th}}$ Fitting ideal of $J$ has height at least, and hence equal to, $d+1$ to conclude that $J$ satisfies $G_{d+1}$. However, this ideal is ${\rm Fitt}_d(J) = I_1(\psi) = (x_1,\ldots,x_{d+1})$, which of course has maximal height.
\end{proof}

As $J$ is of linear type, notice that the $S[T_1,\ldots,T_{d+1}]$-ideal $(\ell_1,\ldots,\ell_{d+1})$ is precisely the ideal defining $\mathop{\rm Sym}(J) \cong \mathcal{R}(J)$. Moreover, it follows that $\overline{\mathscr{L}}$ is the defining ideal of $\mathop{\rm Sym}(I)$, as $\varphi = \overline{\psi}$. With this, we see that $S[T_1,\ldots,T_{d+1}]/ \mathscr{L} \cong R[T_1,\ldots,T_{d+1}]/\overline{\mathscr{L}} \cong \mathop{\rm Sym}(I)$, hence $\mathscr{L}$ is the  ideal defining $\mathop{\rm Sym}(I)$, as a quotient of $S[T_1,\ldots,T_{d+1}]$. Hence there is a clear relation between the $S[T_1,\ldots,T_{d+1}]$-ideals defining $\mathop{\rm Sym}(J)$ and $\mathop{\rm Sym}(I)$, as these ideals differ only by the generator $f$. Naturally one could ask if there is a similar connection between the ideals defining $\mathcal{R}(J)$ and $\mathcal{R}(I)$. Before we answer this, we provide an alternative description of the defining ideal $\mathcal{J}$ of $\mathcal{R}(I)$ and then introduce an ideal defining $\mathcal{R}(I)$ as a quotient of $S[T_1,\ldots,T_{d+1}]$.

\begin{proposition}\label{Jasat}
With the assumptions of \Cref{setting1} and $\mathscr{L}$ as in \Cref{notation1}, the defining ideal of $\mathcal{R}(I)$ satisfies $\mathcal{J} = \overline{\mathscr{L}:(x_1,\ldots,x_{d+1})^\infty}$.
\end{proposition}

\begin{proof}
As $I$ satisfies the condition $G_d$, for any non-maximal homogeneous prime $R$-ideal $\mathfrak{p}$, $I_\mathfrak{p}$ satisfies $G_\infty$ as an $R_\mathfrak{p}$-ideal and is hence of linear type by \cite[2.6]{HSV1}. Thus $\mathcal{J}_\mathfrak{p} = \overline{\mathscr{L}}_\mathfrak{p}$ for any such prime ideal $\mathfrak{p}$ and so the quotient $\mathcal{Q} = \mathcal{J}/\overline{\mathscr{L}}$ is supported only at the homogeneous maximal $R$-ideal $\overline{(x_1,\ldots,x_{d+1})}$. Hence $\mathcal{Q}$ is annihilated by some power of $\overline{(x_1,\ldots,x_{d+1})}$, which shows that $\mathcal{J} \subseteq \overline{\mathscr{L}}:\overline{(x_1,\ldots,x_{d+1})}^\infty$. However, we have the containment $\overline{\mathscr{L}}:\overline{(x_1,\ldots,x_{d+1})}^\infty \subseteq \mathcal{J}$ as $\overline{\mathscr{L}} \subseteq \mathcal{J}$ and modulo $\mathcal{J}$, the image of $\overline{(x_1,\ldots,x_{d+1})}$ in $\mathcal{R}(I)$ is an ideal of positive grade.
\end{proof}

The statement regarding the grade of $\overline{(x_1,\ldots,x_{d+1})}\mathcal{R}(I)$ in the proof above follows from the well-known correspondence between the associated primes of $R$ and $\mathcal{R}(I)$ \cite{HS}\cite[1.5]{EHU}.

Notice that $\mathcal{Q}=\mathcal{J}/\overline{\mathscr{L}}$, as in the proof of \Cref{Jasat}, is the kernel of the natural bihomogeneous map $\mathop{\rm Sym}(I(\delta))\rightarrow \mathcal{R}(I)$, where $\delta = \frac{d}{2}$ is the degree of the generators of $I$ (recall that $d$ is even). Writing $\mathfrak{m} = (x_1,\ldots,x_{d+1})$ for the homogeneous maximal $S$-ideal, the description of $\mathcal{J}$ in \Cref{Jasat} shows that $\mathcal{Q}\cong H_{\overline{\mathfrak{m}}}^0\big(\mathop{\rm Sym}(I(\delta))\big)$, the zeroth local cohomology module of $\mathop{\rm Sym}(I(\delta))$ with support in $\overline{\mathfrak{m}}$. Thus $\mathcal{Q}$ is concentrated in only finitely many degrees and so we may use the tools developed in \cite{KPU3} to bound these degrees.

\begin{proposition}\label{IndexOfSat}
With the assumptions of \Cref{setting1}, $\mathcal{J}=\overline{\mathscr{L}:(x_1,\ldots,x_{d+1})^m}$.
\end{proposition}

\begin{proof}
It is clear that $\overline{\mathscr{L}:(x_1,\ldots,x_{d+1})^m} \subseteq \mathcal{J}$, following \Cref{Jasat}, hence we need only show the reverse containment. In order to show that $\overline{\mathfrak{m}}^m \mathcal{J} \subseteq \overline{\mathscr{L}}$, it suffices to show that $\overline{\mathfrak{m}}^m \mathcal{Q} =0$, where $\mathcal{Q}$ is as above. As mentioned, $\mathcal{Q}\cong H_{\overline{\mathfrak{m}}}^0\big(\mathop{\rm Sym}(I(\delta))\big)$ and so, with the bigrading $\deg \overline{x_i}=(1,0)$ and $\deg T_i = (0,1)$ on $R[T_1,\ldots,T_{d+1}]$, we may write
$$\mathcal{Q}_{(*,q)} = \bigoplus_p \mathcal{Q}_{(p,q)} \cong  H_{\overline{\mathfrak{m}}}^0\big({\rm Sym}_q(I(\delta)) \big).$$
As $\mathcal{Q}$ lives in finitely many degrees, it is enough to show that $\mathcal{Q}$ vanishes past degree $m-1$ in the first component of the bigrading.

By \cite[3.8]{KPU3}, it follows that $\mathcal{Q}_{(p,q)} =0$ for all $p > b_0 (\mathscr{D}_d^q) +a(R)$ and any $q$, where $\mathscr{D}_d^q$ is the $d^{\text{th}}$ module of a homogeneous complex $\mathscr{D}_{\bullet}^q$ of finitely generated graded $R$-modules with zeroth homology $H_0(\mathscr{D}_{\bullet}^q) \cong \mathop{\rm Sym}_q(I(\delta))$, $b_0 (\mathscr{D}_d^q)$ is the \textit{maximal generator degree} of $\mathscr{D}_d^q$ from \cite[2.2]{KPU3}, and $a(R)$ is the $a$-invariant of $R$. Since $R$ is a Cohen-Macaulay $k$-algebra, the $a$-invariant of $R$ is $a(R) = \mathop{\rm reg} R -d$, where $\mathop{\rm reg} R$ denotes the Castelnuovo-Mumford regularity of $R$. As $R$ is a hypersurface ring defined by a polynomial of degree $m$, it follows that $a(R) = \mathop{\rm reg} R -d = (m-1)-d$, hence we need only show that $b_0 (\mathscr{D}_d^q) \leq d$ for any $q$.

Since $\varphi$ is a $(d+1)\times (d+1)$ homogeneous alternating matrix which presents $I$ minimally, we may take
$$\mathscr{D}_{\bullet}^q (\varphi): \, 0 \longrightarrow \mathscr{D}_d^q \longrightarrow \mathscr{D}_{d-1}^q \longrightarrow \cdots\cdots \longrightarrow \mathscr{D}_1^q \longrightarrow \mathscr{D}_0^q\longrightarrow 0$$
to be the complex from \cite[2.15, 4.7]{KU} associated to $\varphi$. The zeroth homology of $\mathscr{D}_{\bullet}^q (\varphi)$ is $H_0\big(  \mathscr{D}_{\bullet}^q (\varphi) \big) \cong \mathop{\rm Sym}_q(I(\delta))$, hence we may consider this complex and the maximal generator degree of $\mathscr{D}_d^q$. Following the description and notation of this complex given in \cite{KU} and restated in \cite{KPU2}, and noting that the entries of $\varphi$ are linear, for all $1\leq r\leq d$ we have
\[
\mathscr{D}_r^q = \left\{
     \begin{array}{ll}
       K_{q-r,r} = R(-r)^{\beta_r^q} & \text{if $r \leq \mathop{\rm min}\{q,d\}$}\\[1ex]
       Q_q = R(-(r-1)-\frac{1}{2}(d-r+2)) & \text{if $r =q+1\leq d$, $q$ odd}\\[1ex]
       0& \text{if $r =q+1$, $q$ even}\\[1ex]
       0& \text{if $r \geq \mathop{\rm min}\{q+2,d+1\}$}\\[1ex]
     \end{array}
   \right.
\]
for some nonzero Betti numbers $\beta_r^q$. Allowing $r=d$, which is even, the expressions above simplify to
\[
\mathscr{D}_d^q = \left\{
     \begin{array}{ll}
       K_{q-d,d} = R(-d)^{\beta_r^q} & \text{if $q\geq d$}\\[1ex]
       Q_q = R(-d) & \text{if $q =d-1$}\\[1ex]
       0& \text{if $q\leq d-2$}.\\[1ex]
     \end{array}
   \right.
\]
If $\mathscr{D}_d^q=0$, then $b_0(\mathscr{D}_d^q) = -\infty$ by convention Moreover, if $\mathscr{D}_d^q\neq 0$, we see that $b_0(\mathscr{D}_d^q) =d$. Thus $b_0 (\mathscr{D}_d^q) \leq d$ for any $q$, as required.
\end{proof}

\begin{notation}\label{Anotation}
With the result of \Cref{IndexOfSat}, let us denote the ideal $\mathcal{A} = \mathscr{L}:(x_1,\ldots,x_{d+1})^m = \mathscr{L}:(x_1,\ldots,x_{d+1})^\infty$ in $S[T_1,\ldots,T_{d+1}]$.
\end{notation}

Notice that $\overline{\mathcal{A}} = \mathcal{J}$, hence $\mathcal{A}$ defines $\mathcal{R}(I)$ as a quotient of $S[T_1,\ldots,T_{d+1}]$ since $S[T_1,\ldots,T_{d+1}]/\mathcal{A} \cong R[T_1,\ldots,T_{d+1}]/\mathcal{J} \cong \mathcal{R}(I)$. For much of the duration of this paper, the ideal $\mathcal{A}$ will be the object of our focus. This ideal is a defining ideal of $\mathcal{R}(I)$, in a sense, and belongs to the polynomial ring $S[T_1,\ldots,T_{d+1}]$, where a colon ideal $\mathcal{A} = \mathscr{L}:(x_1,\ldots,x_{d+1})^m$ is more easily studied.

We follow a path parallel to the traditional one by approximating the defining ideal of $\mathcal{R}(I)$ using the defining ideal of $\mathop{\rm Sym}(I)$, now using the ideals $\mathcal{A}$ and $\mathscr{L}$ in place of $\mathcal{J}$ and $\overline{\mathscr{L}}$. Traditionally, one then employs a Jacobian dual matrix, however as we have updated our ideals, we must also update such a matrix. We recall the notion of a \textit{modified Jacobian dual} as presented in \cite{Weaver}. This matrix is associated to the generators of $\mathscr{L}$ and the sequence $x_1,\ldots,x_{d+1}$.

Before introducing this object, we provide the notation necessary for its definition and the constructions in the proceeding section. Notice that $S[T_1,\ldots,T_{d+1}]$ is naturally bigraded with $\deg x_i = (1,0)$ and $\deg T_i = (0,1)$.

\begin{notation}\label{delnotation}
 For $F \in (x_1,\ldots,x_{d+1})S[T_1,\ldots,T_{d+1}]$ a nonzero bihomogeneous polynomial, let $\partial F$ denote a column consisting of bihomogeneous entries with bidegree $\deg F -(1,0)$, such that $[x_1,\ldots,x_{d+1}]\cdot \partial F = F$. As a convention, we take $\partial F$ to consist of zeros if $F=0$.
\end{notation}

In general, there are many choices for $\partial F$. As the notation suggests, there is a natural choice for $\partial F$ using differentials, if $k$ is a field of characteristic zero. Writing $\deg F = (r,*)$ for $r>0$, we have the Euler formula $r\cdot F \,= \,\sum_{i=1}^{d+1}\,\frac{\partial F}{\partial x_i} \cdot x_i$, noting that $r$ is a unit. Hence $\partial F$ can be chosen to have entries $\frac{1}{r}\cdot\frac{\partial F}{\partial x_i}$ in this setting.

\begin{definition}\label{mjddefn}
With $\mathscr{L}$ and $\psi$ as in \Cref{notation1}, we take a \textit{modified Jacobian dual} of $\psi$ to be the $(d+1) \times (d+2)$ matrix $B=[B(\psi)\,|\,\partial f]$ where $B(\psi)$ is the Jacobian dual of $\psi$, consisting of linear entries in $k[T_1,\ldots,T_{d+1}]$, and $\partial f$ is a column corresponding to $f$, as in \Cref{delnotation}. Here $|$ denotes the usual matrix concatenation.
\end{definition}

Notice that the entries of the matrix product $[x_1\ldots x_{d+1}]\cdot B$ are precisely the generators of $\mathscr{L}$. In the next section we will employ the modified Jacobian dual and similar constructions to produce equations in $\mathcal{A}$. For now however, we must produce another description of $\mathcal{A}$.

Following the approach in \cite{KPU1}, we find a ring which maps onto $\mathcal{R}(I)$ such that the kernel is an ideal of height one. We take this ring to be the Rees algebra $\mathcal{R}(J)$, noting that $J$ is of linear type by \Cref{Jlineartype}. We now study how these Rees algebras, and their defining ideals, relate to each other.

\subsection{Ideals in $\mathcal{R}(J)$}

Before we study the relation between $\mathcal{R}(J)$ and $\mathcal{R}(I)$, we introduce a third, and final, perfect Gorenstein ideal of grade three. It will be seen that this ideal satisfies the assumptions of \Cref{Moreyresult}. The defining ideal of its Rees algebra will then be used to produce a description of the image of $\mathcal{A}$ in $\mathcal{R}(J)$. We begin by providing a short lemma, commonly used to avoid certain ideals in graded rings.

\begin{lemma}\label{idealavoidance}
Let $A=k[y_1,\ldots,y_n]$ for $k$ an infinite field and let $J$ be an ideal generated by homogeneous elements of degree $r$. Suppose that $I_1,\ldots,I_s$ are ideals of $A$, none of which contains $J$. There exists a homogeneous element $z\in J$ of degree $r$ such that $z\notin I_j$ for all $1\leq j\leq s$.
\end{lemma}

\begin{proof}
This follows from the well-known fact that a vector space over an infinite field is not a finite union of proper subspaces, and then applying Nakayama's lemma in the graded setting.
\end{proof}

\begin{proposition}\label{J'ideal}
With the assumptions of \Cref{setting1}, let $S' =k[x_1,\ldots,x_d] \cong S/(x_{d+1})$ and consider the matrix $\psi' = \psi S'$. After a possible linear change of coordinates, there exists an $S'$-ideal $J'$ that is perfect and Gorenstein of grade $3$, which is presented by $\psi'$. Moreover, $J'$ satisfies $G_d$.
\end{proposition}

\begin{proof}
Notice that $\psi'$ is an alternating $(d+1)\times (d+1)$ matrix with entries in $S'$. By \cite[2.1]{BE}, the existence of such an ideal depends only on the height of an ideal of Pfaffians of $\psi' = \psi S'$. Moreover, the condition $G_d$  depends on the heights of ideals of minors of $\psi'$. Thus it suffices to show that, after making a suitable change of coordinates, $\mathop{\rm ht} \mathop{\rm Pf}_d(\psi')\geq 3$ and $\mathop{\rm ht} I_j(\psi') \geq d-j+2 $ for all $2\leq j \leq d$. Notice that $\mathop{\rm Pf}_d(\psi') = \mathop{\rm Pf}_d(\psi)S'$ and $I_j(\psi') = I_j(\psi)S'$. Recall that $J$ is presented by $\psi$ and is of linear type by \Cref{Jlineartype}, and hence satisfies $G_\infty$.

Recall that $I$ is an ideal of height 3 in $R$, which is $d$-dimensional. As $d$ is even, it follows that $d\geq 4$, hence $\mathop{\rm dim} S = d+1 \geq 5$ and so $\mathop{\rm ht} \mathop{\rm Pf}_d(\psi)=3 <\mathop{\rm dim} S$. Now consider the determinantal ideals $I_j(\psi)$ with height at most $d$, for $2\leq j\leq d$. There are finitely many non-maximal minimal primes of $\mathop{\rm Pf}_d(\psi)$ and the ideals $I_j(\psi)$ with non-maximal height, and none of them contains $(x_1,\ldots,x_{d+1})$. Hence there exists a linear form not contained in any of these minimal primes by \Cref{idealavoidance}. After a potential linear change of coordinates, it can be assumed that $x_{d+1}$ is precisely this linear form.

With this, we see that $\mathop{\rm ht} \mathop{\rm Pf}_d(\psi') = \mathop{\rm Pf}_d(\psi) =3$ and $\mathop{\rm ht} I_j(\psi') = \mathop{\rm ht} I_j(\psi)\geq d-j+2$ for all $j$ such that $\mathop{\rm ht} I_j(\psi)\leq d$ and $2\leq j\leq d$. For any of the ideals $I_j(\psi)$ with maximal height and $j$ in this range, the height of $I_j(\psi)$ must drop when passing to $S'$. However, if $\mathop{\rm ht} I_j(\psi) = d+1$, then $\mathop{\rm ht} I_j(\psi') = \mathop{\rm ht} I_j(\psi) -1 =d \geq d-j+2$ as $2\leq j\leq d$.
\end{proof}

\begin{remark}
In \Cref{J'ideal}, a linear change of coordinates was made and we note that the conditions and constructions introduced so far are amenable to such a change. We proceed assuming that such a linear adjustment has been made and the sequence $x_1,\ldots,x_{d+1}$ has been relabelled accordingly.
\end{remark}

 Notice that the $S'$-ideal $J'$ satisfies the assumptions of \Cref{Moreyresult}, hence the defining equations of $\mathcal{R}(J')$ are known. In particular, they can be described from the Jacobian dual $B(\psi')$, which is precisely a submatrix of $B(\psi)$. Indeed, the entries of $B(\psi)$ belong to $k[T_1,\ldots,T_{d+1}]$ and the last row of $B(\psi)$ corresponds to $x_{d+1}$. Thus by deleting the last row of $B(\psi)$ we obtain the Jacobian dual of $\psi'$, with respect to $x_1,\ldots,x_d$ in $S'$. Letting $B'$ denote this submatrix of $B(\psi)$ obtained by deleting the last row, we note that there is a nontrivial greatest common divisor among the maximal minors of $B'=B(\psi')$, by \Cref{JDminors}.

\begin{notation}\label{notation2}
Recall that $J$ is of linear type by \Cref{Jlineartype}, hence $\mathcal{R}(J) \cong S[T_1,\ldots,T_{d+1}]/ \mathcal{H}$ where $\mathcal{H} =(\ell_1,\ldots,\ell_{d+1})$, following \Cref{notation1}. Let $\widetilde{\,\cdot\,}$ denote images modulo $\mathcal{H}$, in $\mathcal{R}(J)$. As before, let $B'$ be the $d\times (d+1)$ matrix obtained by deleting the last row of $B(\psi)$ and consider the $S[T_1,\ldots,T_{d+1}]$-ideal $\mathcal{K}= (\ell_1,\ldots,\ell_{d+1}) + (\mathop{\rm gcd} I_d(B'))+(x_{d+1})$.
\end{notation}

As mentioned, we may identify $B'$ with the Jacobian dual $B(\psi')$, for $\psi'$ as in \Cref{J'ideal}. Hence there is a greatest common divisor amongst the maximal minors of $B'$, in $k[T_1,\ldots,T_{d+1}]$.

\begin{proposition}\label{PropertiesOfA}
The ring $\mathcal{R}(J)$ is a Cohen-Macaulay domain of dimension $d+2$ and the ideals $\widetilde{\mathcal{K}}$ and $(\widetilde{x_1,\ldots,x_{d+1}})$ are Cohen-Macaulay $\mathcal{R}(J)$-ideals of height 1. Moreover, $(\widetilde{x_1,\ldots,x_{d+1}})$ is a prime ideal.
\end{proposition}

\begin{proof}
The claim that $\mathcal{R}(J)$ is a domain of dimension $d+2$ follows easily as $S$ is a domain of dimension $d+1$ and $J$ is an ideal of positive height \cite{VasconcelosBook}. Additionally, $J$ is of linear type by \Cref{Jlineartype}, hence $\mathcal{R}(J)$ is Cohen-Macaulay by \cite[2.6]{HSV1}. Moreover, as $J$ is of linear type, its special fiber ring is $\mathcal{F}(J) \cong k[T_1,\ldots, T_{d+1}]$, hence $(\widetilde{x_1,\ldots,x_{d+1}})$ is indeed a Cohen-Macaulay prime ideal of height 1.

To see that $\widetilde{\mathcal{K}}$ is a Cohen-Macaulay $\mathcal{R}(J)$-ideal of height 1, notice that $\mathcal{K}$ can be written as $(\ell_1',\ldots,\ell_{d+1}') +(\mathop{\rm gcd} I_d(B'))+(x_{d+1})$, where $[\ell_1'\ldots \ell_{d+1}'] = [x_1 \ldots x_d] \cdot B'$. Notice that $(\ell_1',\ldots,\ell_{d+1}') +( \mathop{\rm gcd} I_d(B'))$ is exactly the defining ideal of $\mathcal{R}(J')$ following \Cref{J'ideal} and \Cref{Moreyresult}. In particular, this ideal is Cohen-Macaulay with height $d$. As $x_{d+1}$ is regular modulo this ideal, it then follows that $\mathcal{K}$ has height $d+1$ and is Cohen-Macaulay. Thus $\widetilde{\mathcal{K}}$ is a Cohen-Macaulay ideal of height 1 in $\mathcal{R}(J)$.
\end{proof}

\begin{proposition}\label{colons}
With $\mathcal{K}$ as in \Cref{notation2}, for any positive integer $i$ we have the following.
\begin{enumerate}[(a)]
\setlength\itemsep{1em}
    \item $(\widetilde{x_1,\ldots,x_{d+1}})^i = (\widetilde{x_1,\ldots,x_{d+1}})^{(i)}$

    \item $(\widetilde{x_1,\ldots,x_{d+1}})^{(i)}= (\widetilde{x_{d+1}}^i) :_{\mathcal{R}(J)} \widetilde{\mathcal{K}}^{(i)}$

    \item $\widetilde{\mathcal{K}}^{(i)} = (\widetilde{x_{d+1}}^i) :_{\mathcal{R}(J)}  (\widetilde{x_1,\ldots,x_{d+1}})^{(i)}$
\end{enumerate}
\end{proposition}

\begin{proof} We proceed as in the proof of \cite[3.9]{BM}.

\begin{enumerate}[(a)]
\setlength\itemsep{1em}
    \item Setting the degrees of the $x_i$ to 1 and the degrees of the $T_i$ to 0 temporarily, we see that $\mathcal{G}\big((\widetilde{x_1,\ldots,x_{d+1}})\big) \cong \mathcal{R}(J)$, where $\mathcal{G}\big((\widetilde{x_1,\ldots,x_{d+1}})\big)$ is the associated graded ring of $(\widetilde{x_1,\ldots,x_{d+1}})$. As $\mathcal{R}(J)$ is a domain, it follows that $(\widetilde{x_1,\ldots,x_{d+1}})^i = (\widetilde{x_1,\ldots,x_{d+1}})^{(i)}$ for all $i$.

    \item We first claim that $(\widetilde{x_1,\ldots,x_{d+1}})\widetilde{\mathcal{K}}\subseteq (\widetilde{x_{d+1}})$. Recall that $\mathcal{K} = (\ell_1',\ldots,\ell_{d+1}') +(\mathop{\rm gcd} I_d(B'))+(x_{d+1})$, where $[\ell_1'\ldots\ell_{d+1}'] = [x_1 \ldots x_d] \cdot B'$. Thus modulo $\mathcal{H}$, we see that $(\widetilde{\ell_1',\ldots,\ell_{d+1}'}) \subseteq (\widetilde{x_{d+1}})$. Noting that $B'=B(\psi')$, with $\psi'$ as in \Cref{J'ideal}, we may write $I_d(B') = (g')(T_1,\ldots,T_{d+1})$ where $g' = \mathop{\rm gcd} (I_d(B'))$, by \Cref{JDminors}. By Cramer's rule we have $(x_1,\ldots,x_d) I_d(B') \subseteq (\ell_1',\ldots,\ell_{d+1}')$, hence
$$(x_1,\ldots,x_d)(g') \subseteq (\ell_1',\ldots,\ell_{d+1}'):(T_1,\ldots,T_{d+1}).$$
However, notice that $(\ell_1',\ldots,\ell_{d+1}')$ is the defining ideal of $\mathop{\rm Sym}(J')$ following \Cref{J'ideal}, hence $\mathop{\rm ht} (\ell_1',\ldots,\ell_{d+1}') = d$ by \cite[2.1]{Morey}. Modulo $(\ell_1',\ldots,\ell_{d+1}')$, we then see that $(T_1,\ldots,T_{d+1})$ is an ideal of positive grade, which is annihilated by $(x_1,\ldots,x_d)(g')$, hence $(x_1,\ldots,x_d)(g') \subseteq (\ell_1',\ldots,\ell_{d+1}')$. Noting that $(\widetilde{\ell_1',\ldots,\ell_{d+1}'}) \subseteq (\widetilde{x_{d+1}})$, it then follows that $(\widetilde{x_1,\ldots,x_{d+1}})\widetilde{\mathcal{K}}\subseteq (\widetilde{x_{d+1}})$.

With this, we have $(\widetilde{x_1,\ldots,x_{d+1}})^i\widetilde{\mathcal{K}}^i\subseteq (\widetilde{x_{d+1}}^i)$ for any positive integer $i$. Localizing at height one prime ideals of $\mathcal{R}(J)$, we see that $(\widetilde{x_1,\ldots,x_{d+1}})^{(i)}\widetilde{\mathcal{K}}^{(i)}\subseteq (\widetilde{x_{d+1}}^i)$ and so $(\widetilde{x_1,\ldots,x_{d+1}})^{(i)}\subseteq (\widetilde{x_{d+1}}^i):\widetilde{\mathcal{K}}^{(i)}$.
Writing $\mathcal{K}=(\ell_1',\ldots,\ell_{d+1}') + (\mathop{\rm gcd} I_d(B'))+(x_{d+1})$ as before, recall that $(\ell_1',\ldots,\ell_{d+1}') + (\mathop{\rm gcd} I_d(B'))$ is the defining ideal of $\mathcal{R}(J')$. Note that $J'$ is not of linear type as $\mu(J') > \mathop{\rm dim} S'$, hence $\mathop{\rm gcd} I_d(B')$ is nonzero in $k[T_1,\ldots,T_{d+1}]$ and so $\widetilde{\mathcal{K}}\nsubseteq (\widetilde{x_1,\ldots,x_{d+1}})$. As $(\widetilde{x_1,\ldots,x_{d+1}})$ is the unique associated prime of $(\widetilde{x_1,\ldots,x_{d+1}})^{(i)}$, it follows that $\widetilde{\mathcal{K}}^{(i)}$ and $(\widetilde{x_1,\ldots,x_{d+1}})^{(i)}$ have no associated prime in common. From this it follows that $(\widetilde{x_{d+1}}^i):\widetilde{\mathcal{K}}^{(i)} \subseteq (\widetilde{x_1,\ldots,x_{d+1}})^{(i)}$.

\item  As before, we have $(\widetilde{x_1,\ldots,x_{d+1}})^{(i)}\widetilde{\mathcal{K}}^{(i)}\subseteq (\widetilde{x_{d+1}}^i)$, hence $\widetilde{\mathcal{K}}^{(i)} \subseteq (\widetilde{x_{d+1}}^i) :_{\mathcal{R}(J)}  (\widetilde{x_1,\ldots,x_{d+1}})^{(i)}$. To show the reverse containment, recall that $(\widetilde{x_1,\ldots,x_{d+1}})$ is not an associated prime of $\widetilde{\mathcal{K}}^{(i)}$. With this and noting that $\widetilde{x_{d+1}}^i\in \widetilde{\mathcal{K}}^{(i)}$, we see that $(\widetilde{x_{d+1}}^i) :_{\mathcal{R}(J)}  (\widetilde{x_1,\ldots,x_{d+1}})^{(i)} \subseteq \widetilde{\mathcal{K}}^{(i)}$. \qedhere
\end{enumerate}
\end{proof}

With parts (b) and (c) of \Cref{colons}, one says that $(\widetilde{x_1,\ldots,x_{d+1}})^{(i)}$ and $\widetilde{\mathcal{K}}^{(i)}$ are \textit{linked} \cite{Huneke1}.

\begin{corollary}\label{Kscm}
The $\mathcal{R}(J)$-ideal $\widetilde{\mathcal{K}}$ is generically a complete intersection and is strongly Cohen-Macaulay.
\end{corollary}

\begin{proof}
Recall from \Cref{PropertiesOfA} that $\widetilde{\mathcal{K}}$ is a Cohen-Macaulay ideal of height one. From the proof of \Cref{colons} we had seen that $(\widetilde{x_1,\ldots,x_{d+1}})$ is not an associated prime of $\widetilde{\mathcal{K}}$. Thus if $\mathfrak{p}$ is an associated prime of $\widetilde{\mathcal{K}}$, by \Cref{colons} we have $(\widetilde{x_{d+1}})_\mathfrak{p} : \widetilde{\mathcal{K}}_\mathfrak{p} = (\widetilde{x_1,\ldots,x_{d+1}})_\mathfrak{p} = \mathcal{R}(J)_\mathfrak{p}$. Thus we have $\widetilde{\mathcal{K}}_\mathfrak{p} \subseteq (\widetilde{x_{d+1}})_\mathfrak{p}$ and so $\widetilde{\mathcal{K}}_\mathfrak{p}= (\widetilde{x_{d+1}})_\mathfrak{p}$ as $x_{d+1} \in \mathcal{K}$, which shows that $\widetilde{\mathcal{K}}$ is generically a complete intersection.

Notice that $\widetilde{\mathcal{K}} = (\widetilde{g'},\widetilde{x_{d+1}})$ where $g'= \mathop{\rm gcd} I_d(B')$, hence $\widetilde{\mathcal{K}}$ is a Cohen-Macaulay almost complete intersection ideal, following \Cref{PropertiesOfA}. Moreover, we had just seen that $\widetilde{\mathcal{K}}$ is generically a complete intersection, hence it is a strongly Cohen-Macaulay $\mathcal{R}(J)$-ideal by \cite[2.2]{Huneke2}.
\end{proof}

We now give an alternative description of the $\mathcal{R}(J)$-ideal $\widetilde{\mathcal{A}}$. Notice that this is the kernel of the induced map of Rees algebras $\mathcal{R}(J)\rightarrow \mathcal{R}(I)$. Consider the fractional ideal $\frac{\widetilde{f}\,\widetilde{\mathcal{K}}^{(m)}}{\widetilde{x_{d+1}}^m}$ and note that this is actually an $\mathcal{R}(J)$-ideal by \Cref{colons}, as $f\in (x_1,\ldots,x_{d+1})^m$.

\begin{theorem}\label{DandA}
In $\mathcal{R}(J)$, we have $\widetilde{\mathcal{A}}= \frac{\widetilde{f}\,\widetilde{\mathcal{K}}^{(m)}}{\widetilde{x_{d+1}}^m}$.
\end{theorem}

\begin{proof}
Writing $\mathcal{D}=\frac{\widetilde{f}\,\widetilde{\mathcal{K}}^{(m)}}{\widetilde{x_{d+1}}^m}$, we begin by showing that $\mathcal{D}\subseteq \widetilde{\mathcal{A}}$. Recall that $\mathcal{R}(J)$ is a domain by \Cref{PropertiesOfA}. Hence for any $a\in (x_1,\ldots,x_{d+1})^{m}$ we have the equality $\frac{\widetilde{f}\,\widetilde{\mathcal{K}}^{(m)}}{\widetilde{x_{d+1}}^m} \cdot \widetilde{a} =  \frac{\widetilde{a}\,\widetilde{\mathcal{K}}^{(m)}}{\widetilde{x_{d+1}}^m} \cdot \widetilde{f}$. Notice that $\frac{\widetilde{a}\,\widetilde{\mathcal{K}}^{(m)}}{\widetilde{x_{d+1}}^m}$ is an $\mathcal{R}(J)$-ideal by \Cref{colons}, hence it follows that $\mathcal{D} (\widetilde{x_1,\ldots,x_{d+1}})^{m} \subset (\widetilde{f}) = \widetilde{\mathscr{L}}$. Thus $\mathcal{D} \subseteq \widetilde{\mathscr{L}}: (\widetilde{x_1,\ldots,x_{d+1}})^{m} = \widetilde{\mathcal{A}}$, following \Cref{Anotation}.

To show this containment is actually an equality, we proceed as in the proof of \cite[3.10]{BM}. Recall that $\mathcal{R}(J)$ is a Cohen-Macaulay domain and note that $\widetilde{\mathcal{K}}^{(m)}$ is an unmixed ideal of height one. Equivalently, $\widetilde{\mathcal{K}}^{(m)}$ satisfies Serre's condition $S_2$, as an $\mathcal{R}(J)$-module. Thus $\mathcal{D}$ is also an unmixed $\mathcal{R}(J)$-ideal of height one since $\mathcal{D} \cong \widetilde{\mathcal{K}}^{(m)}$ and the condition $S_2$ is preserved under isomorphism. As $\mathcal{D} \subseteq \widetilde{\mathcal{A}}$, it suffices to show that these ideals agree locally at the associated primes of $\mathcal{D}$, in order to conclude that $\mathcal{D} = \widetilde{\mathcal{A}}$. As these associated primes have height one, we show that $\mathcal{D}_\mathfrak{p} = \widetilde{\mathcal{A}}_\mathfrak{p}$ for any prime $\mathcal{R}(J)$-ideal $\mathfrak{p}$ with height one.

Recall from \Cref{PropertiesOfA} that $(\widetilde{x_1,\ldots,x_{d+1}})$ is a prime ideal of height one in $\mathcal{R}(J)$. If $\mathfrak{p} \neq (\widetilde{x_1,\ldots,x_{d+1}})$, we see that $\widetilde{\mathcal{A}}_\mathfrak{p} = \widetilde{\mathscr{L}}_\mathfrak{p} : (\widetilde{x_1,\ldots,x_{d+1}})_\mathfrak{p}^m = (\widetilde{f})_\mathfrak{p} : \mathcal{R}(J)_\mathfrak{p}$, hence $\widetilde{\mathcal{A}}_\mathfrak{p} \subseteq (\widetilde{f})_\mathfrak{p}$ and so $\widetilde{\mathcal{A}} = (\widetilde{f})_\mathfrak{p}$, as $f\in \mathcal{A}$. Additionally, by \Cref{colons} and repeating the argument in the proof of \Cref{Kscm}, it follows that $\widetilde{\mathcal{K}}_\mathfrak{p} = (\widetilde{x_{d+1}})_\mathfrak{p}$, hence $\mathcal{D}_\mathfrak{p} = (f)_\mathfrak{p}$ as well.

 Now suppose that $\mathfrak{p} =(\widetilde{x_1,\ldots,x_{d+1}})$ and we first note that $\widetilde{\mathcal{A}}\nsubseteq (\widetilde{x_1,\ldots,x_{d+1}})$. Indeed, the analytic spread of $J$ is $\ell(J) = d+1$ since $\mathcal{F}(J) \cong k[T_1,\ldots,T_{d+1}]$, which we had seen in the proof of \Cref{PropertiesOfA}. Moreover, we have $\ell(I) =d$ by \cite[4.3]{UV}. With the isomorphism $\mathcal{R}(I) \cong \mathcal{R}(J) / \widetilde{\mathcal{A}}$ and passing to $\mathcal{F}(I)$, it then follows that $\widetilde{\mathcal{A}}\nsubseteq (\widetilde{x_1,\ldots,x_{d+1}})$. With this, we see that $\widetilde{\mathcal{A}}_\mathfrak{p} = \mathcal{R}(J)_\mathfrak{p}$.

 Recall from the proof of \Cref{colons} that $\widetilde{\mathcal{K}} \nsubseteq (\widetilde{x_1,\ldots,x_{d+1}})$, hence $\widetilde{\mathcal{K}}^{(m)}_\mathfrak{p}=\mathcal{R}(J)_\mathfrak{p}$ as well. With this and \Cref{colons}, we see that $(\widetilde{x_1,\ldots,x_{d+1}})_\mathfrak{p} =  (\widetilde{x_{d+1}})_\mathfrak{p}:\mathcal{R}(J)_\mathfrak{p}$, hence $(\widetilde{x_1,\ldots,x_{d+1}})_\mathfrak{p} = (\widetilde{x_{d+1}})_\mathfrak{p}$. Thus
 $$\mathcal{R}(J)_\mathfrak{p} = \widetilde{\mathcal{A}}_\mathfrak{p}=\widetilde{\mathscr{L}}_\mathfrak{p}: (\widetilde{x_1,\ldots,x_{d+1}})^m_\mathfrak{p}=(\widetilde{f})_\mathfrak{p}: (\widetilde{x_1,\ldots,x_{d+1}})^m_\mathfrak{p}$$
and so $(\widetilde{x_1,\ldots,x_{d+1}})^m_\mathfrak{p} \subseteq (\widetilde{f})_\mathfrak{p}$. However, as $f\in(x_1,\ldots,x_{d+1})^m$, we have $(\widetilde{f})_\mathfrak{p} = (\widetilde{x_1,\ldots,x_{d+1}})^m_\mathfrak{p} =  (\widetilde{x_{d+1}})^m_\mathfrak{p}$, hence $\mathcal{D}_\mathfrak{p} =\widetilde{\mathcal{K}}^{(m)}_\mathfrak{p}=\mathcal{R}(J)_\mathfrak{p} = \widetilde{\mathcal{A}}_\mathfrak{p}$.
\end{proof}

Recall that, as a consequence of \Cref{IndexOfSat}, the ideal $\mathcal{A}$ is a saturation that can be written as $\mathcal{A} =\mathscr{L}:(x_1,\ldots,x_{d+1})^\infty = \mathscr{L}:(x_1,\ldots,x_{d+1})^m$. We end this section by showing that $m$ is the smallest integer for which this second equality holds, i.e. the index of saturation of $\mathcal{A}$.

\begin{proposition}\label{nissmallest}
With the assumptions of \Cref{setting1}, $m$ is the smallest integer such that $\mathcal{A}=\mathscr{L}:(x_1,\ldots,x_{d+1})^m$.
\end{proposition}

\begin{proof}
Suppose, for a contradiction, that there is some positive integer $i<m$ such that $\mathcal{A}=\mathscr{L}:(x_1,\ldots,x_{d+1})^i$. In $\mathcal{R}(J)$, we then have $\widetilde{\mathcal{A}}=\widetilde{\mathscr{L}}:(\widetilde{x_1,\ldots,x_{d+1}})^i$. Now localizing at $\mathfrak{p}=(\widetilde{x_1,\ldots,x_{d+1}})$ and noting that $\widetilde{\mathcal{A}}_\mathfrak{p} = \mathcal{R}(J)_\mathfrak{p}$, as we had seen in the proof of \Cref{DandA}, we have $\mathcal{R}(J)_\mathfrak{p}=(\widetilde{f})_\mathfrak{p}:(\widetilde{x_1,\ldots,x_{d+1}})_\mathfrak{p}^i$, hence $(\widetilde{x_1,\ldots,x_{d+1}})^i_\mathfrak{p} \subseteq (\widetilde{f})_\mathfrak{p}$. As $f$ has degree $m>i$ in $S$, we have $f\in (x_1,\ldots,x_{d+1})^i$, hence $(\widetilde{f})_\mathfrak{p}= (\widetilde{x_1,\ldots,x_{d+1}})^i_\mathfrak{p}$. However, $(\widetilde{f})_\mathfrak{p}= (\widetilde{x_1,\ldots,x_{d+1}})^m_\mathfrak{p}$ as well, which we had seen in the proof of \Cref{DandA}. Thus we have $(\widetilde{x_1,\ldots,x_{d+1}})^i_\mathfrak{p} = (\widetilde{x_1,\ldots,x_{d+1}})^m_\mathfrak{p}$ in $\mathcal{R}(J)_\mathfrak{p}$. Now contracting back to $\mathcal{R}(J)$ and noting that the powers and symbolic powers of this ideal agree by \Cref{colons}, we have
$$ (\widetilde{x_1,\ldots,x_{d+1}})^i= (\widetilde{x_1,\ldots,x_{d+1}})^{(i)} = (\widetilde{x_1,\ldots,x_{d+1}})^{(m)} =(\widetilde{x_1,\ldots,x_{d+1}})^m$$
which is impossible.
\end{proof}

\section{gcd-iterations}\label{iterationssec}

In this section we present a recursive algorithm which produces equations in $\mathcal{A}$. This algorithm is an adaptation of the method of \textit{modified Jacobian dual iterations} used in \cite{Weaver} and is similar to the methods used in \cite{CHW} and \cite{BM}. This process consists of matrix constructions analogous to a modified Jacobian dual. We begin this section by studying how the maximal minors of such matrices factor, in a manner similar to the proof of \Cref{JDminors}.

\begin{proposition}\label{gcds}
With the assumptions of \Cref{setting1} and $C$ any column with $d+1$ entries in $S[T_1,\ldots,T_{d+1}]$, consider the $(d+1) \times (d+2)$ matrix $\mathfrak{B}=[B(\psi)\,|\,C]$ and let $\mathfrak{B}_j$ denote the submatrix obtained by deleting the $j^{\text{th}}$ column of $\mathfrak{B}$. There exists a polynomial $\mathfrak{g} \in S[T_1,\ldots, T_{d+1}]$ such that for all $1\leq j \leq d+1$, one has $\operatorname{det} \mathfrak{B}_j = (-1)^{j+1} T_j \cdot \mathfrak{g}$. In particular, $\mathfrak{g}$ is the greatest common divisor of the maximal minors of $\mathfrak{B}$.
\end{proposition}

\begin{proof}
We modify the proof of \Cref{JDminors}. Letting $\underline{x} = x_1,\ldots,x_{d+1}$ and $\underline{T} = T_1,\ldots,T_{d+1}$, notice that
$$[\,\underline{x}\,] \cdot B(\psi) \cdot [\,\underline{T}\,]^t = [\,\underline{T}\,] \cdot \psi \cdot [\,\underline{T}\,]^t =0 $$
as $\psi$ is an alternating matrix. As $B(\psi)$ consists of entries in $k[T_1,\ldots,T_{d+1}]$, it follows that $B(\psi) \cdot [\,\underline{T}\,]^t =0$. Let $[\,\underline{T}\,|\,0\,]$ denote the row vector $[T_1 \ldots T_{d+1}\, 0]$ and notice that $\mathfrak{B}\cdot [\,\underline{T}\,|\,0\,]^t =0$. Now applying \cref{crlemma} to $[\,\underline{T}\,|\,0\,]$ and the transpose of $\mathfrak{B}$, we see that
$$T_i \cdot (\operatorname{det} \mathfrak{B}_j) = (-1)^{i-j} \,T_j \cdot (\operatorname{det} \mathfrak{B}_i)$$
in $S[T_1,\ldots,T_{d+1}]$ for all $1\leq i,j\leq d+1$, and the claim follows.
\end{proof}

\begin{remark}\label{detBpsizero}
Notice that $\mathfrak{B}$ has $d+2$ columns, yet we purposely omit the index $j=d+2$ in \Cref{gcds}. Applying \Cref{crlemma} in the proof above at this index shows only that $\operatorname{det} B(\psi)=0$. However, this can already be seen using Cramer's rule as $B(\psi) \cdot [\,\underline{T}\,]^t =0$, or by noting that $J$ is of linear type by \Cref{Jlineartype}.
\end{remark}

With \Cref{gcds}, we may now introduce the method of gcd-iterations. Once again, we adopt the bigrading on $S[T_1,\ldots,T_{d+1}]$ given by $\deg x_i = (1,0)$ and $\deg T_i = (0,1)$ throughout this section.

\begin{algorithm}\label{gcdit}
We recursively define pairs consisting of a matrix and an ideal. Set $\BB_1= B$ and $\mathcal{L}_1 =\mathscr{L}$ for $B$ a modified Jacobian dual and $\mathscr{L}$ as in \Cref{notation1}. Assume that $2\leq i\leq m$ and the following pairs $(\BB_1,\mathcal{L}_1), \ldots, (\BB_{i-1},\mathcal{L}_{i-1})$ have been constructed inductively. To construct the $i^{\text{th}}$ pair $(\BB_i,\mathcal{L}_i)$, let $g_{i-1} = \mathop{\rm gcd} I_{d+1}(\BB_{i-1})$ and set
 $$ \mathcal{L}_i = \mathcal{L}_{i-1} + (g_{i-1}),\quad \quad \BB_i =[B(\psi)\,\vert\,\partial g_{i-1}]$$
 where $\partial g_{i-1}$ is a column consisting of bihomogeneous entries with constant bidegree such that
$$g_{i-1} = [x_1\ldots x_{d+1}]\cdot \partial g_{i-1}$$
as in \Cref{delnotation}. We refer to the pair $(\BB_{i},\mathcal{L}_{i})$ as the $i^{\text{th}}$ \textit{gcd-iteration} of $(B,\mathscr{L})$.
\end{algorithm}

Notice that these matrices resemble a modified Jacobian dual, hence it is understood how these greatest common divisors arise by \Cref{gcds}. Recall from \Cref{delnotation} that, as a convention, if $g_{i-1}=0$ then $\partial g_{i-1}$ consists of zeros. Thus the next equation $g_i$, and every other proceeding equation, vanishes as well. Eventually it will be shown that these equations are nonzero, but for now we retain this possibility.

 \begin{proposition}\label{deggcdprop}
In the setting of \Cref{gcdit}, if $\mathop{\rm gcd} I_{d+1}(\BB_i) \neq 0$ for some $1\leq i\leq m$, then it has bidegree $\deg (\mathop{\rm gcd} I_{d+1}(\BB_i)) = (m-i,i(d-1))$.
\end{proposition}

\begin{proof}
As these equations are defined recursively, we proceed by induction. In the case $i=1$, notice that $\BB_1 = [B(\psi)\,\vert\,\partial f]$, a modified Jacobian dual matrix. Noting that $B(\psi)$ consists of linear entries in $k[T_1,\ldots,T_{d+1}]$ and $\partial f$ consists of entries in $S[T_1,\ldots, T_{d+1}]$ of bidegree $(m-1,0)$, the initial claim follows from \Cref{gcds}. Now suppose that $i\geq 2$ and $\deg (\mathop{\rm gcd} I_{d+1}(\BB_j)) = (m-j,j(d-1))$ for all $1\leq j \leq i-1$, if these equations are nonzero.

Notice that if $g_i=\mathop{\rm gcd} I_{d+1}(\BB_i)$ is nonzero, then $g_{i-1} = \mathop{\rm gcd} I_{d+1}(\BB_{i-1})$ is nonzero as well, hence $\deg g_{i-1} = (m-i+1,(i-1)(d-1))$ by the induction hypothesis. Thus the entries of $\partial g_{i-1}$ are bihomogeneous with bidegree $(m-i,(i-1)(d-1))$. Again noting that the entries of $B(\psi)$ are of bidegree $(0,1)$,  it follows from \Cref{gcds} that $\deg (\mathop{\rm gcd} I_{d+1}(\BB_i)) = (m-i,i(d-1))$.
\end{proof}

Notice that the method of gcd-iterations terminates after $m$ steps in \Cref{gcdit}. If $g_m=\mathop{\rm gcd} I_{d+1}(\BB_m)$ is nonzero, then it must have bidegree $(0,m(d-1))$ following \Cref{deggcdprop}. Thus there is no column corresponding to $g_m$, as in \Cref{delnotation}, and so the process must terminate. If $g_m=0$, the process could continue, however every subsequent equation is zero as well. Thus the same ideal is achieved by the $m^{\text{th}}$ step regardless.

Following \Cref{delnotation}, the matrices in \Cref{gcdit} are not unique as there are often multiple choices for the last column. Regardless, we claim that the ideals produced by this algorithm are well-defined. First however, we provide a short lemma which will be used frequently.

\begin{lemma}[{\cite[4.4]{BM}}]\label{WD}
Let $R$ be a ring and $\underline{a}=a_1,\ldots,a_r$ an $R$-regular sequence. If $B$ and $B'$ are two matrices with $r$ rows satisfying $(\underline{a}\cdot B) = (\underline{a}\cdot B')$, then $(\underline{a}\cdot B) +I_r(B) = (\underline{a}\cdot B') +I_r(B')$.
\end{lemma}

With this, we now show that the ideals obtained from \Cref{gcdit} are well-defined.

\begin{proposition}\label{gcdwd}
The ideals $\mathcal{L}_i$ and  $\mathcal{L}_i+(\mathop{\rm gcd} I_{d+1}(\BB_i))$ are well-defined for $1\leq i \leq m$.
\end{proposition}

\begin{proof}
We proceed by induction. For $i=1$, note that $\mathcal{L}_1 = \mathscr{L}$ is certainly well-defined as it is the ideal defining $\mathop{\rm Sym}(I)$, as a quotient of $S[T_1,\ldots,T_{d+1}]$. Now suppose that $B$ and $B'$ are two candidates for $\BB_1$. In other words, $B$ and $B'$ are two modified Jacobian dual matrices. Write $B = [B(\psi)\,|\,C]$ and $B' = [B(\psi)\,|\,C']$ where $C$ and $C'$ are columns with $[\,\underline{x}\,]\cdot C = f= [\,\underline{x}\,]\cdot C'$, as in \Cref{delnotation} and \Cref{mjddefn}, where $\underline{x} = x_1,\ldots,x_{d+1}$. By \Cref{gcds}, there exist polynomials $g$ and $g'$ in $S[T_1,\ldots,T_{d+1}]$ such that $\operatorname{det} B_j= (-1)^{j+1}T_j g$ and $\operatorname{det} B_j'= (-1)^{j+1}T_j g'$. Here $B_j$ and $B_j'$ denote the submatrices of $B$ and $B'$, respectively,  obtained by deleting the $j^{\text{th}}$ column, for $1\leq j\leq d+1$. We must show that $\mathscr{L}+(g) = \mathscr{L}+(g')$ to complete the initial step. There is nothing to be shown if both $g$ and $g'$ are zero, hence we may assume that $g\neq 0$, without loss of generality.

Deleting the first columns of $B$ and $B'$, by \Cref{WD} we have $(\ell_2,\ldots,\ell_{d+1},f) + \operatorname{det}(B_1) = (\ell_2,\ldots,\ell_{d+1},f) + \operatorname{det}(B_1')$. Thus from \Cref{gcds}, we have
\begin{equation}\label{g1eqn1}
(\ell_2,\ldots,\ell_{d+1},f) + (gT_1)= (\ell_2,\ldots,\ell_{d+1},f) + (g'T_1).
\end{equation}
With this, we see that $gT_1 \in (\ell_2,\ldots,\ell_{d+1},f) + (g'T_1)$. However, recall that $\deg f = (m,0)$ and $\deg gT_1 = (m-1,d)$  by \Cref{deggcdprop}. Hence it follows that $gT_1 \in (\ell_2,\ldots,\ell_{d+1}) + (g'T_1)$. If $g'\neq 0$, repeating this argument shows that $g'T_1 \in (\ell_2,\ldots,\ell_{d+1}) + (gT_1)$ as well. If $g'=0$, this inclusion clearly still holds. With this, (\ref{g1eqn1}) can be refined as
\begin{equation}\label{g1eqn2}
(\ell_2,\ldots,\ell_{d+1}) + (gT_1)= (\ell_2,\ldots,\ell_{d+1}) + (g'T_1).
\end{equation}
Hence we have
\begin{equation}\label{g1eqn3}
(\ell_1,\ldots,\ell_{d+1}) + (gT_1)= (\ell_1,\ldots,\ell_{d+1}) + (g'T_1).
\end{equation}

Recall that $\mathcal{H} =(\ell_1,\ldots,\ell_{d+1})$, as in \Cref{notation2}, is a prime ideal by \Cref{PropertiesOfA}. Since $T_1 \notin \mathcal{H}$, it follows that $(\ell_1,\ldots,\ell_{d+1})+(g) = (\ell_1,\ldots,\ell_{d+1})+(g')$, hence $\mathscr{L}+(g) = \mathscr{L}+(g')$ as required.

We are finished if $m=1$, so assume that $m\geq 2$. For the inductive step, assume that both $\mathcal{L}_j$ and $\mathcal{L}_j+(\mathop{\rm gcd} I_{d+1}(\BB_j))$ are well-defined for all $1\leq j\leq i-1 $ for some $i\leq m$. Prior to the $i^{\text{th}}$ step in \Cref{gcdit}, suppose that $B_{i-1}$ and $B_{i-1}'$ are two gcd-iteration matrices. From the induction hypothesis, we have $\mathcal{L}_{i-1}+(\mathop{\rm gcd} I_{d+1}(B_{i-1})) = \mathcal{L}_{i-1}+(\mathop{\rm gcd} I_{d+1}(B_{i-1}'))$, which shows that $\mathcal{L}_{i}$ is well-defined. In the $i^{\text{th}}$ iteration, suppose that $B_i$ and $B_i'$ are two candidates for $\BB_i$. Setting $g_{i-1}=\mathop{\rm gcd} I_{d+1}(B_{i-1})$ and $g_{i-1}'=\mathop{\rm gcd} I_{d+1}(B_{i-1}')$, we may write $B_i = [B(\psi)\,\vert\,\partial g_{i-1}]$ and $B_i' = [B(\psi)\,\vert\,\partial g_{i-1}']$, where $\partial g_{i-1}$ and $\partial g_{i-1}'$ are two columns as in \Cref{delnotation}. Writing $g_i =  \mathop{\rm gcd} I_{d+1}(B_i)$ and $g_i' =  \mathop{\rm gcd} I_{d+1}(B_i')$, we must show that $\mathcal{L}_i +(g_i) = \mathcal{L}_i+(g_i')$. As before, there is nothing to be shown if both $g_i$ and $g_i'$ are zero, hence we may assume that $g_i \neq 0$, without loss of generality.

Notice that as $g_i \neq 0$, we have $g_{i-1}\neq 0$ as well. With this we claim that $(\ell_1,\ldots,\ell_{d+1}) + (g_{i-1}) = (\ell_1,\ldots,\ell_{d+1}) + (g_{i-1}')$. We had already seen this for $i=2$ in the proof of the initial case. If $i\geq 3$, notice that the equality $\mathcal{L}_{i-1}+(g_{i-1}) = \mathcal{L}_{i-1}+(g_{i-1}')$ from the induction hypothesis shows that
\begin{equation}\label{giminus1eqn1}
    g_{i-1} \in \mathcal{L}_{i-1}+(g_{i-1}') = (\ell_1,\ldots,\ell_{d+1}) +(f,g_1,\ldots,g_{i-2}) + (g_{i-1}'),
\end{equation}
where $g_1,\ldots,g_{i-2}$ are previous equations, following \Cref{gcdit}.

Since $\mathcal{L}_{i-1}$ is well-defined and $g_{i-1}$ is nonzero, it follows that $g_1,\ldots,g_{i-2}$ are nonzero as well. Thus $f,g_1,\ldots,g_{i-2}$ each have bidegree with first component at least $m-i+2$, following \Cref{deggcdprop}. Moreover, we also have $\deg g_{i-1} = (m-i+1, (i-1)(d-1))$ by \Cref{deggcdprop}. By degree considerations, it then follows that (\ref{giminus1eqn1}) can be refined as
\begin{equation}\label{giminus1eqn2}
    g_{i-1} \in  (\ell_1,\ldots,\ell_{d+1}) + (g_{i-1}').
\end{equation}
A similar argument shows that $g_{i-1}' \in  (\ell_1,\ldots,\ell_{d+1}) + (g_{i-1})$ if $g_{i-1}' \neq 0$ and if $g_{i-1}' =0$, this clearly holds. Thus $(\ell_1,\ldots,\ell_{d+1}) + (g_{i-1}) = (\ell_1,\ldots,\ell_{d+1}) + (g_{i-1}')$ as claimed.

With the equality above, we may write $g_{i-1} = u\cdot g_{i-1}'+y$ for bihomogeneous elements $u\in S[T_1,\ldots,T_{d+1}]$ and $y\in (\ell_1,\ldots,\ell_{d+1})$. If $g_{i-1}' \neq 0$, by \Cref{deggcdprop} and degree considerations it follows that $u$ must be a unit. If $g_{i-1}' =0$, we may clearly assume that $u$ is a unit. With this, the column $\partial g_{i-1}$ can be rewritten as $\partial g_{i-1} = u\cdot \partial g_{i-1}' + \partial y$, where $\partial y = \partial g_{i-1} - u\cdot  \partial g_{i-1}'$. Thus the equality
$$(\ell_2,\ldots,\ell_{d+1}, g_{i-1}) = (\ell_2,\ldots,\ell_{d+1},u\cdot g_{i-1}'+y)$$
and \Cref{WD} show that
$$(\ell_2,\ldots,\ell_{d+1}, g_{i-1}) + \operatorname{det} (B_i)_1 = (\ell_2,\ldots,\ell_{d+1},u\cdot g_{i-1}'+y) + \operatorname{det} [B(\psi)\,|\,u\cdot \partial g_{i-1}' + \partial y]_1.$$

By \Cref{gcds} and multilinearity of determinants, we then have
\begin{equation}\label{gieqn1}(\ell_2,\ldots,\ell_{d+1}, g_{i-1}) + (g_iT_1) = (\ell_2,\ldots,\ell_{d+1},u g_{i-1}'+y) + (u g_i'T_1 + y'T_1),
\end{equation}
where $y' = \mathop{\rm gcd} I_{d+1}([B(\psi)\,|\,\partial y])$, following \Cref{gcds}. However, recall that $y\in (\ell_1,\ldots,\ell_{d+1})$, hence $y'T_1= \operatorname{det} [B(\psi)\,|\, \partial y]_1 \in (\ell_1,\ldots,\ell_{d+1})$, by \Cref{WD} and \Cref{detBpsizero}. From (\ref{gieqn1}) we then obtain
\begin{equation}\label{gieqn2}(\ell_1,\ldots,\ell_{d+1}, g_{i-1}) + (g_iT_1) = (\ell_1,\ldots,\ell_{d+1},g_{i-1}') + (g_i'T_1),
\end{equation}
noting that $u$ is a unit.

With (\ref{gieqn2}) above, we have $g_i T_1 \in (\ell_1,\ldots,\ell_{d+1},g_{i-1}') + (g_i'T_1)$. If $g_{i-1}'\neq 0$, then it has bidegree $(m-i+1,(i-1)(d-1))$, hence $g_i T_1 \in (\ell_1,\ldots,\ell_{d+1}) + (g_i'T_1)$ as $\deg g_i = (m-i,i(d-1))$, using \Cref{deggcdprop}. If $g_{i-1}' = 0$, then $g_i'=0$, hence (\ref{gieqn2}) shows that $g_i T_1 \in (\ell_1,\ldots,\ell_{d+1}) + (g_i'T_1)$ in this case as well. A similar argument shows that $g_i' T_1 \in (\ell_1,\ldots,\ell_{d+1}) + (g_iT_1)$. Thus we obtain
\begin{equation}\label{gieqn3}(\ell_1,\ldots,\ell_{d+1}) + (g_iT_1) = (\ell_1,\ldots,\ell_{d+1}) + (g_i'T_1).
\end{equation}
Again noting that $\mathcal{H} = (\ell_1,\ldots,\ell_{d+1})$ is a prime ideal and $T_1\notin \mathcal{H}$, it follows that $(\ell_1,\ldots,\ell_{d+1}) + (g_i) = (\ell_1,\ldots,\ell_{d+1}) + (g_i')$. Hence $\mathcal{L}_i+(g_i) = \mathcal{L}_i +(g_i')$, as $(\ell_1,\ldots,\ell_{d+1}) \subset \mathcal{L}_i$.
\end{proof}

\begin{proposition}\label{gcdsinA}
There is a containment of ideals, $\mathcal{L}_m+(\mathop{\rm gcd} I_{d+1}(\BB_m)) \subseteq \mathcal{A}$.
\end{proposition}

\begin{proof}
We show that $\mathcal{L}_i+\mathop{\rm gcd} I_{d+1}(\BB_i) \subseteq \mathcal{A}$ for $1\leq i\leq m$, inductively. For $i=1$, we clearly have $\mathcal{L}_1 = \mathscr{L} \subset \mathcal{A}$. By Cramer's rule, we have $I_{d+1} (\BB_1) = I_{d+1}(B) \subseteq \mathscr{L}:(x_1,\ldots,x_{d+1})\subseteq \mathcal{A}$. Writing $g_1= \mathop{\rm gcd} I_{d+1}(B)$, by \Cref{gcds} we have $(g_1)(T_1,\ldots,T_{d+1}) =I_{d+1}(\BB_1) \subseteq \mathcal{A}$. Modulo $\mathcal{A}$, the image of $(T_1,\ldots,T_{d+1})$ in $\mathcal{R}(I)$ is an ideal of positive grade, which is annihilated by the image of $g_1$. Thus $g_1 \in \mathcal{A}$ and so $\mathcal{L}_1+(\mathop{\rm gcd} I_{d+1}(\BB_1)) \subseteq \mathcal{A}$, which completes the initial step.

If $m=1$, we are finished, so assume that $m\geq 2$ and $\mathcal{L}_j+ (\mathop{\rm gcd} I_{d+1}(\BB_j)) \subseteq \mathcal{A}$ for all $1\leq j\leq i-1$ for some $i \leq m$. By \Cref{gcdit} and the induction hypothesis, we have $\mathcal{L}_i = \mathcal{L}_{i-1} + (\mathop{\rm gcd} I_{d+1}(\BB_{i-1})) \subseteq \mathcal{A}$. Hence we must show that $\mathop{\rm gcd} I_{d+1}(\BB_i)\in \mathcal{A}$. Writing $g_{i-1} = \mathop{\rm gcd} I_{d+1}(\BB_{i-1})$, by Cramer's rule we see that
$$I_{d+1} (\BB_i) \subseteq (\ell_1,\ldots,\ell_{d+1},g_{i-1}):(x_1,\ldots,x_{d+1}) \subseteq \mathcal{A} : (x_1,\ldots,x_{d+1}) = \mathcal{A}$$
as $\mathcal{A} = \mathscr{L}:(x_1,\ldots,x_{d+1})^\infty$. Using \Cref{gcds} once more, we see that $(g_i)(T_1,\ldots,T_{d+1}) =I_{d+1}(\BB_i) \subseteq \mathcal{A}$, where $g_i = \mathop{\rm gcd} I_{d+1}(\BB_i)$. Thus $g_i\in \mathcal{A}$ as the image of $g_i$ in $\mathcal{R}(I)$ annihilates an ideal of positive grade, just as before.
\end{proof}

With the containment $\mathcal{L}_m+(\mathop{\rm gcd} I_{d+1}(\BB_m)) \subseteq \mathcal{A}$, we aim to find sufficient criteria to ensure this is an equality. Recall from \Cref{DandA} that $\widetilde{\mathcal{A}}= \frac{\widetilde{f}\,\widetilde{\mathcal{K}}^{(m)}}{\widetilde{x_{d+1}}^m}$. We now provide a similar description of the ideal obtained from \Cref{gcdit}. By \Cref{colons}, we have $(\widetilde{x_1,\ldots,x_{d+1}}) \widetilde{\mathcal{K}} \subseteq (\widetilde{x_{d+1}})$, hence $(\widetilde{x_1,\ldots,x_{d+1}})^i \widetilde{\mathcal{K}}^i \subseteq (\widetilde{x_{d+1}}^i)$. Thus we may consider the $\mathcal{R}(J)$-ideal $\frac{\widetilde{f} \,\widetilde{\mathcal{K}}^i}{\widetilde{x_{d+1}}^i}$ for any $1\leq i\leq m$.

\begin{theorem}\label{equal}
With the assumptions of \Cref{setting1} and $\mathcal{K}$ as in \Cref{notation2}, one has $\frac{\widetilde{f} \,\widetilde{\mathcal{K}}^m}{\widetilde{x_{d+1}}^m} = ({ \mathcal{L}_{m}+(\mathop{\rm gcd} I_{d+1}(\BB_m))})^{\sim}$ in $\mathcal{R}(J)$.
\end{theorem}

\begin{proof}
We proceed in a manner similar to the proof of \cite[4.7]{BM}. Letting $D_i = \frac{\widetilde{f} \,\widetilde{\mathcal{K}}^i}{\widetilde{x_{d+1}}^i}$ and  $D_i' =( \mathcal{L}_{i}+(\mathop{\rm gcd} I_{d+1}(\BB_i)))^\sim$, it is clear that $D_i \subseteq D_{i+1}$ and $D_i' \subseteq D_{i+1}'$ for any $1\leq i\leq m-1$. We show that $D_i = D_i'$ for all $1\leq i\leq m$ by induction.

Suppose that $i=1$. We first show that $D_1\subseteq D_1' =(\mathscr{L} + (\mathop{\rm gcd} I_{d+1}(B)))^\sim$. As noted in the proof of \Cref{PropertiesOfA}, $\mathcal{K}$ may be written as $\mathcal{K}=(\ell_1',\ldots,\ell_{d+1}') + (\mathop{\rm gcd} I_d(B'))+(x_{d+1})$, where $B'$ is the submatrix obtained by deleting the last row of $B(\psi)$ and $[\ell_1' \ldots \ell_{d+1}'] = [x_1 \ldots x_d] \cdot B'$. Thus modulo $\mathcal{H}$, we see $(\ell_1'\widetilde{,\ldots,}\ell_{d+1}') \subset (\widetilde{x_{d+1}})$ and so $\frac{\widetilde{f} \,(\ell_1'\widetilde{,\ldots,}\ell_{d+1}')}{\widetilde{x_{d+1}}}\subseteq (\widetilde{f}) = \widetilde{\mathscr{L}}$. Let $g' = \mathop{\rm gcd} I_d(B')$ and recall that $B'$ is the Jacobian dual of $\psi'$, an alternating matrix as in \Cref{J'ideal}, hence the minors of $B'$ factor in a similar manner as the minors of $B$, following \Cref{JDminors} and \Cref{gcds}. Let $B_1'$ and $B_1$ denote the submatrices of $B'$ and $B$, respectively, which are obtained by deleting their first columns. By Cramer's rule, in $\mathcal{R}(J)$ we have $\widetilde{\operatorname{det} B_1} \cdot \widetilde{x_{d+1}} =\widetilde{f}\cdot \widetilde{\operatorname{det} B_1'}$. By \Cref{JDminors} we have $\operatorname{det} B_1' = g'\cdot T_1$ and by \Cref{gcds} we have $\operatorname{det} B_1 = g_1\cdot T_1$, where $g_1 = \mathop{\rm gcd} I_{d+1}(B)$. Since $\mathcal{R}(J)$ is a domain, it follows that $\widetilde{g_1} \cdot \widetilde{x_{d+1}} =\widetilde{f}\cdot \widetilde{g'}$. Thus $\frac{\widetilde{f} \widetilde{g'}}{\widetilde{x_{d+1}}}= \widetilde{g_1}$ and so $D_1\subseteq D_1'$.

To show the reverse containment $D_1'\subseteq D_1$, recall $x_{d+1} \in \mathcal{K}$ and so $\widetilde{f} = \frac{\widetilde{f}\widetilde{x_{d+1}}}{\widetilde{x_{d+1}}} \in D_1$. Thus $\widetilde{\mathcal{L}_1} =\widetilde{\mathscr{L}} \subset D_1$ and so it suffices to show that $\widetilde{g_1}\in D_1$, where $g_1= \mathop{\rm gcd} I_{d+1}(B)$ as before. However, from the previous argument above we have $\widetilde{g_1} = \frac{\widetilde{f} \widetilde{g'}}{\widetilde{x_{d+1}}} \in D_1$, and so $D_1'\subseteq D_1$. Thus $D_1' = D_1$, which completes the initial step.

We are finished if $m=1$, so we may assume that $m\geq 2$ and $D_j=D_j'$ for all $1\leq j \leq i-1$ for some $i\leq m$. We begin by showing that $D_i \subseteq D_i'$. Consider $\frac{\widetilde{f} \widetilde{w_1}\cdots \widetilde{w_i}}{\widetilde{x_{d+1}}^i} \in D_i$, for $w_1,\ldots, w_i \in \mathcal{K}$. Writing $\widetilde{w'} = \frac{\widetilde{f} \widetilde{w_1}\cdots \widetilde{w_{i-1}}}{\widetilde{x_{d+1}}^{i-1}}$, notice that $\widetilde{w'} \in D_{i-1} = D_{i-1}' =( \mathcal{L}_{i-1}+(\mathop{\rm gcd} I_{d+1}(\BB_{i-1})))^\sim$ by the induction hypothesis. With this we show that $\frac{\widetilde{f} \widetilde{w_1}\cdots \widetilde{w_i}}{\widetilde{x_{d+1}}^i } = \frac{\widetilde{w'}\widetilde{w_i}}{\widetilde{x_{d+1}}}$ is contained in $D_i'$. If $w' \in \mathcal{L}_{i-1}$, then $\widetilde{w'} \in D'_{i-2}= D_{i-2}$ if $i>2$, and $\widetilde{w'} \in (\widetilde{f})$ if $i=2$. In either case, we have $\frac{\widetilde{w'}\widetilde{w_i}}{\widetilde{x_{d+1}}} \in D_{i-1} = D_{i-1}' \subseteq D_i'$, by the induction hypothesis, and we are finished. Hence we may assume that $w' \in (g_{i-1})$, where $g_{i-1} = \mathop{\rm gcd} I_{d+1}(\BB_{i-1})$, and it is enough to take $w' = g_{i-1}$.

As noted in the proof of \Cref{Kscm}, recall that $\widetilde{\mathcal{K}} = (\widetilde{g'},\widetilde{x_{d+1}})$, where $g'=\mathop{\rm gcd} I_d(B')$. As $\widetilde{w_i}\in \widetilde{\mathcal{K}}$, there are two cases to consider. If $\widetilde{w_i}\in (\widetilde{x_{d+1}})$, then $\frac{\widetilde{w'}\widetilde{w_i}}{\widetilde{x_{d+1}}} \in D_{i-1}' \subseteq D_i'$ and we are finished. Thus we may assume that $w_i \in (g')$ and it is enough to take $w_i =g'$. Let $(\BB_i)_1$ denote the submatrix obtained by deleting the first column of $\BB_i$. By Cramer's rule, in $\mathcal{R}(J)$ we have $\widetilde{x_{d+1}}\cdot \widetilde{\operatorname{det} (\BB_{i})_1} =\widetilde{g_{i-1}}\cdot \widetilde{\operatorname{det} (B')_1}$, where $(B')_1$ is the submatrix of $B'$ obtained by deleting its first column as before. Once again, we have $\operatorname{det} B_1' = g'\cdot T_1$ by \Cref{JDminors} and $\operatorname{det} (\BB_i)_1 = g_i\cdot T_1$ by \Cref{gcds}, where $g_i = \mathop{\rm gcd} I_{d+1} (\BB_i)$. Again noting that $\mathcal{R}(J)$ is a domain, it then follows that $\widetilde{x_{d+1}} \cdot \widetilde{g_i} =\widetilde{g_{i-1}}\cdot \widetilde{g'}$. Thus $\frac{\widetilde{w'}\widetilde{w_i}}{\widetilde{x_{d+1}}} = \frac{\widetilde{g_{i-1}}\cdot \widetilde{g'}}{\widetilde{x_{d+1}}} = \widetilde{g_i} \in D_i'$, which shows that $D_i \subseteq D_i'$.

To show that $D_i' \subseteq D_i$, note that $\widetilde{\mathcal{L}_i} = (\mathcal{L}_{i-1} + (\mathop{\rm gcd} I_{d+1}(\BB_{i-1})))^\sim$ following \Cref{gcdit}. Thus $\widetilde{\mathcal{L}_i} = D_{i-1}' = D_{i-1}\subset D_i$, by the induction hypothesis. Moreover, the previous argument shows that $\widetilde{g_i} = \frac{\widetilde{g_{i-1}}\cdot \widetilde{g'}}{\widetilde{x_{d+1}}}$, where $g_i = \mathop{\rm gcd} I_{d+1}(\BB_i)$, $g_{i-1} = \mathop{\rm gcd} I_{d+1}(\BB_{i-1})$, and $g' = \mathop{\rm gcd} I_d(B')$. Notice that $g_{i-1} \in D_{i-1}' = D_{i-1}$ by the induction hypothesis, and $g' \in \mathcal{K}$. Thus $\widetilde{g_i} = \frac{\widetilde{g_{i-1}}\cdot \widetilde{g'}}{\widetilde{x_{d+1}}} \in D_i$ which shows that $D_i' \subseteq D_i$. Hence $D_i'= D_i$, which completes the induction.
\end{proof}

We end this section by giving a necessary and sufficient condition for when the ideal of gcd-iterations coincides with $\mathcal{A}$.

\begin{corollary}\label{powersym}
With the assumptions of \Cref{setting1}, $\mathcal{A} = \mathcal{L}_m + (\mathop{\rm gcd} I_{d+1}(\BB_m))$ in $S[T_1,\ldots,T_{d+1}]$ if and only if $\widetilde{\mathcal{K}}^m = \widetilde{\mathcal{K}}^{(m)}$ in $\mathcal{R}(J)$.
\end{corollary}

\begin{proof}
Combining \Cref{equal}, \Cref{gcdsinA}, and \Cref{DandA}, we have
$$\frac{\widetilde{f} \,\widetilde{\mathcal{K}}^m}{\widetilde{x_{d+1}}^m} = (\mathcal{L}_m + (\mathop{\rm gcd} I_{d+1}(\BB_m)))^\sim \subseteq \widetilde{\mathcal{A}} = \frac{\widetilde{f} \,\widetilde{\mathcal{K}}^{(m)}}{\widetilde{x_{d+1}}^m}
$$
and the claim follows, noting that $\mathcal{R}(J)$ is a domain.
\end{proof}

\section{The Main Result}\label{defidealsec}

In \Cref{powersym}, a condition was given for when the algorithm of gcd-iterations yields a generating set of $\mathcal{A}$, the ideal defining $\mathcal{R}(I)$ as a quotient of $S[T_1,\ldots,T_{d+1}]$. In this section, we show that this condition is satisfied and moreover, this iterative method produces a \textit{minimal} generating set of $\mathcal{A}$. Additional properties of $\mathcal{R}(I)$ such as Cohen-Macaulayness and Castelnuovo-Mumford regularity are studied as well. We proceed in the same manner as section 5 of \cite{BM} throughout.

\begin{proposition}\label{hgtIdB}
In $S[T_1,\ldots, T_{d+1}]$, one has $\mathop{\rm ht} I_{d}(B(\psi)) \geq 2$.
\end{proposition}

\begin{proof}
Recall that $J$ is of linear type by \Cref{Jlineartype}, hence $\mathop{\rm Sym}(J)\cong \mathcal{R}(J)$. In particular, $\mathop{\rm Sym}(J)$ is a domain of dimension $d+2$, following \Cref{PropertiesOfA}. As $\psi$ consists of linear entries in $S$ and $B(\psi)$ consists of linear entries in $k[T_1,\ldots,T_{d+1}]$, there is an isomorphism of symmetric algebras $\mathop{\rm Sym}(J) \cong \mathop{\rm Sym}_{k[\underline{T}]}(E)$, where $E=\mathop{\rm coker} B(\psi)$. Since $\mathop{\rm Sym}(J)$ is a domain, by \cite[6.8]{HSV2} we have
$$d+2 = \mathop{\rm dim} \mathop{\rm Sym}(J) = \mathop{\rm dim} {\rm Sym}_{k[\underline{T}]}(E) = \mathop{\rm rank} E + \mathop{\rm dim} k[T_1,\ldots,T_{d+1}].$$
Thus $\mathop{\rm rank} E =1$, hence by \cite[6.8]{HSV2} we have $\mathop{\rm ht} I_d(B(\psi)) \geq 2$.
\end{proof}

We now present the main result of this paper.

\begin{theorem}\label{mainresult}
With the assumptions of \Cref{setting1}, we have
$$\mathcal{A} = \mathcal{L}_m + (\mathop{\rm gcd} I_{d+1}(\BB_m)).$$
Moreover, the defining ideal $\mathcal{J}$ of $\mathcal{R}(I)$ satisfies
$$\mathcal{J} =\overline{\mathcal{L}_m + (\mathop{\rm gcd} I_{d+1}(\BB_m))}$$
where $\overline{\,\cdot\,}$ denotes images modulo $(f)$.
\end{theorem}

\begin{proof}
We proceed as in the proof of \cite[5.3]{BM}. By \Cref{powersym}, it suffices to show that $\widetilde{\mathcal{K}}^m = \widetilde{\mathcal{K}}^{(m)}$ in order to conclude that $\mathcal{A} = \mathcal{L}_m + (\mathop{\rm gcd} I_{d+1}(\BB_m))$, from which it follows that $\mathcal{J}=\overline{\mathcal{L}_m + (\mathop{\rm gcd} I_{d+1}(\BB_m))}$. Recall that $\widetilde{\mathcal{K}}$ is a strongly Cohen-Macaulay $\mathcal{R}(J)$-ideal of height one and is generically a complete intersection, by \Cref{PropertiesOfA} and \Cref{Kscm}. Thus by \cite[3.4]{SV}, it is enough to show that
$$\mu(\widetilde{\mathcal{K}}_\mathfrak{p}) \leq \mathop{\rm ht} \mathfrak{p} -1 =1$$
for any prime $\mathcal{R}(J)$-ideal $\mathfrak{p}$ containing $\widetilde{\mathcal{K}}$ with $\mathop{\rm ht} \mathfrak{p} =2$, in order to conclude that $\widetilde{\mathcal{K}}^m = \widetilde{\mathcal{K}}^{(m)}$. Let $\mathfrak{p}$ be such a prime ideal in $\mathcal{R}(J)$ and we consider two cases.

 Recall that $(\widetilde{x_1,\ldots,x_{d+1}})$ is a prime $\mathcal{R}(J)$-ideal with height one by \Cref{PropertiesOfA}. If $\mathfrak{p} \nsupseteq (\widetilde{x_1,\ldots,x_{d+1}})$, repeating the argument within the proof of \Cref{Kscm} shows that $\widetilde{\mathcal{K}}_\mathfrak{p} = (\widetilde{x_{d+1}})_\mathfrak{p}$. Thus the claim is satisfied in this case.

 Now assume that $\mathfrak{p}\supseteq (\widetilde{x_1,\ldots,x_{d+1}})$. Recall that $\mathop{\rm ht} I_d(B(\psi)) \geq 2$ by \Cref{hgtIdB}, and $B(\psi)$ has entries in $k[T_1,\ldots,T_{d+1}]$. Thus the ideal $(x_1,\ldots,x_{d+1})+I_d(B(\psi))$ has height at least $d+3$ in $S[T_1,\ldots,T_{d+1}]$, hence the image of this ideal in $\mathcal{R}(J)$ has height at least $3$. With this, it follows that $\mathfrak{p} \nsupseteq \widetilde{I_d(B(\psi))}$ as $\mathop{\rm ht} \mathfrak{p} =2$. Thus there is some $d\times d$ minor $w$ of $B(\psi)$ with $\widetilde{w}\notin \mathfrak{p}$.

 As $B(\psi)$ is a $(d+1) \times (d+1)$ matrix, this minor $w$ is obtained by deleting row $i$ and column $j$ of $B(\psi)$, for some $1\leq i,j\leq d+1$. Deleting column $j$ of $B(\psi)$ and applying \Cref{crlemma}, we have
 \begin{equation}\label{wequation}
 \widetilde{x_{d+1}} \cdot \widetilde{w} = (-1)^{i-d-1}\widetilde{x_i}\cdot \widetilde{\operatorname{det} (B')_j},
 \end{equation}
 where $(B')_j$ is the submatrix of $B'$ obtained by deleting column $j$. Recall that $B' = B(\psi')$, where $\psi'$ is as in \Cref{J'ideal}. Hence by \Cref{JDminors} we have $\operatorname{det} (B')_j = (-1)^{j+1}T_j \cdot g'$, where $g' =\mathop{\rm gcd} I_d(B')$. Thus (\ref{wequation}) becomes
\begin{equation}\label{wequation2}
\widetilde{x_{d+1}} \cdot \widetilde{w} = (-1)^{i-d+j}\widetilde{x_i}\cdot\widetilde{T_j} \cdot \widetilde{g'}.
\end{equation}
Localizing at $\mathfrak{p}$, $\widetilde{w}$ becomes a unit and (\ref{wequation2}) shows that $(\widetilde{x_{d+1}})_\mathfrak{p} \in (\widetilde{g'})_\mathfrak{p}$. Thus $\widetilde{\mathcal{K}}_\mathfrak{p} = (\widetilde{g'},\widetilde{x_{d+1}})_\mathfrak{p} = (\widetilde{g'})_\mathfrak{p}$, and again the claim is satisfied.
\end{proof}

\begin{corollary}\label{gcdsnotzero}
For all $1\leq i\leq m$, we have $\mathop{\rm gcd} I_{d+1}(\BB_i) \neq 0$. Additionally, $\mathcal{F}(I) \cong k[T_1,\ldots,T_{d+1}]/(\mathfrak{f})$ where $\deg \mathfrak{f} = m(d-1)$.
\end{corollary}

\begin{proof}
Recall from \Cref{gcdit}, if $\mathop{\rm gcd} I_{d+1}(\BB_i) = 0$ for any $1\leq i\leq m$, then $\mathop{\rm gcd} I_{d+1}(\BB_j) =0$ for all $i\leq j\leq m$. Thus it suffices to show that $\mathop{\rm gcd} I_{d+1}(\BB_m) \neq 0$ to verify the first statement. By \Cref{mainresult}, we have $\mathcal{A}=\mathcal{L}_m +(\mathop{\rm gcd} I_{d+1}(\BB_m))$ and we note that $\mathcal{L}_m \subset (x_1,\ldots,x_{d+1})$, which follows from \Cref{gcdit} and \Cref{deggcdprop}. Hence $(x_1,\ldots,x_{d+1}) +\mathcal{A} = (x_1,\ldots,x_{d+1}) + (\mathop{\rm gcd} I_{d+1}(\BB_m))$ and so $\mathop{\rm gcd} I_{d+1}(\BB_m) \notin (x_1,\ldots,x_{d+1})$ since $\mathcal{A} \nsubseteq (x_1,\ldots,x_{d+1})$, as noted in the proof of \Cref{DandA}. In particular, $\mathop{\rm gcd} I_{d+1}(\BB_m)$ is nonzero, as claimed.

Again, noting that $(x_1,\ldots,x_{d+1}) +\mathcal{A} = (x_1,\ldots,x_{d+1}) + (\mathop{\rm gcd} I_{d+1}(\BB_m))$ and $\mathop{\rm gcd} I_{d+1}(\BB_m)\neq 0$, it follows from \Cref{deggcdprop} that $\mathop{\rm gcd} I_{d+1}(\BB_m)$ is of bidegree $(0,m(d-1))$. Hence $\mathop{\rm gcd} I_{d+1}(\BB_m)$ is the only equation of $\mathcal{A}$ contained in $k[T_1,\ldots,T_{d+1}]$, i.e. it is the only fiber equation. Thus modulo $(x_1,\ldots,x_{d+1}) +\mathcal{A}$, we see that $\mathcal{F}(I)$ is indeed a hypersurface ring defined by an equation of degree $m(d-1)$.
\end{proof}

By \Cref{mainresult}, the method of gcd-iterations gives a generating set of $\mathcal{A}$. We now claim this is a minimal generating set. Recall that the \textit{relation type} of $I$ is the maximum degree, with respect to $T_1,\ldots,T_{d+1}$, of a minimal generator of the defining ideal $\mathcal{J}$ of $\mathcal{R}(I)$. It is denoted by ${\rm rt}(I)$.

\begin{proposition}\label{mingens}
In the setting of \Cref{mainresult}, the generating set of $\mathcal{A}= \mathcal{L}_m + (\mathop{\rm gcd} I_{d+1}(\BB_m))$ obtained from \Cref{gcdit} is minimal. In particular, $\mu(\mathcal{A}) = d+m+2$ and $\mu(\mathcal{J}) = d+m+1$. Moreover, the relation type of $I$ is ${\rm rt}(I) =m(d-1)$.
\end{proposition}

\begin{proof}
The generating set of $\mathcal{A}=\mathcal{L}_m + (\mathop{\rm gcd} I_{d+1}(\BB_m))$ obtained from the method of gcd-iterations is $\{\ell_1,\ldots,\ell_{d+1},f,g_1,\ldots,g_m\}$ where $g_i = \mathop{\rm gcd} I_{d+1}(\BB_i)$, for $\BB_i$ a matrix as in \Cref{gcdit}. Recall that $\deg \ell_i = (1,1)$ for $1\leq i\leq d+1$, as $\psi$ consists of linear entries in $S$. Additionally, recall that $\deg f = (m,0)$. Moreover, by \Cref{gcdsnotzero} and \Cref{deggcdprop}, we have $\deg g_i = (m-i,i(d-1))$ for $1\leq i\leq m$. With this, we show that the generating set above is minimal by showing that none of these generators can be expressed in terms of the others.

First, recall that the ideal $\mathcal{H} =(\ell_1,\ldots,\ell_{d+1})$, as in \Cref{notation2}, is the ideal defining $\mathop{\rm Sym}(J)$. As $[\ell_1 \ldots \ell_{d+1}]= [T_1 \ldots T_{d+1}]  \cdot \psi$ and $\psi$ minimally presents $J$, it follows that $\ell_1,\ldots,\ell_{d+1}$ minimally generate $\mathcal{H}$. To see that these are minimal generators of $\mathcal{A}$ as well, suppose not for a contradiction and, without loss of generality, assume $\ell_1$ is a non-minimal generator of $\mathcal{A}$. Thus $\ell_1$ can be written as a combination of the remaining generators $\ell_2,\ldots,\ell_{d+1},f,g_1,\ldots,g_m$.

If $m\geq 2$, by degree considerations in both components of the bigrading, it then follows that $\ell_1$ can be written in terms of $\ell_2,\ldots,\ell_{d+1}$, which is a contradiction as $\ell_1,\ldots,\ell_{d+1}$ minimally generate $\mathcal{H}$. In the case $m=1$, by degree considerations once more, $\ell_1$ can then be expressed in terms of $\ell_2,\ldots,\ell_{d+1},f$. If $\ell_1 \in ( \ell_2,\ldots,\ell_{d+1})$, we achieve the same contradiction, hence it follows that there is some element $b$ of bidegree $(0,1)$ such that $b\cdot f \in \mathcal{H} =(\ell_1,\ldots,\ell_{d+1})$. However, recall from \Cref{PropertiesOfA} that $\mathcal{H}$ is a prime ideal, hence either $b\in \mathcal{H}$ or $f\in \mathcal{H}$, both of which are impossible by degree considerations.

A similar argument shows that $f$ and $g_m$ are minimal generators, as they have bidegrees $(m,0)$ and $(0,m(d-1))$ respectively.
Now suppose that $g_i$ is a non-minimal generator of $\mathcal{A}$ for some $i\leq m-1$, in which case there are higher-order iterations. Writing $g_i$ as a combination of the remaining generators, by degree considerations in both components of the bigrading, it then follows that $g_i\in (\ell_1,\ldots,\ell_{d+1})$. Thus the column $\partial g_i$ in \Cref{gcdit} can be taken as a combination of the columns of $B(\psi)$ by \Cref{gcdwd}. Hence $I_{d+1}(\BB_{i+1}) = I_{d+1}(B(\psi)) = 0$ by \Cref{detBpsizero}, and so $g_{i+1} = 0$ which is a contradiction by \Cref{gcdsnotzero}.

The claim regarding $\mathcal{J}$ then follows as $f$ is a minimal generator of $\mathcal{A}$. Lastly, the relation type of $I$ is seen to be ${\rm rt}(I)=m(d-1)$, as $\deg g_m = (0,m(d-1))$.
\end{proof}

We now provide an example that illustrates the process of gcd-iterations, in order to provide a minimal generating set of $\mathcal{A}$. We remark that it is quite simple to perform this algorithm in a computer algebra system, such as \textit{Macaulay2} \cite{M2}.

\begin{example}
For $k$ an infinite field, let $S= k[x_1,x_2,x_3,x_4,x_5]$, $f=x_5^3$, and $R=S/(f)$. Consider the matrix $\varphi$, with entries in $R$, and its counterpart $\psi$ with entries in $S$:
\[\varphi =\begin{bmatrix}
0&\overline{x_1} & \overline{x_2} & 0 & \overline{x_4} \\[0.5ex]
-\overline{x_1}&0&\overline{x_4}& 0& \overline{x_3} \\[0.5ex]
-\overline{x_2}&-\overline{x_4}&0&\overline{x_1}& \overline{x_5}\\[0.5ex]
0&0&-\overline{x_1}&0&\overline{x_2}\\[0.5ex]
-\overline{x_4}&-\overline{x_3}&-\overline{x_5}&-\overline{x_2}&0
\end{bmatrix}
\hspace{10mm}
\psi =\begin{bmatrix}
0&x_1 & x_2 & 0 & x_4 \\[0.5ex]
-x_1&0&x_4& 0& x_3 \\[0.5ex]
-x_2&-x_4&0&x_1& x_5\\[0.5ex]
0&0&-x_1&0&x_2\\[0.5ex]
-x_4&-x_3&-x_5&-x_2&0
\end{bmatrix}
\]
where $\overline{\,\cdot\,}$ denotes images modulo $(f)$. A simple computation shows that $\mathop{\rm ht} \mathop{\rm Pf}_4(\varphi) \geq 3$, hence $I=\mathop{\rm Pf}_4(\varphi)$ is a perfect Gorenstein $R$-ideal of grade $3$ by \cite[2.1]{BE}. Moreover, $I$ satisfies $G_4$ since $\mathop{\rm ht} I_2(\varphi) = 4$, $\mathop{\rm ht} I_3(\varphi) =3$, and $\mathop{\rm ht} I_4(\varphi) = 3\geq 2$, which can be checked easily. Thus the assumptions of \Cref{mainresult} are met.

The Jacobian dual of $\psi$ which consists of entries in $k[T_1,T_2,T_3,T_4,T_5]$ is
\[
B(\psi) = \begin{bmatrix}
-T_2 & T_1 & -T_4 & T_3 & 0 \\[0.5ex]
-T_3 & 0 & T_1 & -T_5 & T_4\\[0.5ex]
0 & -T_5 & 0 & 0 & T_2\\[0.5ex]
-T_5 & -T_3 & T_2 & 0 & T_1\\[0.5ex]
0 & 0 & - T_5 & 0 & T_3
\end{bmatrix}
\]
hence we may construct the modified Jacobian dual and perform the method of gcd-iterations. For the purposes of notation, let $W=T_1T_3T_5 -T_2T_3^2 -T_2^2T_5 - T_4T_5^2$, which happens to be $W = \mathop{\rm gcd} I_4(B')$, following \Cref{notation2}. Following \Cref{gcdit}, we obtain
\[
\begin{array}{lll}
  \BB_1 =  \begin{bmatrix}
-T_2 & T_1 & -T_4 & T_3 & 0 &0 \\[0.5ex]
-T_3 & 0 & T_1 & -T_5 & T_4 &0\\[0.5ex]
0 & -T_5 & 0 & 0 & T_2 & 0\\[0.5ex]
-T_5 & -T_3 & T_2 & 0 & T_1 &0\\[0.5ex]
0 & 0 & - T_5 & 0 & T_3 &x_5^2
\end{bmatrix} & \quad & g_1 = \mathop{\rm gcd} I_5(\BB_1)= x_5^2 W\\
\, \\
\BB_2 =  \begin{bmatrix}
-T_2 & T_1 & -T_4 & T_3 & 0 &0 \\[0.5ex]
-T_3 & 0 & T_1 & -T_5 & T_4 &0\\[0.5ex]
0 & -T_5 & 0 & 0 & T_2 & 0\\[0.5ex]
-T_5 & -T_3 & T_2 & 0 & T_1 &0\\[0.5ex]
0 & 0 & - T_5 & 0 & T_3 &x_5 W
\end{bmatrix} & \quad & g_2 = \mathop{\rm gcd} I_5(\BB_2)= x_5 W^2\\
\, \\
\BB_3 =  \begin{bmatrix}
-T_2 & T_1 & -T_4 & T_3 & 0 &0 \\[0.5ex]
-T_3 & 0 & T_1 & -T_5 & T_4 &0\\[0.5ex]
0 & -T_5 & 0 & 0 & T_2 & 0\\[0.5ex]
-T_5 & -T_3 & T_2 & 0 & T_1 &0\\[0.5ex]
0 & 0 & - T_5 & 0 & T_3 & W^2
\end{bmatrix} & \quad & g_3 = \mathop{\rm gcd} I_5(\BB_2)= W^3,
\end{array}
\]
where the greatest common divisors of the minors occur as in \Cref{gcds}.

By \Cref{mainresult}, we have $\mathcal{A}= \mathscr{L} + (g_1,g_2,g_3)$ and the defining ideal of $\mathcal{R}(I)$ is $\mathcal{J} = \overline{\mathscr{L} + (g_1,g_2,g_3)}$. Notice that $\mathcal{A}$ and $\mathcal{J}$ are not prime ideals, which is to be expected as $R$, and hence $\mathcal{R}(I)$, is not a domain.
\end{example}

\begin{remark}\label{f linear case}
We note that \Cref{mainresult} recovers \Cref{Moreyresult} when $m=1$. After a change of coordinates, it can be assumed that the factored equation $f$ is one of the indeterminates, say $f=x_{d+1}$. Thus $R\cong k[x_1,\ldots,x_d] =S'$ and so $I$ and $J'$ are the same ideal with $\varphi = \psi'$, following the notation in \Cref{J'ideal}. Recall that the submatrix $B'$ of $B(\psi)$, as in \Cref{notation2}, is the Jacobian dual $B'=B(\psi')$, with respect to $x_1,\ldots,x_d$. Moreover, the modified Jacobian dual $B=[B(\psi)\,|\,\partial f]$ is unique in this case and the column $\partial f$ consists of all zeros except for a 1 in the last entry. Thus the greatest common divisor of the minors of $B$, the first and only gcd-iteration, is exactly the greatest common divisor of the minors of $B' = B(\psi')$.
\end{remark}

\subsection{Depth and Cohen-Macaulayness}\label{depthsec}

In the setting of \Cref{mainresult}, we now study the Cohen-Macaulay property of the Rees ring $\mathcal{R}(I)$, using the isomorphism $\mathcal{R}(I) \cong S[T_1,\ldots,T_{d+1}]/\mathcal{A}$. We continue to follow section 5 of \cite{BM} and begin by creating a handful of short exact sequences which will be useful not only to study the depth of $\mathcal{R}(I)$, but also its regularity with respect to various gradings.

Let $\mathfrak{m} =(x_1,\ldots,x_{d+1})$ and recall that $\widetilde{\mathcal{K}} = (\widetilde{g'},\widetilde{x_{d+1}})$, where $g'= \mathop{\rm gcd} I_d(B')$. Additionally, recall that $\widetilde{\mathcal{K}}$ is a strongly Cohen-Macaulay ideal by \Cref{Kscm} and $\mathfrak{m} \mathcal{R}(J) = (\widetilde{x_{d+1}}):\widetilde{\mathcal{K}}$ by \Cref{colons}. Thus there is a short exact sequence of bigraded $\mathcal{R}(J)$-modules
\[
0\longrightarrow \mathfrak{m} \mathcal{R}(J) (0,-(d-1)) \longrightarrow \mathcal{R}(J)(-1,0)\oplus \mathcal{R}(J)(0,-(d-1))\longrightarrow \widetilde{\mathcal{K}} \longrightarrow 0.
\]

Consider the induced sequence obtained by applying the functor $\mathop{\rm Sym}(-)$ to the sequence above. Taking the $m^{\text{th}}$ graded strand, we obtain
$$\hspace{10mm}\mathfrak{m} \mathcal{R}(J) (0,-(d-1)) \otimes \text{Sym}_{m-1}\big(\mathcal{R}(J)(-1,0)\oplus \mathcal{R}(J)(0,-(d-1))\big)\overset{\sigma}{\longrightarrow}\hspace{15mm}$$
$$\hspace{20mm}\text{Sym}_{m}\big(\mathcal{R}(J)(-1,0)\oplus \mathcal{R}(J)(0,-(d-1))\big) \longrightarrow \text{Sym}_m(\widetilde{\mathcal{K}}) \longrightarrow 0.$$
Notice that $\ker \sigma$ is torsion due to rank considerations. However, it is a submodule of a torsion-free $\mathcal{R}(J)$-module, hence it must vanish. Thus $\sigma$ is injective and we have the short exact sequence
$$0\longrightarrow \mathfrak{m} \mathcal{R}(J) (0,-(d-1)) \otimes \text{Sym}_{m-1}\big(\mathcal{R}(J)(-1,0)\oplus \mathcal{R}(J)(0,-(d-1))\big)\overset{\sigma}{\longrightarrow}\hspace{15mm}$$
$$\hspace{20mm}\text{Sym}_{m}\big(\mathcal{R}(J)(-1,0)\oplus \mathcal{R}(J)(0,-(d-1))\big) \longrightarrow \text{Sym}_m(\widetilde{\mathcal{K}}) \longrightarrow 0.$$
As $\widetilde{\mathcal{K}} = (\widetilde{g'},\widetilde{x_{d+1}})$, the proof of \Cref{Kscm} shows that $\widetilde{\mathcal{K}}$ satisfies $G_\infty$. As $\widetilde{\mathcal{K}}$ is strongly Cohen-Macaulay, by \cite[2.6]{HSV1} it is an ideal of linear type, hence $\mathop{\rm Sym}_m(\widetilde{\mathcal{K}}) \cong \widetilde{\mathcal{K}}^m$. Thus the short exact sequence above can be read as
\begin{equation}\label{directsumseq}
0\rightarrow \displaystyle{\bigoplus_{i=0}^{m-1}}\,\mathfrak{m} \mathcal{R}(J)\big(-i,-(m-i)(d-1)\big)\rightarrow \displaystyle{\bigoplus_{i=0}^{m}}\, \mathcal{R}(J)\big(-i,-(m-i)(d-1)\big) \rightarrow \widetilde{\mathcal{K}}^m\rightarrow 0.
\end{equation}

We are now ready to compute the depths of $\mathcal{R}(I)$, $\mathcal{F}(I)$, and $\mathcal{G}(I)$. Recall that a Noetherian local ring $A$ is said to be \textit{almost} Cohen-Macaulay if $\mathop{\rm depth} A \geq \mathop{\rm dim} A-1$.

\begin{theorem}\label{depth}
In the setting of \Cref{mainresult},
\begin{enumerate}[(a)]
\setlength\itemsep{1em}
    \item The Rees algebra $\mathcal{R}(I)$ is almost Cohen-Macaulay. Moreover, $\mathcal{R}(I)$ is Cohen-Macaulay if and only if $m=1$.

    \item The associated graded ring $\mathcal{G}(I)$ is almost Cohen-Macaulay. Moreover, $\mathcal{G}(I)$ is Cohen-Macaulay if and only if $m=1$.

    \item The special fiber ring $\mathcal{F}(I)$ is Cohen-Macaulay.
\end{enumerate}
\end{theorem}

\begin{proof}
Consider the short exact sequence
\begin{equation}\label{regseq1}
0 \longrightarrow\mathfrak{m} \mathcal{R}(J) \longrightarrow \mathcal{R}(J) \longrightarrow \mathcal{F}(J)\longrightarrow 0
\end{equation}
and recall that $\mathcal{R}(J)$ is a Cohen-Macaulay domain of dimension $d+2$ by \Cref{PropertiesOfA}. Moreover, recall that $J$ is of linear type by \Cref{Jlineartype}, hence $\mathcal{F}(J) \cong k[T_1,\ldots,T_{d+1}]$. Comparing the depths of the $\mathcal{R}(J)$-modules in (\ref{regseq1}), it follows that $\mathop{\rm depth} \mathfrak{m} \mathcal{R}(J) \geq d+2$ and so $\mathop{\rm depth} \mathfrak{m} \mathcal{R}(J) =d+2$, as this is the maximum possible depth. This together with (\ref{directsumseq}) shows that $\mathop{\rm depth} \widetilde{\mathcal{K}}^m \geq d+1$.

We also have the short exact sequence
\begin{equation}\label{regseq2}
0 \longrightarrow \widetilde{\mathcal{A}} \longrightarrow \mathcal{R}(J) \longrightarrow  \mathcal{R}(I) \longrightarrow 0
\end{equation}
and we note that $\widetilde{\mathcal{A}} = \frac{\widetilde{f}\widetilde{\mathcal{K}}^{(m)}}{\widetilde{x_{d+1}}^n} =\frac{\widetilde{f}\widetilde{\mathcal{K}}^{m}}{\widetilde{x_{d+1}}^n} \cong \widetilde{\mathcal{K}}^m$ by \Cref{DandA}, \Cref{mainresult}, and \Cref{powersym}. Comparing the depths of the modules in (\ref{regseq2}), it follows that $\mathop{\rm depth} \mathcal{R}(I) \geq d$, hence $\mathcal{R}(I)$ is almost Cohen-Macaulay. The Cohen-Macaulayness in the case $m=1$ follows from \Cref{f linear case} and \Cref{Moreyresult}. If $m\geq 2$, then $\mathcal{R}(I)$ is not Cohen-Macaulay by \cite[3.1]{PU}. Thus $\mathop{\rm depth} \mathcal{R}(I) =d$ in this case, which shows part (a).

For the proceeding part, we note that $\mathcal{G}(I)$ is certainly almost Cohen-Macaulay if it is Cohen-Macaulay. In the case that $\mathcal{G}(I)$ is not Cohen-Macaulay, we have $\mathop{\rm depth} \mathcal{G}(I) \geq \mathop{\rm depth} \mathcal{R}(I) -1 \geq d-1$ by \cite[3.12]{HM} and (a). Thus $\mathcal{G}(I)$ is almost Cohen-Macaulay. The last assertion of (b) now follows from (a) and \cite[3.1]{PU}.

The assertion on the Cohen-Macaulayness of $\mathcal{F}(I)$ in (c) is clear since it is a hypersurface ring by \Cref{gcdsnotzero}.
\end{proof}

\subsection{Regularity}

We now consider the the Castelnuovo-Mumford regularity of $\mathcal{R}(I)$ in the the setting of \Cref{mainresult}. We follow all definitions and conventions as given in \cite{Trung}. Once more, we proceed as in section 5 of \cite{BM} and we note that regularity is easily compared along short exact sequences \cite{Eisenbud}.

Again we use the isomorphism $\mathcal{R}(I) \cong S[T_1,\ldots,T_{d+1}]/\mathcal{A}$ and we note that there are multiple gradings on $\mathcal{R}(I)$. We consider its regularity with respect to the gradings represented by the $S[T_1,\ldots,T_{d+1}]$-ideals $\mathfrak{m} = (x_1,\ldots,x_{d+1})$, $\mathfrak{t}=(T_1,\ldots,T_{d+1})$, and $\mathfrak{n}=(x_1,\ldots,x_{d+1},T_1,\ldots,T_{d+1})$. When computing regularity with respect to $\mathfrak{m}$, we set $\deg x_i=1$ and $\deg T_i =0$. Similarly, when computing regularity with respect to $\mathfrak{t}$, we set $\deg x_i=0$ and $\deg T_i =1$. Lastly, when computing regularity with respect to $\mathfrak{n}$, we adopt the total grading and set $\deg x_i=1$ and $\deg T_i =1$.

\begin{theorem}\label{rtandreg}
In the setting of \Cref{mainresult}, we have
\[
\begin{array}{ccc}
     {\rm reg}_\mathfrak{t} \mathcal{R}(I)  = m(d-1)-1, &  {\rm reg}_\mathfrak{m} \mathcal{R}(I)  = m-1, & {\rm reg}_\mathfrak{n} \mathcal{R}(I) \leq (m+1)(d-1)-1.
\end{array}
\]
Additionally, $\mathop{\rm reg} \mathcal{F}(I) = m(d-1)-1$.
\end{theorem}

\begin{proof}
For the regularity of $\mathcal{R}(I)$ with respect to $\mathfrak{t}$, it is well-known that ${\rm rt}(I) -1 \leq \mathop{\rm reg}_\mathfrak{t} \mathcal{R}(I)$ \cite[pp. 2813-2814]{Trung}. Hence $\mathop{\rm reg}_\mathfrak{t} \mathcal{R}(I)  \geq m(d-1)-1$, using \Cref{mingens}. Similarly, it follows that $\mathop{\rm reg}_\mathfrak{m} \mathcal{R}(I) \geq m-1$, by comparing the degrees, with respect to $\mathfrak{m}$, of the minimal generators of $\mathcal{A}$ in \Cref{mingens}. Thus it must be shown that $\mathop{\rm reg}_\mathfrak{t} \mathcal{R}(I) \leq m(d-1)-1$ and $\mathop{\rm reg}_\mathfrak{m} \mathcal{R}(I) \leq m-1$, which we show with the remaining inequality simultaneously. We use the sequences (\ref{regseq1}) and (\ref{regseq2}) once more.

Recall that $J$ is of linear type by \Cref{Jlineartype}, hence $\mathcal{R}(J)\cong \mathop{\rm Sym}(J)$ is a domain defined by $\mathcal{H} = (\ell_1,\ldots,\ell_{d+1})$. Furthermore, recall that $ [\ell_1\ldots\ell_{d+1}]=[T_1\ldots T_{d+1}]\cdot \psi$ and $\psi$ is an alternating matrix. Hence a graded minimal free resolution of $\mathcal{R}(J)$ is known from section 6 of \cite{Kustin}. Moreover, the resolution given in \cite[6.3]{Kustin} is amenable to each of the gradings, from which it follows that
\[
\begin{array}{ccc}
     {\rm reg}_\mathfrak{t} \mathcal{R}(J)  =0, &  {\rm reg}_\mathfrak{m} \mathcal{R}(J)  =0, & {\rm reg}_\mathfrak{n} \mathcal{R}(J) =d-1.
\end{array}
\]
As $J$ is of linear type, its special fiber ring is $\mathcal{F}(J)  \cong k[T_1,\ldots,T_{d+1}]$. Thus
\[
\begin{array}{ccc}
     {\rm reg}_\mathfrak{t} \mathcal{F}(J)  =0, &  {\rm reg}_\mathfrak{m} \mathcal{F}(J)  =0, & {\rm reg}_\mathfrak{n} \mathcal{F}(J) =0.
\end{array}
\]
With this and (\ref{regseq1}), we then have
\[
\begin{array}{ccc}
     {\rm reg}_\mathfrak{t}\, \mathfrak{m} \mathcal{R}(J)  \leq 1, &  {\rm reg}_\mathfrak{m} \,\mathfrak{m} \mathcal{R}(J)  \leq 1, & {\rm reg}_\mathfrak{n}\, \mathfrak{m} \mathcal{R}(J)  =d-1.\\
\end{array}
\]

For convenience, write
\[
\begin{array}{ccc}
    M= \displaystyle{\bigoplus_{i=0}^{m-1}\mathfrak{m} \mathcal{R}(J)\big(-i,-(m-i)(d-1)\big)},  &  N= \displaystyle{\bigoplus_{i=0}^{m} \mathcal{R}(J)\big(-i,-(m-i)(d-1)\big)}   \\
\end{array}
\]
for the modules in (\ref{directsumseq}). With the inequalities above, it follows that
\[
\begin{array}{lcl}
   {\rm reg}_\mathfrak{t} M \leq m(d-1)+1,  &\quad &{\rm reg}_\mathfrak{t} N = m(d-1) \\[1ex]
     {\rm reg}_\mathfrak{m} M \leq m,  & \quad &{\rm reg}_\mathfrak{m} N = m\\[1ex]
     {\rm reg}_\mathfrak{n} M \leq (m+1)(d-1), &\quad  &{\rm reg}_\mathfrak{n} N = (m+1)(d-1).\\
     \end{array}
\]
Now using (\ref{directsumseq}), it then follows that
\[
\begin{array}{ccc}
     {\rm reg}_\mathfrak{t} \widetilde{\mathcal{K}}^m  \leq m(d-1), &  {\rm reg}_\mathfrak{m} \widetilde{\mathcal{K}}^m  \leq m, & {\rm reg}_\mathfrak{n} \widetilde{\mathcal{K}}^m \leq (m+1)(d-1).\\
\end{array}
\]
The inequalities above, the
bigraded isomorphism $\widetilde{\mathcal{A}} \cong \widetilde{\mathcal{K}}^m(0,0)$, and the sequence (\ref{regseq2}) give
\[
\begin{array}{ccc}
     {\rm reg}_\mathfrak{t} \mathcal{R}(I)  \leq m(d-1)-1, &  {\rm reg}_\mathfrak{m} \mathcal{R}(I)  \leq m-1, & {\rm reg}_\mathfrak{n} \mathcal{R}(I) \leq (m+1)(d-1)-1.
\end{array}
\]
as claimed.

The assertion on the regularity of $\mathcal{F}(I)$ is clear as $\mathcal{F}(I)$ is a hypersurface ring defined by an equation of degree $m(d-1)$ in $k[T_1,\ldots,T_{d+1}]$, by \Cref{gcdsnotzero}.
\end{proof}

\section*{Acknowledgements}

The author would like to thank Bernd Ulrich and Claudia Polini for many insightful conversations and discussions on the results presented here. The use of \textit{Macaulay2} \cite{M2} was of great assistance in this project.