A vanishing theorem for finitely supported ideals in regular local rings (Q841552)

Let \((R,m)\) be a regular local ring of dimension \(d\), \(I\subset R\) an ideal and \(f:X\rightarrow \mathrm{Spec} R\) a map that factors as a finite sequence of blowups with smooth centers and is such that \(I{\mathcal O}_X\) is invertible. Let \(E\) be the closed fiber \(f^{-1}\{m\}\). The vanishing conjecture of the author [Math. Res. Lett. 1, No. 6, 739--755 (1994; Zbl 0844.13015)] says that \(H^i_E(I, (I{\mathcal O}_X)^{-1})=0\) for all \(i\not =d\). \textit{S. D. Cutkosky} [Math. Res. Lett. 1, No. 6, 752--755 (1994; Zbl 0844.13015)] proved it when \(d=2\) for \(R\) essentially of finite type over a field of characteristic \(0\). Here it shows that vanishing holds for those ideals that are finitely supported, that is those for which the centers of the blowups are closed points.