[论文解读] Jordan algebras, exceptional groups, and higher composition laws

Sergei Krutelevich|ArXiv.org|Nov 5, 2004

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

一句话总结

本文在数论中的高阶复合律与例外代数几何中的弗罗本纽斯构造之间建立了深层联系，表明立方约当代数中的整数结构可产生新的群作用示例，其轨道空间同构于理想类群。通过一种类似于高斯消去法的算法化约化方法，作者识别出两个新的非平凡此类空间示例，并推测在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})$上的格结构，并研究其射影元素。
• 采用受高斯消去法启发的约化算法，对整数模中射影元素的轨道进行分类。
• 依赖于典范三次型和保范群作用，分析$\mathbb{Z}$上的轨道结构。
• 使用斯普林格构造，从复合代数生成立方约当代数，包括当$C$为八元数时的$\mathcal{H}_3(C)$。
• 通过弗罗本纽斯模的$3\times3$矩阵实现重新解释巴尔加瓦的立方律，将三个二次型与矩阵表达式的对角线元素联系起来。

实验结果

研究问题

• RQ1 哪些在格模上的整数群作用会产生同构于理想类群的轨道空间，如巴尔加瓦的高阶复合律所示？
• RQ2 弗罗本纽斯构造是否能产生超出已知27维和56维情形的此类复合律的新示例？
• RQ3 在$E_7$的56维整数表示下，其保范群作用的轨道空间结构如何？
• RQ4 新示例（表1中第6行和第7行）的轨道结构与已知情形（特别是第5行）相比有何异同？
• RQ5 在$E_7$的56维模中是否存在一个新的复合律？它能否用已知的数论不变量来描述？

主要发现

• 本文发现了两个新的整数群作用示例（表1中的第6行和第7行），其轨道结构同构于27维$E_6$-模的轨道结构，尽管该群并非$\mathrm{SL}_n$群的直积。
• 通过定理47表明，新示例（第6行和第7行）的轨道结构与第5行等价，证实其与高阶复合律的相容性。
• 弗罗本纽斯构造产生了另外两个示例（第8行和第9行），其中第8行对应于当$C$维数为$n=1,2,4$时$\mathcal{H}_3(C)$构造的推广。
• 第9行被推测将产生一个新的复合律，暗示在56维空间中存在此前未知的高阶复合律。
• 本文通过$3\times3$矩阵模型，为巴尔加瓦的立方律提供了新的实现方式，其中三个二次型作为包含$\alpha A - B^\#$、$\beta B - A^\#$和三次型$Q(x)$的矩阵表达式对角线元素出现。
• 该算法化约化方法成功地对整数模$\mathfrak{M}(\mathfrak{J}_\mathbb{Z})$中的射影轨道进行了分类，将史密斯标准型推广至例外群情形。