[論文レビュー] Faithful Representations of Minimal Dimension of 6-dimensional nilpotent Lie algebras

Nadina Rojas|arXiv (Cornell University)|Nov 12, 2012

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

ひとこと要約

この論文は、特徴数が0の体上の6次元可解Lie代数すべてについて、De Graafの分類を用いて最小忠実表現次元 $\mu(\mathfrak{g})$ および最小忠実ニル表現次元 $\mu_{\text{nil}}(\mathfrak{g})$ を計算している。主な貢献は、これらの不変量の完全な分類であり、代数の構造および体の性質に応じて、$\mu(\mathfrak{g})$ は4から6、$\mu_{\text{nil}}(\mathfrak{g})$ は4から6の範囲で変動する。

ABSTRACT

The main goal of this paper is to compute $μ(\g)$ and $μ_{nil}(\g)$ for each nilpotent Lie algebra $\g$ of dimension 6 over a field of characteristic zero $\k$. Here $μ(\g)$ and $μ_{nil}(\g)$ is the minimal dimension of a faithful representation of $\g$ and the minimal dimension of a faithful nilrepresentation of $\g$, respectively. We also give a minimal faithful representation and nilrepresentation for each nilpotent Lie algebra of dimension $\leq 6$.

研究の動機と目的

• 特徴数0の体上のすべての6次元可解Lie代数 $\mathfrak{g}$ に対して、最小忠実表現次元 $\mu(\mathfrak{g})$ を特定すること。
• 同じクラスのLie代数に対して、最小忠実ニル表現次元 $\mu_{\text{nil}}(\mathfrak{g})$ を計算すること。
• 次元 $\leq 6$ のすべての可解Lie代数に対して、明示的な最小忠実表現およびニル表現を提供すること。
• 特に次元5の代数についての既存の結果を拡張し、次元6まで完全な分類を完成させること。

提案手法

• 特徴数 $\neq 2$ の体上の6次元可解Lie代数のDe Graafの分類を、特徴数0に適応して用いる。
• 表現論的技法を用いて、Lie代数の構造およびその忠実表現の性質を分析する。
• 行列表現を $\mathfrak{gl}(n)$ に実現することで、最小忠実表現およびニル表現を構成する。
• 交換関係および線形独立性の条件を用いて、表現次元の最小性を検証する。
• 体論的条件（例：$\alpha^2 + \epsilon = 0$ を満たす $\alpha$ の存在）に基づいて、同型型を区別する。
• Adoの定理およびBenoistの結果（$\dim \mathfrak{g} \leq 7$ の場合に $\mu(\mathfrak{g}) \leq \dim \mathfrak{g} + 1$）から得られる既知の上限を出発点として用いる。

実験結果

リサーチクエスチョン

• RQ1 特徴数0の体上の各6次元可解Lie代数 $\mathfrak{g}$ に対して、最小忠実表現次元 $\mu(\mathfrak{g})$ は何か？
• RQ2 同じクラスのLie代数に対して、最小忠実ニル表現次元 $\mu_{\text{nil}}(\mathfrak{g})$ は何か？
• RQ3 体論的条件（例：$\epsilon$ の平方根の存在）は、$\mu(\mathfrak{g})$ および $\mu_{\text{nil}}(\mathfrak{g})$ の値にどのように影響するか？
• RQ4 次元 $\leq 6$ のすべての可解Lie代数に対して、明示的な最小忠実表現およびニル表現を構成可能か？
• RQ5 異なる同型型の間で、$\mu$ および $\mu_{\text{nil}}$ の値は、代数の構造および中心の性質とどのように関係するか？

主な発見

• $L_{6,19}(\epsilon)$ に対しては、$\mathrm{k}^*$ の元 $\alpha$ が存在して $\alpha^2 + \epsilon = 0$ を満たす場合、$\mu(\mathfrak{g}) = 4$ かつ $\mu_{\text{nil}}(\mathfrak{g}) = 4$ である。
• $L_{6,3}, L_{6,4}, L_{6,5}, L_{6,8}$ に対しては、$\mu(\mathfrak{g}) = 4$ かつ $\mu_{\text{nil}}(\mathfrak{g}) = 5$ である。
• $L_{6,1}, L_{6,2}, L_{6,6}, L_{6,7}, L_{6,10}, L_{6,11}, L_{6,12}, L_{6,13}$ に対しては、$\mu(\mathfrak{g}) = 5$ かつ $\mu_{\text{nil}}(\mathfrak{g}) = 5$ である。
• $L_{6,20}, L_{6,21}(\epsilon), L_{6,22}(\epsilon), L_{6,23}, L_{6,25}, L_{6,26}$ に対しては、$\mu(\mathfrak{g}) = 5$ かつ $\mu_{\text{nil}}(\mathfrak{g}) = 5$ である。
• $L_{6,24}(\epsilon)$ に対しては、$\mathrm{k}$ の元 $\alpha$ が存在して $\alpha^2 - \epsilon = 0$ を満たす場合、$\mu(\mathfrak{g}) = 5$ かつ $\mu_{\text{nil}}(\mathfrak{g}) = 5$ であるが、そうでない場合は $\mu(\mathfrak{g}) = 6$ かつ $\mu_{\text{nil}}(\mathfrak{g}) = 6$ である。
• $L_{6,9}$ に対しては、$\mu(\mathfrak{g}) = 5$ かつ $\mu_{\text{nil}}(\mathfrak{g}) = 6$ である。$L_{6,14}, L_{6,15}, L_{6,16}, L_{6,17}, L_{6,18}$ に対しては、$\mu(\mathfrak{g}) = 6$ かつ $\mu_{\text{nil}}(\mathfrak{g}) = 6$ である。