--- title: Second Vanishing Theorem url: https://www.emergentmind.com/topics/second-vanishing-theorem type: topic --- # Second Vanishing Theorem Second Vanishing Theorem is a label used for several vanishing phenomena. In commutative algebra, the standard usage concerns local cohomology: for a regular local ring, it characterizes vanishing of the next-to-top local cohomology, or equivalently the bound \(\operatorname{cd}(A,I)\le \dim A-2\), by combining a dimension condition with connectedness of the punctured spectrum after passage to \(A^\dagger\). The same phrase also appears by analogy in quadratic intersection theory, where a supported Chow–Witt intersection product is shown to vanish, and in combinatorial-topological analogues for Stanley–Reisner rings [2606.26867], [2112.05200], [2102.05270]. ## 1. Classical local-cohomological form For a regular local ring \((A,\mathfrak m)\) of dimension \(d\), the classical formulation adopted in recent work is the equivalence \[ \operatorname{cd}(A,I)\le \dim A-2 \] if and only if \[ \dim A/I \ge 2, \qquad \operatorname{Spec}(A^\dagger/IA^\dagger)\setminus\{\mathfrak m\} \text{ is connected}, \] where \[ A^\dagger:=\widehat{(\widehat A)^{\mathrm{sh}}}. \] In the parallel formulation used for a \(d\)-dimensional noetherian local ring \((R,\mathfrak m)\), the Second Vanishing Theorem holds for \(R\) if, for each ideal \(\mathfrak a\subseteq R\), the following are equivalent: \(H_{\mathfrak a}^j(M)=0\) for all \(j>d-2\) and all \(R\)-modules \(M\); and \(\dim(R/\mathfrak a)\ge 2\) together with connectedness of the punctured spectrum of \(\overline R/\mathfrak a\overline R\), where \(\overline R\) is the completion of the strict henselization of the completion of \(R\) [2606.26867], [2102.12545]. For regular local rings, the universal quantifier over all modules can be reduced to the ring itself: \(H_{\mathfrak a}^j(M)=0\) for all \(j>t\) and all \(R\)-modules \(M\) if and only if \(H_{\mathfrak a}^j(R)=0\) for all \(j>t\). In the \(d\)-dimensional setting, the relevant vanishing is therefore \[ H_{\mathfrak a}^{d-1}(R)=H_{\mathfrak a}^{d}(R)=0. \] Since \(H_{\mathfrak a}^{d}(R)=0\) is already controlled by Hartshorne–Lichtenbaum vanishing in the relevant range, the substantial content of the theorem is the vanishing of \(H_{\mathfrak a}^{d-1}(R)\) [2102.12545]. This places the theorem immediately after Hartshorne–Lichtenbaum in the hierarchy of top-degree vanishing statements. The “first” vanishing theorem governs the top local cohomology; the “second” governs the next degree and replaces a purely dimensional condition by connectedness of the punctured spectrum [2102.12545], [2004.02075]. ## 2. Connectedness, graphs, and proof mechanisms A recurrent feature of the theorem is that the geometric hypothesis is encoded by connectedness of the punctured spectrum. In the complete local setting, the paper on Eisenstein extensions formulates this through the Huneke–Lyubeznik graph \(\Theta_A\): if \(\mathfrak p_1,\dots,\mathfrak p_t\) are the minimal primes of a complete local ring \(A\), then \(\Theta_A\) has vertices \(1,\dots,t\), with an edge \(i\!-\!j\) whenever \(\mathfrak p_i+\mathfrak p_j\) is not maximal-primary, and \[ \Theta_A \text{ connected } \Longleftrightarrow \operatorname{Spec}^{\circ}(A)\text{ connected}. \] This graph-theoretic criterion is the standard device for comparing connected components across extensions and quotients [2004.02075]. The easy direction of the theorem is the implication from vanishing to connectedness. If the punctured spectrum is disconnected, one decomposes the defining ideal up to radical as an intersection \(I_1\cap I_2\) with \(I_1+I_2\) maximal-primary; the Mayer–Vietoris sequence then forces nonvanishing of the next-to-top local cohomology. This argument appears in both the classical mixed-characteristic treatments and the later ramified work [2004.02075], [2102.12545]. The difficult direction is the converse. One major reduction is to the case of prime ideals \(\mathfrak p\) with \(\dim(R/\mathfrak p)=2\). Zhang proves a reduction theorem showing that, in a complete regular local ring with separably closed residue field, vanishing for all connected \(\operatorname{Spec}^{\circ}(R/\mathfrak a)\) and \(\dim(R/\mathfrak a)\ge 2\) follows once one knows vanishing for height-\((d-2)\) prime ideals [2102.12545]. In characteristic \(p\), this codimension-two case acquires a Frobenius-theoretic interpretation. For a regular local ring \(R\) of characteristic \(p>0\), with \(A=R/I\), Lyubeznik’s criterion states \[ H_I^{n-1}(R)=0 \iff \text{the Frobenius action on }H_{\mathfrak m}^{1}(A)\text{ is nilpotent}. \] Zhang combines this with finite-length properties of \(H_{\mathfrak m}^1(A)\) for \(2\)-dimensional local domains and Hartshorne–Speiser stable-part arguments to give a new proof of the prime-characteristic theorem [2102.12545]. ## 3. Mixed characteristic: unramified, partial ramified, and full ramified forms The mixed-characteristic story is stratified by ramification. For complete unramified regular local rings of mixed characteristic with separably closed residue field, Zhang proves the full theorem: for every ideal \(J\subseteq R\), \[ H_J^j(R)=0 \quad \text{for all } j\ge d-1 \] if and only if \[ \dim(R/J)\ge 2 \quad\text{and}\quad \operatorname{Spec}^{\circ}(R/J)\text{ is connected}. \] This settles Hartshorne’s problem in the unramified mixed-characteristic class and also extends the topological characterization of the highest Lyubeznik number to mixed characteristic [2102.12545]. A first ramified extension was obtained only for extended ideals through Eisenstein extensions. If \((S,\mathfrak n)\) is a \(d\)-dimensional complete ramified regular local ring of mixed characteristic, \(S\cong R[X]/(f)\) is an Eisenstein extension of a complete unramified regular local ring \(R\), and \(I=JS\) is extended from \(J\subseteq R\), then for \(\dim(S/I)\ge 2\), \[ H_I^{d-1}(S)=0 \quad\Longleftrightarrow\quad \operatorname{Spec}^{\circ}(S/I)\text{ is connected}. \] Under the additional assumption that \(R/\mathfrak p\) is normal for every minimal prime \(\mathfrak p\) of \(J\), the punctured spectra of \(R/J\) and \(S/JS\) have the same number of connected components [2004.02075]. A different partial ramified theorem was later proved by using surjectivity of multiplication on local cohomology. In a \(d\)-dimensional complete regular local ring of mixed characteristic with separably closed residue field, if \(I\subset R\) is a proper ideal such that every \(\mathfrak p\in \operatorname{Min}(R/I)\) satisfies \(\dim(R/\mathfrak p)\ge 3\), together with additional finite-length hypotheses on local cohomology over \(R/(pR+\mathfrak p)\), then \[ H_I^{d-1}(R)=0 \quad\Longleftrightarrow\quad \operatorname{Spec}^{\circ}(R/I)\text{ is connected}. \] The key technical input is a characteristic-\(p\) theorem showing that, under a finite-length hypothesis, \(H_I^i(R)\) is divisible, hence multiplication by a nonzero element is surjective on \(H_I^i(R)\) [2107.09041]. The remaining mixed-characteristic case was then completed for ramified regular local rings. For a regular local ring \(R\) of ramified mixed characteristic and an ideal \(I\subseteq R\), the theorem now holds in full: \[ \operatorname{cd}(R,I)\le \dim R-2 \] if and only if \[ \dim R/I\ge 2 \quad\text{and}\quad \operatorname{Spec}(R^\dagger/IR^\dagger)\setminus\{\mathfrak m\} \text{ is connected}. \] The proof uses a geometric formal-schemes reformulation, reductions to a normal surface singularity, and a resolution embedded in projective space; two decisive ingredients are vanishing of \[ H^0(Z'_s,\mathcal O_{Z'_s}(cZ'_s)) \quad (c>0) \] on the exceptional fiber, and a ramified mixed-characteristic global-generation input due to Gabber [2606.26867]. One application of the full ramified theorem is a connected-components formula. If \(A\) is an \(n\)-dimensional regular local ring with separably closed residue field and the punctured spectrum of \(A/I\) has \(t\) connected components, then \[ H_I^{n-1}(A)=E(k)^{\oplus (t-1)}, \qquad t=\dim_k\operatorname{Hom}(k,H_I^{n-1}(A))+1. \] This identifies the next-to-top local cohomology with the failure of punctured-spectrum connectedness [2606.26867]. ## 4. Stanley–Reisner analogues and topological interpretation The phrase also has a combinatorial-topological analogue for Stanley–Reisner rings. Let \(\Sigma\subset \Delta\subset 2^{[n]}\) be simplicial complexes, let \[ k[\Delta]=k[x_1,\dots,x_n]/I_\Delta, \qquad J=I_\Sigma/I_\Delta, \] and write \(d=\dim k[\Delta]\). The analogue studied in this setting concerns \(H_J^{d-1}(k[\Delta])\), but it is not a full if-and-only-if connectedness criterion. Instead, the paper proves a necessary condition and a stronger sufficient condition [2102.05270]. The necessary condition is: \[ H_J^{d-1}(k[\Delta])=0 \quad\Longrightarrow\quad \text{every }(d-2)\text{-face of }\Delta\text{ contains a vertex of }\Sigma. \] The sufficient condition requires more: 1. every \((d-1)\)-face of \(\Delta\) contains a vertex of \(\Sigma\); 2. every \((d-2)\)-face of \(\Delta\) is a \((d-2)\)-face of \(\Sigma\); 3. every \((d-2)\)-facet of \(\Delta\) contains one vertex of \(\Sigma\). Under these three hypotheses, \[ H_J^{d-1}(k[\Delta])=0. \] An explicit example shows that the necessary condition alone is not sufficient, so this is only a partial analogue of the classical theorem [2102.05270]. The topological interpretation comes from the Reiner–Welker–Yanagawa multigraded formula. For \(a\in \mathbb Z^n\), with \[ F_+=\operatorname{supp}_+(a),\qquad F_-=\operatorname{supp}_-(a), \] one has \[ H^i_J(k[\Delta])_a= \widetilde H^{\,i-1}\Big( \|\operatorname{Star}_\Delta(F_+)\|-\|\Sigma\|, \; \|\operatorname{del}_{\operatorname{Star}_\Delta(F_+)}(F_-)\|-\|\Sigma\|; k \Big). \] In the proof of the necessary direction, a \((d-2)\)-face \(F\) disjoint from \(\Sigma\) produces \[ \widetilde H^{\,d-2}(\|F\|,\|\partial F\|;k) = \widetilde H^{\,d-2}(S^{d-2};k) = k, \] forcing nonvanishing. In the sufficient direction, barycentric subdivision and elementary collapses remove all \((d-1)\)- and \((d-2)\)-faces relevant to the degree-\((d-2)\) relative cohomology group. The “second vanishing” language therefore survives, but the controlling invariant is no longer punctured-spectrum connectedness; it is relative simplicial topology [2102.05270]. ## 5. Quadratic and intersection-theoretic analogue In quadratic intersection theory, the expression is used analogically rather than as a theorem about local cohomology. The starting point is Serre’s classical vanishing theorem for intersection multiplicities: if \((R,\mathfrak m)\) is a regular local ring of dimension \(d\), \(M,N\) are finite \(R\)-modules with \(M\otimes_R N\) of finite length, and \[ \chi_R(M,N)=\sum_{i=0}^d (-1)^i \lg_R(\operatorname{Tor}_i^R(M,N)), \] then \[ \dim M+\dim N