[論文レビュー] 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

ひとこと要約

本稿は、特性が0の体上の、次元 $2m+1$ のヘイゼンベルクリー代数 $χ_m$ と次元 $n$ のアーベルリー代数 $χ_n$ の直和について、最小忠実表現次元および最小忠実ニル表現次元を決定する。ザッセンハウスの定理と構造的分解を用いて、$μ(χ_m \oplus χ_n) = m + \lceil 2\sqrt{n} \rceil$ および $μ_{πιλ}}(χ_m \oplus χ_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}$.

研究の動機と目的

• 特性が0の体上のヘイゼンベルクリー代数 $χ_m$ とアーベルリー代数 $χ_n$ の直和の最小忠実表現次元 $\mu(\mathfrak{h}_m \oplus \mathfrak{a}_n)$ を計算すること。
• 同じリー代数の最小忠実ニル表現次元 $\mu_{πιλ}}(\mathfrak{h}_m \oplus \mathfrak{a}_n)$ を特定すること。
• 表現論的技法と構造的分解を用いて、両不変量の鋭い下界を確立すること。
• $\mathfrak{h}_m$ および $\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$ に対して、$\mathfrak{h}_m \oplus \mathfrak{a}_n$ の最小忠実表現次元は何か？
• RQ2 自然数 $m,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 ザッセンハウス分解とニルポテンツ表現論を用いて、$\mu(\mathfrak{h}_m \oplus \mathfrak{a}_n)$ および $\mu_{πιλ}}(\mathfrak{h}_m \oplus \mathfrak{a}_n)$ の鋭い下界を導出できるか？
• RQ5 アーベル因子 $\mathfrak{a}_n$ の存在は、$\mathfrak{h}_m$ 単体と比較して最小表現次元にどのように影響を与えるか？

主な発見

• $\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_{πιλ}}(\mathfrak{h}_m \oplus \mathfrak{a}_n) = m + \lceil 2\sqrt{n+1} \rceil$ である。
• $\mu(\mathfrak{h}_m \oplus \mathfrak{a}_n)$ の下界は、$\mathfrak{h}_m$ が忠実にニル表現として作用する成分と、$\mathfrak{a}_n$ が補空間上で忠実に作用する成分に表現空間を分解することによって導出される。
• $\mu_{πιλ}}(\mathfrak{h}_m \oplus \mathfrak{a}_n)$ の下界は、表現のニルポテンス部分の像の次元を分析し、アーベル代数における $\lceil 2\sqrt{n+1} \rceil$ の最小性を適用することで確立される。
• 上界は、提示された次元の表現を明示的に構成することで達成され、両側の境界が鋭いことが確認される。
• 結果は既知の値を一般化する：$n=0$ のとき、$\mu_{πιλ}}(\mathfrak{h}_m) = m+2$ および $\mu(\mathfrak{h}_m) = m+2$ であり、定理1.1(1)および(2)と一致する。