Expected Resurgence of Ideals Defining Gorenstein Rings

Abstract

Building on previous work by the same authors, we show that certain ideals defining Gorenstein rings have expected resurgence and thus satisfy the stable Harbourne conjecture. In prime characteristic, we can take any radical ideal defining a Gorenstein ring in a regular ring, provided that its symbolic powers are given by saturations with the maximal ideal. Although this property is not suitable for reduction to characteristic p, we show that a similar result holds in equicharacteristic 0 under the additional hypothesis that the symbolic Rees algebra of I is Noetherian.