[論文レビュー] Equivariant birational types and Burnside volume

Andrew Kresch, Yuri Tschinkel|arXiv (Cornell University)|Jul 24, 2020

Algebraic Geometry and Number Theory参考文献 27被引用数 11

ひとこと要約

本稿では、有限群の作用への一般化として、Kontsevichの双有理的記号を拡張する新しい構成である等変Burnside群を用いて、等変双有理的不変量を導入する。また、離散値環上の等変双有理型の専用写像を確立し、もし二つの滑らかで射影的な $G$-代数的多様体が離散値環上ですべて $G$-等変に双有理的であるならば、それらの特別化因子に対しても $G$-等変に双有理的であることを証明する。これは、古典的な専用技法を等変設定に拡張するものである。

ABSTRACT

We introduce equivariant Burnside groups, new invariants in equivariant birational geometry, generalizing birational symbols groups for actions of finite abelian groups, due to Kontsevich, Pestun, and the second author, and study their properties. We establish a specialization map for the equivariant birational type of a smooth algebraic variety with an action of a finite group.

研究の動機と目的

• 有限群の代数的多様体への作用における $G$-等変双有理幾何の新しい不変量を開発すること。
• 等変Burnside群を用いて、Kontsevichの双有理的記号を非自明な群作用へ一般化すること。
• 離散値環上での等変双有理型の専用写像を確立し、古典的な専用技法を等変設定に拡張すること。
• アーベル群に対する既存の不変量 ${\mathcal{B}}_n(G,k)$ と新しい不変量を比較すること。
• $G$-等変双有理的性が離散値環上の一般化因子に対して成り立つならば、特別化因子に対しても $G$-等変双有理的であることを証明すること。

提案手法

• アーベル的安定化部分群 $H$ を持つ、記号 $ (H, N_G(H)/H \curvearrowright K, \beta) $ の $\mathbb{Z}$-線型包の商として等変Burnside群 $\operatorname{Burn}_n(G)$ を定義する。
• BerghおよびBergh-Rydhの除法的分解アルゴリズムを用いて、$[X/G]$ をアーベル的安定化を持つスタックに解体する。
• 完全な離散値環 $\mathfrak{o}$ に対して、残差体 $k$ と均一化因子 $\pi$ を持つとき、等変Burnside体積写像 $ \rho^G_\pi: \operatorname{Burn}_{n,K}(G) \to \operatorname{Burn}_{n,k}(G) $ を構成する。
• $G$-等変設定における弱因子分解を適用し、作用の異なるストラタ間の双有理型を関連付ける。
• $\operatorname{Burn}_n(G)$ から軌道のBurnside群 $\overline{\operatorname{Burn}}_n$ への準同型を構成し、$[X \curvearrowleft G]$ を $[X/G]$ の類に送る。
• アーベル群 $G$ に対して、$\operatorname{Burn}_n^G(G) \to \mathcal{B}_n(G,k)$ が全射であり、$[X \curvearrowleft G]$ が $\beta_k(X)$ に写ることを示す。

実験結果

リサーチクエスチョン

• RQ1 滑らかで射影的な $G$-代数的多様体の双有理型を捉える、$G$-等変双有理幾何における新しい不変量を構成できるか？
• RQ2 離散値環上での一般化因子の専用が $G$-等変双有理的性を保つのか？
• RQ3 新しい等変Burnside群は、アーベル群 $G$ に対して既存の不変量 $\mathcal{B}_n(G,k)$ とどのように関係するか？
• RQ4 等変Burnside体積写像を用いて、関数体上とその特別化因子上の双有理型を関連付けることができるか？
• RQ5 アーベル的安定化を持つ $G$-作用の各軌道型に対して、$\operatorname{Burn}_n(G)$ の記号を一意に割り当てる標準的な方法はあるか？

主な発見

• 等変Burnside群 $\operatorname{Burn}_n(G)$ は、安定化型、正規化子作用、法束表現を符号化する記号の商として定義され、$G$-等変双有理写像に関して不変性を保証する関係を持つ。
• 専用写像 $\rho^G_\pi$ が構成され、これは離散値環上のファミリーの各因子間で $G$-等変双有理型を尊重する準同型を誘導する。
• 補題6.8では、二つの滑らかで射影的な $G$-多様体が離散値環の一般化因子上で $G$-等変に双有理的であるならば、それらの特別化因子に対しても $G$-等変に双有理的であることが示される。
• アーベル群 $G$ に対して、写像 $\operatorname{Burn}_n^G(G) \to \mathcal{B}_n(G,k)$ は全射であり、$[X \curvearrowleft G]$ は $\beta_k(X)$、[16]で定義された不変量に写される。
• 等変Burnside体積の構成は、[17]における専用写像の等変版を提供し、非自明な群作用の設定にまで拡張する。
• $\operatorname{Burn}_n(G)$ は、軌道スタック $[X/G]$ の類に写すことで、軌道のBurnside群 $\overline{\operatorname{Burn}}_n$ へ全射に写される。