Skip to main content
1 of 2
Martin Brandenburg
  • 63.1k
  • 12
  • 207
  • 424

$\mathbb{P}^n$ is simply connected

In his chapter about Hurwitz' theorem for curves, Hartshorne shows that $\mathbb{P}^1$ is simply connected, i.e. every finite étale morphism $X \to \mathbb{P}^1$ is a finite disjoint union of $\mathbb{P}^1$s. In an exercise the reader is invited to show that $\mathbb{P}^n$ is simply connected, using the result for $\mathbb{P}^1$.

I have no idea how to do this. Perhaps someone can give a hint? There are $n$ obvious closed immersions $\mathbb{P}^1 \to \mathbb{P}^n$, along which we may pull back a finite étale morphism, but they do not cover $\mathbb{P}^n$ and the trivializations don't have to coindice ... perhaps we can resolve this using cohomology theory? I'm a bit confused since $\mathbb{P}^n$ is $n$-dimensional, but this is in Hartshorne's chapter about curves. I don't want to use the more advanced material of SGA.

Martin Brandenburg
  • 63.1k
  • 12
  • 207
  • 424