Fundamental Groups of Projective Varieties are Finitely Presented

Lara—Srinivas—Stix, building on joint work with Esnalut, have recently shown that the etale fundamental group of a connected proper scheme over an algebraically closed field is topologically finitely presented, thus answering a question raised in SGA. The proof relies on a finite presentation criterion of Lubotzky for profinite groups, resolutions of singularities/alterations, a theorem of Deligne—Ilusie on the Euler characteristic, as well as other modern and classical results in (arithmetic) algebraic geometry.