[論文レビュー] Conjugacy classes of trialitarian automorphisms and symmetric compositions

Vladimir Chernousov, Max-Albert Knus+1 more|arXiv (Cornell University)|Jun 25, 2011

Advanced Algebra and Geometry参考文献 11被引用数 4

ひとこと要約

この論文は、任意の体上の型 D₄ のアドジョイント代数的群の三重自己同型の共役類と、8次元の二次形式空間上の対称合成の類似クラスの間の一対一対応を確立する。主な結果は、これらの自己同型が二種類に分類されることである：I型（固定部分群が G₂ 型）はオクタニオン代数に関連し、II型（固定部分群が A₂ 型）は3次中心単純代数に関連する。分類は、体が原始的3乗根を含むかどうかに依存する。

ABSTRACT

The trialitarian automorphisms considered in this paper are the outer automorphisms of order 3 of adjoint classical groups of type D_4 over arbitrary fields. A one-to-one correspondence is established between their conjugacy classes and similarity classes of symmetric compositions on 8-dimensional quadratic spaces. Using the known classification of symmetric compositions, we distinguish two conjugacy classes of trialitarian automorphisms over algebraically closed fields. For type I, the group of fixed points is of type G_2, whereas it is of type A_2 for trialitarian automorphisms of type II.

研究の動機と目的

• 任意の体上の型 D₄ のアドジョイント代数的群の三重自己同型の共役類を分類すること。
• このような共役類と、8次元の二次形式空間上の対称合成の類似クラスとの間の一対一対応を確立すること。
• 対称合成を二種類に区別すること：I型（オクタニオン代数に関連）と II型（3次中心単純代数に関連）、それらを自己同型の固定部分群に関連付けること。
• 特に対称合成が滑らかでない場合（特に関数体の特異点がある場合）に、特異な扱いを要する特異な構成法を用いて、特異な体（特に対称合成が滑らかでない場合）に一般化すること。
• 代数的に閉体上での完全な分類を提示し、2つの共役類が存在することを示す：1つは G₂ 型の固定部分群をもち、もう1つは A₂ 型の固定部分群をもつ。

提案手法

• 8次元の二次形式空間上の対称合成の既知の分類を用いて、三重自己同型の共役類をパrametrizeすること。
• PGU および PGSO の群論的構造を用いて、三重自己同型の共役類と対称合成の類似クラスとの間の全単射を構成すること。
• 3重ピフォスター形式の理論とその双曲的性を用いて、対称合成の存在条件を分析すること。
• 原始的3乗根を含む体では、II型合成を3次中心単純代数とユニタリ対合に関連付けるオクタニオン代数と関連付けること。
• 特に対称合成が滑らかでない場合（特に対称合成が滑らかでない場合）に、特異な扱いを要する特異な構成法を用いて、特異な体（特に対称合成が滑らかでない場合）に一般化すること。
• 記号代数の基底元の乗法表を用いて合成を定義・比較し、分離的代数的閉包上での同型条件を証明すること。

実験結果

リサーチクエスチョン

• RQ1 任意の体上での型 D₄ 群の三重自己同型の共役類は、どのように分類できるか？
• RQ2 8次元の二次形式空間上の対称合成と、三重自己同型の共役類との間にはどのような関係があるか？
• RQ3 I型と II型の固定部分群は、それぞれどのように異なり、それらの代数的型は何か？
• RQ4 原始的3乗根を含まない体上での II型対称合成の存在条件は何か？
• RQ5 特に対称合成が滑らかでない場合（特に対称合成が滑らかでない場合）に、特異な扱いを要する特異な構成法を用いて、特異な体（特に対称合成が滑らかでない場合）に一般化すること。

主な発見

• アドジョイント D₄ 群の三重自己同型の共役類と、8次元の二次形式空間上の対称合成の類似クラスとの間には一対一対応が存在する。
• 代数的に閉体上では、ちょうど2つの共役類が存在する：1つは G₂ 型の固定部分群をもつ I型、もう1つは A₂ 型の固定部分群をもつ II型。
• I型の対称合成はオクタニオン代数に関連し、ピーターソン合成と同型である。
• 原始的3乗根を含む体上では、II型の対称合成は、3次中心単純代数とユニタリ対合に関連するオクタニオン合成と同型である。
• 特に対称合成が滑らかでない場合（特に対称合成が滑らかでない場合）に、特異な扱いを要する特異な構成法を用いて、特異な体（特に対称合成が滑らかでない場合）に一般化すること。
• 特に対称合成が滑らかでない場合（特に対称合成が滑らかでない場合）に、特異な扱いを要する特異な構成法を用いて、特異な体（特に対称合成が滑らかでない場合）に一般化すること。