[論文レビュー] Naturally graded Lie algebras (Carnot algebras) of slow growth

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

Advanced Topics in Algebra参考文献 12被引用数 8

ひとこと要約

この論文は、連続する同次成分の次元の和が3以下であるという条件を満たす、ゆっくりとした成長を示す自然に重み付けされたリー代数（カルノー代数）を分類する。構造的解析と幅が有界な重み付きリー代数の分類を用いて、そのような有限次元および無限次元代数をすべて同定し、成長関数が $ 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$.

研究の動機と目的

• 有限次元および無限次元の自然に重み付けされたリー代数（カルノー代数）を、ゆっくりとした成長を示すものとして分類すること。
• すべての $i \geq 1$ に対して $[\mathfrak{g}_1, \mathfrak{g}_i] = \mathfrak{g}_{i+1}$ および $\dim\mathfrak{g}_i + \dim\mathfrak{g}_{i+1} \leq 3$ を満たす代数を研究すること。
• このような代数の成長率を特定し、上界 $F(n) \leq \frac{3}{2}n + 1$ を確立すること。
• 「幅 $\frac{3}{2}$」の性質を示す新しいクラスを導入することで、フィリフォームおよびクェイシフィリフォームリー代数の分類を拡張すること。
• これらの代数の同型類の完全なリストを、中心拡大および商代数を含めて提供すること。

提案手法

• 下部中心系列フィルトレーションを用いて関連する重み付きリー代数 $\mathrm{gr}\mathfrak{g}$ を定義し、自然な重み付けのための条件 $\mathfrak{g} \cong \mathrm{gr}\mathfrak{g}$ を課すこと。
• 幅 $\dim\mathfrak{g}_i + \dim\mathfrak{g}_{i+1} \leq 3$ を満たす正の重み付きリー代数の構造的解析により、同次成分の次元の可能な値を制限すること。
• 生成子と構造定数 $d_{i,j}$ を明示的に構成し、交換関係 $[f_i, f_j] = d_{i,j}f_{i+j}$ を用いて、すべての such 代数を分類すること。
• $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$ のような1次元中心拡大を持つ代数の両方が含まれる。
• 分類は、既存のクェイシフィリフォームリー代数の結果を包含・拡張しており、新しい家族と既知の家族との同型が確認されている。
• 著者は、$\mathfrak{E}_{9,5}^3 \cong \mathfrak{n}_{2,1}(7)$ を示すことで、以前の不正確さを解消し、[14]における分類の完全性を確認した。