[论文解读] Lie algebras and around: selected questions

Pasha Zusmanovich|arXiv (Cornell University)|Aug 20, 2016

Algebraic structures and combinatorial models参考文献 21被引用 3

一句话总结

本文研究李代数理论中的开放问题，聚焦于由柯尔祖对偶操作子生成的张量积李代数的上同调、可分解为子代数之和的代数、特征 2 的现象，以及阿多、怀特海德和巴拿赫经典定理的推广。提出了一种基于杨图的谱序列方法以计算上同调，并识别出（李代数，交换结合代数）对在使大量微分消失方面具有唯一特殊性。

ABSTRACT

Several open questions are discussed. The topics include cohomology of current and related Lie algebras, algebras represented as the sum of subalgebras, structures and phenomena peculiar to characteristic $2$, and variations on themes of Ado, Whitehead, and Banach.

研究动机与目标

• 开发一种计算由柯尔祖对偶操作子张量积构造的李代数上同调的一般方法，推广对当前李代数已知的结果。
• 理解为何（李代数，交换结合代数）对能够在杨图中使大量微分消失，从而实现谱序列，而其他操作子对则不能。
• 研究表示为幂零子代数之和的李代数的结构及其上同调性质，特别是在特征 2 的情形下。
• 探索经典结果（如第二怀特海德引理和阿多定理）在特征自由情形下的推广。
• 分析对称三元映射能否表示为二元映射的叠加，这一问题受巴拿赫所提问题的启发。

提出的方法

• 利用切瓦莱–艾伦贝格复形，并通过柯西公式将外代数 $\bigwedge^n(A \otimes B)$ 分解为以杨图索引的不可约表示。
• 在对偶复形上构造微分，并将其可视化为图，其中顶点为 $Y_\lambda(A)^* \otimes Y_{\lambda^\sim}(B)^*$，边为微分的分量。
• 将谱序列技术应用于杨图分解，重点关注大量微分消失的情形，特别是（李代数，交换结合代数）情形。
• 运用表示理论与操作子对偶性，将当前李代数 $L \otimes A$ 推广至由任意柯尔祖对偶操作子对生成的代数。
• 使用导子与模扩张，将具有幂零根的李代数在 $\mathbb{N}$-分次情形下的可解性结果进行推广。
• 采用组合计数方法，通过二元映射叠加计算可表示的三元映射数量，区分左结合、右结合与交换结合情形。

实验结果

研究问题

• RQ1 为何（李代数，交换结合代数）操作子对在切瓦莱–艾伦贝格复形的杨图中能使其大量微分消失，而其他操作子对则不能？
• RQ2 在哪些柯尔祖对偶操作子对或其代数中，大量微分会消失，特别是左诺维科夫代数与右诺维科夫代数的情形？
• RQ3 在一元代数闭域的正特征下，一维李代数是否是唯一在每个有限维模上第二上同调都为零的有限维李代数？
• RQ4 第二怀特海德引理及其逆命题在其他非结合代数（如乔丹代数、交错代数或李三元系）中是否成立？
• RQ5 是否每个有限集上的对称三元映射都能表示为 $f(x,y,z) = (x*y)*z$ 的形式，其中 $*$ 为某个交换二元运算？

主要发现

• 在所有柯尔祖对偶操作子对中，（李代数，交换结合代数）对具有唯一特殊性：杨图中约一半的微分消失，从而可构造谱序列以计算上同调。
• 对于当前李代数 $L \otimes A$，谱序列方法允许在低度下用 $L$ 和 $A$ 的不变量表示上同调 $\mathrm{H}^*(L \otimes A, K)$。
• 在特征 2 下，凯格尔–科斯特里金猜想不成立：存在一个 $\mathfrak{sl}_2$ 的三维类比反例，表明两个幂零子代数之和未必可解。
• 在大小为 3 的集合上，可表示为 $f(x,y,z) = (x*y)*z$ 的三元映射数量为 19,292；对于右结合形式，数量为 38,472。
• 当 $n=3$ 时，可通过左结合二元映射表示的对称三元映射数量为 48，该数值与可通过交换二元映射表示的数量一致。
• 序列 $T_L(n)$、$T_{LR}(n)$ 和 $T_{comm}(n)$ 在 $n=1,2,3$ 时尚未出现在 OEIS 中，且目前无已知整数序列与 $T_{comm}(n)$ 的值相匹配。