[论文解读] Knit products of graded Lie algebras and groups

Peter W. Michor|arXiv (Cornell University)|Apr 1, 1992

Algebraic structures and combinatorial models参考文献 2被引用 27

一句话总结

本文引入了分次李代数与群的编织积构造，通过允许通过导子性编织的表示对相互作用，推广了半直积。证明了任何可分解为两个子代数直和的分次李代数均可表示为该编织积，且完整刻画了此类积之间同态的结构，推广了诱导表示，并与群论中的扎帕-泽普积统一。

ABSTRACT

If a graded Lie algebra is the direct sum of two graded sub Lie algebras, its bracket can be written in a form that mimics a "double sided semidirect product". It is called the {\it knit product} of the two subalgebras then. The integrated version of this is called a {\it knit product} of groups --- it coincides with the {\it Zappa-Szép product}. The behavior of homomorphisms with respect to knit products is investigated.

研究动机与目标

• 通过一对相互作用的表示形式化定义分次李代数的编织积构造。
• 证明任何可分解为两个子代数直和的分次李代数，均可表示为这些子代数的编织积。
• 以分量映射和相容性条件为依据，刻画编织积之间李代数同态的结构。
• 将该构造扩展至群，证明编织积与扎帕-泽普积一致，并提供同态判定准则。
• 展示该框架如何推广表示论中的诱导表示技术。

提出的方法

• 定义导子性编织表示对：分次李代数同态 α:A→End(B) 与 β:B→End(A)，满足涉及括号与符号的特定相容性方程。
• 构造编织积 A⊕(α,β)B 为分次李代数，其括号为 [(a₁,b₁),(a₂,b₂)] = ([a₁,a₂]+β(b₁)a₂−(−1)^{|b₂||a₁|}β(b₂)a₁, [b₁,b₂]+α(a₁)b₂−(−1)^{|a₂||b₁|}α(a₂)b₁)。
• 证明编织积满足分次反对称性与分次雅可比恒等式，从而构成定义良好的分次李代数。
• 建立任何分次李代数 C，若其具有子代数 A 与 B 且满足 C=A⊕B 与 A∩B=0，则必同构于 A⊕(α,β)B，其中 α 与 β 由括号分解诱导。
• 通过定义群的编织积 A×(α,β)B 为乘法 (a₁,b₁)(a₂,b₂) = (a₁α_{b₁}(a₂), β^{a₂}_{b₁}(b₁)b₂)，利用扎帕-泽普积结构，将构造推广至群。
• 推导出两个编织积之间映射为群或李代数同态的完整条件集，包括分量映射 f, g, φ, ψ 的条件，推广了半直积同态的判定准则。

实验结果

研究问题

• RQ1 在何种条件下，可分解为两个子代数直和的分次李代数可表示为编织积？
• RQ2 此类分解中，两个子代数的相互作用由何种代数结构控制？
• RQ3 如何以分量映射的形式刻画编织积之间李代数同态的结构？
• RQ4 编织积构造在李代数与群论中如何推广半直积？
• RQ5 编织积框架能否用于从因子的表示构造乘积代数/群的表示？

主要发现

• 任何分次李代数 C，若其为两个分次子代数 A 与 B 的直和且交为零，则同构于编织积 A⊕(α,β)B，其中 α 与 β 由括号分解诱导。
• 编织积 A⊕(α,β)B 中的括号显式给出为 [(a₁,b₁),(a₂,b₂)] = ([a₁,a₂]+β(b₁)a₂−(−1)^{|b₂||a₁|}β(b₂)a₁, [b₁,b₂]+α(a₁)b₂−(−1)^{|a₂||b₁|}α(a₂)b₁)。
• 两个编织积之间的李代数同态由分量映射 f, g, φ, ψ 的六条相容性条件刻画，包括扭曲的雅可比型恒等式与对换关系。
• 群论中的编织积 A×(α,β)B 与扎帕-泽普积一致，群同态由类似条件刻画，其结构与李代数情形相同。
• 该框架允许推广的诱导表示过程：通过分量映射 f, g, φ, ψ，可从 A 与 B 的表示构造 A×(α,β)B 的表示。
• 李代数版本的编织积通过群版本的微分得到，李代数情形的定义方程 (1.1) 自然地由群层级的扎帕-泽普积方程导出。