[论文解读] Finite groups of automorphisms of Enriques surfaces and the Mathieu group $M_{12}$

Shigeru Mukai, Hisanori Ohashi|arXiv (Cornell University)|Oct 28, 2014

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

一句话总结

本文以类比 K3 表面的对称作用方式，对作用于 Enriques 表面的有限群进行分类，引入了“Mathieu 作用”的概念——即 Lefschetz 数仅依赖于元素阶数，且与 Mathieu 群 $M_{12}$ 在 12 个点上的作用的固定点分布相匹配。本文证明，有限群 $G$ 允许此类作用当且仅当 $G$ 嵌入 $rak{S}_6$ 且其阶不被 $2^4$ 整除，并为 $rak{S}_5$、$N_{72}$ 和 $rak{A}_6$ 在极化度分别为 30、18 和 10 的极化 Enriques 表面上构造了显式作用。

ABSTRACT

An action of a group $G$ on an Enriques surface $S$ is called Mathieu if it acts on $H^0(2K_S)$ trivially and every element of order 2, 4 has Lefschetz number 4. A finite group $G$ has a Mathieu action on some Enriques surface if and only if it is isomorphic to a subgroup of the symmetric group $\mathfrak{S}_6$ of degree 6 and the order $|G|$ is not divisible by $2^4$. Explicit Mathieu actions of the three groups $\mathfrak S_5, N_{72}$ and $\mathfrak A_6$, together with non-Mathieu one of $H_{192}$, on polarized Enriques surfaces of degree 30, 18, 10 and 6, respectively, are constructed without Torelli type theorem to prove the if part.

研究动机与目标

• 对作用于 Enriques 表面的有限群进行分类，其方式类比于 $M_{23}$ 在 K3 表面自同构分类中的作用。
• 定义并研究“Mathieu 作用”——即在 Enriques 表面上的半对称群作用，其中每个元素的 Lefschetz 数仅依赖于其阶，并与 $M_{12}$ 在 12 个点上的作用的固定点数据相匹配。
• 证明一个刻画定理：有限群 $G$ 在某个 Enriques 表面上具有 Mathieu 作用当且仅当 $G$ 嵌入 $rak{S}_6$ 且 $|G|$ 不被 $2^4$ 整除。
• 在极化度分别为 30、18 和 10 的极化 Enriques 表面上，为群 $rak{S}_5$、$N_{72}$、$rak{A}_6$ 显式构造 Mathieu 作用，且不依赖于 Torelli 型定理。

提出的方法

• 将 Enriques 表面上的群作用定义为 Mathieu 作用，若其在 $H^0(2K_S) \simeq \mathbb{C}$ 上平凡作用，且阶为 2 或 4 的每个元素的 Lefschetz 数恰好为 4。
• 利用 Enriques 表面半对称自同构的 Lefschetz 数表，识别 Mathieu 条件，注意与 K3 表面不同，此处 Lefschetz 数不仅依赖于阶。
• 通过在射影空间中的完全交与 $b{P}^1 \times \bb{P}^1 \times \bb{P}^1$ 中的三二次超曲面定义的 K3 表面的商，显式构造 $rak{S}_5$、$N_{72}$ 和 $rak{A}_6$ 在 Enriques 表面上的作用。
• 利用嵌入 $rak{S}_6 \hookrightarrow M_{12}$ 将群作用与 $M_{12}$ 的固定点数据联系起来，利用 $M_{11}$ 中元素的固定点数仅依赖于其阶的事实。
• 应用格论技术：将不变格格等距嵌入 $K3$ 格与 Enriques 格中，使用 $K3$ 格 $b{L}$ 及其子格 $b{L}_+(2)$ 与 $b{L}_-$，并通过满射定理验证所需 Enriques 表面的存在性。
• 利用强 Torelli 型定理，将群在 $K3$ 格上的上同调作用通过光滑有理曲线上的反射扭转后，实现为 Enriques 表面上的代数作用。

实验结果

研究问题

• RQ1 哪些有限群可以以类比于 $M_{12}$ 在 K3 表面自同构分类中所起作用的方式，作用于 Enriques 表面？
• RQ2 有限群 $G$ 需满足何种条件，才能使其在 Enriques 表面上的作用为“Mathieu”——即每个群元素的 Lefschetz 数仅依赖于其阶，并与 $M_{12}$ 在 12 个点上的作用的固定点数据相匹配？
• RQ3 群 $rak{S}_5$、$N_{72}$ 和 $rak{A}_6$ 能否作为极化 Enriques 表面的自同构群实现？若能，其极化度为多少？
• RQ4 为何群 $H_{192}$ 虽然在 Enriques 表面上有半对称作用，却无法实现 Mathieu 作用，尽管它不是 $M_{11}$ 的子群？
• RQ5 是否存在一种格论构造，可证明存在一个 1 维族的 Enriques 表面，其上具有 $C_2 \times \frak{A}_4$ 的 Mathieu 作用？

主要发现

• 有限群 $G$ 在某个 Enriques 表面上具有 Mathieu 作用当且仅当 $G$ 嵌入对称群 $\frak{S}_6$ 且 $|G|$ 不被 $2^4=16$ 整除。
• 群 $rak{S}_5$ 在极化度为 30 的 Enriques 表面上作为 Mathieu 群作用，其构造为 $b{P}^4$ 中完全交定义的 K3 表面在 Cremona 型对合下的商。
• 群 $N_{72}$ 在极化度为 18 的 Enriques 表面上作为 Mathieu 群作用，其构造为 $b{P}^5$ 中方程组定义的 K3 表面在线性对合下的商。
• 群 $rak{A}_6$ 在极化度为 10 的 Enriques 表面上作为 Mathieu 群作用，其构造为 $b{P}^1 \times \bb{P}^1 \times \bb{P}^1$ 中三二次方程定义的 K3 表面在自由对合下的商。
• 群 $H_{192}$ 在 Enriques 表面上有半对称作用，但不满足 Mathieu 条件，因为某些元素（如置换 $(u,v,w) \mapsto (u,w,v)$）的 Lefschetz 数不匹配 $M_{12}$ 的固定点模式。
• 存在一个 1 维族的 Enriques 表面，其上具有 $C_2 \times \frak{A}_4$ 的 Mathieu 作用，该族通过将格嵌入 $K3$ 格与 Enriques 格中构造，利用 $M_{12}$ 在 $\Omega_+$ 上的作用。