[논문 리뷰] Hom-bialgebras and comodule Hom-algebras

Donald Yau|arXiv (Cornell University)|2008. 10. 27.

Advanced Topics in Algebra참고 문헌 27인용 수 15

한 줄 요약

이 논문은 고전적 바이알제브라와 코모듈러 알제브라의 호모타입 일반화로, 호모-바이알제브라와 코모듈러 호모-알제브라를 제안한다. 다항식 호모-결합성 알제브라 위에서 2×2 행렬을 표현하는 유니버설 호모-바이알제브라 $\mathbf{M}(2)$를 구성하고, 생성자에 대해 정의된 코행동을 통해 호모-아핀 평면 $\mathbf{A}_2$가 비자명한 $\mathbf{M}(2)$-코모듈러 호모-알제브라임을 보여준다.

ABSTRACT

We study Hom-bialgebras and objects admitting coactions by Hom-bialgebras. In particular, we construct a Hom-bialgebra M representing the functor of 2x2-matrices on Hom-associative algebras. Then we construct a Hom-algebra analogue of the affine plane and show that it is a comodule Hom-algebra over M in a suitable sense. It is also shown that the enveloping Hom-associative algebra of a Hom-Lie algebra is naturally a Hom-bialgebra.

연구 동기 및 목표

• 고전적 바이알제브라의 호모타입 일반화로서 호모-바이알제브라 이론을 발전시키기.
• 다항식 호모-결합성 알제브라 위에서 2×2 행렬을 표현하는 유니버설 호모-바이알제브라 $\mathbf{M}(2)$를 구성하기.
• 호모-바이알제브라 위에서 코모듈러 호모-알제브라의 정의와 연구를 통해 고전적 코모듈러 알제브라 개념을 일반화하기.
• 호모-아핀 평면 $\mathbf{A}_2$가 비자명한 $\mathbf{M}(2)$-코모듈러 구조를 지닌다는 것을 보여주기.
• 호모-리 대수의 환위빙 호모-결합성 알제브라가 자연스럽게 호모-바이알제브라 구조를 지닌다는 것을 확립하기.

제안 방법

• 다중성 호모-결합성 알제브라로의 모듈러에서의 자유 함수를 사용하여, $\alpha$-왜곡된 관계를 가진 생성자 $a,b,c,d$ 위에서 $\mathbf{M}(2)$를 자유 대수로 구성함.
• 행렬 곱셈을 유니버설 성질을 통해 표현하는 $\mathbf{M}(2)$ 위의 코승법 $\Delta$를 정의함.
• $\alpha$-왜곡된 코결합성 조건을 만족하는 코승법 $\Delta$를 $\mathbf{M}(2)$에 부여함으로써, 이는 호모-바이알제브라가 됨.
• 두 생성자 $x,y$ 위에서 자유 다항식 호모-결합성 알제브라로 호모-아핀 평면 $\mathbf{A}_2$를 구성함.
• 생성자에 대해 $\rho(x) = a\otimes x + b\otimes y$, $\rho(y) = c\otimes x + d\otimes y$로 정의하고, 대수적으로 확장된 코행동 $\rho: \mathbf{A}_2 \to \mathbf{M}(2) \otimes \mathbf{A}_2$를 정의함.
• 타겟 대수에서의 호모-결합성과 함께, $\mathbf{M}(2)\otimes\mathbf{M}(2)\otimes\mathbf{A}_2 \cong F(\mathbb{k}\langle a',a'',b',b'',c',c'',d',d'',x,y\rangle)$의 식별을 통해 코모듈러 조건을 검증함.

실험 결과

연구 질문

• RQ1 다항식 호모-결합성 알제브라 위에서 2×2 행렬을 표현하는 유니버설 호모-바이알제브라 $\mathbf{M}(2)$를 구성할 수 있는가?
• RQ2 호모-아핀 평면 $\mathbf{A}_2$는 비자명한 코행동을 통해 $\mathbf{M}(2)$-코모듈러 호모-알제브라가 될 수 있는가?
• RQ3 호모-리 대수의 환위빙 호모-결합성 알제브라가 자연스럽게 호모-바이알제브라 구조를 지닐 수 있는가?
• RQ4 고전적 코모듈러 알제브라 개념은 호모-알제브라 설정으로 어떻게 일반화될 수 있는가?
• RQ5 $\alpha$-왜곡된 코결합성은 호모-바이알제브라와 그 코모듈러의 정의에서 어떤 역할을 하는가?

주요 결과

• 호모-바이알제브라 $\mathbf{M}(2)$는 존재하며, 다항식 호모-결합성 알제브라 $A$를 $A$ 위에서의 2×2 행렬 대수 $M_2(A)$로 보내는 함자를 표현한다. 자연스러운 전단사 $\mathbf{HA}(\mathbf{M}(2), A) \cong M_2(A)$ 가 성립한다.
• $\mathbf{M}(2)$ 위의 코승법 $\Delta$는 $M_2(A)$ 내의 행렬 곱셈을 유니버설하게 표현하며, $\alpha$-왜곡된 코결합성 조건을 만족한다.
• 호모-아핀 평면 $\mathbf{A}_2$는 두 생성자 $x$와 $y$ 위에서 자유 다항식 호모-결합성 알제브라로 구성되며, $\rho(x) = a\otimes x + b\otimes y$, $\rho(y) = c\otimes x + d\otimes y$로 정의된 코행동을 통해 비자명한 $\mathbf{M}(2)$-코모듈러 구조를 지닌다.
• 코행동 $\rho$는 $(\Delta_M \otimes \alpha_A) \circ \rho = (\alpha_M \otimes \rho) \circ \rho$ 조건을 만족하며, 타겟 대수에서의 호모-결합성을 사용하여 검증된다.
• 호모-리 대수 $L$의 환위빙 호모-결합성 알제브라 $U_{HLie}(L)$는 자연스럽게 호모-바이알제브라 구조를 지닌다. 이는 고전적 환위빙 대수의 구성 방식을 확장한 것이다.
• 코행동이 생성자에서 정의될 수 있도록, $\mathbf{HA}(\mathbf{A}_2, \mathbf{M}(2)\otimes\mathbf{A}_2) \cong \mathbf{Mod}(\mathbb{k}\langle x,y\rangle, \mathbf{M}(2)\otimes\mathbf{A}_2)$ 의 동치관계를 활용한다.