Coefficients of normal Hilbert polynomials (Q1194196): Difference between revisions

Let \(A\) be an analytically unramified Cohen-Macaulay local ring with the maximal ideal \(m\) and of dimension \(d\geq 2\) and \(I\) a parameter ideal. Then it is known that there exist uniquely determined integers \(\overline e_ 0(I),\dots,\overline e_ d(I)\) such that \[ \text{length}_ A (A/I^{\overline{n+1}})=\overline e_ 0(I){n+d\choose d}-\overline e_ 1(I){n+d-1\choose d-1}+\cdots+(-1)^ d\overline e_ d(I) \] for all large \(n\). (For an ideal \(J\), \(\overline J\) the integral closure of \(J\).) The purpose of the paper is to study \(\overline e_ 1(I)\), \(\overline e_ 2(I)\) and \(\overline e_ 3(I)\). The main results are as follows: (1) \(\overline e_ 1(I)-\text{length}_ A(\bar I/I)\geq\text{length}_ A(\overline{I^ 2}/I\bar I)\), and equality holds if and only if \(\overline{I^{n+2}}=I^ n\overline{I^ 2}\) for every \(n\geq 0\). (2) \(\overline e_ 2(I)\geq\overline e_ 1(I)-\text{length}_ A(\overline I/I)\), and equality holds if and only if \(\overline{I^{n+2}}=I^ n\overline{I^ 2}\) for every \(n\geq 0\). (3) \((d\geq 3)\quad \overline e_ 3(I)\geq 0\). (4) \((d\geq 3)\) When \(A\) is Gorenstein, \(\overline e_ 3(I)=0\) if and only if \(\overline{I^{n+2}}=I^ n\overline{I^ 2}\) for every \(n\geq 0\) under the assumption \(\bar I=m\). The author conjectures that (4) is true without the assumption \(\bar I=m\). --- For the proofs the author considers the Rees ring \(R(A,I)=A[It,t^{-1}]\) and its integral closure \(R'(A,I)\) in \(A[t,t^{- 1}]\), that is \(R'(A,I)=\sum\overline{I^ n}t^ n\), and shows the following theorem which plays a key role: There exists a system of generators \(x_ 1,\dots,x_ d\) of \(I\) such that, if we put \[ C=A(T_ 1,\dots,T_ d)/(x_ 1T_ 1+\cdots+x_ dT_ d) \] and \(J=IC\), then (1) \(\overline{J^ n}\cap A=\overline{I^ n}\) for every \(n\geq 0\); (2) \(\bar J=\bar IC\); (3) \(\overline{J^ n}=\overline{I^ n}C\cong\overline{I^ n}A(T)/(\sum x_ iT_ i)\overline{I^{n-1}}A(T)\) for all large \(n\); (4) if \(A\) is analytically normal and \(d\geq 3\), \(C\) is normal.