[논문 리뷰] On systems of commuting matrices, Frobenius Lie algebras and Gerstenhaber's Theorem

André Diatta, Bakary Manga외 1명|arXiv (Cornell University)|2020. 02. 19.

Advanced Topics in Algebra참고 문헌 26인용 수 10

한 줄 요약

이 논문은 대수적으로 닫힌 체 위에서 임의의 수의 가환 행렬에 대해 Gerstenhaber 정리가 성립하는 충분조건을 확립한다: 만약 가환 행렬의 집합이 서로 가환인 n개의 행렬로 이루어진 기저로 확장 가능하고, 그들이 생성하는 아벨 리 대수의 대역공간 (K^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-행렬 버전의 Gerstenhaber 정리가 성립하는 일반적인 충분조건을 확립하는 것.
• 2단계 가환 프로페르피언스 리 대수를 gl(n,K)의 n차원 최대 아벨 부분대수(MASA)와 열린 궤도를 가지는 것과의 관계를 통해 분류하는 것.
• 2단계 가환 프로페르피언스 리 대수에 대응하는 왼쪽 대칭 대수(LSA)의 구조를 완전히 특성화하는 것.
• 임의의 유한 차원에서 비퇴화 행렬에 대응하는 모든 2단계 가환 프로페르피언스 리 대수를 분류하는 것.
• 차원 6 이하까지 이러한 리 대수의 완전한 목록을 제시하고, 비퇴화 행렬에서 유래하지 않는 비동형 예제들을 논의하는 것.

제안 방법

• 저자들은 충분조건을 도입한다: k개의 가환 행렬이 서로 가환인 n개의 행렬로 이루어진 기저로 확장 가능하고, 그들이 생성하는 아벨 리 대수가 대역공간 (K^n)* 위에서 대역작용에 의해 열린 궤도를 가질 경우, k개의 행렬이 생성하는 대수의 차원은 최대 n이다.
• 증명은 2단계 가환 프로페르피언스 리 대수의 분류와 gl(n,K)의 n차원 MASA가 대역작용에 의해 (K^n)* 위에서 열린 궤도를 가지는 것의 분류가 동치라는 것에 기반한다.
• 저자들은 B가 행렬 곱으로 R^n에 작용하는 아벨 리 대수이고, G = B ⋉ R^n 형태의 반직접곱의 구조를 사용하며, 대역공간 (R^n)* 위에서의 작용에 대해 열린 궤도를 분석한다.
• 그들은 B가 (R^n)* 위에서 열린 궤도를 가지는 경우에만 Lie 대수 G = B ⋉ R^n가 프로페르피언스임을 보이며, B에 속한 행렬들이 생성하는 대수는 차원이 최대 n인 전체 가환 대수 K[M1,…,Mn]과 동형임을 보인다.
• 분류는 프로페르피언스 리 대수 위에서 왼쪽 대칭 대수(LSA)의 구조를 연구함으로써 수행되며, 프로페르피언스 함수의 존재를 위한 명시적 조건을 유도한다.
• 논문은 명시적 행렬 구성과 코homological 추론(예: 특정 형식 α에 대해 (∂α)^3 = 0임을 보임)을 사용하여 특정 경우에 프로페르피언스 구조가 존재하지 않음을 배제한다.

실험 결과

연구 질문

• RQ1 임의의 체 위에서 k ≥ 3개의 가환 행렬에 대해 Gerstenhaber 정리가 성립하는 조건은 무엇인가?
• RQ2 k개의 가환 행렬이 생성하는 대수의 차원이 최대 n이 되는 정확한 구조적 조건은 무엇인가?
• RQ3 2단계 가환 프로페르피언스 리 대수는 gl(n,K)의 최대 아벨 부분대수에 대해 어떻게 분류되는가?
• RQ4 대역공간 (K^n)* 위에서의 열린 궤도 조건이 가환 행렬이 생성하는 대수의 차원을 결정하는 데 어떤 역할을 하는가?
• RQ5 n차원 아벨 부분대수 중 gl(n,R)에서 어떤 것이 R^n과의 반직접곱을 통해 프로페르피언스 리 대수를 유도하는가?

주요 결과

• 논문은 가환 행렬의 집합이 서로 가환인 n개의 행렬로 이루어진 기저로 확장 가능하고, 그들이 생성하는 대수의 작용이 (K^n)* 위에서 열린 궤도를 가지면, 그들이 생성하는 대수의 차원은 최대 n임을 보이며, 이는 Gerstenhaber 정리를 임의의 수의 가환 행렬로 일반화한다.
• 2단계 가환 프로페르피언스 리 대수의 분류는 gl(n,K)의 n차원 최대 아벨 부분대수(MASA)가 대역작용에 의해 (K^n)* 위에서 열린 궤도를 가지는 것과 동치임을 보여준다.
• 임의의 유한 차원 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이 모든 선형 형식 α에 대해 성립하므로 프로페르피언스 함수가 존재하지 않으며, 이는 열린 궤도 조건이 실패하는 경우의 예를 보여준다.