7
$\begingroup$

What is the étale fundamental group of projective space over an algebraically closed field?

In char = 0 it is trivial (Lefschetz principle), as well as in dimension 1 (Riemann-Hurwitz).

$\endgroup$
1
  • 1
    $\begingroup$ That's actually an interesting point even about P^1, given that A^1 is extremely not simply-connected. $\endgroup$
    – Ben Webster
    Commented Jul 4, 2010 at 10:56

1 Answer 1

11
$\begingroup$

It is a birational invariant (for smooth proper connected schemes over a field, ultimately due to Zariski-Nagata purity of the branch locus), and its formation is compatible with products (for proper connected schemes over an algebraically closed field), so we can replace projective $n$-space with the $n$-fold product of copies of the projective line to conclude. Likewise, due to limit arguments and invariance of the etale site with respect to finite radiciel surjections (such as a finite purely inseparable extension of a ground field), it suffices to take the ground field to be separably closed rather than algebraically closed. This is all in SGA1.

$\endgroup$
1
  • $\begingroup$ Can we also argue inductively using the diagram Unknown control sequence $\mathbf{P}^n \leftarrow \mathrm{Bl}_x{\mathbf{P}^n} \to \mathbf{P}^{n-1}$? $\endgroup$
    – user6960
    Commented Jul 4, 2010 at 12:07

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.