Automorphisms of the moduli space of smooth cubic surfaces and its fundamental group

技術的サマリー：滑らかな三次曲面のモジュライ空間とその基本群の自己同型

問題提起
本論文は、複素解析的オービフォールドとして扱われる滑らかな複素三次曲面のモジュライ空間 $\mathcal{C}$ の剛性性に取り組む。具体的には、著者らはこの空間の正則自己同型群 $\text{Aut}(\mathcal{C})$ を調査する。曲線のモジュライ ($M_g$) や主要偏極アーベル多様体のモジュライ ($A_g$) といった他のモジュライ空間に対する剛性結果は古典的であるが、三次曲面のモジュライ空間は独自の課題を呈する。局所対称多様体（エルミート対称領域の算術群による商）である $A_g$ と異なり、$\mathcal{C}$ は局所対称多様体とホモトピー同値ではない。中心的な問題は、$\mathcal{C}$ が非自明な自己同型を許容するかどうかを決定し、もし許容しないならば、その基本群 $\pi_1(\mathcal{C})$ の群論的解析を通じてこれを確立することである。

手法と幾何学的設定
著者らは、Allcock、Carlson、Toledo による周期写像の構成 [1] を利用し、$\mathcal{C}$ を局所対称多様体 $X$ 内の除数 $D$ の補集合と同一視する。

• 周囲空間: $X$ は、$X = \text{PU}(4, 1)(E) \backslash \mathbb{B}^4$ として定義されるピックル・モジュラー 4 次元多様体であり、ここで $\mathbb{B}^4$ は複素双曲 4 次元球、$E = \mathbb{Z}[\omega]$ はアイゼンシュタイン整数である。
• 除数: $D$ は $X$ 内の全測地的に埋め込まれた除数であり、ノード特異点のみを持つ特異三次曲面のモジュライ空間と同型である。
• 同型: 複素オービフォールドの同型 $\mathcal{C} \cong X \setminus D$ が存在する。
• 基本群の列: 包含写像 $i: \mathcal{C} \hookrightarrow X$ は、オービフォールド基本群上の全射 $i_*: \pi_1(\mathcal{C}) \to \pi_1(X) \cong \text{PU}(4, 1)(E)$ を誘導する。これにより、次の完全列が得られる：
  $$1 \longrightarrow K \longrightarrow \pi_1(\mathcal{C}) \longrightarrow \text{PU}(4, 1)(E) \longrightarrow 1$$
  ここで、$K$ は核であり、$D$ の普遍被覆 $\mathbb{B}^4$ へのリフトの和集合 $\mathcal{H}$ に対する $\pi_1(\mathbb{B}^4 \setminus \mathcal{H})$ と同定される。

著者らの戦略は、「群論は代数幾何を記憶する」という原理に依存している。彼らは、核 $K$（除数 $D$ に対応する）が $\pi_1(\mathcal{C})$ の特性部分群であることを証明することを目的としている。もし $K$ が特性部分群であれば、$\pi_1(\mathcal{C})$ の任意の自己同型は除数補集合の構造を保存し、これにより $\mathcal{C}$ の自己同型を周囲空間 $X$ へ持ち上げることが可能になる。

主要な貢献と結果

1. 定理 1.2（群論的剛性）:
   射影 $\pi_1(\mathcal{C}) \to \text{PU}(4, 1)(E)$ の核 $K$ は、$\pi_1(\mathcal{C})$ の特性部分群である。すなわち、任意の $\phi \in \text{Aut}(\pi_1(\mathcal{C}))$ に対して、$\phi(K) = K$ である。

   • 証明の方針: 証明には、除数 $D$ 周りの子午線（具体的には、位数 6 のヘキサフレクション）である $\pi_1(\mathcal{C})$ の生成元の解析が含まれる。
   • 著者らは、モノドロミー群 $P\Gamma_4$ がこれらのヘキサフレクションによって生成されることを確立する。
   • 計算代数（Magma）を用いて、$\pi_1(\mathcal{C})$ へ写像するアートン群 $A(\tilde{E}_6)$ からウェイル群 $W(E_6)$ への準同型が、内部自己同型を除いて一意であることを示す。
   • 彼らは、$\pi_1(\mathcal{C})$ の任意の自己同型が、生成元（子午線）を $P\Gamma_4$ において楕円的であり、かつ特定の位数の性質（6 を約数とする）を持つ元へ写さなければならないことを示す。
   • 決定的な点として、彼らは、そのような自己同型の核生成元への像が $K$ 内に存在することを証明し、$K$ が群のすべての自己同型に対して不変であることを確立する。

2. 定理 1.1（幾何学的剛性）:
   滑らかな複素三次曲面のモジュライ空間の正則自己同型群 $\text{Aut}(\mathcal{C})$ は自明である。

   • 証明の方針:
     • $f \in \text{Aut}(\mathcal{C})$ とする。これは $\pi_1(\mathcal{C})$ の外自己同型 $\phi$ を誘導する。
     • 定理 1.2 により、$\phi(K) = K$ である。したがって、$f$ は被覆空間 $\mathbb{B}^4 \setminus \mathcal{H}$ の正則自己同型 $\tilde{f}$ へ持ち上げられる。
     • $\tilde{f}$ が $\mathbb{C}^4$ への有界正則写像であり、特異集合 $\mathcal{H}$ が至る所稠密でない解析的部分集合であるため、リーマンの拡張定理により、$\tilde{f}$ は正則写像 $\hat{f}: \mathbb{B}^4 \to \mathbb{C}^4$ へ拡張できる。
     • 連続性と開写像定理により、$\hat{f}$ は $\mathbb{B}^4$ をそれ自身へ写すため、$\hat{f} \in \text{Aut}(\mathbb{B}^4) = \text{PU}(4, 1)$ となる。
     • 持ち上げられた写像 $\hat{f}$ は格子 $P\Gamma_4$ を正規化する。
     • コロラリー 2.3（モストウ・プラサド剛性と格子の極大性から導かれる）により、オービフォールド $X$ は非自明な正則自己同型を持たない。
     • したがって、$X$ 上で誘導される自己同型は自明であり、$f$ も自明であることを意味する。

意義と主張
本論文は、$\pi_1(\mathcal{C})$ の群論的構造がノード特異三次曲面の幾何学的除数 $D$ を「記憶」していることを実証すると主張している。これにより、著者らは $\mathcal{C}$ 自体の局所対称性の欠如を、周囲の局所対称多様体 $X$ の剛性を利用することで回避できる。

著者らは、自らの結果を $M_g$ および $A_g$ に対する古典的剛性定理の補完として位置づけている。彼らは、$A_g$ に対する戦略が空間が局所対称多様体であることに依存するのに対し、$\mathcal{C}$ に対する戦略は、補集合の自己同型が「除数を記憶する」ことを証明する必要があると指摘する。論文は明示的に、これが一般的な除数補集合に対しては成り立たないこと（種数 2 の曲線を用いた反例を提供）を述べており、三次曲面のモジュライ空間の固有の性質が不可欠であることを強調している。

著者らはまた、エカルト除数（エカルト点を持つ曲面をパラメータ化する）を用いた代替アプローチにも言及しており、これはカート・マクマレンによって提案されたとされる。しかし、彼らは、ノード除数を通じた主要なアプローチの方が優れていると論じている。なぜなら、それは核の特性性に関するより強力な群論的結果（定理 1.2）をもたらすのに対し、エカルトアプローチは、それほど容易に一般化されないかもしれない、その除数の特定の幾何学的性質に依存しているからである。

限界と将来の方向性
本論文は、局所対称多様体の除数補集合に対する剛性を研究するより広範なプログラムの中で、自らの結果を謙虚に位置づけている。彼らは、自らの手法をマルグリスの超剛性と組み合わせることで、タイプ IV の場合の自己同型を分類できるが、本論文のような球商の場合には、除数 $D$ の自己交差の特殊性に依存していると指摘する。著者らは、外自己同型群 $\text{Out}(\pi_1(\mathcal{C}))$ と抽象的可換化群に関する未解決の問題を提起しており、これらが完全に解決される必要があることを示唆している。