[論文レビュー] 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}}$-作用の動的型が、自己同型群の抽象的群構造にどのように符号化されているかを調査すること。
• この特徴付けを高次元のアフィントーリック多様体へ拡張し、必要な例外を特定すること。
• 非単心的および非単心的部分群が自己同型群構造において果たす役割を明確化すること。

提案手法

• 自己同型群 $\operatorname{Aut}(X)$ の代数的部分群を分析するため、インダクティブ群構造およびクレモナ群上のザリスキ位相の利用。
• アフィントーリックおよび非トーリック $\mathbb{G}_{\mathrm{m}}$-表面におけるルート部分群の分類により、動的挙動を特定。
• クライマンの基準および等変な射影的完備化を用いて、固定点および軌道構造を研究。
• 非トーリック性および $\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{m}}$-表面に $\mathbb{G}_{\mathrm{a}}$-作用をもつ場合、その自己同型群は、異なる動的型をもつ表面の自己同型群と同型でない。
• 高次元において、複素アフィントーリック多様体（代数的トーラスを除く）は、インダクティブ群としての自己同型群によって一意に決定可能である。
• 代数的トーラスは例外である：特定の曲線 $C$ に対して、$\operatorname{Aut}(T) \cong \operatorname{Aut}(C \times T)$ がインダクティブ群として成り立つ。これは、特徴付けにおいてトーラスを除外する必要があることを示している。