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

Yuri Prokhorov|arXiv (Cornell University)|Sep 17, 2009

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

一句话总结

该论文利用Fano三fold的分类和等变极小模型程序，建立了复数域上Cremona群 $\mathrm{Cr}_3(\mathbb{C})$ 中 $p$-初等子群 $(\boldsymbol{\mu}_p)^s$ 的秩的精确上界。关键结果为：当 $p \geq 17$ 时，最大秩为 3，且该界是精确的。

ABSTRACT

For the subgroups of the Cremona group $\mathrm{Cr}_3(\mathbb C)$ having the form $(\boldsymbolμ_p)^s$, where $p$ is prime, we obtain an upper bound for $s$. Our bound is sharp if $p\ge 17$.

研究动机与目标

• 确定对于素数 $p$，$p$-初等子群 $(\boldsymbol{\mu}_p)^s$ 在Cremona群 $\mathrm{Cr}_3(\mathbb{C})$ 中可能达到的最大秩 $s$。
• 将已知的 $\mathrm{Cr}_2(\mathbb{C})$ 中 $p$-初等群的界限推广至三维情形。
• 利用有理连通三fold与Fano三fold的分类，证明该秩的上界对 $p \geq 17$ 是精确的。
• 通过比较 $p$-初等子群的秩，证明 $\mathrm{Cr}_3(\mathbb{C})$ 作为抽象群不与 $\mathrm{Cr}_n(\mathbb{C})$ 同构（$n \neq 3$）。
• 通过分析 $p$-初等群在奇点与线性系统上的作用，利用几何与上同调不变量来约束群的秩。

提出的方法

• 应用等变三维极小模型程序，将问题约化为研究具有终端奇点的有理连通三fold的自同构群。
• 利用终端三叉奇异点的分类结果，特别是非Gorenstein奇点的指标一覆盖构造。
• 分析 $G$-不变的Weil除子与 $G\mathbb{Q}$-因子性，以控制 $G$-代数簇的几何结构。
• 利用Fano三fold的分类，通过 $-K_X^3$ 必须被群的秩 $N$ 整除的事实，来限制Picard数与典范体积。
• 利用上同调不变量（如奇异 $X$ 的光滑化 $X_t$ 的 $h^{1,2}(X_t)$）在秩超过界限时导出矛盾。
• 利用基点自由线性系统 $|{-}K_X|$ 及其关联的态射，构造双重覆盖或柱面，当群作用过大时导致矛盾。

实验结果

研究问题

• RQ1 对于给定的素数 $p$，$\mathrm{Cr}_3(\mathbb{C})$ 中 $p$-初等子群 $(\boldsymbol{\mu}_p)^s$ 的最大秩 $s$ 是多少？
• RQ2 该类子群的秩上界对 $p \geq 17$ 是否是精确的？
• RQ3 能否通过奇点与线性系统约束有理连通三fold上 $p$-初等群作用的结构？
• RQ4 若 $\mathrm{Cr}_3(\mathbb{C})$ 中存在最大秩的 $p$-初等子群，是否可将其与 $n \neq 3$ 时的 $\mathrm{Cr}_n(\mathbb{C})$ 区分？
• RQ5 Fano三fold的不变量（如 $\rho(X)$、$-K_X^3$ 与 $h^{1,2}$）如何约束 $p$-初等子群的可能秩？

主要发现

• 当 $p \geq 17$ 时，$\mathrm{Cr}_3(\mathbb{C})$ 中 $p$-初等子群的最大秩恰好为 3，且该界是精确的。
• 当 $p = 13, 11, 7, 5$ 时，最大秩至多为 4，但该界是否精确尚不明确。
• 当 $p = 3$ 时，最大秩至多为 5，但该界是否精确尚不明确。
• 当 $p = 2$ 时，最大秩至多为 7，但该界是否精确尚不明确。
• $\mathrm{Cr}_3(\mathbb{C})$ 作为抽象群不与任何 $n \neq 3$ 的 $\mathrm{Cr}_n(\mathbb{C})$ 同构，原因在于 $p = 17$ 时其最大 $p$-初等子群的秩不同。
• 证明依赖于 $G\mathbb{Q}$-Fano三fold的分类及 $-K_X^3$ 在群作用下的不变性，当群秩超过界限时导致矛盾。