[論文レビュー] Complex structures on nilpotent Lie algebras and descending central series

Dmitry V. Millionschikov|arXiv (Cornell University)|Dec 1, 2014

Geometry and complex manifolds参考文献 8被引用数 8

ひとこと要約

この論文は、可解的でない構造を特に注目し、無限個の正の次数付き可解リー代数 $\mathfrak{D}(n)$ の族を構成し、その次元と最大可解指数 $s(\mathfrak{D}(n)) = \left[\frac{2}{3}\dim\mathfrak{D}(n)\right]$ を明示的に計算する。2n次元可解リー代数が複素構造をもつ場合の最大可解指数 $s(2n)$ の鋭い境界を確立する：$\left[\frac{4n}{3}\right] \leq s(2n) \leq 2n-2$ であり、高次元における新しい例と代数的制約を与える。

ABSTRACT

We study the algebraic constraints on the structure of nilpotent Lie algebra $\mathbb{g}$, which arise because of the presence of an integrable complex structure $J$. Particular attention is paid to non-abelian complex structures. Constructed various examples of positive graded Lie algebras with complex structures, in particular, we construct an infinite family $\mathfrak{D}(n)$ of such algebras that we have for their nil-index $s(\mathfrak{D}(n))$: $$ s(\mathfrak{D}(n))=[ \frac{2}{3}\dim{\mathfrak{D}(n)} ]. $$

研究の動機と目的

• 可解的でない構造を特に注目し、可解リー代数に可解的でない複素構造が存在する場合の代数的制約を研究すること。
• 任意の高次元において、可解リー代数に複素構造をもつ明示的な例を構成すること。
• 可解リー代数が複素構造をもつ場合の最大可解指数 $s(2n)$ を決定すること。
• 下降中心系列と次数付きリー代数構造を用いた代数的制約を確立すること。

提案手法

• 次元と可解指数が $n$ の関数として明示的に計算できる、正の次数付き可解リー代数 $\mathfrak{D}(n)$ の族を導入する。
• 基底元上の線形自己準同型として複素構造 $J$ を定義し、$J^2 = -I$ を満たし、Nijenhuisテンソル条件を用いて可解性を検証する。
• 複素化 $\mathfrak{g}^\mathbb{C}$ を用い、$J$ の $\pm i$-固有空間が複素部分代数であることを確認することで、可解性を保証する。
• 双対1次形式を用いたコホロロジー的技法を適用し、微分 $d\omega_i$ を計算することで、複素構造の可解性を検証する。
• 奇数次元代数 $\mathfrak{D}(4m+2)$ および $\mathfrak{D}(4m+3)$ を中心的生成子を加えることで拡張し、偶数次元代数が複素構造をもつようにする。
• 代数的性質 $\mathfrak{D}(n)$ と推定 $\dim\mathfrak{g} - \dim\mathfrak{g}^4 \geq 5$ を用いて、最大可解指数 $s(2n)$ の境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 2n次元可解リー代数が可解的複素構造をもつ場合、最大可解指数 $s(2n)$ の最大値は何か？
• RQ2 任意の高次元において、非可換複素構造をもつ可解リー代数の族を明示的に構成できるか？
• RQ3 可解的複素構造をもつ可解リー代数に生じる代数的制約は何か、特に下降中心系列を用いて？
• RQ4 各成分 $\mathfrak{g}^i / \mathfrak{g}^{i+1}$ の次元が複素構造の存在にどのように制約をもたらすか？
• RQ5 2n ≥ 8 に対して、$\left[\frac{4n}{3}\right] \leq s(2n) \leq 2n-2$ の境界を $s(2n)$ に対してより良くできるか？

主な発見

• $\mathfrak{D}(n)$ は、$n = 4m, 4m+1, 4m+2, 4m+3$ のそれぞれに対し、次元が $6m, 6m+2, 6m+3, 6m+5$ である正の次数付き可解リー代数の族である。
• $\mathfrak{D}(n)$ の可解指数は $s(\mathfrak{D}(n)) = n$ を満たし、$s(\mathfrak{D}(n)) = \left[\frac{2}{3}\dim\mathfrak{D}(n)\right]$ を達成する。
• 代数 $\mathfrak{D}(4m)$ および $\mathfrak{D}(4m+1)$ は、$J^2 = -I$ を満たし、Nijenhuisテンソルが消える線形自己準同型 $J$ を用いて可解的複素構造をもつ。
• 奇数次元代数 $\mathfrak{D}(4m+2)$ および $\mathfrak{D}(4m+3)$ は、中心的生成子を加えることで、偶数次元代数 $\mathfrak{D}(4m+2) \oplus \mathbb{R}$ および $\mathfrak{D}(4m+3) \oplus \mathbb{R}$ に拡張され、それらも複素構造をもつ。
• 2n次元可解リー代数が複素構造をもつ場合の最大可解指数 $s(2n)$ は、$\left[\frac{4n}{3}\right] \leq s(2n) \leq 2n - 2$ を満たし、$n \equiv 0,1 \pmod{4}$ のとき $\mathfrak{D}(n)$ で下界が等号で達成される。