Specializations of symplectic and van Geemen--Sarti involutions on K3 surfaces

アリス・ガルバニャーティ（Alice Garbagnati）による論文「K3 曲面におけるシンプレクティック自己同型とヴァン・ジーメン＝サルティ（van Geemen–Sarti）対合の特殊化」の技術的要約を以下に示します。

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

K3 曲面 $X$ 上の有限位数のシンプレクティック自己同型 $\alpha$ を考えるとき、商 $X/\alpha$ の最小特異点解消 $Y$ は再び K3 曲面となる。一般的には、$X$ と $Y$ は異なる K3 曲面であり、そのネロン・セヴェリ群（$NS(X)$と$NS(Y)$）も等距離的（isometric）ではない。

しかし、特定の条件下では $NS(X) \simeq NS(Y)$ が成り立ち、さらに $X \simeq Y$ となる場合もある。特に、楕円束上の 2 ねじれ断面による平移で定義される「ヴァン・ジーメン＝サルティ対合（van Geemen–Sarti involution）」を持つ K3 曲面の族 $N$ において、一般元では $NS(X) \simeq NS(Y)$ が成り立つことが知られている。

本研究の主な目的は以下の 2 点である：

1. 非ヴァン・ジーメン＝サルティ型の対合を持つ K3 曲面の族の中で、$NS(X) \simeq NS(Y)$ が成り立つような無限個の 2 余次元部分族を特定すること。
2. ヴァン・ジーメン＝サルティ対合を持つ族 $N$ において、$NS(X) \simeq NS(Y)$ が成り立つような特殊化（specializations）を完全に記述し、特に $X \simeq Y$ となる 5 次元部分族における複素乗法（Complex Multiplication）の作用を明らかにすること。

2. 手法とアプローチ

本論文は、主に格子論（Lattice Theory）と幾何学的な楕円束の特殊化を組み合わせる手法を用いている。

• 格子論的アプローチ:

  • K3 曲面の第 2 コホモロジー群は標準格子 $\Lambda_{K3} \cong U^{\oplus 3} \oplus E_8^{\oplus 2}$ に同型である。
  • シンプレクティック対合 $\iota$ の作用は、$\Lambda_{K3}$ 上の標準的な同型写像として記述される（$E_8$ の 2 つのコピーを交換し、$U^{\oplus 3}$ 上で恒等写像となる）。
  • 商写像 $\pi: X \to Y$ によって誘導されるコホモロジー上の写像 $\pi^*$ と $\pi_*$ を格子の射影として具体的に計算し、$NS(X)$と$NS(Y)$ の関係性を導出する。
  • ネリクン格子（Nikulin lattice）$N$ や $E_8(2)$ などの格子の埋め込み条件を用いて、ピカール数（$\rho$）が特定の値（10, 11, 12, 20）をとる場合の分類を行う。

• 幾何学的アプローチ（楕円束の特殊化）:

  • 楕円束の特異ファイバー（$I_n$ 型など）を「貼り合わせる（gluing）」操作を通じて、ピカール数を増加させる特殊化を構成する。
  • 例：2 つの $I_2$ ファイバーを貼り合わせて $I_4$ を作る、あるいは $I_1$ と $I_2$ を貼り合わせるなど。
  • この幾何学的操作が、対合の作用や Mordell-Weil 群の構造にどのように影響するかを追跡する。

3. 主要な結果

3.1. 対称的なネロン・セヴェリ群を持つ新しい族の発見（定理 1.1）

ヴァン・ジーメン＝サルティ対合に限定されない、シンプレクティック対合を持つ K3 曲面の族において、$NS(X) \simeq NS(Y)$ が成り立つものが存在する。

• 定理 1.1: 一般元が $NS(X) \simeq NS(Y)$ を満たすような、射影的 K3 曲面の 12 次元族が無限に存在する。
• これらの族は、ピカール数 $\rho(X)=10$ を持ち、格子 $(\langle 4d \rangle \oplus E_8(2))' \oplus \langle -2d \rangle$ によって偏極されている。これは、$U \oplus N$ 偏極の場合（既知の例）だけでなく、より一般的なケースが存在することを示している。

3.2. ピカール数 11 の特殊化（第 4 章）

族 $N$ のピカール数 11 の部分族（$X_{11}$）を分類し、その商 $Y_{11}$ の性質を調べた。

• 定理 1.2: $X_{11}$ のネロン・セヴェリ群と特異ファイバーの構成（$I_2, I_4, I_1$ の組み合わせ）と、Mordell-Weil 群の構造を 4 つのケースに分類した。
• 重要な結論: ピカール数 11 の場合、$NS(X_{11})$ と $NS(Y_{11})$ は決して等距離的ではない（$NS(X_{11}) \not\simeq NS(Y_{11})$）。したがって、$X_{11} \simeq Y_{11}$ となることはない。

3.3. ピカール数 12 の特殊化と等距離性（定理 1.3）

ピカール数 12 の部分族（$X_{12}$）を考察し、$NS(X_{12}) \simeq NS(Y_{12})$ となる条件を特定した。

• 定理 1.3: $NS(X_{12}) \simeq NS(Y_{12})$ となるような、族 $N$ の無限個の 2 余次元部分族が存在する。
• 特に、$d=2e$ となるような特定の格子構造を持つ場合、$NS(X_{12}) \simeq NS(Y_{12})$ が保証される。

3.4. $X \simeq Y$ となる 5 次元族と複素乗法（第 6 章）

$X$ とその商 $Y$ が同型となる（$X \simeq Y$）特別な族 $L$（5 次元）に焦点を当てた。

• 定理 1.4: $X \simeq Y$ となる族 $L$ において、商写像 $\pi$ は $X$ の超越格子 $T_X$ 上の自己準同型 $\gamma$ を誘導する。この $\gamma$ の作用が $T_X$ を不変に保つような特殊化において、$NS(X) \simeq NS(Y)$ が成り立つという十分条件を与えた。
• 複素乗法（CM）: 族 $L$ の一般元は $\mathbb{Q}(\sqrt{-2})$ による複素乗法を持つ。この CM 作用素 $\nu$ と、商写像から誘導される $\gamma$ の作用を、超越格子の基底を用いて具体的に記述した（定理 6.1）。
  • $\gamma$ は、格子 $\Gamma$ 上でブロック行列 $\begin{pmatrix} 0 & 1 \\ 2 & 0 \end{pmatrix}^{\oplus 5} \oplus \gamma_+$ のように作用する。
  • $\nu$ は $\begin{pmatrix} 0 & 1 \\ -2 & 0 \end{pmatrix}^{\oplus 6}$ のように作用する。
• ピカール数 20 への極限: 楕円束のファイバーを繰り返し貼り合わせることで、ピカール数 20 の剛性 K3 曲面 $X_{20}$ を構成し、そこで $X_{20} \simeq Y_{20}$ かつ $MW(E_{20}) = \mathbb{Z}/4\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}$ となることを示した（命題 6.3）。

3.5. 位数 3 の場合への拡張（第 7 章）

2 ねじれ断面（位数 2）の議論を、3 ねじれ断面（位数 3）を持つ楕円束を持つ K3 曲面に拡張した。

• 位数 3 のシンプレクティック自己同型 $\sigma$ に対して、$E_6$ のコピーを 3 つ交換する標準的な作用を定義し、同様の特殊化と $NS(X) \simeq NS(Y)$ の条件を導出した（定理 7.4, 7.5, 7.6）。
• ピカール数 20 の剛性曲面 $X_{20}$ において $X_{20} \simeq Y_{20}$ となり、その超越格子は $\langle 12 \rangle \oplus \langle 4 \rangle$ となる。

4. 意義と貢献

1. 対称性の構造の解明:
   K3 曲面とその商が同じネロン・セヴェリ群を持つ（あるいは同型である）現象が、ヴァン・ジーメン＝サルティ対合に特有のものではなく、より広範なシンプレクティック対合の族において現れることを示した。

2. 特殊化の体系的な分類:
   楕円束のファイバーの貼り合わせ操作を通じて、ピカール数が増加する過程で $NS(X)$と$NS(Y)$ の関係性がどのように変化するかを、ピカール数 11（非等距離）から 12（等距離可能）へ、さらに 20（同型）へと段階的に記述した。

3. コホモロジー作用の明示的記述:
   商写像が超越格子に誘導する自己準同型 $\gamma$ と、複素乗法 $\nu$ の具体的な行列表示を格子論的に導出した。これは、K3 曲面のモジュライ空間における特殊な点（CM 点や同型点）の理解を深める上で重要である。

4. 一般化:
   位数 2 の結果を位数 3 の場合に拡張し、同様の枠組みが異なる位数のシンプレクティック自己同型に対しても適用可能であることを示した。

総じて、本論文は K3 曲面の対称性とその商の幾何的・代数的な関係を、格子論と楕円束の幾何学を駆使して詳細に解明し、$NS(X) \simeq NS(Y)$ となる条件を完全に分類した重要な成果である。