代数幾何学 · 2026-08-25
Hyperbolicity and fundamental groups of complex quasi-projective varieties (II): via non-abelian Hodge theories
複素準射影多様体の双曲性と基本群（II）：非可換Hodge理論による研究 Benoît Cadorel, Ya Deng, Katsutoshi Yamanoi benoit-cadorel-15szezl ya-deng-17poip katsutoshi-yamanoi-1ykv5a hyperbolicity fundamental-groups higgs-nonabelian-hodge Higgs bundles and nonabelian Hodge theory ヒッグス束・非可換ホッジ理論 Hyperbolicity 双曲性 Fundamental groups 基本群arXiv Abstract
This is Part II of a series of three papers. We studies the hyperbolicity of complex quasi-projective varieties $X$ in the presence of a big and reductive representation $\varrho: π_1(X)\to {\rm GL}_N(\mathbb{C})$. For any Galois conjugate variety $X^σ$ with $σ\in {\rm Aut}(\mathbb{C}/\mathbb{Q})$, we prove the generalized Green-Griffiths-Lang conjecture. When $\varrho$ is furthermore large, we show that the special subsets of $X^σ$ describing the non-hyperbolicity locus coincide, and that this locus is proper exactly when $X$ is of log general type. Moreover, if the Zariski closure of $ρ(π_1(X))$ is semisimple, we prove that there exists a proper Zariski closed subset $Z \subsetneq X^σ$ such that every subvariety not contained in $Z$ is of log general type and all entire curves in $X^σ$ are contained in $Z$. This result extends the theorems of the third author (2010) and of Campana-Claudon-Eyssidieux (2015) from projective to quasi-projective varieties, and yields stronger conclusions even in the projective case.
日本語要約
bigかつreductiveな表現を基本群にもつ複素準射影多様体について、任意のGalois共役で一般化Green–Griffiths–Lang予想が成立することを示す。表現がlargeでもある場合には、非双曲性を測る四つのspecial subsetが一致し、その集合が真であることとlog一般型であることが同値になる。像のZariski閉包が半単純なら、真の閉集合の外にある部分多様体はlog一般型で、すべての整関数曲線はその閉集合に含まれる。
This is Part II of a series of three papers. We studies the hyperbolicity of complex quasi-projective varieties $X$ in the presence of a big and reductive representation $\varrho: π_1(X)\to {\rm GL}_N(\mathbb{C})$. For any Galois conjugate variety $X^σ$ with $σ\in {\rm Aut}(\mathbb{C}/\mathbb{Q})$, we prove the generalized Green-Griffiths-Lang conjecture. When $\varrho$ is furthermore large, we show that the special subsets of $X^σ$ describing the non-hyperbolicity locus coincide, and that this locus is proper exactly when $X$ is of log general type. Moreover, if the Zariski closure of $ρ(π_1(X))$ is semisimple, we prove that there exists a proper Zariski closed subset $Z \subsetneq X^σ$ such that every subvariety not contained in $Z$ is of log general type and all entire curves in $X^σ$ are contained in $Z$. This result extends the theorems of the third author (2010) and of Campana-Claudon-Eyssidieux (2015) from projective to quasi-projective varieties, and yields stronger conclusions even in the projective case.
複素準射影多様体の基本群がbigかつreductiveな線形表現をもつとき、Galois共役上のGreen–Griffiths–Lang型双曲性を研究する。半単純なZariski稠密表現のもとでは、例外的な真の閉集合の外の部分多様体がすべてlog一般型となり、整関数曲線もその閉集合に閉じ込められる。非可換Hodge理論とBruhat–Tits buildingへの調和写像を準射影設定へ組み込む点が中心である。
algebraic-geometry 2026書誌情報
- arXiv: arXiv:2512.15367v1
- 著者: Benoît Cadorel, Ya Deng, Katsutoshi Yamanoi
- 初回投稿日・最終更新日: 2025年12月17日
- 主分類・副分類: math.AG（主分類）, math.CV
- ライセンス: CC BY 4.0
要約
Green–Griffiths–Lang予想は、一般型多様体上の整関数曲線が真のZariski閉集合に集中するという双曲性像を与える。本論文はこれを準射影多様体へ拡張し、基本群の線形表現が幾何をどこまで拘束するかを問う三部作の第2部である。
基本群にbigかつreductiveな表現があると、任意の体自己同型 $\sigma\in\operatorname{Aut}(\mathbb C/\mathbb Q)$ によるGalois共役 $X^\sigma$ でも一般化予想が成立する。半単純群へのbigかつZariski稠密な表現の場合、例外集合の外の全部分多様体がlog一般型となるだけでなく、穿孔円板からの写像に対するpseudo Picard双曲性まで得られる。
さらにlarge表現のもとでは、半アーベル多様体像、整関数曲線、非log一般型部分多様体、穿孔円板の本質的特異点から定まる四種のspecial subsetが一致する。従来の射影的結果を準射影へ広げ、Galois共役に対しても結論を保つ点が新しい。
背景と問題設定
表現 $\varrho:\pi_1(X)\to G(\mathbb C)$ がbigであるとは、非常に一般の点を通る任意の正次元部分多様体の基本群像が無限となることをいう。largeは「非常に一般」を全正次元部分多様体に強めた条件である。Introductionは、この差がspecial subsetの完全な一致に必要であることを強調する。
主結果
Theorem A（Theorem 6.6）
複素準射影正規多様体 $X$ が半単純群 $G$ へのbigかつZariski稠密な表現をもつなら、各 $X^\sigma$ に真の閉集合 $Z\subsetneq X^\sigma$ が存在する。$Z$ に含まれない閉部分多様体はlog一般型であり、$Z$ の外へ出る $\mathbb D^*\to X^\sigma$ は射影コンパクト化への円板写像に延長する。したがって全整関数曲線は $Z$ に含まれる。
Theorem C（Theorem 7.4）とTheorem D（Theorem 7.5）
滑らかな $X$ にbigかつreductiveな表現があるとき、$X^\sigma$ がlog一般型であることは、$\operatorname{Sp}p,\operatorname{Sp}h,\operatorname{Sp}{alg},\operatorname{Sp}{sab}$ の各集合が真であることと同値である。表現がlargeならさらに
$$ \operatorname{Sp}{alg}(X^\sigma)=\operatorname{Sp}{sab}(X^\sigma)=\operatorname{Sp}_h(X^\sigma)=\operatorname{Sp}_p(X^\sigma) $$
が成り立ち、これらはGalois共役とも両立する。
証明の見取り図
Introductionによれば、非Archimedes局所体上の表現から普遍被覆とBruhat–Tits buildingの間の同変pluriharmonic写像を構成し、log対称微分形式と因子化を引き出す。これを準Albanese次元が最大の多様体に対するNevanlinna理論と結合してpseudo Picard双曲性へ進む。複素表現については非可換Hodge理論と複素変分Hodge構造への還元を用い、Galois共役にも適用できる形へ移す。
原論文との対応
- Abstractページ: arXiv:2512.15367v1
- Introduction: Section 0, pp. 1–6
- 主要結果: Theorems A, C, D（Theorems 6.6, 7.4, 7.5）
- 確認したarXivバージョン: v1
- source_scope: Abstract and Introduction