1
$\begingroup$

Is there any convenient way to understand the étale fundamental group of projective spaces over finite fields, in particular, the étale fundamental group of $\mathbf{P}^2_{\mathbf{F}_q}$?

$\endgroup$
4
  • 6
    $\begingroup$ This is just the Galois group $\operatorname{Gal}(\overline{\mathbb{F}_q}/\mathbb{F}_q) $. $\endgroup$
    – abx
    Feb 17, 2021 at 10:38
  • 2
    $\begingroup$ The fundamental group of $\mathbb{P}^n_{\overline{\mathbb{F}_q}}$ can be computed by noting that the fundamental group $\mathbb{P}^1_{\overline{\mathbb{F}_q}}$ is trivial, that the fundamental group of a direct product is the direct product of the fundamental groups and that fundamental group is a birational invariant. $\endgroup$
    – Faris
    Feb 17, 2021 at 14:09
  • 1
    $\begingroup$ See for example Tag 0BTX combined with the computation of $\pi_1(\mathbf P^n_{\bar k})$. (See here for a fun Riemann–Hurwitz-free proof when $n=1$.) $\endgroup$ Feb 17, 2021 at 18:03
  • 1
    $\begingroup$ The fundamental group does not respect products. That requires either completeness or coprime characteristic, so it's ok here, but it's not true in general. If it were true, then the fundamental group of a group scheme would be abelian. But it's not for $\mathbb A^1$. @Faris $\endgroup$ Feb 17, 2021 at 22:48

0

Your Answer

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