[论文解读] 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

一句话总结

本文利用 De Graaf 的分类，计算了在特征为零的域上所有 6 维幂零李代数的最小忠实表示维数 $\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$.

研究动机与目标

• 确定每个在特征为零的域上的 6 维幂零李代数 $\mathfrak{g}$ 的最小忠实表示维数 $\mu(\mathfrak{g})$。
• 计算同一类李代数的最小忠实幂零表示维数 $\mu_{\text{nil}}(\mathfrak{g})$。
• 为所有维数 $\leq 6$ 的幂零李代数提供显式的最小忠实表示与幂零表示。
• 扩展此前关于低维代数（特别是维数为 5）的 $\mu$ 和 $\mu_{\text{nil}}$ 的结果，并完成维数至 6 的分类。

提出的方法

• 利用 De Graaf 对特征 $\neq 2$ 的域上 6 维幂零李代数的分类，将其适配至特征为零的情形。
• 应用表示论技术分析李代数的结构及其忠实表示。
• 通过在 $\mathfrak{gl}(n)$ 中的矩阵实现构造最小忠实表示与最小幂零表示。
• 利用换位子关系和线性无关性条件验证表示维数的最小性。
• 基于域论条件（例如存在 $\alpha$ 使得 $\alpha^2 + \epsilon = 0$）对情形进行分析，以区分同构类型。
• 利用 Ado 定理和 Benoist 结果（当 $\dim \mathfrak{g} \leq 7$ 时，有 $\mu(\mathfrak{g}) \leq \dim \mathfrak{g} + 1$）已知的界作为起点。

实验结果

研究问题

• RQ1 对于每个在特征为零的域上的 6 维幂零李代数 $\mathfrak{g}$，其最小忠实表示维数 $\mu(\mathfrak{g})$ 是多少？
• RQ2 对于同一类李代数，其最小忠实幂零表示维数 $\mu_{\text{nil}}(\mathfrak{g})$ 是多少？
• RQ3 域论条件（例如 $\epsilon$ 的平方根的存在性）如何影响 $\mu(\mathfrak{g})$ 和 $\mu_{\text{nil}}(\mathfrak{g})$ 的取值？
• RQ4 能否为所有维数 $\leq 6$ 的幂零李代数构造出显式的最小忠实表示与幂零表示？
• RQ5 在不同的同构类之间，$\mu$ 和 $\mu_{\text{nil}}$ 的取值如何比较，特别是与代数的结构和中心的关系如何？

主要发现

• 对于 $L_{6,19}(\epsilon)$，若存在 $\alpha \in \mathrm{k}^*$ 使得 $\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)$，若存在 $\alpha \in \mathrm{k}$ 使得 $\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$。