[논문 리뷰] Knit products of graded Lie algebras and groups

Peter W. Michor|arXiv (Cornell University)|1992. 04. 01.

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₁,a₂]+β(b₁)a₂−(−1)^{|b₂||a₁|}β(b₂)a₁, [b₁,b₂]+α(a₁)b₂−(−1)^{|a₂||b₁|}α(a₂)b₁) 를 갖는 등급을 가진 리 대수 A⊕(α,β)B로 날개 짜기 곱을 구성한다.
• 날개 짜기 곱이 등급을 가진 반대칭성과 등급을 가진 자코비 항등식을 만족함을 증명하여, 잘 정의된 등급을 가진 리 대수임을 보장한다.
• 등급을 가진 리 대수 C가 부분대수 A와 B를 가지며 C=A⊕B 이고 A∩B=0 라면, 괄호 분해로부터 유도된 작용을 통해 A⊕(α,β)B 와 동형임을 확립한다.
• 자파-쉐프 곱의 구조를 사용하여 군으로의 구성법을 확장한다. 곱셈 (a₁,b₁)(a₂,b₂) = (a₁α_{b₁}(a₂), β^{a₂}_{b₁}(b₁)b₂) 를 갖는 군 A×(α,β)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 는 자파-쉐프 곱과 일치하며, 군 준동형사상은 동일한 형태의 조건을 성분 사상에 대해 만족한다. 이는 리 대수의 경우와 동일한 구조를 가진다.
• 이 틀은 일반화된 유도 표현 절차를 가능하게 한다: A×(α,β)B 의 표현은 성분 사상 f, g, φ, ψ를 통해 A와 B의 표현으로부터 구성될 수 있다.
• 리 대수의 날개 짜기 곱은 군의 경우를 미분하여 얻을 수 있으며, 리 대수의 정의 방정식 (1.1)은 군 수준의 자파-쉐프 곱 방정식으로 자연스럽게 유도된다.