代数幾何学 · 2026-09-07

Hyperbolicity in presence of a large local system

large局所系をもつ多様体の双曲性

Yohan Brunebarbe

yohan-brunebarbe-l5cje6 hyperbolicity hodge-theory fundamental-groups Hodge theory ホッジ理論 Hyperbolicity 双曲性 Fundamental groups 基本群

arXiv Abstract

We prove that the projective complex algebraic varieties admitting a large complex local system satisfy a strong version of the Green-Griffiths-Lang conjecture.

日本語要約

largeな複素局所系を備える射影複素代数多様体が、Green–Griffiths–Lang予想の強い形を満たすことを証明する。

We prove that the projective complex algebraic varieties admitting a large complex local system satisfy a strong version of the Green-Griffiths-Lang conjecture.

largeな複素局所系をもつ射影複素代数多様体について、一般型でない部分多様体、Abel多様体からの像、整関数曲線の像が定める三つのspecial locusが一致し、Zariski閉となることを示す。さらに、この共通部分が全体でないことと多様体が一般型であることを同値にし、Green–Griffiths–Lang予想の強い形を確立する。

arXiv
2207.03283v2
初回投稿日
2022-07-07
原論文のライセンス
Creative Commons Attribution 4.0 International
掲載形式
Abstract・Introductionに基づく日本語要約
タグ
algebraic-geometry 2026

原論文を開く

書誌情報

要約

射影多様体$X$には、一般型でない正次元部分多様体の合併$\operatorname{Sp}{\rm alg}(X)$、Abel多様体からの非定数有理写像の像の合併$\operatorname{Sp}{\rm ab}(X)$、非定数整関数曲線$\mathbb C\to X$の像の合併$\operatorname{Sp}_{h}(X)$という三つのspecial subsetがある。Green–Griffiths–Lang予想はこれらの関係と一般型性を結ぶ。

本論文は$X$がlargeな複素局所系をもつ場合、三つがすべて一致してZariski閉となり、その共通部分が$X$全体でないことが$X$の一般型性と同値であることを示す。これは整関数曲線だけでなく高次元部分多様体も同時に制御する強い形である。

largeとは、任意の正次元既約閉部分多様体の正規化への局所系の引き戻しがisotrivialでないことをいう。証明は非可換Hodge理論の構造結果を用い、半単純とは限らない代数的monodromy群も扱う。

背景と問題設定

常に$\operatorname{Sp}{\rm ab}(X)\subseteq\operatorname{Sp}{\rm alg}(X)$かつ$\operatorname{Sp}{\rm ab}(X)\subseteq\operatorname{Sp}{h}(X)$であるが、定義から各集合のZariski閉性は分からない。局所系$L$がlargeであることは、monodromyの核に対応する被覆$\widetilde X_L$が正次元コンパクト複素部分空間を含まないことと同値である。

主結果

special subsetの一致（Theorem A）

largeな複素局所系をもつ射影複素代数多様体$X$について

$$ \operatorname{Sp}{\rm alg}(X)=\operatorname{Sp}{\rm ab}(X)=\operatorname{Sp}_{h}(X)=:\operatorname{Sp}(X) $$

が成り立ち、$\operatorname{Sp}(X)$はZariski閉である。さらに$\operatorname{Sp}(X)\ne X$であることと$X$が一般型であることは同値である。$X$には滑らかさも既約性も仮定されない。

big局所系の場合（Theorem B）

連結・正規な射影複素代数多様体$X$がbigな複素局所系をもつとき、$X$が一般型であることと、三種類それぞれのspecial subsetがZariski稠密でないことが同値である。largeより双有理不変な弱い仮定の下では、閉性や集合としての一致ではなく稠密性の同値を得る。

証明の見取り図

Introductionでは、非可換Hodge理論の一般的構造結果により、問題をAbel多様体への有限射をもつ場合と有限period mapをもつHodge変動の場合へ還元すると説明される。非半単純monodromyの場合には、最大Albanese次元の多様体族におけるspecial subsetの挙動が鍵となる。この方法はZuoの戦略を精密化し、高次元部分多様体と非半単純群を同時に扱う。

原論文との対応

  • Abstractページ: arXiv:2207.03283
  • Introduction: Section 1, pp. 1–3
  • Introduction中で言及された主要定理番号: Theorems A, B
  • 論文構成の説明: Introduction, p. 3
  • 確認したarXivバージョン: v2
  • 確認したライセンス: Creative Commons Attribution 4.0 International
  • source_scope: Abstract and Introduction