代数幾何学 · 2026-11-12

Virtual Two-Step Nilpotency of the Fundamental Groups of Special Quasi-Projective Varieties

特殊準射影多様体の基本群の仮想二段冪零性

Tianshu Jiang, Jiayu Li

tianshu-jiang-extwmu jiayu-li-ngl83s fundamental-groups minimal-model-program Minimal model program 極小モデル・プログラム Fundamental groups 基本群

arXiv Abstract

We prove that the fundamental group of every smooth connected complex quasi-projective variety that is special in the sense of Campana is virtually nilpotent of class at most two. This establishes the two-step nilpotency conjecture of Cao--Deng--Hacon--Păun, a quasi-projective analogue of Campana's almost abelian conjecture for special compact Kähler manifolds. Examples of Cadorel--Deng--Yamanoi show that the step bound is sharp. On a suitable finite etale cover, we construct a canonical second Albanese map to a torus torsor over an abelian variety. The proof reduces to showing that the kernel of the induced map on fundamental groups is finite. Using good minimal models and meridian groups of projective pairs, we show that an infinite kernel would yield a saturated rank-one subsheaf of logarithmic differentials whose Iitaka dimension contradicts specialness.

日本語要約

準射影多様体の特殊性から基本群全体の構造を制約する論文である。適切な有限エタール被覆上で、アーベル多様体上のトーラス・トーサーへの第二Albanese写像を構成し、その基本群写像の核が有限であることを示す。核が無限なら対数微分形式の中に特殊性と両立しない階数一の部分層が生じる、という背理法が中心となる。得られる冪零度二という上限は既知の例により最良である。

We prove that the fundamental group of every smooth connected complex quasi-projective variety that is special in the sense of Campana is virtually nilpotent of class at most two. This establishes the two-step nilpotency conjecture of Cao--Deng--Hacon--Păun, a quasi-projective analogue of Campana's almost abelian conjecture for special compact Kähler manifolds. Examples of Cadorel--Deng--Yamanoi show that the step bound is sharp. On a suitable finite etale cover, we construct a canonical second Albanese map to a torus torsor over an abelian variety. The proof reduces to showing that the kernel of the induced map on fundamental groups is finite. Using good minimal models and meridian groups of projective pairs, we show that an infinite kernel would yield a saturated rank-one subsheaf of logarithmic differentials whose Iitaka dimension contradicts specialness.

Campanaの意味で特殊な滑らかな複素準射影多様体の基本群が、有限指数部分群を取れば二段以下の冪零群になることを示す。第二Albanese写像の基本群上の核を、対数微分形式と極小モデル理論を用いて有限に抑える。

arXiv
2611.14283v1
初回投稿日
2026-11-10
原論文のライセンス
arXiv.org perpetual, non-exclusive license
掲載形式
Abstract・Introductionに基づく日本語要約
タグ
algebraic-geometry 2026

原論文を開く

書誌情報

要約

特殊多様体は、一般型の対象へ向かう正値的な微分形式が乏しい空間として捉えられる。その幾何学的な乏しさが、基本群の非可換性をどこまで制限するかが本論文の問題である。

著者らは、滑らかで連結な複素準射影多様体がCampanaの意味で特殊なら、その基本群は有限指数部分群を取ることで二段以下の冪零群になると示す。これはCao–Deng–Hacon–Păunの二段冪零性予想を解決するという主張であり、線形表現の像だけでなく基本群そのものを扱う。

準射影の場合には、コンパクトな場合と異なり仮想可換性までは期待できない。Introductionが挙げるCadorel–Deng–Yamanoiの例は、二段という上限を一段へ改善できないことを示している。境界の周囲の局所群を正確に残すことが、証明の重要な部分となる。

背景と問題設定

滑らかな射影コンパクト化 $\bar X$ を取り、境界 $D=\bar X\setminus X$ を単純正規交叉因子とする。特殊性は、各 $1\le p\le\dim X$ と飽和階数一部分層 $L\subset\Omega^p_{\bar X}(\log D)$ について

$$ \kappa(\bar X,L)<p $$

が成り立つという条件である。十分に大きな飯高次元をもつ対数微分の存在を排除している。

既存の線形表現に関する結果は、基本群の線形像の仮想二段冪零性を与える。しかし線形像の制御だけでは、写像の核に隠れた非可換な部分を排除できない。本論文はこの核を直接扱う。

主結果

基本群の仮想二段冪零性（Theorem 1.1）

滑らかで連結な複素準射影多様体 $X$ が特殊なら、$\pi_1(X)$ は有限指数部分群 $\Gamma_0$ をもち、

$$ [\Gamma_0,[\Gamma_0,\Gamma_0]]=\lbrace 1\rbrace $$

となる。したがって交換子部分群は中心に含まれる。ここで有限指数部分群への移行は結論の一部であり、元の基本群がそのまま二段冪零であるとは述べていない。

新規性は、準射影の境界を許した特殊多様体について、基本群全体の構造を確定する点にある。二段以下という結論は、可換な場合と真に二段の非可換な場合の双方を含む。

証明の見取り図

まず第一Betti数が最大となる有限エタール被覆 $Y_0$ を選び、アーベル多様体上のトーラス・トーサー $Q_0$ への標準的な第二Albanese写像を構成する。基本群には

$$ 1\longrightarrow P_0\longrightarrow G_0\longrightarrow E_0\longrightarrow1 $$

が現れ、$E_0=\pi_1(Q_0)$ は捩れのない二段冪零群となる。核 $P_0$ は有限生成で、有限指数部分群も有限アーベル化をもつというFAb性質を満たす。目標は $P_0$ の有限性である。

核が無限と仮定し、一般ファイバーに由来する群を商に取る操作とShafarevich型の収縮を組み合わせ、無限FAb商を保つ最小の状況へ還元する。このとき、境界成分の周囲のmeridianの実際の位数を係数に反映した射影対を用いる。単なる境界の集合だけでは群の情報が失われる。

良い極小モデルとMori型の議論により、残った重み付きファイバーの対数標準類が大きくなる。そこから得られる対数切断を引き戻すと、ある $b>0$ に対し $\Omega^b(\log D)$ の飽和階数一部分層で飯高次元が少なくとも $b$ のものが構成される。これは特殊性に矛盾する。

核が有限と分かれば、それを避ける適切な有限指数部分群を取って二段冪零商に埋め込める。Introductionの説明において、極小モデル理論は単に多様体を簡単化する道具ではなく、無限の群論的核から正値的な対数微分を作る橋渡しを担う。

原論文との対応

  • Abstractページ: 公式arXivページ
  • Introduction: PDF — Section 1, pp. 2–7
  • Introduction中で言及された主要結果: Theorem 1.1
  • 論文構成・証明方針: 上記Introductionで述べられた範囲に基づく。後続節の証明全体の検証は行っていない。
  • 確認したarXivバージョン: 2611.14283v1
  • 確認したライセンス: arXiv.org perpetual, non-exclusive license
  • source_scope: Abstract and Introduction