[论文解读] Equivariant birational types and Burnside volume

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

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

一句话总结

本文通过引入一种名为等变Burnside群的新构造，提出了等变双有理不变量，将Kontsevich的双有理符号推广至有限群作用的情形。它建立了等变双有理类型的专门化映射，证明了若两个光滑射影$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$-等变双有理性。

提出的方法

• 将等变Burnside群$\operatorname{Burn}_n(G)$定义为符号$ (H, N_G(H)/H \curvearrowright K, \beta) $的$\mathbb{Z}$-张量的商群，其中$H$为阿贝尔稳定子子群。
• 利用Bergh及Bergh-Rydh的除子化算法，将$[X/G]$解析为具有阿贝尔稳定子的堆栈。
• 为具有剩余域$k$和统一参数$\pi$的完备离散赋值环$\mathfrak{o}$，构造等变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群与阿贝尔群的现有不变量（如$\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)$群到轨道Burnside群$\overline{\operatorname{Burn}}_n$的映射是满射，将$[X \curvearrowleft G]$映射为商堆栈$[X/G]$的类。