[论文解读] A Minkowski-style bound for the order of the finite subgroups of the Cremona group of rank 2 over an arbitrary field

Jean-Pierre Serre|ArXiv.org|Mar 3, 2009

Finite Group Theory Research被引用 5

一句话总结

本文在任意域上建立了关于二维 Cremona 群中有限子群阶的 Minkowski 型界，利用分圆不变量 $ t $ 和 $ m $ 确定 $ \ell $-幂阶的精确上界。关键结果是给出了任意有限子群阶中最大 $ \ell $-幂的精确公式，并为 $ \mathbb{Q} $ 和有限域给出了显式值。

ABSTRACT

Let Cr(k) be the Cremona group of rank 2 over a field k, i.e. the group of all k-automorphisms of k(X,Y). We determine the l.c.m. of the orders of the finite subgroups of Cr(k) of order prime to the characteristic of k.

研究动机与目标

• 建立任意域 $ k $ 上二维 Cremona 群 $ \mathrm{Cr}(k) $ 的有限子群阶的精确乘法界，类比于线性代数群的 Minkowski 界。
• 以分圆不变量 $ t(k,\ell) $ 和 $ m(k,\ell) $ 表示，确定当 $ \ell \neq \mathrm{char}(k) $ 时，$ \mathrm{Cr}(k) $ 的任意有限子群的最大 $ \ell $-幂阶。
• 证明当 $ k $ 是 $ \mathbb{Q} $ 或 $ \mathbb{F}_p $ 上的有限生成域时，此类有限子群的阶是统一有界的。
• 在特殊情形（如 $ k = \mathbb{Q} $ 和有限域）下，给出所有此类阶的最小公倍数 $ M(k) $ 的显式公式。
• 将该框架推广至高阶 Cremona 群，并提出关于高维中一致有界性和 Jordan 型性质的奠基性问题。

提出的方法

• 定义两个分圆不变量：$ t(k,\ell) = [k(\mu_\ell):k] $，即由本原 $ \ell $-次单位根生成的分圆扩张的次数，以及 $ m(k,\ell) $，即满足 $ k $ 包含 $ \mu_{\ell^n} $ 的最大 $ n $，或对 $ \ell = 2 $ 的相关元素。
• 使用 Manin 和 Iskovskikh 的方法，将 $ \mathrm{Cr}(k) $ 的有限子群实现为 Del Pezzo 曲面或二次纤维丛的自同构群的子群，从而将问题约化为几何群作用。
• 应用伽罗瓦上同调与表示论，分析 $ \mathrm{Gal}(k_s/k) $ 在二维环面上的 $ \ell $-幂挠子群上的作用，将 $ \mathrm{Cr}(k) $-子群的结构与分圆数据联系起来。
• 对所有满足 $ n \leq M(k,\ell) $ 的 $ n $，构造 $ \mathrm{Cr}(k) $ 中阶为 $ \ell^n $ 的显式 $ \ell $-子群，通过在 $ k $ 上的环面上实现证明该界的精确性。
• 利用 $ \mathrm{PGL}_2(k) $ 的有限子群分类及 $ \mathrm{SL}_2(\mathbb{Z}) $ 的结构，分析 $ t = 3,4,6 $ 的情形，确保 $ \Gamma_k $-模结构的唯一性。
• 利用如下事实：$ \mathrm{Cr}(k) $ 中存在阶为 $ \ell^n $ 的有限子群当且仅当 $ M(k,\ell) \geq n $，其中 $ M(k,\ell) $ 是基于 $ t $ 和 $ m $ 分段定义的。

实验结果

研究问题

• RQ1 对于哪些素数 $ \ell \neq \mathrm{char}(k) $，$ \mathrm{Cr}(k) $ 包含阶为 $ \ell $ 的元素？
• RQ2 当 $ k $ 是其基域上的有限生成域时，$ \mathrm{Cr}(k) $ 中阶与 $ \mathrm{char}(k) $ 互素的有限子群是否存在统一的阶有界性？
• RQ3 任意有限子群阶中最大的 $ \ell $-幂是多少？它如何依赖于分圆不变量 $ t(k,\ell) $ 和 $ m(k,\ell) $？
• RQ4 能否将 $ \mathrm{Cr}_r(k) $ 的有限子群有界性推广至更高秩 $ r > 2 $？该界是否仅依赖于 $ r $ 和 $ k $ 的分圆数据？
• RQ5 对于有限域 $ k = \mathbb{F}_q $，$ \mathrm{Cr}_r(k) $ 的有限子群最大阶 $ M_r(k) $ 是否可被分圆多项式在 $ q $ 处取值的乘积整除？

主要发现

• 在 $ \mathrm{Cr}(k) $ 中，有限子群的最大 $ \ell $-幂阶为 $ M(k,\ell) $，它是 $ t(k,\ell) $ 和 $ m(k,\ell) $ 的分段定义函数：当 $ \ell = 2 $ 时 $ M(k,\ell) = 2m+3 $；当 $ \ell = 3 $ 且 $ t > 1 $ 时 $ M(k,\ell) = 2m+1 $；当 $ \ell > 3 $ 且 $ t = 1,2 $ 时 $ M(k,\ell) = 2m $。
• 当 $ k = \mathbb{Q} $ 时，所有阶与 $ \mathrm{char}(\mathbb{Q}) $ 互素的 $ \mathrm{Cr}(k) $ 有限子群的阶的最小公倍数为 $ M(k) = 120960 = 2^7 \cdot 3^3 \cdot 5 \cdot 7 $。
• 当 $ k = \mathbb{F}_q $ 为有限域时，若 $ q \equiv 4 $ 或 $ 7 \pmod{9} $，则 $ M(k) = 3(q^4 - 1)(q^6 - 1) $；否则 $ M(k) = (q^4 - 1)(q^6 - 1) $。
• $ \mathrm{Cr}(k) $ 中存在阶为 $ \ell^n $ 的有限子群当且仅当 $ n \leq M(k,\ell) $，且对所有 $ n \leq M(k,\ell) $ 均存在此类子群，从而证明了该界的精确性。
• $ \mathrm{Cr}(k) $ 中存在阶为 $ \ell $ 的元素当且仅当 $ t(k,\ell) \in \{1,2,3,4,6\} $，这等价于 $ M(k,\ell) > 0 $。
• 当 $ k $ 是 $ \mathbb{Q} $ 或 $ \mathbb{F}_p $ 上的有限生成域时，分圆不变量满足 $ m(k,\ell) < \infty $ 且当 $ \ell \to \infty $ 时 $ t(k,\ell) \to \infty $，因此此类域是‘小’的，从而保证了有限子群的有界性。