[论文解读] E7 groups from octonionic magic square

Sergio L. Cacciatori, Francesco Dalla Piazza+1 more|arXiv (Cornell University)|Jul 27, 2010

Advanced Topics in Algebra参考文献 11被引用 5

一句话总结

本文利用八元数魔术平方构造，给出了紧致例外李群 $E_7$ 的显式矩阵实现，基于其最大紧致子群——$U=(E_6\times U(1))/\mathbb{Z}_3$、$SU(8)/\mathbb{Z}_2$ 和 $(σ\mathrm{Spin}(12)× SU(2))/\mathbb{Z}_2^2$，构建了广义欧拉角参数化。关键贡献在于在伴随（133维）和 fundamental（56维）表示中，对 $E_7$ 实现了完整且可计算的参数化，从而能够显式计算哈尔测度，并在黑洞物理和格点规范理论中实现应用。

ABSTRACT

In this paper we continue our program, started in [2], of building up explicit generalized Euler angle parameterizations for all exceptional compact Lie groups. Here we solve the problem for E7, by first providing explicit matrix realizations of the Tits construction of a Magic Square product between the exceptional octonionic algebra J and the quaternionic algebra H, both in the adjoint and the 56 dimensional representations. Then, we provide the Euler parametrization of E7 starting from its maximal subgroup U=(E6 x U(1))/Z3. Next, we give the constructions for all the other maximal compact subgroups.

研究动机与目标

• 通过蒂茨构造和八元数魔术平方，提供紧致例外李群 $E_7$ 的显式矩阵实现。
• 基于其最大紧致子群，特别是 $U=(E_6\times U(1))/\mathbb{Z}_3$，发展 $E_7$ 的广义欧拉角参数化。
• 实现 $E_7$ 的哈尔测度与参数范围的显式计算，这对于非微扰格点规范理论和黑洞吸引子力学至关重要。
• 将先前工作中启动的程序扩展至所有例外紧致李群，完成 $E_7$ 的案例。
• 通过 Mathematica 提供计算工具，支持 133 和 56 表示的计算，推动物理与数学领域的进一步应用。

提出的方法

• 通过八元数代数 $\mathfrak{J}$ 和四元数代数 $\mathbb{H}$ 的蒂茨构造构建李代数 $\mathfrak{e}_7$，在伴随（133维）和 fundamental（56维）表示中获得显式矩阵形式。
• 从最大子群 $U=(E_6\times U(1))/\mathbb{Z}_3$ 出发，利用根系分解与卡坦-外尔基底技术，推导 $E_7$ 的广义欧拉参数化。
• 应用酉的外尔技巧，构造 $E_7$ 的实形式，包括 $E_{7(7)}$ 和 $E_{7(-5)}$ 及其相关对称空间。
• 利用卡坦子代数与根空间分解的正交基，计算伴随表示的雅可比行列式，从而在参数空间中导出哈尔测度。
• 利用正根结构与根向量 $J_\beta^\pm$，将依赖参数的雅可比行列式表达为参数向量 $\vec{y}$ 上根形式的正弦乘积。
• 在 Mathematica 中实现上述构造，公开提供 133 和 56 表示的代码，支持可复现性与进一步计算。

实验结果

研究问题

• RQ1 如何利用八元数魔术平方构造，将紧致例外李群 $E_7$ 显式实现为矩阵群？
• RQ2 基于最大子群 $(E_6\times U(1))/\mathbb{Z}_3$，$E_7$ 的广义欧拉角参数化是什么？
• RQ3 如何从参数化中显式计算 $E_7$ 的哈尔测度？其参数范围是什么？
• RQ4 在 133 和 56 表示中，$E_7$ 的矩阵实现是什么？它们与蒂茨构造有何关系？
• RQ5 如何利用同一框架构造 $E_7$ 的各种实形式，如 $E_{7(7)}$ 和 $E_{7(-5)}$？

主要发现

• 本文通过应用于八元数与四元数代数的蒂茨构造，完整实现了 $E_7$ 在 133维伴随表示中的矩阵实现。
• 从最大子群 $(E_6\times U(1))/\mathbb{Z}_3$ 出发，构建了 $E_7$ 的广义欧拉参数化，其显式参数范围由根系分析导出。
• 哈尔测度表达为参数线性形式正弦的乘积，$|f(\vec{y})| = \prod_{\beta \in \mathrm{Rad}^+} \sin\left|\sum_a y^a \beta(D_a)\right|$，支持显式积分。
• 56维 fundamental 表示被显式实现，其基由对应正根的根向量 $J_\beta^\pm$ 构成，根系结构被完整描述。
• 通过酉的外尔技巧，将构造扩展至非紧致实形式 $E_{7(7)}$ 和 $E_{7(-5)}$，并为 $E_{7(-5)}$ 确定了最大紧致子群 $K = \mathrm{SO}(4)\times\mathrm{SU}(2)\times\mathbb{Z}_2^4$。
• 133 和 56 表示的 Mathematica 代码已公开发布于 www.dfm.uninsubria.it/E7/，支持计算应用。