[論文レビュー] Knit products of graded Lie algebras and groups

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

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

ひとこと要約

本稿では、微分的くいねじれ表現のペアによる相互作用を許容することで、半直積を一般化する、次数付きリーリー代数および群のためのニット積構成を導入する。任意の次数付きリーリー代数が2つの部分代数の直和として分解される場合、それはその部分代数のニット積として実現可能であり、このような積間の準同型写像の完全な特徴付けがなされ、誘導表現を一般化するとともに、群論におけるZappa-Szép積と統合される。

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.

研究の動機と目的

• 次数付きリーリー代数に対して、互いに作用する表現のペアを用いたニット積構成を定義・形式化すること。
• 任意の次数付きリーリー代数が2つの部分代数の直和として分解される場合、その部分代数のニット積として実現可能であることを示すこと。
• 成分写像と整合性条件を用いて、ニット積間のリーリー代数準同型を特徴付けること。
• 群への構成を拡張し、ニット積がZappa-Szép積と一致することを示し、準同型の基準を提供すること。
• 表現論における誘導表現技法がどのように一般化されるかを示すこと。

提案手法

• 微分的くいねじれ表現のペアを定義：括弧と符号を含む特定の整合性方程式を満たす、次数付きリーリー代数の準同型 α:A→End(B) および β:B→End(A) を定義する。
• 括弧 [(a₁,b₁),(a₂,b₂)] = ([a₁,a₂]+β(b₁)a₂−(−1)^{|b₂||a₁|}β(b₂)a₁, [b₁,b₂]+α(a₁)b₂−(−1)^{|a₂||b₁|}α(a₂)b₁) を持つ、次数付きリーリー代数 A⊕(α,β)B を構成する。
• ニット積が次数付き反交換性および次数付きジャコビ恒等式を満たすことを証明し、適切に定義された次数付きリーリー代数であることを確立する。
• C = A⊕B かつ A∩B = 0 を満たす次数付きリーリー代数 C が、括弧分解から誘導される作用 α, β を用いて A⊕(α,β)B に同型であることを確立する。
• Zappa-Szép積構造を用いて、群としてのニット積 A×(α,β)B を定義する。乗法を (a₁,b₁)(a₂,b₂) = (a₁α_{b₁}(a₂), β^{a₂}_{b₁}(b₁)b₂) と定義する。
• ニット積間の準同型写像が群またはリーリー代数準同型であるための、成分写像 f, g, φ, ψ に対する完全な条件集合を導出する。これは、半直積の準同型基準を一般化する。

実験結果

リサーチクエスチョン

• RQ1 2つの部分代数の直和として分解される次数付きリーリー代数が、どのような条件下でニット積として表現可能か？
• RQ2 このような分解における2つの部分代数の相互作用を支配する代数的構造は何か？
• RQ3 ニット積間のリーリー代数準同型は、その成分写像をどのように特徴付けることができるか？
• RQ4 ニット積構成は、リーリー代数および群論の両方において、どのように半直積を一般化するか？
• RQ5 ニット積フレームワークを用いて、因子の表現から積代数／群の表現を構成することは可能か？

主な発見

• 2つの次数付き部分代数 A および B が直和分解 C = A⊕B かつ A∩B = 0 を満たす任意の次数付きリーリー代数 C は、括弧分解から誘導される α および β を用いて、ニット積 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₁) で与えられる。
• 2つのニット積間のリーリー代数準同型は、成分写像 f, g, φ, ψ に対して6つの整合性条件（ねじれジャコビ型恒等式およびインターウェーブ関係）によって特徴付けられる。
• 群論的ニット積 A×(α,β)B はZappa-Szép積と一致し、群準同型は同様の条件を成分写像に対して満たす。リーリー代数の場合と同一の構造を持つ。
• このフレームワークにより、一般化された誘導表現手続きが可能となる。A×(α,β)B の表現は、A および B の表現を成分写像 f, g, φ, ψ を用いて構成可能である。
• リーリー代数版のニット積は、群版を微分することで得られ、リーリー代数の場合の定義式 (1.1) は、群レベルのZappa-Szép積の式から自然に導かれる。