Let be a smooth projective variety, and let be a generic hyperplane. For generic enough , the intersection is itself a smooth projective variety of dimension one less. The **Lefschetz hyperplane theorem** asserts that the map

induces an isomorphism on , if .

We might be interested in analog over any field, possibly of characteristic . Here has to be replaced with its étale analog, but otherwise it is a theorem of Grothendieck that still induces an isomorphism on , under the same hypotheses. This is one of the main results of SGA 2, and it uses the local cohomology machinery developed there. One of my goals in the next few posts is to understand some of the ideas that go into Grothendieck’s argument.

More generally, suppose is a subvariety. To say that (always in the étale sense) is to say that there is an equivalence of categories

between étale covers of and étale covers of . How might one prove such a result? Grothendieck’s strategy is to attack this problem in three stages:

- Compare to , where is a neighborhood of in .
- Compare to , where is the formal completion of along (i.e., the inductive limit of the infinitesimal thickenings of ).
- Compare and .

In other words, to go from to , one first passes to the formal completion along , then to an open neighborhood, and then to all of . The third step is the easiest: it is the topological invariance of the étale site. The second step is technical. In this post, we’ll only say something about the first step.

The idea behind the first step is that, if is not too small, the passage from to will involve adding only subvarieties of codimension , and these will unaffect the category of étale covers. There are various “purity” theorems to this effect.

The goal of this post is to sketch Grothendieck’s proof of the following result of Zariski and Nagata.

Theorem 10 (Purity in dimension two)Let be a regular local ring of dimension , and let . Then the map

is an equivalence of categories.

In other words, “puncturing” the spectrum of a regular local ring does not affect the fundamental group. (more…)