[論文レビュー] Rational surfaces and canonical dimension of PGL_6

Jean-Louis Colliot-Thélène, Nikita A. Karpenko+1 more|ArXiv.org|Nov 25, 2006

Algebraic Geometry and Number Theory参考文献 7被引用数 4

ひとこと要約

本稿では、特徴量がゼロの体上の射影線型群 PGL₆ の標準次元が正確に 3 に等しいことを、有理曲面の双有理幾何に基づく二つの異なる証明を用いて確立している。最初の証明は、次数 6 のデル・ペッツォ曲面を分析するものであり、第二の証明は、体から幾何的に有理的曲面の函数体へのブラーレ群写像の核を研究するもので、最終的に、次数 6 の中心的単純代数のセベリ＝ブラウアー多様体の標準次元が 3 に等しいことを証明する。

ABSTRACT

The "canonical dimension" of an algebraic group over a field by definition is the maximum of the canonical dimensions of principal homogenous spaces under that group. Over a field of characteristic zero, we prove that the canonical dimension of the projective linear group PGL_6 is 3. We give two distinct proofs, both of which rely on the birational classification of rational surfaces over a nonclosed field. One of the proofs involves taking a novel look at del Pezzo surfaces of degree 6.

研究の動機と目的

• 特徴量がゼロの体上の代数群 PGL₆ の標準次元を特定すること。
• 次数 6 の中心的単純代数のセベリ＝ブラウアー多様体の標準次元が正確に 3 に等しいことを確立すること。
• 有理曲面の双有理分類とブラーレ群技術を用いて、二つの独立した証明を提供すること。
• 特徴量ゼロにおける標準次元が 2 である単純代数群の分類を完了すること。
• 幾何的に有理的曲面の函数体に対するブラーレ群核の構造を明確にすること。

提案手法

• 非閉体上の幾何的に有理的曲面の双有理分類を活用して、標準次元を分析する。
• ヒロナカの特異点解消を適用して、有理曲面の滑らかで固有なモデルに還元する。
• ピカール群における指数と標準類を用いて、有理的および双有理不変量を分析する。
• 指数還元公式を適用して、函数体上の中心的単純代数の指数を制御する。
• 幾何的に有理的曲面 X に対して、写像 Br(F) → Br(F(X)) の核を分析し、ブラーレ群構造を制限する。
• セベリ＝ブラウアー多様体と有理写像の結果を組み合わせ、標準次元 ≤2 を仮定した場合の矛盾を導出する。

実験結果

リサーチクエスチョン

• RQ1 特徴量がゼロの体上の PGL₆ の標準次元は何か？
• RQ2 次数 6 の中心的単純代数のセベリ＝ブラウアー多様体の標準次元が正確に 3 に等しいことを示せるか？
• RQ3 ブラーレ群と有理曲面の双有理幾何は、代数群の標準次元をどのように制約するか？
• RQ4 PGL₆ の標準次元は、それに対応するセベリ＝ブラウアー多様体の次元に等しいか。そうでない場合、その理由は何か？
• RQ5 次数 6 のデル・ペッツォ曲面は、代数群の標準次元を決定する上で果たす役割は何か？

主な発見

• 特徴量がゼロの体上の PGL₆ の標準次元は正確に 3 に等しい。
• 次数 6 の中心的単純代数のセベリ＝ブラウアー多様体の標準次元は 3 である。
• X が P² や P¹×P¹ のねじれ型に双有理同倣でない限り、幾何的に有理的曲面 X に対して写像 Br(F) → Br(F(X)) の核は自明である。
• 次数 3 と次数 2 の代数のセベリ＝ブラウアー多様体の積の標準次元は 2 を超え、PGL₆ の標準次元 ≤2 という仮定に矛盾する。
• PGL₆ の標準次元は 3 であり、特徴量ゼロにおける標準次元が 2 である単純群の分類を完了する。
• デル・ペッツォ曲面（次数 6）に基づく証明とブラーレ群核に基づく証明の両方が、独立に PGL₆ の標準次元が 3 に等しいことを確認している。