[論文レビュー] Flag varieties, toric varieties, and suspensions: three instances of infinite transitivity

Ivan Arzhantsev, Karine Kuyumzhiyan+1 more|Mar 16, 2010

Algebraic Geometry and Number Theory参考文献 39被引用数 13

ひとこと要約

本稿では、旗多様体上の正規アフィンコーン、非退化アフィントーリック多様体（次元≥2）、および無限トランジティビティを有する多様体上の繰り返しサスペンションの3種類のアフィン代数的多様体の滑らか領域に対して、特別自己同型群の無限トランジティビティを確立する。主な貢献は、局所的冪零微分作用素（LND）とサスペンションおよび軌道構造の幾何的性質を活用することで、SAut(X) が X_reg に無限トランジティブに作用することを証明することにある。

ABSTRACT

We say that a group G acts infinitely transitively on a set X if for every integer m the induced diagonal action of G is transitive on the cartesian mth power of X with the diagonals removed. We describe three classes of affine algebraic varieties such that their automorphism groups act infinitely transitively on their smooth loci. The first class consists of affine cones over flag varieties, the second of non-degenerate affine toric varieties, and the third of iterated suspensions over affine varieties with infinitely transitive automorphism groups of a reinforced type.

研究の動機と目的

• 特別自己同型群がその滑らか領域に無限トランジティブに作用するアフィン代数的多様体を同定すること。
• アフィン空間や超曲面における既知の無限トランジティビティの結果を、旗多様体やトーリック多様体を含むより広いクラスへと拡張すること。
• 既存のフレキシブル多様体上でのサスペンション構成によって、無限トランジティビティがどのように保存されるかを調査すること。
• 代数閉体からの結果を、特定の位相的・幾何的制約を満たす実代数的多様体へと一般化すること。

提案手法

• 滑らか領域 X_reg におけるすべての m ∈ ℕ に対して m-トランジティブ性を無限トランジティビティとして定義し、対角線を除く。
• 局所的冪零微分作用素（LND）を用いて、SAut(X) の1パラメータ単心部分群を生成し、フレキシブル点における接空間を張る。
• ヤコビ行列のランク条件を用いて、滑らか点における接空間がLNDの像によって張られることを示すことにより、フレキシブル性を証明する。
• X × 𝔸² への埋め込みを用いて、f(y) = uv により、基本多様体 X 上の繰り返しサスペンションを構成し、自己同型群の構造を保存する。
• ℝ 上での次元および連結性の議論を用いて、実代数的幾何における無限レベル集合を保証し、代数閉体からの結果を一般化する。
• レベル集合とファイバーの同型を用いて、正則関数の逆像が無限大であることを示し、トランジティビティを保証する。

実験結果

リサーチクエスチョン

• RQ1 アフィン多様体 X の特別自己同型群 SAut(X) がその滑らか領域 X_reg に無限トランジティブに作用するための条件は何か？
• RQ2 無限トランジティビティを持つ基本多様体上でのサスペンション構成によって、無限トランジティビティはどのように保存されるか？
• RQ3 旗多様体上の正規アフィンコーンがフレキシブルであり、無限トランジティビティを有するための幾何的・代数的性質は何か？
• RQ4 代数閉体からの無限トランジティビティの結果を、実代数的多様体へと拡張することは可能か？
• RQ5 非退化トーリック多様体は、無限トランジティビティを実現するために果たす役割は何か？また、旗多様体やサスペンションとどのように関係するか？

主な発見

• 任意の旗多様体 G/P 上の正規アフィンコーンに対して、特別自己同型群 SAut(X) はその滑らか領域 X_reg に無限トランジティブに作用する。
• 次元が2以上である非退化アフィントーリック多様体はフレキシブルであり、SAut(X) は X_reg に無限トランジティブに作用する。
• 無限トランジティビティを有するフレキシブル多様体 X 上の繰り返しサスペンションは、フレキシブル性および SAut(X) の X_reg における無限トランジティビティを両方保存する。
• ℝ 上では、滑らか領域が連結で次元≥2であり、実数値正則関数のレベル集合が無限大であると仮定すれば、無限トランジティビティは実代数的多様体へと拡張される。
• サスペンションの構成は、uv = f(y) の関係を用いて、基本多様体からスuspended多様体へ LND を持ち上げることで、SAut(X) のトランジティブ作用を保存する。
• 一般点における接空間が持ち上げた LND の像によって張られることを示し、ヤコビ行列のランク解析により、スuspended多様体のフレキシブル性を確立する。