[论文解读] 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}$ 上的作用，基于格伦理论对素数阶自同构进行了分类。利用Torelli定理与Hodge理论，本文对素数阶 $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})$ 上的作用对复阿贝尔曲面的素数阶自同构进行分类。
• 确定非辛与辛自同构的不变格伦 $T(G_\sigma)$。
• 利用周期域与算术群，为具有此类自同构的阿贝尔曲面族构造模空间。
• 为研究高维广义Kummer流形的自然自同构提供参考框架。

提出的方法

• 应用Shioda的Torelli定理，将 $H^1(A,\mathbb{Z})$ 上的Hodge结构与同调格伦 $H^2(A,\mathbb{Z}) \cong U^{\oplus 3}$ 关联起来。
• 利用自同构在 $H^2(A,\mathbb{Z})$ 上的作用，将不变格伦 $T(G_\sigma)$ 定义为群 $G_\sigma = \langle \sigma, -\mathrm{id} \rangle$ 作用下的固定子格伦。
• 对于非辛自同构，构造周期域 $D^H$ 与稳定子群 $\Gamma^H$，以参数化 $[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 阿贝尔曲面周期域中的每条一般扭积线是否都能通过一个 $G$-不变的超凯勒度量实现为扭积族的周期轨迹？

主要发现

• 对于素数阶的非辛自同构，不变格伦 $T(G_\sigma)$ 同构于表中列出的格伦之一：$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$，具体取决于 $p$ 与不变量 $r$、$\dim$ 与 $a$。
• 模空间 $\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)$ 的分类完全确定了该自同构所属的Fujiki族，为非辛素数阶自同构提供了完整的不变量。