[论文解读] Structure of H-(co)module Lie algebras

А. С. Гордиенко|arXiv (Cornell University)|May 3, 2012

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

一句话总结

本论文证明，在特征为0的域上，赋予(co)半单H opialgebra作用的有限维李代数中，Levi分解以及可解根的半单与幂零部分的分解均可实现为H-(co)不变。关键贡献在于证明了Levi定理与Weyl定理的H-(co)不变版本，将已知的关于分次和群不变李代数的结果推广至H opialgebra框架。

ABSTRACT

Let $L$ be a finite dimensional Lie algebra over a field of characteristic $0$. Then by the original Levi theorem, $L = B \oplus R$ where $R$ is the solvable radical and $B$ is some maximal semisimple subalgebra. We prove that if $L$ is an $H$-(co)module algebra for a finite dimensional (co)semisimple Hopf algebra $H$, then $R$ is $H$-(co)invariant and $B$ can be chosen to be $H$-(co)invariant too. Moreover, the nilpotent radical $N$ of $L$ is $H$-(co)invariant and there exists an $H$-sub(co)module $S\subseteq R$ such that $R=S\oplus N$ and $[B,S]=0$. In addition, the $H$-(co)invariant analog of the Weyl theorem is proved. In fact, under certain conditions, these results hold for an $H$-comodule Lie algebra $L$, even if $H$ is infinite dimensional. In particular, if $L$ is a Lie algebra graded by an arbitrary group $G$, then $B$ can be chosen to be graded, and if $L$ is a Lie algebra with a rational action of a reductive affine algebraic group $G$ by automorphisms, then $B$ can be chosen to be $G$-invariant. Also we prove that every finite dimensional semisimple $H$-(co)module Lie algebra over a field of characteristic $0$ is a direct sum of its minimal $H$-(co)invariant ideals.

研究动机与目标

• 将经典Levi分解推广至H-(co)模李代数，确保在H opialgebra共作用下的不变性。
• 证明此类李代数的可解根与幂零根必为H-(co)不变子模。
• 为半单H-(co)模李代数建立H-(co)不变版的Weyl定理。
• 将关于分次与G-不变李代数的已知结果推广至更广泛的H opialgebra作用框架。
• 提供分解L = B ⊕ S ⊕ N，其中B、S、N均为H-(co)不变子模，B为半单，且[B,S] = 0。

提出的方法

• 利用极大半单子代数B在L上的伴随表示分析H-(co)模结构。
• 应用H-模与H-余模结构之间的对偶性，将余模情形的结果推广至模情形。
• 利用H*中存在满足t(1) = 1的ad-不变积分，确保根的稳定性。
• 在给定条件下利用(H, L)-模的完全可约性，构造H-(co)不变补子模。
• 通过对偶性与特化，将问题约化为已知的G-分次与G-不变李代数结果。
• 将H-(co)模李代数的Weyl定理类比作为构造不变分解的关键工具。

实验结果

研究问题

• RQ1 当有限维李代数在特征为0的域上赋予H-(co)模代数结构时，其Levi分解能否实现为H-(co)不变？
• RQ2 H-(co)模李代数的可解根与幂零根是否必为H-(co)不变子模？
• RQ3 H-(co)模李代数是否成立类似Weyl定理的结论，确保在H-(co)不变结构下的模完全可约性？
• RQ4 对于特征为0的有限维H-(co)模李代数，分解L = B ⊕ S ⊕ N（满足[B,S] = 0）能否实现为H-(co)不变？
• RQ5 若H为无限维H opialgebra，但存在满足t(1) = 1的ad-不变积分，结果是否仍成立？

主要发现

• 在特征为0的域上，H-(co)模李代数的可解根R与幂零根N均为H-(co)不变子模。
• 可选取极大半单子代数B为H-(co)不变，且分解L = B ⊕ R中B与R均为H-(co)不变。
• 存在H-(co)不变补子模S，使得R = S ⊕ N且[B, S] = 0，从而得到完整分解L = B ⊕ S ⊕ N。
• H-(co)不变版的Weyl定理成立：每个有限维半单H-(co)模李代数均为其极小H-(co)不变理想的直和。
• 结果可推广至任意群G的分次李代数，以及具有自同构作用的G-有理作用李代数，从而将已知的G-不变与分次分解作为特例恢复。
• H-(co)不变分解L = B ⊕ S ⊕ N的存在性对于研究多项式H-恒等式与分次恒等式至关重要，尤其在非阿贝尔分次群情形下。