This is a cute proof that I ran into of the simple connectedness of . It does not use Riemann–Hurwitz or differentials, and instead relies on a purely geometric argument.

**Lemma.** *Let be an algebraically closed field. Then is simply connected.*

*Proof.* Let be a finite étale Galois cover with Galois group . We have to show that is an isomorphism. The diagonal is ample, so the same goes for the pullback to [Hart, Exc. III.5.7(d)]. In particular, is connected [Hart, Cor. III.7.9].

But is isomorphic to copies of because the action

is an isomorphism. If is connected, this forces , so is an isomorphism.

The proof actually shows that if is a smooth projective variety such that is a set-theoretic complete intersection of ample divisors, then is simply connected.

**Example.** For a smooth projective curve of genus , the diagonal cannot be ample, as . We already knew this by computing the self-intersection , ~~but the argument above is more elementary~~.

**References.**

[Hart] Hartshorne, *Algebraic geometry*. GTM **52**, Springer, 1977.