[论文解读] Minimal Faithful Representation of the Heisenberg Lie Algebra with Abelian Factor

Nadina Rojas|arXiv (Cornell University)|Jun 26, 2012

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

一句话总结

本文确定了在特征为零的域上，Heisenberg李代数 $\mathfrak{h}_m$（维数为 $2m+1$）与交换李代数 $\mathfrak{a}_n$（维数为 $n$）的直和的最小忠实表示维数和最小忠实幂零表示维数。利用Zassenhaus定理与结构分解，证明了 $\mu(\mathfrak{h}_m \oplus \mathfrak{a}_n) = m + \lceil 2\sqrt{n} \rceil$ 与 $\mu_{\text{nil}}(\mathfrak{h}_m \oplus \mathfrak{a}_n) = m + \lceil 2\sqrt{n+1} \rceil$，解决了幂零李代数表示理论中长期存在的问题。

ABSTRACT

For a finite dimensional Lie algebra $\g$ over a field $\k$ of characteristic zero, the $μ$-function (respectively $μ_{nil}$-function) is defined to be the minimal dimension of $V$ such that $\g$ admits a faithful representation (respectively a faithful nilrepresentation) on $V$. Let $\h_m$ be the Heisenberg Lie algebra of dimension $2m + 1$ and let $\mathfrak{a}_n$ be the abelian Lie algebra of dimension $n$. The aim of this paper is to compute $μ(\h_m \oplus \mathfrak{a}_n)$ and $μ_{nil}(\h_m \oplus \mathfrak{a}_n)$ for all $m,n \in \mathbb{N}$.

研究动机与目标

• 计算在特征为零的域上，Heisenberg李代数 $\mathfrak{h}_m$ 与交换李代数 $\mathfrak{a}_n$ 的直和的最小忠实表示维数 $\mu(\mathfrak{h}_m \oplus \mathfrak{a}_n)$。
• 确定同一李代数的最小忠实幂零表示维数 $\mu_{\text{nil}}(\mathfrak{h}_m \oplus \mathfrak{a}_n)$。
• 通过表示论技巧与结构分解，建立两个不变量的紧下界。
• 将已知的关于 $\mathfrak{h}_m$ 与 $\mathfrak{a}_n$ 单独情况的结果推广至其直和。
• 解决具有非平凡交换因子的幂零李代数的表示论复杂性问题。

提出的方法

• 应用Zassenhaus定理，将 $\mathfrak{h}_m \oplus \mathfrak{a}_n$ 的任意有限维表示分解为广义特征子空间，其中算子作用为数量算子加幂零算子。
• 利用中心与交换子代数的结构，分离出对应于 $\mathfrak{h}_m$ 与 $\mathfrak{a}_n$ 的忠实幂零表示的子空间。
• 通过显式构造最小维数的忠实表示与忠实幂零表示，建立上界。
• 通过分析不可约分量的维数并应用关于交换李代数最小表示的已知结果，推导下界。
• 利用恒等式 $\min\{a+b : a,b \in \mathbb{N}, ab \geq k\} = \lceil 2\sqrt{k} \rceil$ 来界定交换代数忠实表示的维数。
• 结合 $\mathfrak{h}_m$ 的幂零表示与 $\mathfrak{a}_n$ 的忠实表示的维数约束，推导最终的下界。

实验结果

研究问题

• RQ1 对于 $m,n \in \mathbb{N}$，$\mathfrak{h}_m \oplus \mathfrak{a}_n$ 的最小忠实表示维数是多少？
• RQ2 对于 $m,n \in \mathbb{N}$，$\mathfrak{h}_m \oplus \mathfrak{a}_n$ 的最小忠实幂零表示维数是多少？
• RQ3 考虑到 $\mu(\mathfrak{g}_1 \oplus \mathfrak{g}_2) \leq \mu(\mathfrak{g}_1) + \mu(\mathfrak{g}_2)$ 在幂零李代数中通常不取等，$\mathfrak{h}_m$ 与 $\mathfrak{a}_n$ 的最小表示维数在直和中如何组合？
• RQ4 能否通过Zassenhaus分解与幂零表示理论，推导出 $\mu(\mathfrak{h}_m \oplus \mathfrak{a}_n)$ 与 $\mu_{\text{nil}}(\mathfrak{h}_m \oplus \mathfrak{a}_n)$ 的紧下界？
• RQ5 与仅含 $\mathfrak{h}_m$ 的情况相比，$\mathfrak{a}_n$ 作为交换因子的存在如何影响最小表示维数？

主要发现

• 直和 $\mathfrak{h}_m \oplus \mathfrak{a}_n$ 的最小忠实表示维数为 $\mu(\mathfrak{h}_m \oplus \mathfrak{a}_n) = m + \lceil 2\sqrt{n} \rceil$。
• 直和 $\mathfrak{h}_m \oplus \mathfrak{a}_n$ 的最小忠实幂零表示维数为 $\mu_{\text{nil}}(\mathfrak{h}_m \oplus \mathfrak{a}_n) = m + \lceil 2\sqrt{n+1} \rceil$。
• 通过将表示空间分解为 $\mathfrak{h}_m$ 以幂零表示方式忠实作用的分量，以及 $\mathfrak{a}_n$ 在余空间上以忠实表示方式作用的分量，推导出 $\mu(\mathfrak{h}_m \oplus \mathfrak{a}_n)$ 的下界。
• 通过分析表示中幂零部分的像的维数，并应用 $\lceil 2\sqrt{n+1} \rceil$ 对于交换代数的最小性，确立了 $\mu_{\text{nil}}(\mathfrak{h}_m \oplus \mathfrak{a}_n)$ 的下界。
• 通过显式构造所述维数的表示，上界得以实现，证实了这些界是紧的。
• 结果推广了已知值：当 $n=0$ 时，$\mu_{\text{nil}}(\mathfrak{h}_m) = m+2$ 且 $\mu(\mathfrak{h}_m) = m+2$，与定理1.1(1)和(2)一致。