[論文レビュー] Abelian Fourfolds of Weil type and certain K3 Double Planes

Giuseppe Lombardo, Chris Peters+1 more|arXiv (Cornell University)|Sep 26, 2012

Algebraic Geometry and Number Theory参考文献 10被引用数 3

ひとこと要約

本稿は、一般位置に配置された6本の直線を分岐点とする平面の2重被覆として得られるK3表面と、Weil型のアーベル4倍体の間の深い対応関係を確立する。楕円曲線のファイブレーションとクーガ＝サタケ構成を分析することで、これらのK3表面と特定のアーベル4倍体のモジュライ空間が周期写像を通じて同型であることを示し、また、このようなK3表面に関連するホッジ構造に付随するクーガ＝サタケ多様体が、元のアーベル4倍体の平方にアイソジェニであることを証明する。

ABSTRACT

Double planes branched in 6 lines give a famous example of K3 surfaces. Their moduli are well understood and related to abelian fourfolds of Weil type. We compare these two moduli interpretations and in particular divisors on the moduli spaces. On the K3 side, this is achieved with the help of elliptic fibrations. We also study the Kuga-Satake correspondence on these special divisors.

研究の動機と目的

• 一般位置に配置された6本の直線を分岐点とする2重被覆として得られるK3表面と、Weil型のアーベル4倍体との間のモジュライ理論的関係を明確化すること。
• 周期写像とそのモジュライ空間内の像を通じて、これらの2つの幾何的対象のモジュライ解釈を比較すること。
• 6本の直線配置のモジュライ空間内の特別な除集合、特に共通の円錐曲線に接する6本の直線に対応する$XQ$除集合を研究すること。
• これらの配置から生じる特別な除集合におけるクーガ＝サタケ対応を調査すること。
• K3表面とアーベル4倍体のホッジ構造に関連するクーガ＝サタケ多様体の自己準同型構造とアイソジェニ型を特定すること。

提案手法

• 一般位置に配置された6本の無向直線の配置空間から、$\mathbf{M} = \mathbf{D}_4 / \mathrm{SO}^*(T)$ への周期写像を用い、ここで$T = U^2 \perp \langle -1 \rangle \perp \langle -1 \rangle$ である。
• 6本の直線に作用する相関対合$*$を適用し、これは2重被覆として得られるK3表面を不変に保ち、対称群$\mathfrak{S}_6$と可換である。これにより、モジュライ空間$\mathbf{M}$が$\mathbf{X}/H$（$H = \mathfrak{S}_6 \times \{*\}$）として特定される。
• $\mathbf{X}$における$XQ$除集合を分析し、これは共通の円錐曲線に接する6本の直線に対応し、 genus 2 曲線にレベル2構造を持つことを示し、$\mathfrak{h}_2 / \Gamma(2)^0$ と同一視される。
• タイプ$(1,3,1)$の極小ホッジ構造$T_{\Delta} = \langle 2\Delta \rangle \perp U \perp \langle -2 \rangle^2$ にクーガ＝サタケ構成を適用し、クリフォード代数を用いて自己準同型代数を計算する。
• 定理4.2によるクーガ＝サタケ多様体$A(T_{\Delta})$の分解を用い、$A(T_{\Delta}) \sim B^2$ となることを示し、ここで$B$はアーベル4倍体であり、$(-1,\Delta)_{\mathbb{Q}} \subset \mathrm{End}_{\mathbb{Q}}(B)$ を満たす。
• アーベル4倍体$A_{\Delta}$について$T(A_{\Delta}) = T_{\Delta}$ であるとき、$A(T_{\Delta}) \sim A_{\Delta}^2$ であるという主要なアイソジェニを確立し、クーガ＝サタケ多様体と元のアーベル4倍体を結ぶ。

実験結果

リサーチクエスチョン

• RQ1 一般位置に配置された6本の直線を分岐点とする2重被覆として得られるK3表面のモジュライ空間と、Weil型のアーベル4倍体のモジュライ空間との関係は何か？
• RQ2 $XQ$除集合は6本の直線配置のモジュライ空間においてどのような幾何的・算術的意味を持ち、レベル2構造を持つgenus 2曲線とどのように関係するか？
• RQ3 6本の直線を分岐点とする2重平面から得られるK3表面の超越的ホッジ構造$T_{\Delta}$に関連するクーガ＝サタケ多様体の構造は何か？
• RQ4 どのような条件下で、このようなホッジ構造のクーガ＝サタケ多様体が元のアーベル4倍体の冪にアイソジェニであるか？
• RQ5 四元数代数$(-1,\Delta)_{\mathbb{Q}}$は、クーガ＝サタケ多様体および元のアーベル4倍体の自己準同型構造にどのように影響を与えるか？

主な発見

• 一般位置に配置された6本の直線を分岐点とする2重被覆として得られるK3表面のモジュライ空間は、$\mathbf{M} = \mathbf{D}_4 / \mathrm{SO}^*(T)$ と同型であり、この同型は周期写像によって誘導される。
• モジュライ空間における$XQ$除集合は、共通の円錐曲線に接する6本の直線に対応し、$\mathfrak{h}_2 / \Gamma(2)^0$ とbiholomorphicである。これは、レベル2構造を持つgenus 2曲線のモジュライ空間$\mathbf{M}_{2,2}$ と同一視される。
• $T(A_{\Delta}) = T_{\Delta}$ を満たす$\mathbb{Q}(i)$-Weil型のアーベル4倍体$A_{\Delta}$ に対して、クーガ＝サタケ多様体$A(T_{\Delta})$ は$A_{\Delta}^2$ にアイソジェニであり、$(-1,\Delta)_{\mathbb{Q}} \subset \mathrm{End}_{\mathbb{Q}}(A_{\Delta})$ を満たす。
• クーガ＝サタケ多様体$A(T_{\Delta})$ は、$(-1,\Delta)_{\mathbb{Q}} \subset \mathrm{End}_{\mathbb{Q}}(B)$ を満たす単純なアーベル4倍体$B$ を用いて$B^2$ に分解され、$B$ は$A_{\Delta}$ にアイソジェニである。
• $\Delta$ が2つの有理数の平方の和であるとき、四元数代数$(-1,\Delta)_{\mathbb{Q}}$ は分解するので、$B$ は2つのアーベル曲面の積にアイソジェニである。このとき、$B$ のクーマー多様体と元のK32重平面との間に幾何的関係があるかという疑問が生じる。
• アーベル4倍体$A$ の$\mathbb{Q}(i)$-Weil型の$T(A)$ にクーガ＝サタケ構成を適用すると、$A^4$ にアイソジェニに回復される。これは、構成がホッジ理論的構成$T(A)$ の逆であることを示している。