Hilbert polynomials of multigraded filtrations of ideals (Q745169)

Let \((R, \mathfrak m)\) denote a commutative Noetherian local ring of dimension \(d\) such that the residue field \(R/\mathfrak m\) is infinite. Let \(I_1, \dots, I_s\) be \(\mathfrak m\)-primary ideals of \(R\). For an integer \(s\geq1\), we put \(e=(1, \dots, 1),\, {\mathbf 0}=(0, \dots, 0)\in \mathbb{Z}^s\) and for all \(i=1, \dots, s,\) \(e_i=(0, \dots, 1, \dots, 0)\in \mathbb{Z}^s\) where \(1\) occurs at \(i\)th position. For \({\mathbf n}=(n_1, \dots, n_s)\in \mathbb{Z}^s\), we write \({\mathbf I^n}=I_{1}^{n_1}\dots I_s^{n_s}\) and \({\mathbf n}^{+}=(n_1^{+}, \dots, n_s^{+})\) where \(n_i^{+}=n_i\) if \(n_i>0\) and \(0\) otherwise. Also, for \(s\geq2\) and \(a=(a_1, \dots, a_s)\in \mathbb{N}^s\), set \(|a|=a_1+\dots+ a_s\). Finally, we define \[ {\mathbf m}=(m_1, \dots, m_s) \geq {\mathbf n}=(n_1, \dots, n_s) \] if \(m_i\geq n_i\) for all \(i=1, \dots, s\). A set of ideals \(\mathcal{F}=\{\mathcal{F}({\mathbf n})\}_{{\mathbf n}\in {\mathbb{Z}^s}}\) is called a \(\mathbb{Z}^s\)-graded \({\mathbf I}=(I_1, \dots, I_s)\)-\textit{filtration} if for all \({\mathbf m, n}\in \mathbb{Z}^s\); \(\text{(i)}\) \({\mathbf I^n}\subseteq \mathcal{F}({\mathbf n})\), \(\text{(ii)}\) \(\mathcal{F}({\mathbf n})\mathcal{F}({\mathbf m})\subseteq \mathcal{F}({\mathbf n+m})\), and \(\text{(iii)}\) if \({\mathbf m}\geq {\mathbf n}\) then \(\mathcal{F}({\mathbf m})\subseteq \mathcal{F}({\mathbf n})\). Let \(t_1, \dots, t_s\) be indeterminate over \(R\) and \({\mathbf t^n}=t_1^{n_1}\dots t_s^{n_s}\). The \(\mathbb{N}^s\)-graded \textit{Rees ring} of \(\mathcal{F}\) is \(\mathcal{R}(\mathcal{F})=\bigoplus_{{\mathbf n}\in {\mathbb{N}^s}} \mathcal{F}(\mathbf n){\mathbf t^n}\). The \textit{extended Rees ring} of \(\mathcal{F}\) is \(\mathcal{R'}(\mathcal{F})=\bigoplus_{{\mathbf n}\in {\mathbb{Z}^s}} \mathcal{F}(\mathbf n){\mathbf t^n}\). In particular, for \(\mathcal{F}=\{{\mathbf I^n}\}_{{\mathbf n}\in {\mathbb{Z}^s}}\), we set \(\mathcal{R}(\mathcal{F})=\mathcal{R}(\mathbf I)\) and \(\mathcal{R'}(\mathcal{F})=\mathcal{R'}(\mathbf I)\). Also, a \(\mathbb{Z}^s\)-graded \({\mathbf I}=(I_1, \dots, I_s)\)-filtration \(\mathcal{F}=\{\mathcal{F}({\mathbf n})\}_{{\mathbf n}\in \mathbb{Z}^s}\) of ideals in \(R\) is called an \({\mathbf I}=(I_1, \dots, I_s)\)-\textit{admissible filtration} if \(\mathcal{F}({\mathbf n})=\mathcal{F}({\mathbf n^{+}})\) for all \({\mathbf n}\in \mathbb{Z}^s\) and \(\mathcal{R'}(\mathcal{F})\) is a finitely generated \(\mathcal{R'}(\mathbf I)\)-module. An element \(x\in R\) is called \textit{integral} over an ideal \(I\) of \(R\) if it satisfies the equation \[ x^n+c_1x^{n-1}+\dots +c_n=0, \] where \(c_i\in I^i\) for all \(1\leq i \leq n\). The integral closure of \(I\), is denoted by \(\bar{I}\), is the set of all \(x\in R\) which are integral over \(I\). One of the main results of this interesting paper is to treat the filtrations \(\{\mathbf I^n\}_{{\mathbf n} \in \mathbb{Z}^s}\) and \(\{\bar{\mathbf I^n}\}_{{\mathbf n} \in \mathbb{Z}^s}\) in a unified manner using the notion of admissibility. The Ratliff-Rush closure filtration of a \(\mathbb{Z}^s\)-graded filtration \(\mathcal{F}=\{\mathcal{F}({\mathbf n})\}_{{\mathbf n}\in \mathbb{Z}^s}\) is the filtration of ideals \(\widetilde{\mathcal{F}}=\{\widetilde{\mathcal{F}}({\mathbf n})\}_{{\mathbf n}\in \mathbb{Z}^s}\) such that \(\widetilde{\mathcal{F}}({\mathbf n})=\bigcup_{k\geq 1}(\widetilde{\mathcal{F}}({\mathbf n}): \mathcal{F}(e)^k)\) for all \({\mathbf n}\in \mathbb{N}^s\), and \(\widetilde{\mathcal{F}}({\mathbf n})=\widetilde{\mathcal{F}}({\mathbf n^{+}})\) for all \({\mathbf n}\in \mathbb{Z}^s\). The authors studies some nice proporties of Ratliff-Rush closure filtration and computed the local cohomology modules \(H^0_{G_i(\mathcal{F})_{++}}(G_i(\mathcal{F}))\) for all \(1\leq i\leq s\), where \(G_i(\mathcal{F})=\bigoplus_{{\mathbf n}\in {\mathbb{N}^s}} \mathcal{F}(\mathbf n)/\mathcal{F}(\mathbf n+e_i)\) is the associated multigraded ring of \(\mathcal{F}\) with respect to \(\mathcal{F}(e_i)\) for all \(i=1, 2, \dots, s\), and \(G_i(\mathcal{F})_{++}\) denotes the ideals generated by elements of degree at least \(e\) of the ring \(G_i(\mathcal{F})\). Also, they prove an analogue of Grothendieck-Serre formula for \(P_{\mathcal{F}}({\mathbf n})-H_{\mathcal{F}}({\mathbf n})\) in terms of local cohomology modules of extended Rees ring of \(\mathcal{F}\). Finally, the authors studies the Cohen-Macaulay property of the Rees algebra \(\mathcal{R}(\mathcal{F})\) of a \(\mathbb{Z}^2\)-graded \((I, J)\)-admissible filtration \(\mathcal{F}=\{\mathcal{F}({\mathbf n})\}_{{\mathbf n}\in \mathbb{Z}^s}\), where \(I, J\) are \(\mathfrak m\)-primary ideals in a two-dimensional Cohen-Macaulay local ring. The main result in dimension two characterizes the Cohen-Macaulayness of bigraded Rees algebra \(\mathcal{R}(\mathcal{F})\) in terms of Hilbert coefficients, reduction numbers and joint reduction numbers.