2025-11-21T19:49:15.403108

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

Shimoji

Let $X$ be a smooth complex algebraic variety. Assume that the fundamental group $Ï_1(X,x)$ is torsion-free nilpotent. We show that if the betti number $b_1(X)$ is less than or equal to $3$, then $Ï_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 $\mathbb{R}\times H_3(\mathbb{R})$. Moreover we show that $Ï_1(X,x)$ is abelian or $2$-step nilpotent if the rank of $Ï_1(X,x)$ is less than or equal to seven. We prove the main theorems by using the bigraded structures of mixed Hodge structures on nilpotent Lie algebras. In particular, if the rank of $Ï_1(X,x)$ is less than or equal to six, then we show that $Ï_1(X,x)$ is a lattice in an abelian Lie group $\mathbb{R}^n$ or a $(2k+1)$-dimensional Heisenberg group $H_{2k+1}(\mathbb{R})$ or a product group $\mathbb{R}^m\times H_{2l+1}(\mathbb{R})$ or $H_3(\mathbb{R})\times H_3(\mathbb{R})$ for some $n=1,2,3,4,5,6$, $k=1,2$ or $(m,l)=(1,3),(2,3),(3,3),(1,5)$. Our main result supports a conjecture of nilpotent (quasi-) KÃ¤hler group provided by Aguilar and Campana.

academic

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

基本信息

论文ID: 2510.09026
标题: Bigraded Lie algebras and nilpotent fundamental groups of smooth complex algebraic varieties
作者: Taito Shimoji
分类: math.AG (代数几何), math.AT (代数拓扑), math.DG (微分几何)
发表时间: 2025年10月10日 (arXiv预印本)
论文链接: https://arxiv.org/abs/2510.09026

摘要

本文研究光滑复代数簇的幂零基本群。设 $X$ 为光滑复代数簇，假设基本群 $\pi_1(X,x)$ 是无扭幂零群。作者证明了当第一Betti数 $b_1(X) \leq 3$ 时， $\pi_1(X,x)$ 同构于 $\mathbb{Z}$ 、 $\mathbb{Z}^2$ 、 $\mathbb{Z}^3$ 、Heisenberg群 $H_3(\mathbb{R})$ 中的格或 $\mathbb{R}\times H_3(\mathbb{R})$ 中的格。此外，当 $\pi_1(X,x)$ 的秩不超过7时，该群是阿贝尔的或2步幂零的。主要定理通过使用幂零李代数上混合Hodge结构的双分次结构来证明。

研究背景与动机

核心问题

本文主要研究Campana关于准射影簇幂零基本群的猜想：

问题1.1.2: 设 $X$ 是光滑准射影簇，假设基本群 $\pi_1(X,x)$ 是幂零的，那么 $\pi_1(X,x)$ 是否是阿贝尔的或2步幂零的？

研究动机

理论重要性: 这个问题由Aguilar和Campana提出，是理解Kähler群和准Kähler群结构的核心问题之一。
分类意义: 对光滑复代数簇基本群的分类有重要意义，特别是在低维情况下的完整刻画。
技术创新: 利用混合Hodge理论的双分次结构提供了新的研究工具。

现有研究局限

大多数已知的光滑准射影簇幂零基本群例子都是阿贝尔的或2步幂零的
缺乏系统性的分类结果，特别是在低秩和低Betti数情况下
需要更精细的工具来排除高步数幂零群的可能性

核心贡献

完全分类了 $b_1(X) \leq 3$ 的情况: 证明了当第一Betti数不超过3时，基本群只能是特定的几种类型。
建立了秩的上界结果: 证明了当 $\text{rk}(\pi_1(X,x)) \leq 7$ 时，基本群是阿贝尔的或2步幂零的。
提供了精确的结构定理: 对于 $\text{rk}(\pi_1(X,x)) \leq 6$ 的情况，给出了基本群的完整分类。
发展了新的技术工具: 系统性地使用了幂零李代数上混合Hodge结构的双分次理论。
给出了3步幂零的例子: 构造了一个8维的3步幂零李群，其格可能实现为光滑复代数簇的基本群。

方法详解

理论框架

混合Hodge结构: 对于 $\mathbb{R}$ -向量空间 $V$ ，混合Hodge结构 $(V,W,F)$ 包含：

有限递增滤子 $W = \{W_k(V)\}_{k\in\mathbb{Z}}$
复化 $V_C = V \otimes \mathbb{C}$ 上的有限递减滤子 $F = \{F^p(V_C)\}_{p\in\mathbb{Z}}$

双分次结构: 混合Hodge结构等价地给出双分次 $V_C = \bigoplus_{p,q} V_{p,q}$ ，满足： $V_{p,q} \equiv V_{q,p} \bmod \bigoplus_{s+t<p+q} V_{s,t}$

核心定理

定理2.3.1 (Morgan): 设 $X$ 是光滑复代数簇， $N$ 是单连通幂零李群，假设 $\pi_1(X,x)$ 是 $N$ 中的格。则 $N$ 的李代数 $n$ 存在双分次结构 $n_C = \bigoplus_{p,q\leq 0, p+q\leq -1} n_{p,q}$ ，使得诱导的上同调双分次满足：

(W)条件:

$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}$