[論文レビュー] 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

ひとこと要約

本稿は、代数的に閉じた体上での任意の数の可換行列に対してゲルステンハーバーの定理が成り立つ十分条件を確立する。もし可換行列の集合が、双対空間 (K^n)* 上での対偶作用に関して開軌道を持つ、互いに可換な n 個の行列からなる基底に拡張できるならば、その行列が生成する代数の次元は n 以下である。この結果は、2段階可解なフロベニウスリーアルゲブラの分類を、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 行列版ゲルステンハーバーの定理が成り立つ一般の十分条件を確立すること。
• 2段階可解なフロベニウスリーアルゲブラを、gl(n,K) の n 次元最大アーベル部分代数（MASA）とその対偶作用における開軌道の関係を通じて分類すること。
• 2段階可解なフロベニウスリーアルゲブラに付随する左対称代数（LSA）構造の完全な特徴づけを提供すること。
• 任意の有限次元における非退化的行列に対応するすべての 2段階可解なフロベニウスリーアルゲブラを分類すること。
• 次元 6 まででそのようなリーアルゲブラの完全なリストを提示し、非退化的行列から生じない非同型の例を議論すること。

提案手法

• 著者らは十分条件を導入する：k 個の可換行列の集合が、n 個の pairwise に可換な行列からなる基底に拡張可能で、その張るアーベルリーアルゲブラが対偶作用の下で (K^n)* 上に開軌道を持つならば、k 個の行列が生成する代数の次元は n 以下である。
• 証明は、2段階可解なフロベニウスリーアルゲブラの分類と、gl(n,K) の n 次元 MASAs が対偶作用の下で開軌道を持つことの分類の同値性に依拠する。
• 著者らは、B が R^n に行列乗法によって作用するアーベルリーアルゲブラである半直積 G = B ⋉ R^n の構造を用い、双対空間 (R^n)* 上での作用の開軌道を分析する。
• 彼らは、このようなリーアルゲブラ G がフロベニウスであるための必要十分条件として、B が (R^n)* 上での作用に開軌道を持つことであり、かつ B が生成する代数が K[M1,…,Mn] と同型で、次元が n 以下であることを示す。
• 分類は、フロベニウスリーアルゲブラ上の左対称代数（LSA）構造の研究を通じて行われ、フロベニウス汎関数の存在の明示的条件が導出される。
• 本稿は、明示的な行列構成とコホロロジー的議論（例：特定の形式 α に対して (∂α)^3 = 0 を示すこと）を用いて、特定の状況でフロベニウス構造が成立しないことを除外する。

実験結果

リサーチクエスチョン

• RQ1 ゲルステンハーバーの定理は、任意の体上での k ≥ 3 個の可換行列にどのように拡張可能か？
• RQ2 k 個の可換行列が生成する代数の次元が n 以下であるための正確な構造的条件は何か？
• RQ3 2段階可解なフロベニウスリーアルゲブラは、gl(n,K) の最大アーベル部分代数（MASA）としてどのように分類されるか？
• RQ4 双対空間 (K^n)* 上での開軌道条件が、可換行列が生成する代数の次元を決定する役割は何か？
• RQ5 どの n 次元アーベル部分代数が gl(n,R) に属し、R^n との半直積によってフロベニウスリーアルゲブラを生成するか？

主な発見

• 本稿は、k 個の可換行列の集合が、n 個の pairwise に可換な行列からなる基底に拡張可能で、その張る代数が (K^n)* 上で対偶作用に関して開軌道を持つならば、その生成する代数の次元が n 以下であることを確立し、ゲルステンハーバーの定理を任意の数の可換行列に一般化する。
• 2段階可解なフロベニウスリーアルゲブラの分類は、gl(n,K) の n 次元最大アーベル部分代数（MASA）が対偶作用の下で開軌道を持つことの分類と同値である。
• 任意の有限次元 n に対して、非退化的実行列から生じるすべての 2段階可解なフロベニウスリーアルゲブラの完全な分類が提供される。
• 次元 6 までで、すべての 2段階可解なフロベニウスリーアルゲブラの完全なリストが提示され、非退化的行列から生じない n 個の非同型の例が含まれる。
• 著者らは、Lie 代数 G = B ⋉ R^n がフロベニウスであるための必要十分条件として、B が (R^n)* 上での作用に開軌道を持つことであり、かつ K[M1,…,Mn] = B が成り立つこと、したがって生成される代数が n 次元以下であることを示す。
• L2,4 = {k1,3E1,3 + k2,3E2,3} に対して、半直積 A2,4 ⋉ R^3 は、すべての線形形式 α に対して (∂α)^3 = 0 であるため、フロベニウス汎関数をもたない。これは、開軌道条件が満たされない場合の例を示している。