3
$\begingroup$

Does there exist a complex smooth proper variety whose fundamental group is finite non-abelian simple?

$\endgroup$

1 Answer 1

14
$\begingroup$

Yes. In fact, Serre proved that any finite group is the fundamental group of a smooth projective complex variety. See Proposition 15 of:

J.-P. Serre, Sur la topologie des variétés algébriques en charactéristique $p$, Symposium Internacional de Topologia Algebraica, Universidad Nacional Autonoma de Mexico, 1958, pp. 24–53 (MSN).

$\endgroup$
1
  • $\begingroup$ The proof of this fact can also be found in Shafarevich's Basic Algebraic Geometry 2 (third edition), chapter 9, section 4.2. Another reference is Fundamental Groups of Compact Kähler Manifolds by Amorós et al., example 1.11. $\endgroup$ Jun 20, 2021 at 22:08

Your Answer

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