[論文レビュー] Groups of type E_7 over arbitrary fields

Skip Garibaldi|ArXiv.org|Nov 9, 1998

Advanced Algebra and Geometry参考文献 15被引用数 6

ひとこと要約

本稿では、特徴が 2 および 3 でない任意の体上の型 E₇ のすべてのアドジョイント代数的群を一様にパrametrizeする、非退化なフレウデントハル三重系にシンプレクティックな対合を備えた新しい代数的構造を導入する。非退化系を特徴付ける恒等式を提示し、かつ以前に無視されていた不変量を組み込むことで、シンプレクティック対合の完全な記述が得られ、特に実閉体上でのインデックス 2 のティーツ代数をもつ群の明示的実現が可能になる。

ABSTRACT

Freudenthal triple systems come in two flavors, degenerate and nondegenerate. The best criterion for distinguishing between the two which is available in the literature is by descent. We provide an identity which is satisfied only by nondegenerate triple systems. We then use this to define algebraic structures whose automorphism groups produce all adjoint algebraic groups of type E_7 over an arbitrary field of characteristic not 2 or 3. The main advantage of these new structures is that they incorporate a previously unconsidered invariant (a symplectic involution) of these groups in a fundamental way. As an application, we give a construction of adjoint groups with Tits algebras of index 2 which provides a complete description of this involution and apply this to groups of type E_7 over a real-closed field.

研究の動機と目的

• 特徴が 2 または 3 でない任意の体上の型 E₇ のすべてのアドジョイント代数的群を一様に代数的構成する。
• E₇ 群の構造に以前に考慮されていなかった不変量—具体的にはシンプレクティック対合—を同定し、それを構造に組み込む。
• 実閉体上での E₇ 群の分類を、インデックス 2 のティーツ代数をもつ明示的モデルを構成することで解決する。
• 非退化なフレウデントハル三重系と退化系を区別するための新しい基準を提示する。その基準は、非退化の場合にのみ満たされる恒等式である。

提案手法

• 非退化なフレウデントハル三重系を特徴付ける恒等式を新たに導入し、非退化系と退化系を区別する。
• シンプレクティック対合を備えた非退化三重系に基づく代数的構造を構成し、それらが E₇ 群の自己同型群を符号化することを示す。
• ガロア降下の技法を用いて、これらの構造を任意の体上の群と関連付ける。
• 新規の枠組みを用いて、特に実閉体上でのインデックス 2 のティーツ代数をもつ型 E₇ のアドジョイント群を構成する。
• シンプレクティック対合が構造から自然に生じ、外部から与えられたデータではないことを示す。
• 新規の恒等式を活用し、得られる代数的対象が非退化または非再帰的ケースを除き、すべてが型 E₇ のアドジョイント群に限られることを保証する。

実験結果

リサーチクエスチョン

• RQ1 特徴が 2 または 3 でない任意の体上の型 E₇ のすべてのアドジョイント代数的群を、代数的構造を用いて一様にパrametrizeする方法は何か？
• RQ2 シンプレクティック対合が E₇ 群のどの不変量を捉え、それを構造的定義に組み込むことができるか？
• RQ3 非退化なフレウデントハル三重系を特徴付ける新しい恒等式を同定できるか？ その恒等式は非退化系にのみ満たされる。
• RQ4 実閉体上でのインデックス 2 のティーツ代数をもつ E₇ 群を、どのように明示的に構成できるか？
• RQ5 シンプレクティック対合は E₇ 群の分類において果たす役割は何か？ また、自己同型群の構造にどのように影響を与えるか？

主な発見

• 非退化なフレウデントハル三重系にのみ満たされる恒等式が新たに導入され、非退化系と退化系を明確に区別する鋭い基準を提供する。
• シンプレクティック対合を備えた非退化三重系に基づく代数的構造の構成により、特徴が 2 または 3 でない任意の体上の型 E₇ のすべてのアドジョイント代数的群が得られる。
• シンプレクティック対合が E₇ 群の基本的不変量であることが示され、構造的定義に以前は組み込まれていなかった。
• 特に実閉体上でのインデックス 2 のティーツ代数をもつアドジョイント E₇ 群の明示的構成が達成された。
• この方法により、シンプレクティック対合が代数的構造の観点から完全に記述され、E₇ 群の分類における長年の問題が解決された。
• この枠組みにより、シンプレクティック対合を定義構造の核心的要素として埋め込むことで、任意の体上での E₇ 群の分類が統一された。