普遍包絡代数

包絡代数の概要

包絡代数、または普遍包絡代数は、任意のリー代数 \(\mathfrak{g}\) から構成される、特定の性質を持つ結合代数の一種です。この代数は \(U(\mathfrak{g})\) と記され、リー代数 \(\mathfrak{g}\) との間に自然な準同型写像 \(i: \mathfrak{g} \to U(\mathfrak{g})\) が存在します。

定義

任意のリー代数 \(\mathfrak{g}\) に対して、普遍包絡代数 \(U(\mathfrak{g})\) は、次のように定まります。リー代数 \(\mathfrak{g}\) の性質を持つ結合代数 \(A\) とその準同型写像 \(i: \mathfrak{g} \to A\) の組 \((A, i)\) が存在する必要があります。この際、\(A\) は \(\mathfrak{g}\) の交換子による結合代数として扱われます。さらに、他の結合代数 \(A'\) と準同型写像 \(i': \mathfrak{g} \to A'\) に対して、\(f: A \to A'\) という結合代数の準同型写像が存在し、\(f \circ i = i'\) が成り立つことが必要です。このようにして得られた普遍包絡代数 \(U(\mathfrak{g})\) は同型を除いて一意的に存在します。

構成

リー代数 \(\mathfrak{g}\) のテンソル代数を \(T(\mathfrak{g})\) とし、その生成する理想を \(\mathcal{I}\) とします。この理想は、次の関係式で定義されます：
\[\mathcal{I} = \{ x \otimes y - y \otimes x - [x, y] \mid x, y \in \mathfrak{g} \}\]
ここで、\([x, y]\) は \(x\) と \(y\) の交換子を表します。この理想を通じて、普遍包絡代数 \(U(\mathfrak{g})\) は以下のように定義されます。
\[U(\mathfrak{g}) = T(\mathfrak{g}) / \mathcal{I}\]
これによって、テンソル代数から普遍包絡代数への自然な写像が構成され、\(i: \mathfrak{g} \to U(\mathfrak{g})\) という写像が得られ、最終的に\((U(\mathfrak{g}), i)\) が普遍包絡代数となります。

重要性

包絡代数は数学のさまざまな分野で重要な役割を果たしています。特に、表現論や幾何学、量子群の研究などでその応用が見られます。普遍包絡代数の性質は、他の数学的構造体との接続を提供し、リー代数の深い理解につながります。そのため、数学者にとって興味深い研究対象であり続けています。

関連項目

• - Poincaré–Birkhoff–Wittの定理

参考文献

• - Humphreys, James E. (1972). Introduction to Lie Algebras and Representation Theory. Graduate Texts in Mathematics. 9. Springer-Verlag. ISBN 978-0-387-90053-7

このように、普遍包絡代数は数学において非常に重要な概念であり、その定義や構造を理解することは、さらに深い探求へとつながります。

もう一度検索