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

双分次リー代数と滑らかな複素代数多様体の冪零基本群

基本情報

論文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)$ が無捩冪零群であると仮定する。著者は第一ベッチ数 $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段冪零群である
特に低階数と低ベッチ数の場合に、系統的な分類結果が不足している
高段数冪零群の可能性を排除するためのより精密なツールが必要である

核心的貢献

$b_1(X) \leq 3$ の場合の完全分類: 第一ベッチ数が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}$