[논문 리뷰] Solvable Leibniz algebra with non-Lie and non-split naturally graded filiform nilradical and its rigidity

M. Ladra, K. K. Masutova외 1명|arXiv (Cornell University)|2016. 02. 23.

Advanced Topics in Algebra참고 문헌 12인용 수 3

한 줄 요약

이 논문은 복소수의 가환되지 않는, 분할되지 않은 자연스러운 계급화된 필리포르(nilradical)를 가진 해소 가능한 리브니츠 대수의 분류에 대해 이전에 발표된 오류를 수정한다. 이는 유일한 $(n+2)$차원 해소 가능한 리브니츠 대수 $R(F_n^1)$를 구성하며, 그의 근본적 담황군(nilradical)이 $F_n^1$임을 보이고, 스스로의 계수를 가진 두 번째 코homology 군이 자명하다는 것을 보여, 이 대수가 리브니츠 대수의 다양체에서 강성(rigidity)을 가짐을 확인한다.

ABSTRACT

The description of complex solvable Leibniz algebras whose nilradical is a naturally graded filiform algebra is already known. Unfortunately, a mistake was made in that description. Namely, in the case where the dimension of the solvable Leibniz algebra with nilradical $F_n^1$ is equal to $n+2$, it was asserted that there is no such algebra. However, it was possible for us to find a unique $(n+2)$-dimensional solvable Leibniz algebra with nilradical $F_n^1$. In addition, we establish the triviality of the second group of cohomology for this algebra with coefficients in itself, which implies its rigidity.

연구 동기 및 목표

• 이전에 발표된 논문에서 $(n+2)$차원 해소 가능한 리브니츠 대수가 $F_n^1$을 담황군으로 가질 수 없다고 주장한 오류를 수정하기 위해.
• 비리브니츠이자 분할되지 않은 자연스러운 계급화된 필리포르 담황군 $F_n^1$을 가진 유일한 $(n+2)$차원 해소 가능한 리브니츠 대수 $R(F_n^1)$를 구성하고 특성화하기 위해.
• 두 번째 코homology 군 $H^2(R(F_n^1), R(F_n^1))$가 자명하다는 것을 증명하여, 이 대수가 강성 대수임을 확립하기 위해.
• $R(F_n^1)$이 복소수 리브니츠 대수의 다양체에서 강성 대수임을 확인하기 위해, 이는 그 궤도가 다양체의 기약 성분(irreducible component)임을 의미한다.

제안 방법

• 저자들은 필리포르 담황군을 가진 해소 가능한 리브니츠 대수의 분류에 관한 이전 연구에서 발생한 오류를 식별하고 수정한다.
• 기저 원소 $e_1, \dots, e_n, x_1, x_2$를 사용하여, $F_n^1$을 담황군으로 가지는 유일한 $(n+2)$차원 해소 가능한 리브니츠 대수 $R(F_n^1)$를 명시적으로 구성한다. 리브니츠 괄호는 구조 상수를 통해 정의된다.
• Chevalley-Eilenberg 복합체를 사용하여 두 번째 코homology 군 $H^2(R(F_n^1), R(F_n^1))$을 계산한다. 이는 코사이클 조건 $d^2\varphi = 0$에서 유도된 선형 방정식계를 해결함으로써 이루어진다.
• 이 계산 과정에서는 2-코사이클 $\varphi$의 성분을 구조 상수 $a_{i,j}^k$에 대해 구하고, 모든 기저 삼중조합에서 $d^2\varphi$의 영성(zeroness)을 검증한다.
• 기저 원소의 모든 조합, 특히 $ (e_i, e_j, x_k) $, $ (e_i, x_j, e_k) $, $ (x_i, x_j, x_k) $에 대해 코사이클 조건에서 유도된 제약 조건을 유도하며, 이는 선형 방정식계로 이어진다.
• 최종 결과로 $\dim H^2(R(F_n^1), R(F_n^1)) = 0$임을 도출하였으며, 이는 [4]에서 제시된 기준에 따라 자명한 두 번째 코homology 군이 강성 대수임을 의미한다.

실험 결과

연구 질문

• RQ1 논문 [6]에서 주장한 바와 달리, $F_n^1$을 담황군으로 가진 $(n+2)$차원 해소 가능한 리브니츠 대수가 존재하는가?
• RQ2 유일한 그러한 대수 $R(F_n^1)$의 구조는 무엇이며, 그 리브니츠 괄호는 어떻게 정의되는가?
• RQ3 두 번째 코homology 군 $H^2(R(F_n^1), R(F_n^1))$는 자명한가? 이는 대수의 강성에 어떤 의미를 갖는가?
• RQ4 코homological 기준을 사용하여 대수 $R(F_n^1)$이 강성임을 증명할 수 있으며, 이는 리브니츠 대수의 다양체에서 기약 성분을 형성하는가?

주요 결과

• 이 논문은 이전에 존재하지 않는다고 주장된 바가 있었던, $F_n^1$을 담황군으로 가진 유일한 $(n+2)$차원 해소 가능한 리브니츠 대수 $R(F_n^1)$의 존재를 증명함으로써 이전 오류를 수정한다.
• 대수 $R(F_n^1)$은 기저 $\{e_1, \dots, e_n, x_1, x_2\}$를 가지며, 특정한 리브니츠 괄호 관계와 구조 상수를 통해 명시적으로 정의된다.
• 두 번째 코homology 군 $H^2(R(F_n^1), R(F_n^1))$는 자명하다. 즉, $\dim H^2(R(F_n^1), R(F_n^1)) = 0$이며, 이는 코사이클 조건에서 유도된 방정식계를 해결함으로써 입증된다.
• $H^2(R(F_n^1), R(F_n^1))$의 자명성은 $R(F_n^1)$이 복소수 리브니츠 대수의 다양체에서 강성 대수임을 의미한다.
• $R(F_n^1)$은 강성 대수이며, 이는 $\mathrm{GL}_n(\mathbb{C})$-행동 하에서의 궤도가 열려 있으며, 그 닫힘(closure)이 $(n+2)$차원 리브니츠 대수의 다양체의 기약 성분을 형성함을 의미한다.
• 2-코사이클 공간의 차원은 $\dim ZL^2(R(F_n^1), R(F_n^1)) = (n+2)^2 - 3$이지만, 코homology 군은 영이 되어 강성의 확인이 이루어진다.