On the fundamental group of a variety with quotient singularities

2013/11/24 by Indranil Biswas, Biswas, Indranil, Amit Hogadi +1
Chemistry · Mathematics · #14C05 #14F35 #4L30 #Advanced Algebra and Geometry #Algebraic Geometry (math.AG) #Algebraic Geometry and Number Theory #Axial and Atropisomeric Chirality Synthesis #FOS: Mathematics

paper · pdf · doi:10.48550/arxiv.1311.6086

openalex publication_date 2013/11/24 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

Let k be a field, and let π:X -> X be a proper birational morphism of irreducible k-varieties, where X is smooth and X has at worst quotient singularities. When the characteristic of k is zero, a theorem of Kollár in [Ko1] says that π induces an isomorphism of etale fundamental groups. We give a proof of this result which works for all characteristics. As an application, we prove that for a smooth projective irreducible surface X over an algebraically closed field k, the etale fundamental group of the Hilbert scheme of n points of X, where n > 1, is canonically isomorphic to the abelianization of the etale fundamental group of X. Kollár has pointed out how the proof of the first result can be extended to cover the case of quotients by finite group schemes.

Citations

• Algebraic Families on an Algebraic Surface

Related

• Isomorphism of étale fundamental groups lifts to isomorphism of stratified fundamental group
• Fundamental groups of proper varieties are finitely presented
• A relative version of Gieseker's problem on stratifications in characteristic p>0
• An obstruction to lifting to characteristic 0
• Birational invariance of the S-fundamental group scheme