[논문 리뷰] Hom-Lie admissible Hom-coalgebras and Hom-Hopf algebras

Abdenacer Makhlouf, Sergei Silvestrov|ArXiv.org|2007. 09. 15.

Advanced Topics in Algebra참고 문헌 8인용 수 22

한 줄 요약

이 논문은 고전적 리-가능성 코알제브라와 호프 대수의 왜곡된 일반화인 호모-리-가능성 호모-코알제브라와 호모-호프 대수를 도입한다. 이는 왜곡된 결합법칙과 왜곡된 코결합법칙을 통한 호모-대수학적 구조의 확장이다. $G$-호모-코알제브라와 $G$-호모-대수학 사이의 이중성, 앤티포드를 포함한 호모-호프 대수의 정의, 앤티포드의 유일성과 $\varepsilon \circ S = \varepsilon$와 같은 핵심 항등식의 증명을 통해 비결합 대수적 시스템에서의 변형 이론에 기초적인 구조를 제공한다.

ABSTRACT

The aim of this paper is to generalize the concept of Lie-admissible coalgebra introduced by Goze and Remm to Hom-coalgebras and to introduce Hom-Hopf algebras with some properties. These structures are based on the Hom-algebra structures introduced by the authors.

연구 동기 및 목표

• 호모-대수학적 맥락에서 리-가능성 코알제브라를 일반화하기 위해 호모-리-가능성 호모-코알제브라를 도입한다.
• 클래식 호프 대수의 왜곡된 동반자로서 호모-호프 대수를 정의하고, 앤티포드와 모듈/코모듈의 구조를 포함해 연구한다.
• $G \subset S_3$인 부분군에 대해 $G$-호모-코알제브라와 $G$-호모-대수학 사이의 이중성을 확립하여, 리-가용성 프레임워크를 코알제브라로 확장한다.
• 호모-결합법칙 대수학, 호모-코결합법칙 코알제브라, 그리고 그들의 모듈/코모듈의 구조에 대한 기본 정의와 성질을 제공한다.
• 저차원 호모-바이알제브라를 분류하고, 특히 2차원의 경우에 호모-호프 대수의 구조를 갖는 경우를 식별한다.

제안 방법

• 왜곡된 결합법칙 조건을 통해 호모-결합법칙 대수학을 정의한다: $\mu(\alpha(x) \otimes \mu(y \otimes z)) = \mu(\mu(x \otimes y) \otimes \alpha(z))$.
• 호모-결합법칙 대수학을 역으로 적용하여, 코승법 $\Delta$에 대한 왜곡된 코결합법칙 조건을 사용해 호모-코결합법칙 코알제브라를 정의한다.
• 코결합자와 $\beta$-왜곡된 코자코비 합을 일반화하여 왜곡된 반대칭성과 코자코비 항등식을 포착하는 호모-리-가용성 호모-코알제브라를 도입한다.
• $G \subset S_3$인 부분군에 대해 $G$-호모-코알제브라를 정의하여 코알제브라적 맥락에서의 순열 대칭성을 모델링하고, 이들이 호모-리-가용성임을 보인다.
• 앤티포드 $S$를 추가하여 $S \star \mathrm{id} \star S = \eta \circ \varepsilon$를 만족시키는 호모-호프 대수를 구성하고, 앤티포드의 유일성과 $\varepsilon \circ S = \varepsilon$와 같은 핵심 항등식을 증명한다.
• 호모-결합법칙 대수학과 호모-코결합법칙 코알제브라 위에서 모듈과 코모듈의 구조를 호환 가능한 선형 사상과 왜곡된 교환도형을 통해 정의한다.

실험 결과

연구 질문

• RQ1 왜곡된 구조 매핑을 가진 호모-대수학 맥락에서 리-가용성 코알제브라의 개념을 어떻게 일반화할 수 있는가?
• RQ2 앤티포드가 잘 정의된 호모-호프 대수의 구조를 갖기 위해 호모-코알제브라가 만족해야 할 필수 및 충분 조건은 무엇인가?
• RQ3 $G \subset S_3$인 부분군에 대해 $G$-호모-코알제브라와 $G$-호모-대수학 사이의 이중성은 어떻게 관련되어 있으며, 어떤 성질을 만족하는가?
• RQ4 호모-호프 대수에서 앤티포드의 구조적 성질은 무엇이며, 고전적 호프 대수 항등식을 어떻게 일반화하는가?
• RQ5 2차원 호모-결합법칙 대수학 중에서 어떤 것이 호모-바이알제브라 또는 호모-호프 대수의 구조를 갖는가? 그리고 그들의 코승법과 앤티포드 성질은 무엇인가?

주요 결과

• 논문은 승법 $\mu_1$와 특정 호모모르피즘 $\alpha_1$를 갖는 호모-결합법칙 대수학으로부터 2차원 호모-호프 대수를 구성한다. 여기서 코승법은 $\Delta(e_1) = e_1 \otimes e_1$, $\Delta(e_2) = e_2 \otimes e_2$이며, 앤티포드는 항등행렬로 주어진다.
• 분류된 호모-바이알제브라(2)만이 호모-호프 대수의 구조를 갖는다. 이 경우 $\varepsilon(e_2) = 0$, $\Delta(e_2) = e_1 \otimes e_2 + e_2 \otimes e_1 - 2e_2 \otimes e_2$, 앤티포드 $S(e_2) = e_2$이며, $S \star \mathrm{id} \star S = \eta \circ \varepsilon$를 만족한다.
• 호모-호프 대수에서 앤티포드는 유일하며 $\varepsilon \circ S = \varepsilon$를 만족한다. 이는 고전적 호프 대수 항등식을 일반화한다.
• $\mu_2$로 정의된 호모-결합법칙 대수학에 대해서는 어떤 $\alpha_2$의 선택에도 호모-바이알제브라의 구조가 존재하지 않으며, 이는 호모-호프 대수로의 확장에 대한 구조적 장벽을 시사한다.
• $G$-호모-코알제브라와 $G$-호모-대수학 사이의 이중성은 확립되었으며, $G$-호모-코알제브라가 호모-리-가용성임을 보이고, 그 대수적 이중체로부터 구조적 성질을 유전함을 보였다.
• 호모-결합법칙 대수학과 호모-코결합법칙 코알제브라 위에서의 모듈 및 코모듈의 구조는 호환 가능한 선형 사상과 왜곡된 교환도형을 만족하는 사상들을 통해 정의되며, 대수학 자체 위에서의 자연스러운 작용이 표준적인 예로 존재한다.