Motivic Modularity of CM K3 Surfaces

技術的要約：CM K3曲面のモチーフ的モジュラリティ

問題設定
本論文は、複素数体 $k \subset \mathbb{C}$ 上の数体で定義された、複素乗法（CM）を持つK3曲面に関連する代数的ヘッケ文字の明示的な記述を扱う。シムラ・タニヤママの定理は、アーベル多様体 $A$ のハーセ＝ヴェイユL関数が $L(s, A) = \prod L(s, \chi_i)$ と分解されるような代数的ヘッケ文字 $\chi_1, \dots, \chi_{2n}$ の存在を確立しているが、K3曲面におけるこれらの文字の明示的な決定は限定的な範囲に留まっていた。これまでの結果は、非シンプレクティックな群作用を持つK3曲面、自己積またはCM楕円曲線の積に付随するクマー曲面、およびピカール数が16である特定のK3曲面を扱ってきた。上述の特定の構成ではカバーされていなかった、ピカール数8および14を持つCM K3曲面を含む、CM K3曲面の代数的ヘッケ文字に関する一般的な公式を提供することには、依然として大きな空白が存在していた。

手法
著者は、K3曲面の複素乗法の理論、具体的にはRizovによって確立されたK3曲面の複素乗法の主定理に基づいた手法を用いている。手法は以下のステップで進行する：

1. ガロア表現と超越格子： 論文では、K3曲面 $X$ の第2コホモロジーの超越的部分 $T_l(X_k) \otimes \mathbb{Q}_l$ に作用する $l$ 進ガロア表現 $\rho_l$ を考察する。この表現の次元は $22 - \rho(X_k)$ である（ここで $\rho(X_k)$ はピカール数である）。
2. ムンフォード＝テイト群とCM体： CM K3曲面の定義を利用して、著者は反射体 $E$（CM体）および関連するムンフォード＝テイト群 $G$ を特定する。群 $G$ は、ノルム写像 $Nm: \text{Res}_{E/\mathbb{Q}} \mathbb{G}_{m,E} \to \text{Res}_{F/\mathbb{Q}} \mathbb{G}_{m,F}$ の核と同型であることが示される（ここで $F$ は $E$ の極大全実部分体である）。
3. ヘッケ文字の構成： Rizovの主定理を適用することにより、超越格子に対するガロア群の作用が、$G(\mathbb{A}_f)$ への連続な準同型へと分解されることが示される。著者は、ノルム写像 $N_{k/E}$ と複素共役を含む特定の関数方程式を満たす、一意な局所定数準同型 $u: \mathbb{A}_k^\times \to E^\times$ を構成する。
4. 文字の導出： 代数的ヘッケ文字 $\chi_\tau$ は、埋め込み $\tau: E \to \mathbb{C}$ を通じて、準同型 $u(t) \cdot N_{k/E}(t) / \overline{N_{k/E}(t)}$ を射影することによって明示的に定義される。
5. 性質の検証： これらの構成された文字が実際に代数的ヘッケ文字であり、かつ $l$ 進ガロア表現を対角化することを検証する。素数 $p$ における表現の不分岐性は、ヘッケ文字の $p$ における不分岐性と同値であることが示される。

主要な貢献と結果
主要な結果は定理1.3であり、これは数体 $k$ 上に定義された、CM体 $E$ によるCMを持つ任意のK3曲面 $X$ の代数的ヘッケ文字の明示的な公式を提供する。この定理は以下を確立する：

• 特定のノルムおよび共役の性質を満たす、一意な局所定数準同型 $u: \mathbb{A}_k^\times \to E^\times$ の存在。
• 各埋め込み $\tau \in \text{Hom}(E, \mathbb{C})$ に対する代数的ヘッケ文字 $\chi_\tau$ の構成。
• 超越格子上の $l$ 進ガロア表現 $\rho_l$ が、これらの文字に関連する表現の直和として分解されること：$\rho_l \cong \bigoplus_{\tau} \rho_{l, \chi_\tau}$。
• L関数の等式：$L(s, T_l(X_k) \otimes \mathbb{Q}_l) = \prod_{\tau} L(s, \chi_\tau)$。これは「モチーフ的モジュラリティ」と呼ばれる。

さらに、本論文はセクション4において、この一般定理を新しいクラスの例、すなわち単純なCMアーベル曲面に付随するクマー曲面に適用する。

• 命題4.7は、このようなクマー曲面に対して定理1.3の一般構成から導出されたヘッケ文字が、基礎となる単純アーベル曲体に直接複素乗法の主定理を適用することによって得られるものと正確に一致することを実証している。この結果は、楕円曲線の積に焦点を当てた士田・伊勢およびRizovによる先行研究とは独立したものであると記されている。

意義と主張
本論文は、数体上のCM K3曲面の代数的ヘッケ文字に対する統一的かつ明示的な公式を提供することを主張しており、既知の結果の範囲を、ピカール数8および14を持つ曲面を含むように拡張している。著者は、この構成が、非シンプレクティックな作用や楕円曲線の積を含むような、従来の特定のケースを回収し、一般化するものであることを強調している。

本研究の意義は以下の点にある：

1. 明示的な決定： 単なる文字の存在証明を超えて、反射体およびノルム写像を用いた、それらの明示的な構成を実現したこと。
2. 一般性： 明示的な公式からこれまで除外されていたケース、特に最大次数20のCM体を持つことが知られているピカール数8および14のケースをカバーしたこと。
3. 整合性： 一般的な構成が、クマー曲面（単純アーベル曲体に付随するもの）に適用された際に、古典的なアーベル多様体のCM理論と一致することを検証したこと。

著者は、本論文が先行文献（例えばCostaらによるもの）で言及されている特定のK3曲面がCM型であることを証明するものではないが、それらがもしCM型であるならば、その超越的ガロア表現が本論文で構成された代数的ヘッケ文字によって支配されることを示しており、その仮定の下でそれらの結果を回収している、と謙虚に述べている。