Lemma 58.20.1. Let $(A, \mathfrak m)$ be a Noetherian local ring. Set $X = \mathop{\mathrm{Spec}}(A)$ and let $U = X \setminus \{ \mathfrak m\} $. Let $\pi : Y \to X$ be a finite morphism such that $\text{depth}(\mathcal{O}_{Y, y}) \geq 2$ for all closed points $y \in Y$. Then $Y$ is the spectrum of $B = \mathcal{O}_ Y(\pi ^{-1}(U))$.

## 58.20 Purity in local case, I

Let $(A, \mathfrak m)$ be a Noetherian local ring. Set $X = \mathop{\mathrm{Spec}}(A)$ and let $U = X \setminus \{ \mathfrak m\} $ be the punctured spectrum. We say *purity holds for $(A, \mathfrak m)$* if the restriction functor

is essentially surjective. In this section we try to understand how the question changes when one passes from $X$ to a hypersurface $X_0$ in $X$, in other words, we study a kind of local Lefschetz property for the fundamental groups of punctured spectra. These results will be useful to proceed by induction on dimension in the proofs of our main results on local purity, namely, Lemma 58.21.3, Proposition 58.25.3, and Proposition 58.26.4.

**Proof.**
Set $V = \pi ^{-1}(U)$ and denote $\pi ' : V \to U$ the restriction of $\pi $. Consider the $\mathcal{O}_ X$-module map

where $j : U \to X$ is the inclusion morphism. We claim Divisors, Lemma 31.5.11 applies to this map. If so, then $B = \Gamma (Y, \mathcal{O}_ Y)$ and we see that the lemma holds. Let $x \in X$ be the closed point. It suffices to show that $\text{depth}((\pi _*\mathcal{O}_ Y)_ x) \geq 2$. Let $y_1, \ldots , y_ n \in Y$ be the points mapping to $x$. By Algebra, Lemma 10.72.11 it suffices to show that $\text{depth}(\mathcal{O}_{Y, y_ i}) \geq 2$ for $i = 1, \ldots , n$. Since this is the assumption of the lemma the proof is complete. $\square$

Lemma 58.20.2. Let $(A, \mathfrak m)$ be a Noetherian local ring. Set $X = \mathop{\mathrm{Spec}}(A)$ and let $U = X \setminus \{ \mathfrak m\} $. Let $V$ be finite étale over $U$. Assume $A$ has depth $\geq 2$. The following are equivalent

$V = Y \times _ X U$ for some $Y \to X$ finite étale,

$B = \Gamma (V, \mathcal{O}_ V)$ is finite étale over $A$.

**Proof.**
Denote $\pi : V \to U$ the given finite étale morphism. Assume $Y$ as in (1) exists. Let $x \in X$ be the point corresponding to $\mathfrak m$. Let $y \in Y$ be a point mapping to $x$. We claim that $\text{depth}(\mathcal{O}_{Y, y}) \geq 2$. This is true because $Y \to X$ is étale and hence $A = \mathcal{O}_{X, x}$ and $\mathcal{O}_{Y, y}$ have the same depth (Algebra, Lemma 10.163.2). Hence Lemma 58.20.1 applies and $Y = \mathop{\mathrm{Spec}}(B)$.

The implication (2) $\Rightarrow $ (1) is easier and the details are omitted. $\square$

Lemma 58.20.3. Let $(A, \mathfrak m)$ be a Noetherian local ring. Set $X = \mathop{\mathrm{Spec}}(A)$ and let $U = X \setminus \{ \mathfrak m\} $. Assume $A$ is normal of dimension $\geq 2$. The functor

is an equivalence. Moreover, $V = Y \times _ X U$ for some $Y \to X$ finite étale if and only if $B = \Gamma (V, \mathcal{O}_ V)$ is finite étale over $A$.

**Proof.**
Observe that $\text{depth}(A) \geq 2$ because $A$ is normal (Serre's criterion for normality, Algebra, Lemma 10.157.4). Thus the final statement follows from Lemma 58.20.2. Given $\pi : V \to U$ finite étale, set $B = \Gamma (V, \mathcal{O}_ V)$. If we can show that $B$ is normal and finite over $A$, then we obtain the displayed functor. Since there is an obvious quasi-inverse functor, this is also all that we have to show.

Since $A$ is normal, the scheme $V$ is normal (Descent, Lemma 35.18.2). Hence $V$ is a finite disjoint union of integral schemes (Properties, Lemma 28.7.6). Thus we may assume $V$ is integral. In this case the function field $L$ of $V$ (Morphisms, Section 29.49) is a finite separable extension of the fraction field of $A$ (because we get it by looking at the generic fibre of $V \to U$ and using Morphisms, Lemma 29.36.7). By Algebra, Lemma 10.161.8 the integral closure $B' \subset L$ of $A$ in $L$ is finite over $A$. By More on Algebra, Lemma 15.23.20 we see that $B'$ is a reflexive $A$-module, which in turn implies that $\text{depth}_ A(B') \geq 2$ by More on Algebra, Lemma 15.23.18.

Let $f \in \mathfrak m$. Then $B_ f = \Gamma (V \times _ U D(f), \mathcal{O}_ V)$ (Properties, Lemma 28.17.1). Hence $B'_ f = B_ f$ because $B_ f$ is normal (see above), finite over $A_ f$ with fraction field $L$. It follows that $V = \mathop{\mathrm{Spec}}(B') \times _ X U$. Then we conclude that $B = B'$ from Lemma 58.20.1 applied to $\mathop{\mathrm{Spec}}(B') \to X$. This lemma applies because the localizations $B'_{\mathfrak m'}$ of $B'$ at maximal ideals $\mathfrak m' \subset B'$ lying over $\mathfrak m$ have depth $\geq 2$ by Algebra, Lemma 10.72.11 and the remark on depth in the preceding paragraph. $\square$

Lemma 58.20.4. Let $(A, \mathfrak m)$ be a Noetherian local ring. Set $X = \mathop{\mathrm{Spec}}(A)$ and let $U = X \setminus \{ \mathfrak m\} $. Let $V$ be finite étale over $U$. Let $A^\wedge $ be the $\mathfrak m$-adic completion of $A$, let $X' = \mathop{\mathrm{Spec}}(A^\wedge )$ and let $U'$ and $V'$ be the base changes of $U$ and $V$ to $X'$. The following are equivalent

$V = Y \times _ X U$ for some $Y \to X$ finite étale, and

$V' = Y' \times _{X'} U'$ for some $Y' \to X'$ finite étale.

**Proof.**
The implication (1) $\Rightarrow $ (2) follows from taking the base change of a solution $Y \to X$. Let $Y' \to X'$ be as in (2). By Lemma 58.19.3 we can find $Y \to X$ finite such that $V = Y \times _ X U$ and $Y' = Y \times _ X X'$. By descent we see that $Y \to X$ is finite étale (Algebra, Lemmas 10.83.2 and 10.143.3). This finishes the proof.
$\square$

The point of the following two lemmas is that the assumptions do not force $A$ to have depth $\geq 3$. For example if $A$ is a complete normal local domain of dimension $\geq 3$ and $f \in \mathfrak m$ is nonzero, then the assumptions are satisfied.

Lemma 58.20.5. In Situation 58.19.1. Let $V$ be finite étale over $U$. Assume

$A$ has a dualizing complex,

the pair $(A, (f))$ is henselian,

one of the following is true

$A_ f$ is $(S_2)$ and every irreducible component of $X$ not contained in $X_0$ has dimension $\geq 3$, or

for every prime $\mathfrak p \subset A$, $f \not\in \mathfrak p$ we have $\text{depth}(A_\mathfrak p) + \dim (A/\mathfrak p) > 2$.

$V_0 = V \times _ U U_0$ is equal to $Y_0 \times _{X_0} U_0$ for some $Y_0 \to X_0$ finite étale.

Then $V = Y \times _ X U$ for some $Y \to X$ finite étale.

**Proof.**
We reduce to the complete case using Lemma 58.20.4. (The assumptions carry over; see proof of Lemma 58.19.5.)

In the complete case we can lift $Y_0 \to X_0$ to a finite étale morphism $Y \to X$ by More on Algebra, Lemma 15.13.2; observe that $(A, fA)$ is a henselian pair by More on Algebra, Lemma 15.11.4. Then we can use Lemma 58.19.5 to see that $V$ is isomorphic to $Y \times _ X U$ and the proof is complete. $\square$

Lemma 58.20.6. In Situation 58.19.1. Let $V$ be finite étale over $U$. Assume

$H^1_\mathfrak m(A)$ and $H^2_\mathfrak m(A)$ are annihilated by a power of $f$,

$V_0 = V \times _ U U_0$ is equal to $Y_0 \times _{X_0} U_0$ for some $Y_0 \to X_0$ finite étale.

Then $V = Y \times _ X U$ for some $Y \to X$ finite étale.

**Proof.**
We reduce to the complete case using Lemma 58.20.4. (The assumptions carry over; use Dualizing Complexes, Lemma 47.9.3.)

In the complete case we can lift $Y_0 \to X_0$ to a finite étale morphism $Y \to X$ by More on Algebra, Lemma 15.13.2; observe that $(A, fA)$ is a henselian pair by More on Algebra, Lemma 15.11.4. Then we can use Lemma 58.19.6 to see that $V$ is isomorphic to $Y \times _ X U$ and the proof is complete. $\square$

Lemma 58.20.7. In Situation 58.19.1. Let $V$ be finite étale over $U$. Assume

$A$ has depth $\geq 3$,

$V_0 = V \times _ U U_0$ is equal to $Y_0 \times _{X_0} U_0$ for some $Y_0 \to X_0$ finite étale.

Then $V = Y \times _ X U$ for some $Y \to X$ finite étale.

**Proof.**
The assumption of depth forces $H^1_\mathfrak m(A) = H^2_\mathfrak m(A) = 0$, see Dualizing Complexes, Lemma 47.11.1. Hence Lemma 58.20.6 applies.
$\square$

## Post a comment

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like `$\pi$`

). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

## Comments (0)