$E_6$-local systems from cubic threefolds

1. 研究の背景と問題設定

背景:
数体上のモチーヴ（motives）において、例外群（exceptional groups）をガロア群として実現するかどうかは、Serre によって提起された重要な未解決問題の一つでした。特に、$G_2$ や $E_8$ などの例外群は、曲線やアーベル多様体に基づく従来の構成では現れにくく、「危険な（hasardeuse）」問題と見なされていました。

問題:
本論文が取り組む具体的な問いは以下の通りです。

「すべての単純例外群は、滑らかな複素多様体上の幾何学的起源を持つ局所系（local system）の代数的モノドロミー群として実現されるか？」

これまでに、$G_2, E_7, E_8, F_4$ については幾何学的な構成が知られていましたが、$E_6$ の場合のみが未解決でした。本論文の主要な目的は、この欠落していたケース、すなわち $E_6$ を代数的モノドロミー群として持つ局所系を構成することです。

2. 主要な結果（Main Theorem）

著者らは、滑らかな複素多様体 $S$ 上の滑らかな三次超曲面（cubic threefold）の族 $Y \to S$ に対して、以下の結果を証明しました。

1. 無限個の局所系の構成:
   任意の普遍的（versal）な三次超曲面の族 $Y \to S$ に対して、$S$ 上の局所系 $V$ が無限に多く存在し、それらは互いに同値ではありません。
2. モノドロミー群:
   これらの局所系 $V$ の代数的モノドロミー群の連結成分は、例外群 $E_6$ に同型です。
3. 表現:
   $V$ は $E_6$ の 27 次元既約表現のいずれかとして作用します。
4. 条件:
   この結果は、$S$ 上の Fano 曲面（三次超曲面に含まれる直線の族）のファイバー上で定義された、有限位数のランク 1 の局所系 $L$ を用いて、$V = R^2\pi_* L$（$\pi$ は Fano 曲面の族）として構成されます。ここで、$L$ の位数 $n$ はある閾値 $n_0 > 2$ 以上である必要があります。
5. 不変トレース体:
   局所系 $V$ の不変トレース体（invariant trace field）は、$n$ 乗の円分体 $\mathbb{Q}(\zeta_n)$ に一致します。

3. 手法と構成の概要

この結果を得るための手法は、以下の 3 つの主要なステップで構成されています。

3.1. 幾何学的設定

• 三次超曲面と Fano 曲面:
  滑らかな三次超曲面 $Y \subset \mathbb{P}^4$ に対して、その中に含まれる直線の族 $F$（Fano 曲面）を考えます。$F$ は滑らかな射影曲面であり、その中間ヤコビアンは 5 次元のアーベル多様体（実際には $F$ のアルベノ多様体）と関連しています。
• 局所系の構成:
  $F$ 上のランク 1 のユニタリー局所系 $L$（有限位数 $n$）を取り、その相対ド・ラームコホモロジー $V = R^2\pi_* L$ を $S$ 上の局所系として定義します。

3.2. 復元技術（Reconstruction Technique）

本論文の核心的な技術的貢献の一つは、周期写像（period map）の微分から局所系を復元する手法の発展です。

• 周期写像とヒッグス束:
  局所系 $V$ に付随する複素変分ヒッグス束（complex variation of Hodge structures）を考え、その周期写像の微分（Higgs field）を解析します。
• 第二種直線の除数:
  Fano 曲面 $F$ 上には「第二種直線（lines of second type）」と呼ばれる特別な直線の集合があり、これは $F$ 上の双標準除数（bicanonical divisor）$B$ を定義します。
• 復元定理:
  著者らは、$L$ が十分に高い位数を持つ場合、$L$ の $B$ への制限を、周期写像の第二微分（あるいはヒッグス場の $d$ 乗）から関手的に復元できることを示しました（Theorem 2.12, Corollary 2.10）。
  この復元可能性は、局所系 $V$ が自己双対でないこと、および特定の分解構造を持つことを導くために不可欠です。

3.3. モノドロミー群の同定

構成された局所系 $V$ のモノドロミー群 $M$ が $E_6$ であることを示すために、以下の論理を用います。

1. 包含関係の確立:
   既存の文献（Lawrence-Sawin, Krämer など）の結果を用いて、$M$ の連結成分 $M^\circ$ が $E_6$ に含まれること（$M^\circ \subset E_6$）を確認します。これは、$F$ のアルベノ多様体上の perverse sheaves の畳み込みに関連する Tannaka 群が $E_6$ であることに基づいています。
2. 真の包含関係の排除:
   $M^\circ$ が $E_6$ の真の部分群にならないことを示すことが最大の課題です。
   • 自己双対性の排除:
     復元技術により、$V$ が自己双対（self-dual）ではないことが示されます。これにより、$E_6$ の既約表現が自己双対となるような部分群（例：$C_4, F_4, A_2, G_2$ など）への包含は排除されます。
   • 部分表現の次元解析:
     非自己双対となる部分群（例：$D_5, A_1 \times A_5, A_2 \times G_2$ など）に対して、$V$ の分解構造を調べます。復元技術から得られる結果（$V$ がランク 13 以上の単純部分系 $W$ を含むこと）と、各部分群における $E_6$ の 27 次元表現の分岐則（branching rules）を比較します。
   • 矛盾の導出:
     各部分群において、$W$ の次元要件を満たすことが不可能であることを示し、結果として $M^\circ$ は $E_6$ の真の部分群にはなり得ないことを証明します。

4. 重要な技術的貢献

1. 高次元版の復元手法:
   曲線の族に対して開発された手法（[LLS25]）を、曲面の族（Fano 曲面）に拡張し、周期写像の微分から局所系を復元する一般論を構築しました。
2. Fano 曲面の幾何学的性質の精密な解析:
   • 一般の Fano 曲面 $F$ 上の線束 $L \otimes \omega_F$ の大域生成性（Theorem 3.1）。
   • 第二種直線の除数 $B$ が、コホモロジーの積写像（cup product map）の核の基底点（base locus）として現れること（Theorem 3.2）。
   • これらの性質が、局所系の復元とモノドロミー群の決定に決定的な役割を果たします。
3. 例外群 $E_6$ の幾何学的実現:
   シムルバ多様体（Shimura varieties）に依存しない、三次超曲面という古典的な代数幾何学的対象から、$E_6$ モノドロミーを持つ局所系を明示的に構成しました。

5. 意義と影響

• Serre の問題への解答:
  例外群 $E_6$ に対する幾何学的起源を持つ局所系の存在を初めて証明し、Serre の問いに対する肯定的な解答を完成させました。
• モチーヴ理論への応用:
  構成された局所系を特殊化（specialization）することで、ガロア群が $E_6$ であるモチーヴを多数得ることができます。
• 手法の汎用性:
  周期写像の微分を用いた局所系の復元手法は、他の例外群やより一般的な幾何学的対象におけるモノドロミー群の決定に応用可能な可能性を秘めています。

結論

本論文は、三次超曲面の族とそれに関連する Fano 曲面の深い幾何学的性質（特に第二種直線の除数とコホモロジーの積構造）を巧みに利用することで、例外群 $E_6$ を代数的モノドロミー群として持つ無限個の局所系を構成しました。これは、例外群の幾何学的実現に関する長年の未解決問題を解決する画期的な成果です。