[논문 리뷰] Hom-Algebras and Hom-Coalgebras

Abdenacer Makhlouf, Sergei Silvestrov|ArXiv.org|2008. 11. 04.

Advanced Topics in Algebra참고 문헌 25인용 수 19

한 줄 요약

이 논문은 선형 사상에 의해 결합성과 코결합성이 왜곡되는 구조로 고전적 코대체 구조의 자연스러운 일반화인 Hom-coalgebra, Hom-bialgebra, Hom-Hopf 대수의 이론을 도입하고 발전시킨다. 주요 기여는 유한차원 Hom-결합성 대수와 Hom-코결합성 코대체 사이의 쌍대화를 통한 이중성 수립으로, Hom-Hopf 대수의 쌍대가 다시 Hom-Hopf 대수임을 증명하는 것이다.

ABSTRACT

The aim of this paper is to develop the theory of Hom-coalgebras and related structures. After reviewing some key constructions and examples of quasi-deformations of Lie algebras involving twisted derivations and giving rise to the class of quasi-Lie algebras incorporating Hom-Lie algebras, we describe the notion and some properties of Hom-algebras and provide examples. We introduce Hom-coalgebra structures, leading to the notions of Hom-bialgebra and Hom-Hopf algebras and prove some fundamental properties and give examples. Finally, we define the concept of Hom-Lie admissible Hom-coalgebra and provide their classification based on subgroups of the symmetric group.

연구 동기 및 목표

• 고전적 bialgebra와 Hopf 대수의 왜곡된 일반화로서 Hom-coalgebra, Hom-bialgebra, Hom-Hopf 대수의 체계적인 이론을 발전시키는 것.
• 전치 사상들을 통한 유한차원 Hom-결합성 대수와 Hom-코결합성 코대체 사이의 이중성 수립.
• 대칭군 S₃의 부분군을 사용하여 Hom-Lie 적합 Hom-coalgebra를 정의하고 분류하는 것.
• Hom-결합성 대수에서 Hom-Lie 대수를 구성하는 방법을 코대체적 구조로 일반화하는 것.
• 코결합성이 선형 자기형사상에 의해 왜곡되는 Hom-coalgebra적 구조의 기본 성질과 예시를 제공하는 것.

제안 방법

• 코결합성 조건이 선형 사상 β에 의해 왜곡되는 방식으로 Hom-coalgebra 구조를 도입하여 고전적 코결합성을 일반화한다.
• 곱셈과 코곱셈 사이의 왜곡된 호환 조건을 만족하는 Hom-algebra와 Hom-coalgebra로서 Hom-bialgebra를 정의한다.
• 전치 사상들을 사용하여 유한차원 Hom-결합성 대수의 쌍대를 Hom-coalgebra로 구성하고, 그 Hom-코결합성의 성립을 증명한다.
• Hom-Hopf 대수의 쌍대가 다시 Hom-Hopf 대수임을 증명하여 역원과 기타 대수적 구조를 유지함을 보인다.
• 대칭군 S₃의 부분군 G가 코결합자에 작용하는 방식을 분석하여 Hom-Lie 적합 Hom-coalgebra를 분류한다.
• 전치 사상을 통해 Hom-결합성 대수의 α-결합자와 그 쌍대 Hom-coalgebra의 β-코결합자 사이의 관계를 증명한다.

실험 결과

연구 질문

• RQ1 고전적 코대수 이론은 어떻게 왜곡 사상들을 포함하여 일관된 Hom-coalgebra 프레임워크로 일반화될 수 있는가?
• RQ2 유한차원 Hom-결합성 대수의 쌍대가 왜곡된 코결합성을 갖는 Hom-coalgebra로 유도되기 위한 조건은 무엇인가?
• RQ3 대칭군 S₃의 부분군은 Hom-Lie 적합 Hom-coalgebra를 어떻게 분류하는가?
• RQ4 Hom-결합성 대수와 Hom-coalgebra 사이의 이중성은 어떻게 Hom-bialgebra와 Hom-Hopf 대수로 확장되는가?
• RQ5 Hom-결합성 대수의 α-결합자와 그 쌍대 Hom-coalgebra의 β-코결합자 사이의 정확한 관계는 무엇인가?

주요 결과

• 유한차원 Hom-결합성 대수 (V, μ, α)의 쌍대는 comultiplication μ*와 twisting map α* = α^*를 갖는 Hom-coalgebra (V*, μ*, α*)이며, S₃의 임의의 부분군 G에 대해 G-Hom-coassociativity를 만족한다.
• 만약 (V, Δ, β)가 G-Hom-coalgebra이면, 그 쌍대 (V*, Δ*, β*)는 G-Hom-결합성 대수이며, 이는 G-Hom-결합성 대수와 G-Hom-coalgebra 사이의 이중성을 수립한다.
• Hom-결합성 대수의 α-결합자는 쌍대 코대체의 결합자와의 복합을 통해 표현되며, 특히 aα,μ = μK∘(id⊗μK)∘λ₃∘cβ(Δ)로 기술되어 대수적 결합성과 코대수적 결합성을 연결한다.
• Hom-Hopf 대수 H = (V, μ, α, η, Δ, β, ε, S)의 쌍대는 다시 Hom-Hopf 대수 H* = (V*, Δ*, β*, ε*, μ*, α*, η*, S*)이며, 모든 구조적 사상이 유지된다.
• Hom-Lie 적합 Hom-coalgebra는 대칭군 S₃의 부분군 G에 의해 분류되며, 이 분류는 G가 결합자에 작용하는 방식과 부호 표현에 기반한다.
• V*에서 Δ의 G-Hom-coassociativity 조건은 V에서 μ의 G-Hom-associativity 조건과 동치이며, 이는 구조 상수와 군 작용을 통해 기술된 조건으로 확인된다.