[论文解读] Commutative algebras with nondegenerate invariant trace form and trace-free multiplication endomorphisms

Daniel J. F. Fox|arXiv (Cornell University)|Apr 26, 2020

Advanced Topics in Algebra被引用 4

一句话总结

本文引入了杀戮度量精确交换代数——一种非结合、无单位元的代数，具有非退化的不变杀戮型迹形式和迹为零的乘法自同态。该研究建立了其与半单李代数的形式类比，引入了一种类曲率不变量，称为截面非结合性，并证明了推广自诺顿不等式的界，从而实现了低维情况下的分类，并与乔丹代数及赫维茨代数建立了联系。

ABSTRACT

A commutative algebra is exact if its multiplication endomorphisms are trace-free and is Killing metrized if its Killing type trace-form is nondegenerate and invariant. A Killing metrized exact commutative algebra is necessarily neither unital nor associative. Such algebras can be viewed as commutative analogues of semisimple Lie algebras or, alternatively, as nonassociative generalizations of étale (associative) algebras. Some basic examples are described and there are introduced quantitative measures of nonassociativity, formally analogous to curvatures of connections, that serve to facilitate the organization and characterization of these algebras.

研究动机与目标

• 开发一类可处理的非结合、无单位元的交换代数，其结构与半单李代数具有强类比性。
• 定义并研究具有非退化不变杀戮型迹形式和迹为零的乘法自同态的代数。
• 引入一种形式上类比黎曼几何中截面曲率的非结合性定量度量。
• 建立非结合性界的一般化，推广诺顿不等式，并实现低维情况下的分类。
• 探索与欧几里得乔丹代数、赫维茨代数及其去单位化形式的联系。

提出的方法

• 将交换代数定义为‘精确’的，若其所有乘法自同态 $ L_{\bullet}(x) $ 均为迹为零。
• 将交换代数定义为‘杀戮度量’的，若其杀戮形式 $ \tau_{\bullet}(x,y) = \operatorname{tr}(L_{\bullet}(x)L_{\bullet}(y)) $ 非退化且不变。
• 引入‘截面非结合性’张量作为类曲率不变量，用于度量元素对之间的非结合性。
• 通过三次多项式 $ P(x) = \frac{1}{6} h(x\circ x, x) $ 的极化，从度量和三次形式重构乘法。
• 应用不变量理论与表示论分析自同构群，特别是针对 $ \mathbb{Herm}(n,\mathbb{k}) $（其中 $ \mathbb{k} = \mathbb{R}, \mathbb{C}, \mathbb{H}, \mathbb{O} $）的情形。
• 通过 $ L_{\bullet}(x) $ 的谱分析证明截面非结合性的界，将诺顿不等式推广至非结合代数情形。

实验结果

研究问题

• RQ1 能否系统地分类具有非退化不变杀戮形式的非结合、无单位元交换代数？
• RQ2 如何以形式上类比黎曼几何中截面曲率的方式量化非结合性？
• RQ3 在维度 $ n \leq 4 $ 时，杀戮度量精确交换代数的结构与分类性质为何？
• RQ4 简单欧几里得乔丹代数的去单位化在多大程度上能产生杀戮度量精确代数？
• RQ5 不等式 $ |[X,Y]|_f^2 \leq 2|X|_f^2|Y|_f^2 $ 是否对 $ \mathbb{Herm}(n,\mathbb{O}) $ 成立？其对非结合性界意味着什么？

主要发现

• 杀戮度量精确交换代数必为无单位元且非结合的，且所有乘法自同态均为迹为零。
• 截面非结合性张量提供了一种类曲率不变量，将诺顿不等式推广至非结合代数。
• 当 $ n \leq 4 $ 时，本文对所有杀戮度量精确交换代数进行了分类，表明其均来源于简单欧几里得乔丹代数的去单位化。
• 当 $ \mathbb{k} $ 为结合代数时，不等式 $ |[X,Y]|_f^2 \leq 2|X|_f^2|Y|_f^2 $ 对 $ \mathbb{Herm}(n,\mathbb{k}) $ 成立，且等式成立当且仅当 $ X $ 和 $ Y $ 分别为 $ e_{ii} - e_{jj} $ 和 $ e_{ij} + e_{ji} $ 的数量倍。
• 非结合性界中等式成立的情形表明，仅对特定元素对，非结合性达到最大值，且该特征在自同构群作用下保持不变。
• 实赫维茨代数上的陈–道尔德–小林不等式被推广，并证明对 $ \mathbb{Herm}(n,\mathbb{k}) $ 成立，等式条件与伴随算子的谱范数相关。