The Jordan property for local fundamental groups (Q2138594): Difference between revisions

Let \(x \in (X, \Delta)\) be a klt singularity defined over the complex number field \(\mathbf{C}\). The klt singularities form an important class of singularities in the minimal model prgoram, and they can be regarded as the local analog of Fano varieties. Recently, \textit{L. Braun} proved that the \textit{regional fundamental group} \(\pi_1^{\mathrm{reg}}(X, x)\) is finite [Invent. Math. 226, No. 3, 845--896 (2021; Zbl 1479.14029)]. This implies Kollár's conjecture: the \textit{local fundamental group} \(\pi_1^{\mathrm{loc}}(X, x)\) is finite. The main result of the paper under review (Theorem 2 and Corollary 1) is that the class of regional fundamental groups or local fundamental groups of klt singularities of dimension \(n\) satisfies the \textit{Jordan property}. This means that there exists a positive integer \(c=c(n)\) such that for any \(G:=\pi_1^{\mathrm{reg}}(X, x)\) or \(\pi_1^{\mathrm{loc}}(X, x)\) with \(\dim X = n\), there exists a normal abelian subgroup \(A \trianglelefteq G\) of rank at most \(n\) and index at most \(c\). This settles a conjecture of Shokurov. To prove the main theorem, the authors follow the global-to-local philosophy: they first estabilish the Jordan property for the orbifold fundamental groups of log Fano pairs using recent results of Prokhorov-Shramov (Jordan property for birational automorphism groups of Fano varieties) and Birkar (BAB conjecture), and then they study how the Jordan property can be lifted from the orbifold fundamental group of the Kollár component of a plt blowup to a suitable neighborhood of a klt singularity. Several interesting applications are given. Especially, they show the existence of effective simultaneous index 1 covers for klt singularities (Theorem 4). This gives a refinement of \textit{D. Greb} et al.'s result [Duke Math. J. 165, No. 10, 1965--2004 (2016; Zbl 1360.14094].