[論文レビュー] Universal enveloping algebras and Poincaré-Birkhoff-Witt theorem for involutive Hom-Lie algebras

Li Guo, Bin Zhang+1 more|arXiv (Cornell University)|Jul 20, 2016

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

ひとこと要約

本稿では、ホモモジュール上の新しい明示的自由自己同型ホムアソシエイティブ代数を用いて、自己同型ホムリーダーリー代数の普遍包あらゆる代数を構成する。これにより、包あらゆる代数に標準基底を与えるPoincaré-Birkhoff-Witt（PBW）定理を確立できる。主な貢献は、ホムリーダーリー代数からその包あらゆる代数への写像の単射性の証明であり、自己同型の場合の予想を裏付けるものである。

ABSTRACT

A Hom-type algebra is called involutive if its Hom map is multiplicative and involutive. In this paper, we obtain an explicit construction of the free involutive Hom-associative algebra on a Hom-module. We then apply this construction to obtain the universal enveloping algebra of an involutive Hom-Lie algebra. Finally we obtain a Poincaré-Birkhoff-Witt theorem for the enveloping associative algebra of an involutive Hom-Lie algebra.

研究の動機と目的

• ツリーに基づく構成の取り扱いにくさにより、ホムリーダーリー設定における普遍包あらゆる代数の構成的メソッドの欠如に対処すること。
• ホムモジュール上の自由自己同型ホムアソシエイティブ代数の明示的構成を提供し、普遍包あらゆる代数への新たなアプローチを可能にすること。
• 自己同型ホムリーダーリー代数に対してPoincaré-Birkhoff-Witt定理を確立し、包あらゆる代数に標準基底を与えること。
• 自己同型ホムリーダーリー代数からその普遍包あらゆる代数への標準的写像の単射性を検証し、文献における予想を確認すること。

提案手法

• 集合によって生成される自由自己同型ホムアソシエイティブ代数の先行構成の修正版を用いて、ホムモジュール上の自由自己同型ホムアソシエイティブ代数を構成する。
• この自由代数の構成を応用し、自己同型ホムリーダーリー代数の普遍包あらゆる代数を、特定のホムイデアルによる商として定義する。
• テンソル代数内での関係 $x \bullet y - y \bullet x - [x,y]_{\frak{g}}$ によって生成されるホムイデアル $I_{\frak{g},\beta}$ のテンソル表現を導入する。
• ホムジャコビ恒等式とテンソル長に関する帰納法を用いて、順序付けられた基底要素の単項式が基底をなすことを示す、パrameter化されたPBW分解を構築する。
• ホムアソシエイティビティおよびホム写像の自己同型性（$\alpha^2 = \mathrm{id}$）を用いて、代数的構造と整合性を保証する。
• テンソル単項式上にwell-definedな線形写像 $L$ を用いて、ホムイデアル $I_{\frak{g},\beta}$ と自由代数の交わりが自明であることを証明し、基底の独立性を確認する。

実験結果

リサーチクエスチョン

• RQ1 自己同型ホムリーダーリー代数の普遍包あらゆる代数に対して、標準基底を構成することは可能か？
• RQ2 古典的ケースと同様に、自己同型ホムリーダーリー代数からその普遍包あらゆる代数への標準的写像は単射のままであろうか？
• RQ3 自由自己同型ホムアソシエイティブ代数の構成を用いて、ホムリーダーリー設定においてPBW定理を確立できるか？
• RQ4 包あらゆる代数の基底性を証明するために、交換関係によって生成されるホムイデアルはテンソル代数内でどのように表現され、分解されるか？
• RQ5 ホム写像の自己同型性（$\alpha^2 = \mathrm{id}$）は、PBW型基底の実現にどのような役割を果たすか？

主な発見

• 本稿では、ホムモジュール上の自由自己同型ホムアソシエイティブ代数を構成し、普遍包あらゆる代数の構成に向けた基盤的ツールを提供する。
• 特定のホムイデアルによる商としての自由自己同型ホムアソシエイティブ代数の構成を用いて、自己同型ホムリーダーリー代数の普遍包あらゆる代数の新たな構成を確立する。
• 自己同型ホムリーダーリー代数に対してPoincaré-Birkhoff-Witt定理を証明し、ホムリーダーリー代数の基底要素の順序付き単項式が包あらゆる代数の基底をなすことを示す。
• ホムリーダーリー代数からその普遍包あらゆる代数への標準的写像が単射であることが示され、文献における予想が裏付けられる。
• 証明は、テンソル単項式上のwell-definedな線形写像 $L$ に依拠しており、ホムイデアル $I_{\frak{g},\beta}$ と自由代数の交わりが自明であることを示し、基底の独立性を保証する。
• PBW分解はパrameter化され、ホムジャコビ恒等式と帰納法を用いて証明され、基底の構造が確認される。