[논문 리뷰] Naturally graded Lie algebras (Carnot algebras) of slow growth

Dmitry V. Millionschikov|arXiv (Cornell University)|2017. 05. 21.

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

한 줄 요약

이 논문은 차수의 합이 최대 3이 되는 조건을 만족하는 느린 성장률을 갖는 자연스럽게 등급이 부여된 리 대수(Carnot 대수)를 분류한다. 폭이 유계인 등급이 부여된 리 대수의 구조 분석 및 분류를 통해, 이러한 유한차원 및 무한차원 대수를 모두 특정하고, 그 성장 함수가 $ F(n) \leq \frac{3}{2}n + 1 $로 유계임을 증명한다.

ABSTRACT

A nilpotent Lie algebra ${\mathfrak g}$ is said to be naturally graded if it is isomorphic to its associated graded Lie algebra ${ m gr} \mathfrak{g}$ with respect to filtration by ideals of the lower central series. This concept is equivalent to the concept of the Carnot algebra arising in sub-Riemannian geometry and the geometric control theory. We classify finite-dimensional and infinite-dimensional naturally graded Lie algebras (Carnot algebras) ${\mathfrak g}=\oplus_{i=1}^{{+}\infty}{\mathfrak g}_i$ with properties $$ [{\mathfrak g}_1, {\mathfrak g}_i]={\mathfrak g}_{i{+}1}, \; \dim{{\mathfrak g}_i}+\dim{{\mathfrak g}_{i{+}1}} \le 3, \; i \ge 1. $$ For growth functions of such Lie algebras, we have the estimate $F(n) \le \frac{3}{2}n{+}1$.

연구 동기 및 목표

• 성장률이 느린 유한차원 및 무한차원 자연스럽게 등급이 부여된 리 대수(Carnot 대수)를 분류하는 것.
• $[\mathfrak{g}_1, \mathfrak{g}_i] = \mathfrak{g}_{i+1}$ 및 $\dim\mathfrak{g}_i + \dim\mathfrak{g}_{i+1} \leq 3$를 모든 $i \geq 1$에 대해 만족하는 대수를 연구하는 것.
• 이러한 대수의 성장률을 결정하고, 상한 $F(n) \leq \frac{3}{2}n + 1$을 확립하는 것.
• 새로운 '폭 $\frac{3}{2}$' 행동을 갖는 클래스를 도입함으로써 필리포름 및 퀀티필리포름 리 대수의 분류를 확장하는 것.
• 이러한 대수의 동형류를 완전히 나열하는 것 — 중심 확장 및 몫 대수 포함.

제안 방법

• 하향 중심 급수 필터링을 사용하여 관련 등급이 부여된 리 대수 $\mathrm{gr}\mathfrak{g}$를 정의하고, 자연스러운 등급 조건인 $\mathfrak{g} \cong \mathrm{gr}\mathfrak{g}$를 도입하는 것.
• 모든 $i \geq 1$에 대해 $\dim\mathfrak{g}_i + \dim\mathfrak{g}_{i+1} \leq 3$를 만족하는 양의 등급이 부여된 리 대수의 구조 분석을 통해 동차 성분의 가능한 차원을 제한하는 것.
• 교환관계 $[f_i, f_j] = d_{i,j}f_{i+j}$에서 생성자와 구조 상수 $d_{i,j}$를 명시적으로 구성함으로써 이러한 모든 대수를 분류하는 것.
• 매개변수 $m$, $q$, $s$를 사용한 동형류의 열거 — $6m+q$에 대해 $q=1,\dots,6$ 및 $m \geq 1$인 경우에 대해 별도의 케이스를 설정하는 것.
• 일부 대수에서 중심 원소 $z$를 도입함으로써 중심 확장을 통합하는 것 — $[f_2, f_3] = z$.
• 기존의 퀀티필리포름 리 대수 분류와 비교하여 분류의 완전성과 일관성을 검증하는 것.

실험 결과

연구 질문

• RQ1 모든 $i \geq 1$에 대해 $\dim\mathfrak{g}_i + \dim\mathfrak{g}_{i+1} \leq 3$를 만족하는 자연스럽게 등급이 부여된 리 대수의 완전한 분류는 무엇인가?
• RQ2 이러한 리 대수의 최대 가능한 성장률은 무엇이며, 이를 명시적으로 유계로 만들 수 있는가?
• RQ3 이 대수들은 전통적인 필리포름 및 퀀티필리포름 리 대수의 클래스와 어떻게 관련되어 있는가?
• RQ4 기본적인 등급 구조를 넘어서 중심 확장 또는 몫 대수를 통해 분류를 완성할 수 있는가?
• RQ5 더 높은 차원의 성분을 갖는 대수는 느린 성장을 유지하면서도 분류에 포함시킬 수 있는가?

주요 결과

• 모든 유한차원 및 무한차원 자연스럽게 등급이 부여된 리 대수 중에서 $[\mathfrak{g}_1, \mathfrak{g}_i] = \mathfrak{g}_{i+1}$ 및 $\dim\mathfrak{g}_i + \dim\mathfrak{g}_{i+1} \leq 3$를 만족하는 것은 완전히 분류되어 있다.
• 분류에는 $\mathfrak{n}_2(6m+q)$, $\mathfrak{n}_{2,s}(6m+1)$, $\mathfrak{n}_{2,s}^{3}(6m+5)$ 및 그 중심 확장($z$ 포함)이 포함되어 있다.
• 이러한 대수의 성장 함수는 $F(n) \leq \frac{3}{2}n + 1$를 만족하며, 이 클래스에 대해 날카운 상한을 확립한다.
• 이 목록에는 중심이 자명한 대수와 $[f_2, f_3] = z$와 같은 일차원 중심 확장을 갖는 대수가 모두 포함되어 있다.
• 이 분류는 이전의 퀀티필리포름 리 대수 결과를 포함하고 확장하며, 새로운 가족과 알려진 가족 간의 동형관계가 확인되어 있다.
• 저자는 이전의 오류를 해결하여 $\mathfrak{E}_{9,5}^3 \cong \mathfrak{n}_{2,1}(7)$임을 보여주며, [14]에서의 이전 분류의 완전성을 확인한다.