Skip to main content
1 of 1
Post Made Community Wiki
Boyarsky
  • 1.4k
  • 12
  • 16

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.

Boyarsky
  • 1.4k
  • 12
  • 16