[论文解读] Characterization of affine surfaces with a torus action by their automorphism groups

Alvaro Liendo, Andriy Regeta+1 more|arXiv (Cornell University)|May 10, 2018

Algebraic Geometry and Number Theory被引用 4

一句话总结

本文证明了具有环面作用的正规仿射曲面由其正则自同构群的抽象群结构唯一确定。它证明了自同构群之间的同构保持代数群作用和 $\mathbb{G}_{\mathrm{m}}$-作用的动力类型，并表明复仿射环面曲面在同构意义下由其自同构群分类，但代数环面本身除外。

ABSTRACT

In this paper we prove that if two normal affine surfaces $S$ and $S'$ have isomorphic automorphism groups, then every connected algebraic group acting regularly and faithfully on $S$ acts also regularly and faithfully on $S'$. Moreover, if $S$ is non-toric, we show that the dynamical type of a 1-torus action is preserved in presence of an additive group action. We also show that complex affine toric surfaces are determined by the abstract group structure of their regular automorphism groups in the category of complex normal affine surfaces using properties of the Cremona group. As a generalization to arbitrary dimensions, we show that complex affine toric varieties, with the exception of the algebraic torus, are uniquely determined in the category of complex affine normal varieties by their automorphism groups seen as ind-groups.

研究动机与目标

• 确定一个正规仿射曲面的自同构群是否作为抽象群唯一确定该曲面（同构意义下）。
• 研究代数群作用和 $\mathbb{G}_{\mathrm{m}}$-作用的动力类型如何编码于自同构群的抽象群结构中。
• 将该刻画推广至高维仿射环面概形，并识别必要的例外情况。
• 阐明幂零子群与非幂零子群在自同构群结构中的作用。

提出的方法

• 使用 ind-群结构和 Cremona 群上的 Zariski 拓扑来分析 $\operatorname{Aut}(X)$ 的代数子群。
• 对仿射环面及非环面 $\mathbb{G}_{\mathrm{m}}$-曲面中的根子群进行分类，以检测动力行为。
• 应用 Kleiman 准则和等变射影完备化来研究不动点和轨道结构。
• 构造显式反例，以说明非环面性与 $\mathbb{G}_{\mathrm{a}}$-作用存在的必要性。
• 利用不变纤维化和态射（例如 $\pi: S \to C$）通过自同构下的不变性来约束自同构群。
• 通过群论技术证明同构保持性，特别是分析抽象群同构下代数子群的像。

实验结果

研究问题

• RQ1 作为抽象群，一个正规仿射曲面的自同构群是否能唯一确定该曲面（同构意义下）？
• RQ2 两个曲面自同构群之间的抽象群同构是否保持代数子群结构，特别是非幂零子群？
• RQ3 在非环面 $\mathbb{G}_{\mathrm{m}}$-曲面上，$\mathbb{G}_{\mathrm{m}}$-作用的动力类型是否在自同构群同构下保持不变？
• RQ4 复仿射环面曲面是否在正规仿射曲面范畴中由其自同构群唯一确定？
• RQ5 在自同构群同构下，$\mathbb{G}_{\mathrm{a}}$-作用在保持动力类型方面起什么作用？

主要发现

• 正规仿射曲面自同构群之间的抽象群同构保持非幂零代数子群，将其映射为目标群中的同构代数子群。
• 对于具有非平凡 $\mathbb{G}_{\mathrm{a}}$-作用的非环面 $\mathbb{G}_{\mathrm{m}}$-曲面，其 $\mathbb{G}_{\mathrm{m}}$-作用的动力类型在自同构群同构下保持不变。
• 复仿射环面曲面作为抽象群由其自同构群唯一确定，但代数环面本身除外。
• 具有 $\mathbb{G}_{\mathrm{a}}$-作用的非环面 $\mathbb{G}_{\mathrm{m}}$-曲面的自同构群不能同构于动力类型不同的曲面的自同构群。
• 在高维情形下，复仿射环面概形（除代数环面外）作为 ind-群由其自同构群唯一确定。
• 代数环面是一个例外：对某些曲线 $C$，有 $\operatorname{Aut}(T) \cong \operatorname{Aut}(C \times T)$ 作为 ind-群，这表明在刻画中必须排除环面。