代数幾何学 · 2026-08-24
Hyperbolicity and fundamental groups of complex quasi-projective varieties (III): applications
複素準射影多様体の双曲性と基本群（III）：応用 Benoît Cadorel, Ya Deng, Katsutoshi Yamanoi benoit-cadorel-15szezl ya-deng-17poip katsutoshi-yamanoi-1ykv5a hyperbolicity birational-geometry Birational geometry 双有理幾何 Hyperbolicity 双曲性arXiv Abstract
This paper is Part III of a series of three. We begin by introducing the notion of $h$-special varieties, which can be seen as varieties "chain-connected by the Zariski closures of entire curves." We prove that if $X$ is either a special complex quasi-projective variety in the sense of Campana or an $h$-special variety, then for any linear representation $\varrho:\pi_1(X)\to \mathrm{GL}_N(\mathbb{C})$, the image $\varrho(\pi_1(X))$ is virtually nilpotent. We also provide examples showing that this result is sharp, leading to a revised form of Campana's abelianity conjecture for smooth quasi-projective varieties. In addition, we prove a structure theorem for quasi-projective varieties with big and semisimple representations of the fundamental groups, thereby addressing a conjecture by Kollár in 1995. We also construct several examples of quasi-projective varieties that are special and $h$-special, highlighting certain atypical properties of the non-compact case in contrast with the projective setting.
日本語要約
三部作の第III部であり、整曲線のZariski閉包による鎖状連結性として捉えられる$h$-special多様体を導入する。$X$がCampanaの意味で特殊な複素準射影多様体または$h$-special多様体ならば、任意の線形表現$\varrho:\pi_1(X)\to\mathrm{GL}_N(\mathbb C)$の像が仮想的冪零であることを示す。この結論が鋭いことを例で示し、滑らかな準射影多様体に対するCampanaの可換性予想を修正する。さらに、基本群のbigかつ半単純な表現をもつ準射影多様体の構造定理と、非コンパクトな特殊・$h$-special多様体の特徴的な例を与える。
This paper is Part III of a series of three. We begin by introducing the notion of $h$-special varieties, which can be seen as varieties "chain-connected by the Zariski closures of entire curves." We prove that if $X$ is either a special complex quasi-projective variety in the sense of Campana or an $h$-special variety, then for any linear representation $\varrho:\pi_1(X)\to \mathrm{GL}_N(\mathbb{C})$, the image $\varrho(\pi_1(X))$ is virtually nilpotent. We also provide examples showing that this result is sharp, leading to a revised form of Campana's abelianity conjecture for smooth quasi-projective varieties. In addition, we prove a structure theorem for quasi-projective varieties with big and semisimple representations of the fundamental groups, thereby addressing a conjecture by Kollár in 1995. We also construct several examples of quasi-projective varieties that are special and $h$-special, highlighting certain atypical properties of the non-compact case in contrast with the projective setting.
Campana特殊または整曲線鎖で結ばれるh-specialな滑らかな準射影多様体では、基本群の任意の複素線形表現の像が仮想的冪零になることを示す。bigかつreductiveな表現をもつ準射影多様体の対数Iitaka写像と半abelianファイバーに関する構造定理も与える。
algebraic-geometry 2026書誌情報
- arXiv: arXiv:2512.20360
- 著者: Benoît Cadorel, Ya Deng, Katsutoshi Yamanoi
- 初回投稿日: 2025年12月23日
- 最終更新日: 2025年12月23日
- 主分類・副分類: math.AG; math.CV
- ライセンス: CC BY 4.0
要約
Campanaの特殊多様体は一般型の反対側にある双有理幾何的クラスである。本論文はさらに、整曲線のZariski閉包を鎖として一般点を結ぶ $h$-special性を導入し、準射影の場合の基本群を調べる。
射影的な特殊多様体では基本群の線形商が仮想的可換になることが知られる。しかし非コンパクトな準射影の場合には、特殊かつBrody特殊でありながら基本群が線形・冪零で仮想的可換でない曲面が存在する。この反例を踏まえ、正しい一般的結論を仮想的冪零性に置く。
もう一つの主結果は、bigかつreductiveな基本群表現をもつ準射影多様体の構造定理である。対数Kodaira次元、$\mathbb A^1$ 曲線の退化、対数Iitaka写像と半abelian多様体の局所自明族を統一的に記述する。
背景と問題設定
Campanaは特殊またはBrody特殊な滑らかな準射影多様体の基本群が仮想的可換であると予想した。本論文の例は準射影の場合にこの形が強すぎることを示すため、特殊または $h$-specialならば $\pi_1(X)$ は仮想的冪零である、という修正版が提案される。
主結果
線形像の冪零性（Theorem A = Theorem 4.1）
$X$を特殊または $h$-specialな滑らかな準射影多様体とし、$\varrho:\pi_1(X)\to\mathrm{GL}_N(\mathbb C)$ を任意の線形表現とする。像のZariski閉包の単位成分は
$$ \overline{\varrho(\pi_1(X))}^{,\circ}=U\times T $$
と分解する。ここで $U$ はunipotent代数群、$T$ は代数torusである。従って $\varrho(\pi_1(X))$ は仮想的冪零である。仮想的可換でない例があるため、この結論は鋭い。
構造定理（Theorem B = Theorem 5.6 and Proposition 5.8）
$X$がsmooth quasi-projectiveで、$\varrho$がreductiveかつbigならば、$\bar\kappa(X)\geq0$ であり、$\bar\kappa(X)=0$ なら基本群は仮想的可換である。また、すべての非定数写像 $\mathbb A^1\to X$ の像を含む真のZariski閉集合が存在する。
有限エタール被覆と双有理修正の後、対数Iitaka写像は半abelian多様体 $A$ をファイバーとする局所自明射 $V\to J(X)$ を介して因子化される。さらに $X$ が特殊または $h$-specialなら基本群は仮想的可換となり、有限エタール被覆後のquasi-Albanese写像は双有理となる。
証明の見取り図
Theorem Aでは、Nevanlinna理論と先行する双曲性定理により半単純部分を制約し、Deligneの混合Hodge理論とquasi-Albanese写像の $\pi_1$-完全性を用いて可解線形群の構造を調べる。これによりZariski閉包の単位成分をunipotent部分とtorus部分へ分解する。
構造定理ではbig表現に付随する双曲性を対数Kodaira次元と結び、対数Iitakaファイバーの基本群表現を解析する。Kodaira次元0の準射影多様体と半abelian多様体に関する補題を介して、ファイバー構造とquasi-Albanese写像を得る。
原論文との対応
- Abstractページ: arXiv:2512.20360
- Introduction: Section 0, pp. 1–3
- Introduction中で言及された主要定理番号: Theorems A and B (Theorems 4.1 and 5.6, Proposition 5.8)
- 論文構成の説明: Contents, p. 1
- 確認したarXivバージョン: v1
- 確認したライセンス: CC BY 4.0
- source_scope: Abstract and Introduction