[論文レビュー] Symbols and equivariant birational geometry in small dimensions

Brendan Hassett, Andrew Kresch+1 more|arXiv (Cornell University)|Oct 18, 2020

Geometry and complex manifolds参考文献 33被引用数 6

ひとこと要約

本稿は、等長的バーンサイド群と記号的不変量を用いた新しい枠組みを導入し、特に低次元において代数的多様体上の有限群作用を等長的双有理同値の意味で分類する。安定化部分群の軌跡、正規バンドル表現、およびブローアップ関係を分析することで、立方四乗の上でのある種の巡回的作用が線形化可能でないことを証明し、等長的バーンサイド群における独立な記号を用いて、有理的曲面上の $τ_3 \times C_2$ の双有理同値でない作用を区別する。

ABSTRACT

We discuss the equivariant Burnside group and related new invariants in equivariant birational geometry, with a special emphasis on applications in low dimensions.

研究の動機と目的

• 等長的双有理同値の意味で、特に小次元において多様体上の有限群作用を分類するための新しい不変量を開発すること。
• 安定化部分群の軌跡と正規バンドル表現から導かれる記号的不変量を導入することで、等長的双有理幾何の理論を拡張すること。
• 特に巡回的および非アーベル群に対して、長年の未解決問題であるクレモナ群作用の分類を解決すること。
• 等長的バーンサイド群とブローアップ関係を用いて、非等長的双有理同値性を検出する体系的な手法を提供すること。
• 具体的な例を通じて、新不変量の有効性を示す。特に、立方四乗上の非線形化可能な作用と、有理的曲面上の $τ_3 \times C_2$ の非共轭作用を含む。

提案手法

• 著者らは、安定化部分群の型、正規バンドル上の表現、固定軌跡の双有理型を符号化する $Χ$-加群の商として等長的バーンサイド群 $\operatorname{Burn}_n(G)$ を定義する。
• 等長的ブローアップにおける符号の変換を記述する明示的なブローアップ関係を導入し、不変量の核心的代数的構造を形成する。
• アーベル群の場合、群 $\mathcal{B}_n(G)$ は簡略化された関係（命題 2.1）を用いて提示され、低次元における明示的計算を可能にする。
• 安定化部分群の分割とそれらの正規方向への作用を分析することで、本手法を曲面および四乗に適用する。
• 精密不変量を用いて、$\mathbb{P}^2$ や六次デル・ペッツォ表面といったモデル上の作用を比較し、$\operatorname{Burn}_2(G)$ における符号の寄与を計算する。
• 符号 $(C_2, \mathfrak{S}_3 \mathrel{\reflectbox{$\righttoleftarrow$}} k(\mathbb{P}^1), (1))$ が一つの作用では2回、もう一つの作用では1回現れることを示し、バーンサイド群における独立性により、等長的双有理同値でないことを証明する。

実験結果

リサーチクエスチョン

• RQ1 等長的バーンサイド群は、低次元における多様体上の群作用の非等長的双有理同値性を検出できるか？
• RQ2 立方四乗上の巡回的群作用で、双有理同値ではあるが、線形作用とは等長的双有理同値でないものは存在するか？
• RQ3 安定化部分群の軌跡と正規バンドル表現は、$G$-双有理同値型を区別するためにどのように寄与するか？
• RQ4 新記号的不変量は、有理的曲面上の $\mathfrak{S}_3 \times C_2$ の非共轭作用を区別できるか？
• RQ5 ブローアップ関係は、等長的双有理写像の下で保存される不変量を構成する上で果たす役割は何か？

主な発見

• 符号 $(C_2, \mathfrak{S}_3 \mathrel{\reflectbox{$\righttoleftarrow$}} k(\mathbb{P}^1), (1))$ は、固定点を解消した後、$\mathfrak{S}_3 \times C_2$ の $\mathbb{P}^2$ 上の作用では2回現れるが、六次デル・ペッツォ表面での作用では1回にとどまる。
• この符号は $\operatorname{Burn}_2(G)$ 内のすべての他の符号と独立であるため、2つの作用は安定的に $G$-双有理同値であるが、$G$-等長的双有理同値ではないことが示唆される。
• 著者らは、線形作用の等長的不変量と一致しないことにより、立方四乗上の非線形化可能な作用の具体的な例を構成する。
• $G = C_p$（素数位数）の場合、$\mathcal{B}_n(G)$ のすべての符号が、$G$-作用をもつ滑らかな射影多様体によって実現可能であり、群の表現可能性が確認される。
• 本手法は、$\operatorname{BirAut}(\mathbb{P}^2)$ における $\mathfrak{S}_3 \times C_2$ の2つの非共轭埋め込みを明示的に区別でき、記号的不変量を用いて古典的問題を解決する。
• この枠組みは、固定軌跡とその正規表現から得られる階層的な不変量を通じて、$G$-双有理同値型に複数の構造層を明らかにする。