An improved Briançon-Skoda theorem with applications to the Cohen- Macaulayness of Rees algebras (Q1318171): Difference between revisions

We give an improved version of the Briançon-Skoda theorem for regular rings containing a field. If \((R,m)\) is such a ring, \(I\) is an ideal of analytic spread \(\ell\) and bigheight \(h\), and \(J\) is a reduction of \(I\) then we show that \(I^ \ell \subseteq J(I^{\ell-h})^{\text{un}}\) (where \(( )^{\text{un}}\) means: take the intersection of the minimal primary components). The proof uses tight closure in characteristic \(p\) and then standard techniques of reduction to characteristic \(p\) for local rings containing fields of characteristic 0. We then apply this result to study the relationship between the Cohen- Macaulayness of \(R[It]\) and \(\text{Gr}_ I(R)\). In particular we show that if \(R\) is a regular local ring containing a field and \(I\) is an unmixed curve then \(R[It]\) is Cohen-Macaulay if and only if \(\text{Gr}_ I(R)\) is Cohen-Macaulay. In a final section we continue the investigation of 4-generated unmixed ideals of height 2 in a 3-dimensional regular local ring begun by Vasconcelos.