[論文レビュー] On filiform Lie algebras. Geometric and algebraic studies

Elisabeth Remm|arXiv (Cornell University)|Dec 1, 2017

Advanced Topics in Algebra参考文献 9被引用数 6

ひとこと要約

この論文は、特性が0の代数的に閉じた体上の細長いリー代数を調査し、接触構造およびシンプレクティック構造の存在に注目する。奇数次元および偶数次元において、それぞれ接触構造およびシンプレクティック構造が存在するための必要十分条件を提示し、階数付きリー代数の関係を用いてジャコビ多項式の系を簡略化することで、変形空間の分類を可能にし、次元≥8で非剛性であることを示している。

ABSTRACT

A finite dimensional filiform K-Lie algebra is a nilpotent Lie algebra g whose nil index is maximal, that is equal to dim g -1. We describe necessary and sufficient conditions for a filiform algebra over an algebraically closed field of characteristic 0 to admit a contact linear form (in odd dimension) or a symplectic structure (in even dimension). If we fix a Vergne's basis, the set of filiform n-dimensional Lie algebras is a closed Zariski subset of an affine space generated by the structure constants associated with this fixed basis. Then this subset is an algebraic variety and we describe in small dimensions the algebraic components.

研究の動機と目的

• 奇数次元における細長いリー代数が接触形式を許容するための必要十分条件を特定すること。
• 構造定数の空間におけるザリスキ閉部分集合としての細長いリー代数の代数的および幾何的構造を記述すること。
• 制限コホロロジーとジャコビ恒等式の多項式簡略化を用いて、変形空間および剛性性質を分析すること。
• 任意の接触的細長いリー代数が、この族に属する代数の変形であることを保証するモデル族を構築すること。
• 低次元（8–11）での結果を一般次元に拡張し、特に高次元における接触構造およびシンプレクティック構造を扱うこと。

提案手法

• モデル細長い代数 $\mathfrak{g}_0$ のバーグネ基底を固定し、構造定数のアフィン空間内のザリスキ閉部分集合として細長いリー代数をパrameter化する。
• モデル代数 $\mathfrak{g}_0$ の階数構造を用いて、交換子恒等式 $[X_0, (i,j,k)] = (i+1,j,k) + (i,j+1,k) + (i,j,k+1)$ を用いてジャコビ多項式方程式系を簡略化する。
• 高次元における依存方程式を削除するために、$[X_1, (i,j,k)]$ の関係をさらに適用する。
• $(2p-2) = 3m + r$ に基づいて独立したジャコビ方程式の数 $N_r$ を定義し、$m$ と $r \mod 3$ に応じた場合分けにより、$N_r = 3h^2 - 3h + 1$、$3h^2 + 3h$、または $3h^2 - h$ を得る。
• 簡略化後の独立パラメータ数を数えることで変形空間の次元を計算する。例えば、$n=11$ の場合次元は2、$n=14$ の場合次元は≥5である。
• 中心 $\mathbb{K}\{X_{2p}\}$ による商としてシンプレクティック細長い代数を構成し、先頭の構造定数の積 $a_{1,2p-2}a_{2,2p-4}\cdots a_{p-1,p} \neq 0$ が非ゼロである条件を満たす。

実験結果

リサーチクエスチョン

• RQ1 奇数次元における細長いリー代数が接触構造を許容するための必要十分条件は何か？
• RQ2 偶数次元における細長いリー代数がシンプレクティック構造を許容するための必要十分条件は何か？
• RQ3 リー代数の自然な階数付けを用いて、ジャコビ多項式恒等式系を最小で冗長性のない系に簡略化する方法は何か？
• RQ4 一般次元におけるモデル細長い代数 $\mathfrak{g}_0$ の変形空間の次元は何か？
• RQ5 シンプレクティック細長いリー代数は、中心による商をとることで接触的細長いリー代数とどのように関係しているか？

主な発見

• $n=11$ の場合、モデル細長い代数 $\mathfrak{g}_0$ の変形のパrameter空間は、4つの方程式を2つの独立方程式に簡略化した後、次元2である。
• $n=14$ の場合、変形空間の次元は少なくとも5であり、6つのパラメータと7つの簡略化された関係式を持つ。構造定数の非ゼロ条件のもとで成り立つ。
• 独立したジャコビ方程式の数 $N_r$ は、$m = \lfloor (2p-2)/3 \rfloor$ と $r = (2p-2) \mod 3$ に応じた区分的公式で与えられ、$m=2h, r=0$ のとき $N_r = 3h^2 - 3h + 1$、$m=2h+1, r=1$ のとき $N_r = 3h^2 + 3h$、$m=2h, r=2$ のとき $N_r = 3h^2 - h$ である。
• すべての11次元の細長いリー代数は非剛性であり、本論文では11次元接触的細長いリー代数を完全に分類している。
• すべての10次元シンプレクティック細長いリー代数は、中心 $\mathbb{K}\{X_{10}\}$ による商として、11次元接触的細長いリー代数から得られ、条件 $a_{1,8}a_{2,6}a_{3,4} \neq 0$ を満たす。
• $n \geq 14$ の場合、モデル $\mathfrak{g}_0$ の変形空間の次元は少なくとも5であり、豊かな変形理論が存在し、高次元における剛性の欠如が示されている。