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.
[Hart] Hartshorne, Algebraic geometry. GTM 52, Springer, 1977.