Bigraded Lie algebras and nilpotent fundamental groups of smooth complex algebraic varieties

Basic Information

• Paper ID: 2510.09026
• Title: Bigraded Lie algebras and nilpotent fundamental groups of smooth complex algebraic varieties
• Author: Taito Shimoji
• Classification: math.AG (Algebraic Geometry), math.AT (Algebraic Topology), math.DG (Differential Geometry)
• Publication Date: October 10, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2510.09026

Abstract

This paper investigates nilpotent fundamental groups of smooth complex algebraic varieties. Let $X$ be a smooth complex algebraic variety, and assume the fundamental group $\pi_1(X,x)$ is a torsion-free nilpotent group. The author proves that when the first Betti number $b_1(X) \leq 3$, $\pi_1(X,x)$ is isomorphic to $\mathbb{Z}$, $\mathbb{Z}^2$, $\mathbb{Z}^3$, a lattice in the Heisenberg group $H_3(\mathbb{R})$, or a lattice in $\mathbb{R}\times H_3(\mathbb{R})$. Furthermore, when the rank of $\pi_1(X,x)$ does not exceed 7, the group is either abelian or 2-step nilpotent. The main theorem is proved using the bigraded structure of mixed Hodge structures on nilpotent Lie algebras.

Research Background and Motivation

Core Problem

This paper primarily investigates Campana's conjecture on nilpotent fundamental groups of quasi-projective varieties:

Problem 1.1.2: Let $X$ be a smooth quasi-projective variety. If the fundamental group $\pi_1(X,x)$ is nilpotent, is $\pi_1(X,x)$ either abelian or 2-step nilpotent?

Research Motivation

1. Theoretical Importance: This problem, proposed by Aguilar and Campana, is central to understanding the structure of Kähler groups and quasi-Kähler groups.
2. Classification Significance: It has important implications for classifying fundamental groups of smooth complex algebraic varieties, particularly for complete characterization in low-dimensional cases.
3. Technical Innovation: The use of bigraded structures in mixed Hodge theory provides new research tools.

Limitations of Existing Research

• Most known examples of nilpotent fundamental groups of smooth quasi-projective varieties are either abelian or 2-step nilpotent
• Lack of systematic classification results, particularly in low-rank and low-Betti number cases
• Need for more refined tools to exclude the possibility of higher-step nilpotent groups

Core Contributions

1. Complete classification for $b_1(X) \leq 3$: Proves that when the first Betti number does not exceed 3, the fundamental group can only be of specific types.
2. Establishes rank upper bound results: Proves that when $\text{rk}(\pi_1(X,x)) \leq 7$, the fundamental group is either abelian or 2-step nilpotent.
3. Provides precise structure theorems: For the case $\text{rk}(\pi_1(X,x)) \leq 6$, gives a complete classification of the fundamental group.
4. Develops new technical tools: Systematically employs the bigraded theory of mixed Hodge structures on nilpotent Lie algebras.
5. Constructs 3-step nilpotent examples: Constructs an 8-dimensional 3-step nilpotent Lie group whose lattice may be realized as the fundamental group of a smooth complex algebraic variety.

Methodology in Detail

Theoretical Framework

Mixed Hodge Structure: For an $\mathbb{R}$-vector space $V$, a mixed Hodge structure $(V,W,F)$ consists of:

• A finite increasing filtration $W = \{W_k(V)\}_{k\in\mathbb{Z}}$
• A finite decreasing filtration $F = \{F^p(V_C)\}_{p\in\mathbb{Z}}$ on the complexification $V_C = V \otimes \mathbb{C}$

Bigraded Structure: A mixed Hodge structure equivalently induces a bigrading $V_C = \bigoplus_{p,q} V_{p,q}$ satisfying: $V_{p,q} \equiv V_{q,p} \bmod \bigoplus_{s+t<p+q} V_{s,t}$

Core Theorem

Theorem 2.3.1 (Morgan): Let $X$ be a smooth complex algebraic variety, and $N$ a simply-connected nilpotent Lie group. Assume $\pi_1(X,x)$ is a lattice in $N$. Then the Lie algebra $n$ of $N$ admits a bigraded structure $n_C = \bigoplus_{p,q\leq 0, p+q\leq -1} n_{p,q}$ such that the induced cohomology bigrading satisfies:

(W) Condition:

• $H^1(n_C) = H^1_{1,0} \oplus H^1_{0,1} \oplus H^1_{1,1}$
• $H^2(n_C) = H^2_{2,0} \oplus H^2_{1,1} \oplus H^2_{0,2} \oplus H^2_{2,1} \oplus H^2_{1,2} \oplus H^2_{2,2}$

Technical Innovation Points

1. Systematic application of restrictive conditions: Uses the (W) condition systematically to exclude impossible Lie algebra structures.
2. Dimension calculations: Employs precise calculations of cohomological dimensions to constrain possible Lie algebra types.
3. Inductive construction: Uses induction to prove that certain structures lead to infinite dimensionality, thereby excluding corresponding cases.

Main Results

Theorem 1 (Case $b_1 \leq 3$)

Theorem 3.0.1: Let $X$ be a smooth quasi-projective variety. If $b_1(X) \leq 3$ and $\pi_1(X,x)$ is a torsion-free nilpotent group, then $\pi_1(X,x)$ is isomorphic to:

• $\mathbb{Z}$, $\mathbb{Z}^2$, $\mathbb{Z}^3$ (abelian cases)
• A lattice in $H_3(\mathbb{R})$ (3-dimensional Heisenberg group)
• A lattice in $H_3(\mathbb{R}) \times \mathbb{R}$

In particular, $\pi_1(X,x)$ is either abelian or 2-step nilpotent.

Theorem 2 (Case rank $\leq 7$)

Theorem 4.0.1: Let $X$ be a smooth quasi-projective variety, and assume $\pi_1(X,x)$ is a torsion-free nilpotent group. If $\text{rk}(\pi_1(X,x)) \leq 7$, then $\pi_1(X,x)$ is either abelian or 2-step nilpotent.

Theorem 3 (Complete classification for rank $\leq 6$)

Theorem 4.1.2: When $\text{rk}(\pi_1(X,x)) \leq 6$, $\pi_1(X,x)$ is a lattice in one of the following simply-connected nilpotent Lie groups:

• $\mathbb{R}^n$ (1 ≤ n ≤ 6)
• $H_3(\mathbb{R})$
• $\mathbb{R}^m \times H_3(\mathbb{R})$ (1 ≤ m ≤ 3)
• $H_5(\mathbb{R})$
• $H_5(\mathbb{R}) \times \mathbb{R}$
• $H_3(\mathbb{R}) \times H_3(\mathbb{R})$

Theorem 4 (Case rank = 7)

Theorem 4.1.3: When $\text{rk}(\pi_1(X,x)) = 7$, depending on different values of $b_1(X)$, the complexification of the Lie algebra is isomorphic to specific types, including new 2-step nilpotent Lie algebras $n_{142}^7$, $n_{143}^7$, $n_{144}^7$, etc.

Key Points in Technical Proofs

Key Lemma

Lemma 4.1.1: If $b_1(X) = 4$ and the Lie algebra is 3-step nilpotent, then $\dim g_C \geq 8$.

This lemma is proved through detailed dimension calculations, considering all possible bigraded types $(x,y,z) = (\dim H^1_{1,0}, \dim H^1_{0,1}, \dim H^1_{1,1})$.

Proof Strategy

1. Exclusion method: Uses the (W) condition to exclude Lie algebras that do not satisfy mixed Hodge structure requirements.
2. Dimension constraints: Employs cohomological dimension calculations to establish lower bounds, excluding low-dimensional cases.
3. Classification enumeration: For possible cases, verifies through known classifications of nilpotent Lie algebras.

Examples of 3-Step Nilpotent Algebras

Proposition 5.0.1

The author constructs an 8-dimensional 3-step nilpotent Lie algebra: $g = \langle X_1, X_2, Y_1, Y_2, Z_1, Z_2, A, B \rangle$ satisfying the relations:

• $[X_1, Y_1] = Z_1 = [X_2, Y_2]$
• $[X_2, Y_1] = Z_2 = [X_1, Y_2]$
• $[X_1, Z_1] = A = [X_2, Z_2]$
• $[Y_1, Z_1] = B = [Y_2, Z_2]$

The corresponding Lie group can be realized as a 9×9 matrix group and satisfies the mixed Hodge structure condition (W).

Related Work

Historical Background

• Campana's work: First proposed questions on the nilpotency of Kähler groups
• Morgan's contributions: Established connections between mixed Hodge theory and fundamental groups
• Malcev theory: Provides correspondence between nilpotent groups and Lie groups

Technical Development

• Sullivan's minimal models: Provides algebraic topology tools for studying fundamental groups
• Mixed Hodge theory: Theory developed by Deligne and others provides core tools for this paper
• Classification of nilpotent Lie algebras: Provides foundation for concrete calculations

Conclusions and Discussion

Main Conclusions

1. Completely resolves Campana's conjecture in the low Betti number case ($b_1 \leq 3$)
2. Confirms the conjecture's correctness in the low-rank case ($\leq 7$)
3. Provides systematic classification results and constructive proofs

Limitations

1. High-dimensional cases: The effectiveness of the method for $\text{rk}(\pi_1(X,x)) \geq 8$ requires further verification
2. Existence problems: While certain possibilities are excluded, constructing concrete examples remains an open problem
3. Computational complexity: The analysis of bigraded structures becomes extremely complex as dimension increases

Future Directions

1. Higher-dimensional generalizations: Study classification problems in higher dimensions
2. Construction problems: Construct concrete algebraic variety examples for theoretically possible cases
3. Algorithm implementation: Develop effective algorithms to verify whether a given Lie algebra satisfies condition (W)

In-Depth Evaluation

Strengths

1. Theoretical depth: Cleverly combines algebraic geometry, algebraic topology, and Lie algebra theory
2. Technical innovation: Systematically applies bigraded mixed Hodge structures, providing a new research paradigm
3. Complete results: Provides complete classification within the studied range
4. Rigorous proofs: Each step has detailed mathematical proofs with clear logic

Weaknesses

1. Limited scope: Results mainly concentrate on low-dimensional cases; high-dimensional generalizations remain difficult
2. Constructive aspects: While certain possibilities are excluded, positive construction results are lacking
3. Computational complexity: The computational complexity of the method grows rapidly with dimension

Impact

1. Theoretical contribution: Provides important partial resolution of Campana's conjecture
2. Method value: The bigraded method may apply to other related problems
3. Inspirational significance: Provides technical foundation for further research in higher dimensions

Applicable Scenarios

• Study of fundamental groups in algebraic geometry
• Kähler geometry and complex geometry
• Classification theory of nilpotent Lie groups and Lie algebras
• Applications of mixed Hodge theory

References

The paper cites 18 important references, including:

• Classical work by Morgan on mixed Hodge structures
• Research by Campana on Kähler groups
• Related literature on classification of nilpotent Lie algebras
• Related work on Sullivan's minimal model theory

Through sophisticated mathematical techniques, this paper achieves important progress on a difficult problem, providing profound insights into understanding the structure of fundamental groups of complex algebraic varieties. While completely resolving Campana's conjecture requires further work, the results and methods of this paper establish a solid foundation for subsequent research.