[論文レビュー] Tits indices over semilocal rings

V. A. Petrov, Anastasia Stavrova|arXiv (Cornell University)|Jul 14, 2008

Algebraic Geometry and Number Theory参考文献 10被引用数 9

ひとこと要約

本稿は、半局所環上の単純代数的群のティーツ分類を簡略化・統一的に証明し、与えられたティーツ指数を持つ群の存在に向けた明示的な必要十分条件を確立する。また、射影的同調的多様体の標準次元を用いた、すべての内部例外型指数の存在の新証明を提示し、体の範囲を超えて一般に半局所環へ分類を拡張する。組合せ論的および表現論的制御を完全に保ったままである。

ABSTRACT

We give a simplified proof of Tits' classification of semisimple algebraic groups that remains valid over semilocal rings. In particular, we provide explicit necessary and sufficient conditions that anisotropic groups of a given type appear as anisotropic kernels of semisimple groups of a given Tits index. We also give a new proof of the existence of all indices of exceptional inner type using the notion of canonical dimension of projective homogeneous varieties.

研究の動機と目的

• 半局所環上での単純代数的群のティーツ分類を、体の場合の一般化として、任意の連結半局所環へ拡張すること。
• ティーツ指数の一覧の完全性を、体に基づく議論に依存せずに、簡略化され自己完結的な証明で示すこと。
• 与えられた非分解的群が指定されたティーツ指数を持つ群の非分解的核として現れるための、ティーツ代数を用いた明示的な必要十分条件を確立すること。
• 射影的同調的多様体の標準次元を用いて、すべての内部例外型ティーツ指数の存在を一様に証明すること。
• 与えられたティーツ指数を持つ群の存在が、明示的に記述された代数的条件を満たす非分解的群の存在と同値であることを示すこと。

提案手法

• 拡張されたディンキン図形上の反対対応の反転写像から導かれる組合せ的制約を用いて、不正な指数を除外する。
• 表現論的手法を用いて、半局所環上の単純代数的群に対するティーツ代数を定義し、体上でのティーツの構成を一般化する。
• 定理2を応用して、単純代数的群の群スケームが、より大きな群のパラボリック部分群のレヴィ部分群の導来部分群として埋め込める条件を特徴付ける。
• 射影的同調的多様体（特にボレル部分群の多様体）の $p$-相対標準次元を用いて、可能な指数の間を区別する。
• 標準次元に従って単調増加する $J$-不変量を用いて、異なる指数タイプ間の最大値を比較する。
• 既知の $J$-不変量および標準次元に関する結果（[8] より）を活用し、体の拡大上での一般化トーラスを構成して、望ましいティーツ指数を実現する。

実験結果

リサーチクエスチョン

• RQ1 与えられた非分解的群が、指定されたティーツ指数を持つ単純代数的群の非分解的核として現れるための、半局所環上での必要十分条件は何か？
• RQ2 体に依存しない構成に頼らず、すべての内部例外型ティーツ指数を一様に証明する方法は何か？
• RQ3 射影的同調的多様体の標準次元は、特に例外型の場合に、異なるティーツ指数をどのように区別するか？
• RQ4 拡張されたディンキン図形上の反対対応から得られる組合せ的制約は、半局所環上での可能なティーツ指数の一覧を完全に決定できるか？
• RQ5 ティーツ代数の理論を体から半局所環へ一般化することは、分類を支援するためにどの程度可能か？

主な発見

• 本稿は、$*$-作用が円マーク付き頂点に非自明に作用するタイプを含むすべてのタイプについて、半局所環上でのティーツ指数の完全かつ簡略化された分類を確立した。
• ティーツ代数を用いた明示的な必要十分条件を提示し、体の場合の先行結果を一般化して、与えられた指数を持つ群の非分解的核としての群の存在を特徴づけた。
• 内部例外型群に対して、ボレル部分群の多様体の最大標準次元値が異なる指数タイプ間で異なり、一般化された実現において非分解的であることを防ぐため、すべての指数の存在が一様に証明された。
• さまざまな指数の標準次元値を明示的に計算した。例えば、$E_{8,0}^{248}$ は $p=2$ で最大 $p$-相対標準次元 60、$p=3$ で 28、$p=5$ で 24 を示す。
• 非分解的核が期待されるより小さければ、標準次元が既知の最大値と矛盾することを証明し、したがって正しい指数が必然的に現れることが示された。
• 本稿は、${}^1E_6^{78}$、$E_8^{248}$、$E_7^{133}$、$F_4^{52}$ などのすべての内部例外型指数が、適切な体の拡大上で実現可能であることを確認した。また、それらの標準次元が区別する不変量を提供することが分かった。