[論文レビュー] Prime order automorphisms of abelian surfaces: a lattice-theoretic point of view

Giovanni Mongardi, Kévin Tari+1 more|arXiv (Cornell University)|Jun 18, 2015

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

ひとこと要約

本稿は、複素アーベル曲面の素数位の自己同型のラティス理論的分類を、$H^2(A,\mathbb{Z}) \cong U^{\oplus 3}$ 上の作用を分析することによって行っている。トーリーの定理とホッジ理論を用いて、$p = 2,3,5$ の素数位の非シミレクティックおよびシミレクティック自己同型を分類し、不変ラティスを特定し、周期領域と算術群を用いてモジュライ空間を構成した。主な貢献は、各素数位に対して可能な不変ラティス $T(G_\sigma)$ の完全なリストを提示し、自己同型の型とラティス不変量との間の対応を確立したことである。

ABSTRACT

In this article, we focus on a new perspective of automorphisms of complex 2-tori, reviewing previous works from a lattice-theoretic point of view. In particular, we give a classification of families of symplectic and non-symplectic automorphisms of prime order.

研究の動機と目的

• 複素アーベル曲面の素数位自己同型を $H^2(A,\mathbb{Z})$ 上の作用を用いて分類すること。
• 非シミレクティックおよびシミレクティック自己同型の素数位 $p$ に対して、不変ラティス $T(G_\sigma)$ を特定すること。
• 周期領域と算術群を用いて、このような自己同型を持つアーベル曲面の族のモジュライ空間を構成すること。
• 高次元における一般化されたクミンマンフォールドの自然な自己同型を研究するための基盤を提供すること。

提案手法

• 塩田のトーリー定理を適用し、$H^1(A,\mathbb{Z})$ 上のホッジ構造と $H^2(A,\mathbb{Z}) \cong U^{\oplus 3}$ 上のコホロロジー・ラティスを関連付ける。
• 自己同型が $H^2(A,\mathbb{Z})$ 上に作用することを用いて、群 $G_\sigma = \langle \sigma, -\mathrm{id} \rangle$ による固定部分ラティスとして不変ラティス $T(G_\sigma)$ を定義する。
• 非シミレクティック自己同型の場合、$[H]$-極化ペアの同型類をパラメトライズするための周期領域 $D^H$ と安定化部分群 $\Gamma^H$ を構成する。
• シミレクティック自己同型の場合、$\mathbb{P}(T(G) \otimes \mathbb{C})$ 内の制限周期領域 $\Omega_{T(G)}$ を定義し、ツイスター族を用いて周期線を実際のトーラス族に上昇させる。
• 周期写像の上への性質とモノドロミー不変性を活用し、モジュライ空間 $\mathcal{M}_G$ がすべてのマーク付きアーベル曲面にシミレクティック $G$-作用を持つことを示す。
• $p$-整域ラティス理論と $p$-整域ラティスの分類を用いて、$p=2,3,5$ の各 $T(G_\sigma)$ のすべての可能な形を同定する。

実験結果

リサーチクエスチョン

• RQ1 素数位 $p$ の非シミレクティック自己同型がアーベル曲面上に作用するとき、$T(G_\sigma)$ として現れる $p$-整域ラティスはどれか？
• RQ2 不変ラティスの不変量 $\mathrm{rank}(T(G_\sigma))$、$a$、および $\dim$ は、このような自己同型を持つアーベル曲面の族をどのように分類するか？
• RQ3 素数位のシミレクティック自己同型を持つアーベル曲面のモジュライ空間の構造はいかなるものか？
• RQ4 周期領域 $D^H$ と群 $\Gamma^H$ は、$[H]$-極化ペア $(A,G)$ の同型類をどのようにパラメトライズするか？
• RQ5 アーベル曲面の周期領域における一般のツイスター線は、ハイパーカイラー計量から得られるツイスター族の周期軌道として実現可能か？

主な発見

• 非シミレクティック自己同型の素数位において、不変ラティス $T(G_\sigma)$ は、$p$ と不変量 $r$、$\dim$、$a$ に応じて、次のラティスのいずれかに同型である：$U$、$U(2)$、$\langle 2\rangle \oplus \langle -2\rangle$、$U \oplus \langle -2\rangle^{\oplus 2}$、$U(3)$、$U \oplus A_2(-1)$、または $H_5$。
• 非シミレクティック自己同型に対して、モジュライ空間 $\Gamma^H \backslash D^H$ は $[H]$-極化ペア $(A,G)$ の同型類をパラメトライズする。$p=2$ のとき次元は $4 - r$、$p=3,5$ のとき次元は $\frac{6 - r}{p-1} - 1$ である。
• シミレクティック自己同型の場合、モジュライ空間 $\mathcal{M}_G$ は連結成分の和集合であり、それぞれは有理的連結である。この空間は、すべてのマーク付きアーベル曲面にシミレクティック $G$-作用を持つことをパラメトライズする。
• アーベル曲面の周期領域における一般のツイスター線は、$G$-不変なハイパーカイラー計量を介してツイスター族の複素トーラス族に上昇可能であり、これによりモジュライ空間が適切に定義され、幾何的に実現可能であることが保証される。
• $\mathcal{M}_G$ の一般点は、$T(G) = T_A$ かつ $S(G) = NS(A)$ を満たすマーク付きアーベル曲面に対応しており、ラティス理論的分類が幾何的に意味を持つことを確認する。
• $p$-整域ラティスによる $T(G_\sigma)$ の分類は、自己同型が属するフジキ族を完全に特定することができ、非シミレクティック素数位自己同型に対する完全な不変量を提供する。