On the distribution of mixed Hodge loci

技術的要約：混合ホッジ軌跡の分布について

問題設定
本論文は、滑らかで既約な複素代数多様体 $S$ 上の、許容（admissible）かつ次数付き極化された整級混合ホッジ構造の変分（VMHS）$V$ に随伴するホッジ軌跡 $HL(S, V^\otimes)$ の分布を調査する。ホッジ軌跡は、各点 $s \in S^{an}$ において、ファイバー $V_s$ が（典型的には生成的なファイバーと比較して）追加のホッジテンソル（$T^{a,b}(V_s, \mathbb{Q})$ 内の有理テンソルであり、かつホッジ・クラスであるもの）を持つ点の集合として定義される。

Brosnan-Pearlstein-Schnell の研究によって、ホッジ軌跡が厳密な代数部分多様体の可算和であることが確立されているが、これら部分多様体の分布自体は中心的な課題として残っている。本論文は、混合変分におけるジルバー・ピンク予想（Zilber-Pink conjecture）、特に「全か無か（all-or-nothing）」の二分法に焦点を当てる。すなわち、「典型的な」ホッジ軌跡が空でない場合、それは $S$ においてザリスキー稠密となるのか？さらに、本論文は、変分の「レベル（level）」との関連において、ホッジ軌跡が空である、あるいは厳密に閉じた集合となる条件を理解することを目的とする。

手法
著者は、交差理論、o-minimal 幾何学、およびマン・テイト群（Mumford-Tate groups）の理論を統合して用いる。核心となる手法の枠組みは以下の通りである：

1. 交差理論的記述： Klingler による実現に基づき、ホッジ軌跡は交差軌跡の和として捉えられる。本論文では、ホッジ軌跡を**典型的（typical）な部分と非典型的（atypical）な部分へと分解し、さらに重要な中間概念として横断的ホッジ軌跡（transverse Hodge locus, $HL(S, V^\otimes)_{\text{trans}}$）**を導入する。ある特殊な部分多様体が「横断的」であるとは、微分幾何学的な意味でのホッジ部分多様体（次元の等式を満たすもの）と、周期写像の像との「横断的な交差」から生じることを指す。
2. $V$-Likelihood（$V$-尤度）： 本論文は、$V$-likely な混合ホッジ部分類（mixed Hodge subclass）という概念を導入する。厳密な混合ホッジ部分類 $(M, DM) \subset (P, DP)$ が $V$-likely であるとは、周期写像およびべき零根（unipotent radicals）による商写像を用いた次元不等式を満たすことを指す。この条件は、純粋なケースにおける「成分ごとの $V$-許容性（factorwise $V$-admissibility）」を一般化したものである。
3. O-minimal および Ax-Schanuel の道具： 証明は、混合 Ax-Schanuel 定理（Bakker-Brunebarbe-Tsimerman, Gao-Klingler）および幾何学的 Zilber-Pink 定理（Baldi-Urbanik）に大きく依存している。これらの道具により、周期写像の代数性や弱特殊部分多様体の分布を制御することが可能となる。
4. リー代数的解析： 典型的なマン・テイト群のリー代数の構造、具体的には $\text{Lie}(P)$ の重みフィルターおよびホッジ数を解析することで、横断的な交差の存在に対する制約を導出するために用いられる。

主要な貢献と結果

• 横断的軌跡に関する「全か無か」の定理： 主要な結果（定理 1.8）は、任意の厳密な混合ホッジ部分類に対して、型 $M$ の横断的ホッジ軌跡 $HL(S, V^\otimes, M)_{\text{trans}}$ は、空であるか、あるいは $S$ においてザリスキー稠密であるかのいずれかであることを確立している。

  • 系： もし典型的なホッジ軌跡 $HL(S, V^\otimes)_{\text{typ}}$ が空でないならば、完全なホッジ軌跡 $HL(S, V^\otimes)$ は $S$ においてザリスキー稠密である（定理 1.4）。これは、Zilber-Pink 予想のパート (a)（非典型的軌跡の有限性）が パート (b)（典型的軌跡の稠密性）を内包していることを示唆している。

• 尤度による稠密性の特徴付け： 本論文は、横断的ホッジ軌跡の非空性が、$V$-likely な厳密混合ホッジ部分類の存在と同値であることを証明している（定理 1.14）。

  • ユークリッド稠密性： $\text{Gr}^W_{-2}(\text{Lie}(P)) = 0$ という条件（これは、変分が特定の型の「純粋にべき零な」因子を持たないことを意味する）の下では、$V$-likely な部分類の存在は、横断的軌跡がユークリッド位相において稠密であることと同値である（定理 1.11）。
  • 反例： 本論文は、一般的な混合の場合において、$V$-likely な部分類であっても、ザリスキー稠密ではあるがユークリッド稠密ではない横断的軌跡が生じ得ることを示す具体的な例（命題 6.2 および 6.3）を提示している（例：$(\mathbb{C}^\times)^n$ において稠密であるが、冪根の性質によりユークリッド位相では稠密ではない場合）。

• 空集合の判定基準とレベル： 本論文は、純粋な変分に関する「レベル」の結果を拡張している。$\text{Gr}(V)$ が（Baldi-Klingler-Ullmo の意味での）レベル 3 以上であり、特定のモノドロミーおよび幾何学的条件（例：$P_0^{\text{der}} = H_0$ かつ $\mathbb{G}_m$ への優越な射が存在しない）を満たす場合、横断的ホッジ軌跡は空であることを証明している（定理 1.19, 定理 10.3）。

  • この空集合性は、完全なホッジ軌跡が非典型的部分多様体のみで構成されていることを意味する。
  • したがって、「成分ごとに正の次元を持つ」ホッジ軌跡の部分は、厳密なザリスキー閉集合となる（系 1.21）。

• Zilber-Pink 予想の精緻化： 本論文は、非典型的軌跡と横断的軌跡の関係を明確にしている。Zilber-Pink 予想の下では、典型的軌跡の稠密性は、横断的軌跡の稠密性と同値であることを示している。

意義と主張
本論文は、べき零根や拡大（extensions）の存在により、純粋なケースよりも大幅に複雑化する混合の設定において、ホッジ軌跡の分布を理解するための包括的な枠組みを提供すると主張している。

• 「全か無か」の性質の解決： 著者は、純粋な変分については既知であった「全か無か」の原理が、混合の場合においても横断的ホッジ軌跡に対して成立することを確立した。これは、混合変分における Zilber-Pink 予想の強力な部分的検証として機能する。
• 空集合に関する新たな判定基準： 随伴する次数付き変形の「レベル」とべき零根の構造を紐付けることで、ホッジ軌跡が自明（trivial）となる時期を決定するための、検証可能な新たな判定基準を提供している。これは、レベルが高い状況における Brosnan-Pearlstein-Schnell による古典的な結果を改善するものである。
• 位相の区別： 本研究は、純粋な変分と混合変分の間の根本的な違いを浮き彫りにしている。混合の場合、指定された型の軌跡について、ザリスキー稠密性は必ずしもユークリッド稠密性を自動的に意味しない。この現象は、$\mathbb{Z}(0)$ による $\mathbb{Z}(1)^n$ の拡大の族によって例証されている。

結論として、本論文は、横断的ホッジ軌跡の研究こそが、混合ホッジ理論における稠密現象を分析するための正しい設定であることを示しており、部分データの「尤度（likelihood）」と幾何学的制約（レベル、モノドロミー）の相互作用が、ホッジ軌跡の分布を完全に決定している。