[论文解读] Bi-canonical representations of finite automorphisms acting on Enriques surfaces

Hisanori Ohashi|arXiv (Cornell University)|Apr 3, 2015

Advanced Algebra and Geometry参考文献 3被引用 3

一句话总结

该论文通过其双 canonical 表示，对 K3 覃面的有限非半辛自同构进行了分类，证明仅有三种类型存在：(阶 4，指标 2)、(阶 8，指标 4) 和 (阶 8，指标 2)。利用 Horikawa 的双有理模型和 K3 覆盖，构造了显式例子，并建立了最大维数模空间族的唯一性定理，分别显示出最大模空间维数为 5、2 和 2。

ABSTRACT

We classify the bi-canonical representations of finite automorphisms on Enriques surfaces. There are three types of non-trivial cases and examples are given explicitly by Horikawa models. In particular, finite non-semi-symplectic automorphisms exist only in orders 4 and 8. One corollary is that any finite cyclic subgroup in the automorphism group of an Enriques surface has order 1, 2, 3, 4, 5, 6, 8. Moreover, for two of the three types, a uniqueness theorem for maximal-dimensional families is given.

研究动机与目标

• 通过其双 canonical 表示，对 K3 覃面上的有限非半辛自同构进行分类。
• 确定此类自同构的可能阶数和指标，特别是非半辛情形下的情况。
• 利用 Horikawa 的椭圆 K3 覇面双覆盖 P¹×P¹ 的双有理模型，构造显式例子。
• 在三种类型中的两种中，建立最大维数族的唯一性定理。
• 确定此类自同构族的最大可能模空间维数。

提出的方法

• 利用 Horikawa 的椭圆 K3 覙面双覆盖 P¹×P¹ 的双有理射影模型，构造在阶 4 和阶 8 自同构下不变的显式方程。
• 分析自同构在全局双 2-形式空间 H⁰(OS(2KS)) 上的作用，以确定自同构 σ 的指标 I(σ)。
• 将自同构从 K3 覙面 S 提升到其 K3 覆盖 X，利用 H⁰(OX(KX)) 上的作用定义指标和阶数。
• 应用解析 Lefschetz 固定点定理，分析固定点集并导出格形同构，如 H²(X,Z)^φ² ≅ U(2)。
• 利用 Néron-Severi 格形和商几何，证明 X/φ² ≅ P¹×P¹，并确定剩余群 K₄ ≅ (Z/2)² 在商上的作用。
• 对 PGL(2,C)×PGL(2,C) 作用于 P¹×P¹ 的子群进行分类，表明仅出现特定的正规形式，从而得出模同构意义下的唯一性。

实验结果

研究问题

• RQ1 K3 覡面上有限非半辛自同构的可能阶数和指标是什么？
• RQ2 能否利用 Horikawa 模型构造此类自同构的显式族？
• RQ3 此类自同构族的最大可能模空间维数是多少？
• RQ4 是否存在关于最大维数族的唯一性结果？
• RQ5 K3 覆盖上的自同构群如何与商曲面的几何相关？

主要发现

• K3 覡面上的有限非半辛自同构仅存在于阶 4 和阶 8，其指标为 2 或 4。
• 唯一的可能双 canonical 表示类型为 (4,2)、(8,4) 和 (8,2)，如定理 1.4 所证明。
• 在 (4,2) 情形下，最大模空间维数为 5，例 1.1 实现了该界。
• 在 (8,4) 和 (8,2) 情形下，最大模空间维数为 2，例 1.2 和 1.3 达到了这些界。
• 在 (4,2) 情形下，最大维数族存在唯一性定理，通过 P¹×P¹ 上 K₄ 作用的分类得以证明。
• 具有此类自同构的 K3 覡面 X 的 Picard 数为 10，且固定格形 H²(X,Z)^φ² 同构于 U(2)。