[论文解读] There are no rigid filiform Lie algebras of low dimension

Paulo Tirao, Sonia Vera|arXiv (Cornell University)|Sep 14, 2017

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

一句话总结

该论文通过在滤子李代数簇的扎里斯基开稠密集上为所有此类代数构造非平凡线性形变，证明了在维度 9、10 和 11 中不存在刚性复滤子李代数。该方法依赖于从余维数为 2 的理想上的相容导子推导出特定的 2-上循环，并证明所得形变代数与原代数不同构，从而在完整李代数簇及滤子代数子簇中均证明了非刚性。

ABSTRACT

We prove that there are no rigid complex filiform Lie algebras in the variety of (filiform) Lie algebras of dimension less than or equal to 11. More precisely we show that in any Euclidean neighborhood of a filiform Lie bracket (of low dimension), there is a non-isomorphic filiform Lie bracket. This follows by constructing non trivial linear deformations in a Zariski open dense set of the variety of filiform Lie algebras of dimension 9, 10 and 11. (In lower dimensions this is well known.)

研究动机与目标

• 解决低维中刚性滤子李代数的存在性问题，特别是维度 9、10 和 11 的情况。
• 将维尔格内猜想（即不存在刚性幂零李代数）特化到滤子情形。
• 证明滤子李代数不仅在完整李代数簇中是非刚性的，而且在滤子代数子簇中也非刚性。
• 提供一种基于余维数为 2 的理想上的导子，构造滤子李代数非平凡形变的可构造方法。

提出的方法

• 通过在基向量空间中余维数为 2 的理想 h 上的导子 D，构造滤子李代数 μ 的线性形变 μₜ = μ + tφ，其中 φ 是由 D 导出的 2-上循环。
• 通过定义形变 φ_D 满足：φ_D(x₀,x₁)=0，φ_D(x₁,h)=D(h)，且对所有 h,h'∈h 有 φ_D(h,h')=0，确保 φ_D 既是李代数结构也是 μ 的 2-上循环。
• 通过在适配基下对同构方程进行显式分析，证明当 t≠0 时 μₜ 与 μ 不同构，从而验证形变是非平凡的。
• 利用 Fⁿ（n=9,10,11）的不可约分支结构，证明所构造的形变集合在扎里斯基拓扑下稠密，因此在欧氏拓扑下也稠密，从而保证结果在整个簇上成立。
• 将该方法应用于特定开集 Uⁿ ⊆ Fⁿ，其中形变是非平凡的，利用已知的通过适配基对滤子代数进行参数化的结果。
• 通过假设 μ 与 μₜ 之间存在同构并导出矛盾，利用结构常数的系数比较，确立同构性不成立。

实验结果

研究问题

• RQ1 在复数域上，维度 9、10 或 11 中是否存在刚性滤子李代数？
• RQ2 能否系统地为低维中所有滤子李代数构造非平凡线性形变？
• RQ3 维度 9–11 中滤子李代数的非刚性是否足以说明其在完整李代数簇及滤子代数子簇中均为非刚性？
• RQ4 维度 ≤8 的滤子代数中不存在刚性是否可推广至维度 9–11？若是，其机制为何？
• RQ5 基于余维数为 2 的理想上的相容导子的形变方法，能否推广至证明所有滤子李代数的非刚性？

主要发现

• 通过在各自簇的扎里斯基开稠密集上为所有此类代数构造非平凡线性形变，证明了在维度 9、10 和 11 中不存在刚性复滤子李代数。
• 对每个维度 9、10 和 11 中的滤子李代数 μ，存在形变 μₜ = μ + tφ（t≠0），使得 μₜ 与 μ 不同构，从而确认了非刚性。
• 开集 U⁹ ⊆ F⁹、U¹⁰ ⊆ F¹⁰ 和 U¹¹ ⊆ F¹¹ 在其对应簇中为扎里斯基稠密，因为它们与所有不可约分支均有非平凡交集。
• 在维度 8 中，使用 D=D³ 的相同形变方法可产生不同构的形变，从而在尽管高维中关键命题失效的情况下，仍证明了 F⁸ 中的非刚性。
• 在维度 7 中，该方法成功适用，表明所有滤子李代数均允许非平凡滤子形变，从而在 F⁷ 中确认了非刚性。
• 结果证实，滤子李代数不仅在完整李代数簇中是非刚性的，而且在滤子代数子簇中也是非刚性的，支持了该类中维尔格内猜想的成立。