The Second Vanishing Theorem in Ramified Mixed Characteristic
Local Cohomology, since its introduction, has served as an important invariant for commutative rings and their modules. They furthermore provide the local model for relative cohomology groups for schemes. As with all cohomology theories, vanishing theorems are widely sought after, and for local cohomology a classical theorem of Grothendieck states that all local cohomology vanishes past the dimension of the ring. Hartshorne-Lichtenbaum vanishing tells us when local cohomology vanishes at the dimension of the ring, and for vanishing one below the dimension of the ring we arrive at the Second Vanishing Theorem. This paper proves the Second Vanishing Theorem in the final unknown case for regular local rings, that being the case of ramified mixed characteristic rings, and gives a few applications of this result. The method of this paper works in equicharacteristic, and we show how we can reduce the unramified case to the ramified case as well, yielding a unified proof of the Second Vanishing Theorem in all characteristics.