[论文解读] 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

一句话总结

本文提出了一种新框架，利用等变Burnside群与符号不变量，对代数簇上的有限群作用按等变双有理等价关系进行分类，尤其关注低维情形。通过分析稳定子簇、法丛表示及爆破关系，作者证明了某些在四次立方曲面上的循环作用并非线性化，并通过等变Burnside群中独立符号区分了$\mathfrak{S}_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.

研究动机与目标

• 开发新的不变量以在低维情形下按等变双有理等价关系对有限群作用于簇进行分类。
• 通过引入源自稳定子簇与法丛表示的符号不变量，扩展等变双有理几何理论。
• 解决关于Cremona群作用分类的长期难题，特别是针对循环群与非交换群。
• 提供一种系统方法，利用等变Burnside群与爆破关系检测非等变双有理等价性。
• 通过具体例子展示新不变量的威力，包括四次立方曲面上的非线性化作用，以及$\mathfrak{S}_3 \times C_2$在有理曲面上的非共轭作用。

提出的方法

• 作者将等变Burnside群$\operatorname{Burn}_n(G)$定义为编码稳定子类型、法丛上表示及不动点簇双有理类型的符号$\mathbb{Z}$-模的商。
• 他们引入显式的爆破关系，以编码符号在等变爆破下的变换方式，构成不变量的核心代数结构。
• 对于阿贝尔群，群$\mathcal{B}_n(G)$以简化关系呈现（命题2.1），从而在低维情形下实现具体计算。
• 该方法通过分析稳定子子群及其在法方向上作用所诱导的分层结构，适用于曲面与四纤维。
• 作者利用精炼不变量比较$\mathbb{P}^2$与六次del Pezzo曲面等模型上的作用，计算其在$\operatorname{Burn}_2(G)$中的符号贡献。
• 他们证明符号$(C_2, \mathfrak{S}_3 \mathrel{\reflectbox{$\righttoleftarrow$}} k(\mathbb{P}^1), (1))$在一个作用中出现两次，而在另一作用中仅出现一次，从而通过Burnside群中的独立性证明了非等价性。

实验结果

研究问题

• RQ1 等变Burnside群能否检测低维情形下簇上群作用的非等变双有理等价性？
• 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$并解析不动点后出现两次，但在六次del Pezzo曲面上的作用中仅出现一次。
• 该符号在$\operatorname{Burn}_2(G)$中与其他所有符号独立，意味着尽管两作用在稳定意义下$G$-双有理等价，但并非$G$-等变双有理等价。
• 作者通过证明其等变不变量与线性作用不匹配，构造了四次立方曲面上非线性化作用的显式例子。
• 对于素数阶群$G = C_p$，$\mathcal{B}_n(G)$中的所有符号均可由具有$G$-作用的光滑射影簇实现，从而确认了该群的可表示性。
• 该方法成功区分了$\mathfrak{S}_3 \times C_2$在$\operatorname{BirAut}(\mathbb{P}^2)$中的两个非共轭嵌入，通过符号不变量解决了经典问题。
• 该框架通过源自不动点簇及其法表示的分层不变量，揭示了$G$-双有理类型中的多重结构层次。