Abstract:In this article, we study how the absolute coregularity of a projective log pair reflects on its fundamental group. More precisely, we conjecture that for a projective klt log pair $(X,D)$ of absolute coregularity $c$ (and arbitrary dimension) the fundamental group $\pi_1^{\rm reg}(X,D)$ admits a normal abelian subgroup of finite index and rank at most $2c$. We prove this conjecture in the cases $0 \leq c \leq 3$, building on the almost abelianity of the fundamental groups of klt Calabi-Yau pairs of dimension $\leq 3$. In the cases $c \in \{0,1,2\}$ and fixed dimension, we can furthermore bound the index of a solvable normal subgroup. In dimension three, we are able to prove almost abelianity of the fundamental group of the regular locus for projective klt Calabi-Yau pairs.
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is to explore the relationship between the absolute coregularity of a projective log pair and its fundamental group. Specifically, the authors proposed and partially proved a conjecture: for a klt projective pair \((X, D)\) with absolute coregularity \(c\), its regular orbit fundamental group \(\pi_1^{\text{reg}}(X, D)\) should have a normal Abelian subgroup of finite index, and the rank of this subgroup does not exceed \(2c\).
### Main contributions and conclusions of the paper
1. **Core conjecture**:
- **Conjecture content**: For a klt projective pair \((X, D)\) with absolute coregularity \(c\), its regular orbit fundamental group \(\pi_1^{\text{reg}}(X, D)\) should be virtually Abelian, and the rank does not exceed \(2c\).
- **Proof progress**: The authors proved this conjecture in the case of \(0\leq c\leq3\) and provided stronger evidence to support the conjecture in general cases.
2. **Results in special cases**:
- **Case of coregularity 0**: If the absolute coregularity of \((X, D)\) is 0, then \(\pi_1^{\text{reg}}(X, D)\) is finite.
- **Case of coregularity from 1 to 3**: If \(1\leq c\leq3\), then \(\pi_1^{\text{reg}}(X, D)\) has a normal Abelian subgroup of finite index, and the rank of this subgroup does not exceed \(2c\).
3. **Effective bounds**:
- For the case of coregularity \(0\leq c\leq2\) and fixed dimension, the authors also gave effective bounds for the index of the solvable normal subgroup.
4. **Case of Calabi - Yau triple pairs**:
- For klt Calabi - Yau triple pairs \((X, D)\), the authors proved that their regular orbit fundamental groups are virtually Abelian, and the rank does not exceed \(\max(4, 2\tilde{q}(X))\), where \(\tilde{q}(X)\) is the augmented irregularity of \(X\).
### Significance of the conclusions
These results not only deepen our understanding of the fundamental groups of klt projective pairs but also provide new tools and methods for studying the properties of the fundamental groups of more general singular Calabi - Yau manifolds. In particular, by reducing the problem to the study of low - dimensional klt Calabi - Yau pairs, the authors showed how to use known low - dimensional results to derive conclusions in high - dimensional cases.
### Related formulas
- Definition of absolute coregularity:
\[
\hat{\text{coreg}}(X, D, M)=\min_{B\geq D, N\text{ nef}}\left(\text{coreg}(X, B, M + N)\right)
\]
where \((X, B, M + N)\) is a log Calabi - Yau pair.
- Virtual Abelian property of the fundamental group:
\[
\pi_1^{\text{reg}}(X, D)\text{ is virtually abelian of rank at most }2c
\]
These formulas and conclusions together form the core content of this paper, showing the important progress made by the authors in the cross - field of algebraic geometry and topology.