The local fundamental group of a Kawamata log terminal singularity is finite

DOI10.1007/S00222-021-01062-0MaRDI QIDQ2052219zbMATH OpenOpenAlexFDO

Authors Lukas Braun

Publication date 25 November 2021

Published in Inventiones Mathematicae (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2004.00522

zbMATH Keywords

klt singularitylocal fundamental groupregional fundamental groupweakly Fano pair

Mathematics Subject Classification ID

Singularities in algebraic geometry (14B05) Homotopy theory and fundamental groups in algebraic geometry (14F35) Fano varieties (14J45) Topological aspects of complex singularities: Lefschetz theorems, topological classification, invariants (32S50)

Abstract: We prove a conjecture of Koll'ar stating that the local fundamental group of a klt singularity $x$ is finite. In fact, we prove a stronger statement, namely that the fundamental group of the smooth locus of a neighbourhood of $x$ is finite. We call this the regional fundamental group. As the proof goes via a local-to-global induction, we simultaneously confirm finiteness of the orbifold fundamental group of the smooth locus of a weakly Fano pair.

Review text

Let \(X\) be a (normal) complex algebraic variety and \(x \in X\) a (closed) point. The \textit{local fundamental group} \(\pi_1^{\mathrm{loc}}(X, x)\) is defined to be \(\pi_1(B \setminus \{x\})\), where \(B\) is the intersection of \(X\) with a sufficiently small euclidean ball around \(x\) (with respect to a local embedding \(X \hookrightarrow \mathbb C^n\)). Even if \(X\) has only log canonical singularities, it is known that the local fundamental group can be arbitrarily complicated. On the other hand, if \((X, \Delta)\) has only Kawamata log terminal (klt) singularities, then Kollár has conjectured that \(\pi_1^{\mathrm{loc}}(X, x)\) is finite. This epic paper proves (generalizations of) this conjecture. More precisely, in the above setting one can also define the \textit{regional fundamental group} \(\pi_1^{\mathrm{reg}}(X, x)\) as \(\pi_1(B \setminus X_{\mathrm{sg}})\) (local and regional fundamental group coincide for isolated singularities, but in general finiteness of the regional fundamental group is stronger). Then Theorem~1 states that the regional fundamental group of a klt singularity is finite. There is also a more general version concerning the \textit{orbifold} regional fundamental group. The proof of Theorem~1 relies on the following Theorem~2, which generalizes and proves another conjecture: let \((X, \Delta = \Delta' + \Delta)\) be a klt weakly Fano pair (i.e.~\(-(K_X + \Delta)\) is big and nef). Then the orbifold fundamental group of the smooth locus is finite. The simultaneous proof of the two theorems is contained in Theorems~7 and~8: Theorem~1 in dimension \(n\) implies Theorem~2 in dimension \(n\), and Theorem~2 in dimension \(n\) implies Theorem~1 in dimension \(n + 1\). Previous results on the topic (on which this paper partly builds) include [\textit{C. Xu}, Compos. Math. 150, No. 3, 409--414 (2014; Zbl 1291.14057); \textit{Z. Tian} and \textit{C. Xu}, Compos. Math. 153, No. 2, 257--273 (2017; Zbl 1453.14014); \textit{D. Greb} et al., Duke Math. J. 165, No. 10, 1965--2004 (2016; Zbl 1360.14094)].

Recommendations

• Finiteness of algebraic fundamental groups
• Finiteness of fundamental groups
• The Jordan property for local fundamental groups
• Local Simple Connectedness of Resolutions of Log-Terminal Singularities
• On the local étale fundamental group of KLT threefold singularities \n (with an appendix by János Kollár)
• Fundamental groups of open \(K3\) surfaces, Enriques surfaces and Fano 3-folds
• On the rationality of Kawamata log terminal singularities in positive characteristic
• On weak Fano varieties with log canonical singularities
• Log-terminal singularities and vanishing theorems via non-standard tight closure
• Interaction between singularity theory and the minimal model program

Cites work

• \(\Gamma\)-reduction for smooth orbifolds
• A new cohomology theory of orbifold
• Convergence of Fubini-Study currents for orbifold line bundles
• Einstein metrics on spheres
• Estimations $\mathrm{L}^2$ pour l'opérateur $\bar \partial$ d'un fibré vectoriel holomorphe semi-positif au-dessus d'une variété kählérienne complète
• Existence of minimal models for varieties of log general type
• Finiteness of algebraic fundamental groups
• Finiteness of fundamental groups
• Finiteness of local fundamental groups for quotients of affine varieties under reductive groups
• Fundamental groups of F-regular singularities via F-signature
• Holomorphic Morse inequalities and Bergman kernels
• Homotopic properties of Kähler orbifolds
• scientific article; zbMATH DE number 983093 (Why is no real title available?)
• scientific article; zbMATH DE number 3830895 (Why is no real title available?)
• scientific article; zbMATH DE number 3159918 (Why is no real title available?)
• scientific article; zbMATH DE number 45273 (Why is no real title available?)
• scientific article; zbMATH DE number 125533 (Why is no real title available?)
• scientific article; zbMATH DE number 192849 (Why is no real title available?)
• scientific article; zbMATH DE number 510513 (Why is no real title available?)
• scientific article; zbMATH DE number 567243 (Why is no real title available?)
• scientific article; zbMATH DE number 703946 (Why is no real title available?)
• scientific article; zbMATH DE number 1942880 (Why is no real title available?)
• scientific article; zbMATH DE number 1363203 (Why is no real title available?)
• scientific article; zbMATH DE number 794496 (Why is no real title available?)
• scientific article; zbMATH DE number 822817 (Why is no real title available?)
• scientific article; zbMATH DE number 1426668 (Why is no real title available?)
• Introduction
• Kähler hyperbolicity and \(L_ 2\)-Hodge theory
• Lectures on Kähler manifolds
• Local Simple Connectedness of Resolutions of Log-Terminal Singularities
• Multiplier ideal sheaves and Kähler-Einstein metrics of positive scalar curvature
• ON A GENERALIZATION OF THE NOTION OF MANIFOLD
• Orbifoldes géométriques spéciales et classification biméromorphe des variétés kählériennes compactes
• Orbifolds, sheaves and groupoids
• Orbifolds, special varieties and classification theory.
• Pull-back of quasi-log structures
• Reducibility of finite reflection groups
• Remarks on the holomorphic convexity of the universal covering space of a projective manifold
• Remarques sur le revêtement universel des variétés kählériennes compactes
• Sasakian geometry
• Semi-continuity of complex singularity exponents and Kähler-Einstein metrics on Fano orbifolds
• Shafarevich maps and plurigenera of algebraic varieties
• Special orbifolds and birational classification: a survey
• The Decomposition Theorem for V-Manifolds
• The fundamental group of a log terminal \(\mathbb{T}\)-variety
• The fundamental group of the smooth part of a log Fano variety
• Topology and geometry of cohomology jump loci
• Triangulation of Stratified Objects
• Whitney Stratified Chains and Cochains
• Étale fundamental groups of Kawamata log terminal spaces, flat sheaves, and quotients of abelian varieties
• Étale fundamental groups of strongly F-regular schemes

Cited in

(27)

• The Jordan property for local fundamental groups
• Structure of projective varieties with nef anticanonical divisor: the case of log terminal singularities
• The fundamental group of a log terminal \(\mathbb{T}\)-variety
• On the fundamental groups associated to contractions of extremal rays
• Local Simple Connectedness of Resolutions of Log-Terminal Singularities
• Projective flatness over klt spaces and uniformisation of varieties with nef anti-canonical divisor
• Finiteness of fundamental groups
• Finiteness of algebraic fundamental groups
• A new family of isolated symplectic singularities with trivial local fundamental group
• On the local étale fundamental group of KLT threefold singularities \n (with an appendix by János Kollár)
• ACC for local volumes and boundedness of singularities
• Coregularity of Fano varieties
• Iteration of Cox rings of klt singularities
• Kähler-Ricci flow on rational homogeneous varieties
• Reductive quotients of klt singularities
• Reductive covers of klt varieties
• Peak sections and Bergman kernels on Kähler manifolds with complex hyperbolic cusps
• Minimal projective varieties satisfying Miyaoka's equality
• \(L_2\)-constructible cohomology and \(L_2\)-de Rham cohomology for coherent \(\mathcal{D}\)-modules
• ACC for minimal log discrepancies of terminal threefolds
• Polarized endomorphisms of Fano varieties with complements
• On the behavior of stringy motives under Galois quasi-étale covers
• Étale coverings in codimension 1 with applications to Mori dream spaces
• Perfectoid signature, perfectoid Hilbert-Kunz multiplicity, and an application to local fundamental groups
• Endomorphisms of rank one Gorenstein del Pezzo surfaces
• Singularities of the minimal model program
• Étale fundamental groups of Kawamata log terminal spaces, flat sheaves, and quotients of abelian varieties

This page was built for publication: The local fundamental group of a Kawamata log terminal singularity is finite

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2052219)