[論文レビュー] 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 3-fold の分類と等変 minimal model program を用いて、複素数体上のクレモナ群 $\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$ に対して、複素数体上のクレモナ群 $\mathrm{Cr}_3(\mathbb{C})$ 内の $p$-初等部分群 $(\boldsymbol{\mu}_p)^s$ の最大可能ランク $s$ を特定すること。
• $\mathrm{Cr}_2(\mathbb{C})$ 内の $p$-初等群に関する既知の上限を、3次元の場合に拡張すること。
• 有理的連結な3次元多様体および Fano 3-fold の分類を用いて、ランクの上限が $p \geq 17$ の場合に鋭いかを証明すること。
• $p$-初等部分群のランク比較を用いて、$\mathrm{Cr}_3(\mathbb{C})$ が $n \neq 3$ のとき $\mathrm{Cr}_n(\mathbb{C})$ と抽象群として同型でないことを確立すること。
• 特異点および線形系への $p$-初等群の作用を分析し、幾何的およびコhomオロジカル不変量を用いて群のランクを制約すること。

提案手法

• 有理的連結な3次元多様体に終等特異点を持つ場合の、$G$-多様体の自己同型群の研究に帰着させるために、等変3次元 minimal model program を適用する。
• 特に、非ゴレンシュタイン特異点に対するインデックス1被覆構成を含む、終等特異点の3次元多様体の分類結果を用いる。
• $G$-不変なウェイリ・除釈および $G\mathbb{Q}$-ファクター性を分析し、$G$-多様体の幾何を制御する。
• Fano 3-fold の分類を用いて、ピカール数および正則標準類の体積を制限し、$-K_X^3$ が群のランク $N$ で割り切れることを用いる。
• 特異多様体 $X$ の滑らかさの修正 $X_t$ に対する $h^{1,2}(X_t)$ などのコホモロジカル不変量を用いて、ランクが境界を超えると矛盾が生じることを導く。
• 基点自由な線形系 $|{-}K_X|$ 及びその関連写像を用いて、2重被覆やスクリールを構成し、群作用が大きすぎる場合に矛盾を導く。

実験結果

リサーチクエスチョン

• RQ1 与えられた素数 $p$ に対して、$\mathrm{Cr}_3(\mathbb{C})$ 内の $p$-初等部分群 $(\boldsymbol{\mu}_p)^s$ の最大ランク $s$ は何か？
• RQ2 ランクの上限が $p \geq 17$ の場合に鋭いか？
• RQ3 特異点および線形系を用いて、有理的連結な3次元多様体への $p$-初等群作用の構造を制約できるか？
• RQ4 最大ランクの $p$-初等部分群の存在が、$n \neq 3$ のとき $\mathrm{Cr}_n(\mathbb{C})$ と $\mathrm{Cr}_3(\mathbb{C})$ を区別できるか？
• RQ5 Fano 3-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 以下であり、この上限が鋭いかどうかは不明。
• $p = 17$ のときの最大 $p$-初等部分群ランクの差異を用いて、$\mathrm{Cr}_3(\mathbb{C})$ は $n \neq 3$ のとき $\mathrm{Cr}_n(\mathbb{C})$ と抽象群として同型でない。
• 証明は、$G\mathbb{Q}$-Fano 3-fold の分類および $-K_X^3$ が群作用で不変であることに依拠し、群のランクが境界を超えると矛盾が生じる。