On upper bounds for asymptotic \textit{ideal}-grade (Q6972662)

Let \(I\) and \(J\) be ideals in a Noetherian ring \(R\) and let \(x_1, \ldots , x_n\) be nonunits in \(R\). Then \(x_1, \ldots , x_n\) is said to be an asymptotic sequence over \(I\) if \((I, (x_1, \ldots , x_n))R \neq R\) and if for all \(1 \leq i \leq n\), \(x_i\) is not in any associated prime of the integral closure \(\overline{(I_{i-1})^m}\) of \((I_{i-1})^m = (I, (x_1, \dots , x_{i-1}))^mR\), where \(m\in\mathbb{N}\) is very large. Let \(\mathrm{agd}_I (J)\) be the maximum number of elements in \(J\) which form an asymptotic sequence over \(I\). The following inequalities are hold:\N\N\begin{itemize}\N\item[1.] \(\mathrm{agd}_I (J)\leq \mathcal{l}(J)\), where \(\mathcal{l}(J)\) denotes the analytic spread of \(J\)..\N\item[2.] \(\mathrm{agd}_I (J)\leq\mathrm{ht}(I + J) -\mathrm{agd}(I)\), where \(\mathrm{agd}(I)\) is the maximum number of elements in \(I\) which form an asymptotic sequence over \((0)R\).\N\end{itemize}\N\NIn the present paper, the authors give some necessary and sufficient conditions for above inequalities to be equalities. They give several consequences of the equalities too. Finally, if \(R\) is local with maximal ideal \(\mathfrak{m}\), then they reprove a known upper bound for \(\mathrm{agd}_I (\mathfrak{m})\).