[論文レビュー] Jordan algebras, exceptional groups, and higher composition laws

Sergei Krutelevich|ArXiv.org|Nov 5, 2004

Advanced Topics in Algebra参考文献 23被引用数 30

ひとこと要約

この論文は、数論における高次合成法則と例外的代数幾何におけるフレウデントハルの構成との間に深い関係を確立し、立方的ジョルダン代数における整数的構造が、理想類群と同型な軌道空間を持つ群作用の新たな例を生み出す仕組みを示している。ガウスの消去法に類似したアルゴリズム的還元法を用いて、著者はこのような空間のうち2つの新たな非自明な例を同定し、次元56における新たな合成法則の存在を提起している。

ABSTRACT

We consider an integral version of the Freudenthal construction relating Jordan algebras and exceptional algebraic groups. We show how this construction is related to higher composition laws of M.Bhargava in number theory. We propose an algorithmic approach to studying orbit spaces of groups underlying higher composition laws. Using this method we discover two new examples of spaces sharing similar properties, and indicate several more examples of spaces where such composition laws may be introduced.

研究の動機と目的

• 例外的群の整数表現と数論における高次合成法則との関係を調査すること。
• バルガヴァの高次合成法則を既知の例を超えて拡張し、同型な軌道構造を持つ新たな空間を同定すること。
• 立方的ジョルダン代数に関連する整数モジュールにおける軌道を分類するためのアルゴリズム的手法を開発すること。
• フレウデントハルの構成を、ジョルダン代数からこのような合成法則を構成する統一的枠組みとして考察すること。
• 特に56次元の$E_7$-モジュールにおいて、新たな合成法則の例が存在するかどうかを同定すること。

提案手法

• フレウデントハルの構成を用いて、各立方的ジョルダン代数$\mathfrak{J}$に56次元モジュール$\mathfrak{M}(\mathfrak{J})$と不変群$\mathrm{Inv}(\mathfrak{M})$を関連付ける。
• 整数版のフレウデントハルの構成を適用し、$\mathfrak{M}(\mathfrak{J}_\mathbb{Z})$に格子構造を定義し、その射影的要素を研究する。
• ガウスの消去法にインspiredされた還元アルゴリズムを用いて、整数モジュール内の射影的要素の軌道を分類する。
• 標準的な立方形式とノルムを保存する群作用に依拠して、$\mathbb{Z}$上での軌道構造を分析する。
• スプリンガーの構成を用いて、$C$がオクタニオンの場合の$\mathcal{H}_3(C)$を含む、合成代数から立方的ジョルダン代数を生成する。
• フレウデントモジュールの$3\times3$行列表現を通じてバルガヴァのキューブ法則を再解釈し、3つの二次形式を行列式の対角成分に結びつける。

実験結果

リサーチクエスチョン

• RQ1 整数群作用が格子モジュール上で作用する場合、バルガヴァの高次合成法則の例のように、理想類群と同型な軌道空間を生じる条件は何か？
• RQ2 フレウデントハルの構成は、次元27と56の既知の例を超えて、このような合成法則の新たな例を生み出せるか？
• RQ3 $E_7$の56次元整数表現における、そのノルムを保存する群作用の下での軌道空間の構造は何か？
• RQ4 表1の行6および7の新しい例の軌道構造は、特に行#5の既知の例とどのように比較できるか？
• RQ5 56次元モジュールにおける$E_7$において、新たな合成法則が存在するか。また、それが既知の数論的不変量で記述可能か？

主な発見

• 論文は、群が$\mathrm{SL}_n$群の直積でないにもかかわらず、27次元$E_6$-モジュールと同型な軌道構造を持つ2つの新たな整数群作用（表1の行6および7）を発見した。
• 定理47により、新しい例（行6および7）の軌道構造が行#5と等価であることが示され、高次合成法則との整合性が確認された。
• フレウデントハルの構成は、$C$の次元$n=1,2,4$における$\mathcal{H}_3(C)$構成の一般化に対応する行8を含め、2つの追加例を生み出した。
• 行9は、以前に未知であった56次元空間における新たな合成法則を生じると予想されており、これは以前に知られていなかった高次合成法則の存在を示唆している。
• 論文は、$\alpha A - B^\#$、$\beta B - A^\#$、および立方形式$Q(x)$を含む行列式の表現における対角成分として3つの二次形式が生じる、$3\times3$行列モデルを用いたバルガヴァのキューブ法則の新たな実現を提供した。
• アルゴリズム的還元法は、例外的群の設定に一般化されたスミス標準形の類似として、整数モジュール$\mathfrak{M}(\mathfrak{J}_\mathbb{Z})$内の射影的軌道を効果的に分類できた。