[论文解读] p-elementary subgroups of the Cremona group

Arnaud Beauville|ArXiv.org|Feb 7, 2005

Homotopy and Cohomology in Algebraic Topology参考文献 4被引用 4

一句话总结

本文对代数闭域 $k$ 上的 Cremona 群的 $p$-初等子群进行了分类，特别关注那些同构于 $(\mathbb{Z}/p)^r$ 且满足 $p \neq \mathrm{char}(k)$ 的子群。通过在有理曲面上的几何实现以及对 del Pezzo 曲面或 $\mathbb{P}^1$-纤维化上群作用的分类，本文表明：当 $p \geq 5$ 时，$r \leq 2$，且此类子群共轭于 $PGL_3(k)$ 中对角环面的 $p$-挠子群；当 $p=3$ 时，$r \leq 3$，共轭于 $PGL_4(k)$ 中的 $3$-挠子群，作用于 Fermat 三次曲面；当 $p=2$ 时，$r \leq 4$，且在 $r=4$ 时给出了显式的共轭类。其主要贡献在于对这些子群在共轭意义下的完整分类。

ABSTRACT

We classify, up to conjugacy, the subgroups of the Cremona group isomorphic to (Z/p)^r, where p is prime and r is maximal.

研究动机与目标

• 对 Cremona 群 $\mathrm{Cr}_k$ 的 $p$-初等子群进行分类，即同构于 $(\mathbb{Z}/p)^r$ 的子群（$p$ 为素数且 $p \neq \mathrm{char}(k)$），在共轭意义下进行分类。
• 通过聚焦于 $p=2,3,5$ 及以上的情形，扩展此前关于 Cremona 群有限子群的研究，特别关注 $p$-初等结构。
• 确定此类子群的最大可能秩 $r$，并通过在有理曲面上的几何实现描述其共轭类。
• 解决 Cremona 群中包含 $p$-初等子群的极大环面的非唯一性问题，与半单代数群形成对比。

提出的方法

• 通过 $G \subset \mathrm{Aut}(S)$ 将 $p$-初等子群实现为最小有理曲面 $S$ 的自同构群，利用 $S$ 与 $\mathbb{P}^2_k$ 的双有理等价性。
• 将分类问题简化为两种情形：$G$ 保持一个 $\mathbb{P}^1$-纤维化，或 $\mathrm{rk}\,\mathrm{Pic}(S)^G = 1$（即 $S$ 为 del Pezzo 曲面）。
• 利用关于 $PGL_2(K)$ 的已知结果，特别是 $p$-挠子群的结果，对函数域 $K$ 上的 $\mathrm{Aut}(\mathbb{P}^1_K)$ 的 $p$-初等子群进行分类。
• 通过已知的自同构群结构分析 $G$ 在 del Pezzo 曲面上的作用，尤其关注 Fermat 三次曲面和四次 del Pezzo 曲面。
• 利用从 $\mathbb{P}^1$ 上五元组点的空间到 $\mathbb{A}^5$ 的 $j$-不变量映射 $J$，证明其单射性与正规性，从而确立共轭类的唯一性。
• 应用几何与群论技术，包括爆破与切空间分析，验证 $j$-不变量映射在一般点处的单射性。

实验结果

研究问题

• RQ1 对于 $p \neq \mathrm{char}(k)$，$p$-初等子群 $G \cong (\mathbb{Z}/p)^r$ 在 Cremona 群 $\mathrm{Cr}_k$ 中的最大秩 $r$ 是多少？
• RQ2 在何种 $p$ 与 $r$ 下，此类子群共轭于 $PGL_n(k)$ 中对角环面的 $p$-挠子群？
• RQ3 存在多少个非共轭的秩为 $r$ 的 $p$-初等子群，特别是当 $p=2$ 且 $r=4$ 时？
• RQ4 为何 $\mathrm{Cr}_k$ 中 $p$-初等子群的中心化子不能唯一确定一个极大环面，而半单代数群中却可以？
• RQ5 何种几何结构（如 del Pezzo 曲面、$\mathbb{P}^1$-纤维化）支持此类 $p$-初等群作用？

主要发现

• 当 $p \geq 5$ 时，$\mathrm{Cr}_k$ 中 $p$-初等子群的秩 $r$ 满足 $r \leq 2$，且当 $r=2$ 时，该子群共轭于 $PGL_3(k)$ 中对角环面的 $p$-挠子群。
• 当 $p=3$ 时，$r \leq 3$，且当 $r=3$ 时，该子群共轭于 $PGL_4(k)$ 中对角环面的 $3$-挠子群，作用于 Fermat 三次曲面 $X_0^3 + \cdots + X_3^3 = 0$。
• 当 $p=2$ 时，$r \leq 4$，且当 $r=4$ 时，存在两种非共轭的情形：一种来自特定集合的对合（涉及有理函数），另一种来自 $PGL_5(k)$ 中对角环面的 $2$-挠子群在 $\mathbb{P}^4$ 中的四次 del Pezzo 曲面上的作用。
• $\mathbb{P}^1$ 上五元组点空间到 $\mathbb{A}^5$ 的 $j$-不变量映射 $J$ 是一般点处的单射，其证明基于正规性与在一般点处雅可比行列式非零。
• 秩为 4 的 $2$-初等子群的共轭类不唯一，存在两个不同的共轭类，源于不同的几何实现。
• $\mathrm{Cr}_k$ 中 $p$-初等子群的中心化子严格大于其在极大环面中的中心化子，这解释了为何极大环面不唯一，而半单群中则唯一。