[论文解读] On systems of commuting matrices, Frobenius Lie algebras and Gerstenhaber's Theorem

André Diatta, Bakary Manga+1 more|arXiv (Cornell University)|Feb 19, 2020

Advanced Topics in Algebra参考文献 26被引用 10

一句话总结

本文在代数闭域上建立了Gerstenhaber定理对任意数量的交换矩阵成立的充分条件：若一组交换矩阵可扩展为一组n个两两交换的矩阵的完整基，且其在对偶空间上的作用具有开轨道，则它们生成的代数维数至多为n。该结果将2步可解Frobenius李代数的分类与gl(n,K)中具有开轨道的最大交换子代数（MASA）联系起来，实现了低维情形及非降阶矩阵情形下的完整分类。

ABSTRACT

This work relates to three problems, the classification of maximal Abelian subalgebras (MASAs) of the Lie algebra of square matrices, the classification of 2-step solvable Frobenius Lie algebras and the Gerstenhaber's Theorem. Let M and N be two commuting square matrices of order n with entries in an algebraically closed field K. Then the associative commutative K-algebra, they generate, is of dimension at most n. This result was proved by Murray Gerstenhaber in 1961. The analog of this property for three commuting matrices is still an open problem, its version for a higher number of commuting matrices is not true in general. In the present paper, we give a sufficient condition for this property to be satisfied, for any number of commuting matrices and arbitrary field K. Such a result is derived from a discussion on the structure of 2-step solvable Frobenius Lie algebras and a complete characterization of their associated left symmetric algebra structure. We discuss the classification of 2-step solvable Frobenius Lie algebras and show that it is equivalent to that of n-dimensional MASAs of the Lie algebra of square matrices, admitting an open orbit for the contragradient action associated to the multiplication of matrices and vectors. Numerous examples are discussed in any dimension and a complete classification list is supplied in low dimensions. Furthermore, in any finite dimension, we give a full classification of all 2-step solvable Frobenius Lie algebras corresponding to nonderogatory matrices.

研究动机与目标

• 建立在代数闭域上对任意k ≥ 1，k-矩阵版Gerstenhaber定理成立的一般充分条件。
• 通过其与gl(n,K)中n维最大交换子代数（MASA）在对偶作用下的开轨道关系，对2步可解Frobenius李代数进行分类。
• 对2步可解Frobenius李代数相关的左对称代数（LSA）结构提供完整刻画。
• 对任意有限维中非降阶矩阵对应的2步可解Frobenius李代数进行分类。
• 提供维数至多为6的所有此类李代数的完整列表，并讨论不源于非降阶矩阵的非同构例子。

提出的方法

• 作者引入一个充分条件：若一组k个交换矩阵可扩展为n个两两交换矩阵的基，且其所张成的交换李代数在对偶空间(K^n)*上通过逆变作用具有开轨道，则这k个矩阵生成的代数维数至多为n。
• 证明依赖于2步可解Frobenius李代数的分类与gl(n,K)中在对偶空间上具有开轨道的n维MASA分类之间的等价性。
• 作者研究了半直积G = B ⋉ R^n的结构，其中B是通过矩阵乘法作用在R^n上的交换李代数，并分析其在对偶空间(R^n)*上的作用是否具有开轨道。
• 他们证明此类李代数为Frobenius当且仅当B在(R^n)*上的作用具有开轨道，且由B中矩阵生成的代数同构于维数至多为n的完整交换代数K[M1,…,Mn]。
• 通过研究Frobenius李代数上的左对称代数（LSA）结构，对分类进行，作者推导出Frobenius泛函存在的显式条件。
• 论文使用显式矩阵构造和上同调论证（例如，证明对某些形式α有(∂α)^3 = 0）来排除特定情形下的Frobenius结构。

实验结果

研究问题

• RQ1 在任意域上，Gerstenhaber定理在k ≥ 3个交换矩阵情形下成立的条件是什么？
• RQ2 在何种精确结构条件下，k个交换矩阵生成的代数维数至多为n？
• RQ3 2步可解Frobenius李代数如何通过gl(n,K)的极大交换子代数来分类？
• RQ4 对偶空间(K^n)*上的开轨道条件在决定交换矩阵生成代数的维数中起什么作用？
• RQ5 哪些gl(n,R)中的n维交换子代数通过与R^n的半直积构造出Frobenius李代数？

主要发现

• 本文证明：若一组k个交换矩阵可扩展为n个两两交换矩阵的基，且其张成的代数在(K^n)*上作用具有开轨道，则它们生成的代数维数至多为n，从而将Gerstenhaber定理推广至任意数量的交换矩阵。
• 2步可解Frobenius李代数的分类等价于gl(n,K)中在(K^n)*上通过逆变作用具有开轨道的n维最大交换子代数（MASA）的分类。
• 对任意有限维n，本文提供了所有源于非降阶实矩阵的2步可解Frobenius李代数的完整分类。
• 在维数至6的范围内，本文提供了所有2步可解Frobenius李代数的完整列表，包括n个不源于非降阶矩阵的非同构例子。
• 作者证明：李代数G = B ⋉ R^n为Frobenius当且仅当B在(R^n)*上的作用具有开轨道，且此类代数满足K[M1,…,Mn] = B，意味着生成代数维数至多为n。
• 对于代数L2,4 = {k1,3E1,3 + k2,3E2,3}，半直积A2,4 ⋉ R^3无Frobenius泛函，因为对所有线性形式α有(∂α)^3 = 0，这表明开轨道条件不成立的情形。