[논문 리뷰] Deformation bicomplex of module-algebras

Donald Yau|ArXiv.org|2007. 07. 24.

Advanced Topics in Algebra참고 문헌 13인용 수 3

한 줄 요약

이 논문은 이중복소계를 통해 바이알제 H 위의 모듈로-대수에 대해 호크시ลด 코homology를 일반화하여 동시에 대수 구조와 H-모듈로 구조를 변형하는 이론을 구축한다. 총복소계의 코homology가 형식적 변형을 제어하며, H²의 소멸이 강성(리기디티)을 의미함을 보여준다. 이 틀은 모듈로-코알제, 코모듈-(코)대수, (코)모듈-바이알제로 확장되며, 각각 유사한 변형 복소계와 코homological 제어를 갖는다.

ABSTRACT

The deformation bicomplex of a module-algebra over a bialgebra is constructed. It is then applied to study algebraic deformations in which both the module structure and the algebra structure are deformed. The cases of module-coalgebras, comodule-(co)algebras, and (co)module-bialgebras are also considered.

연구 동기 및 목표

• H-모듈로-대수에 대한 변형 이론을 개발하여 동시에 대수와 H-모듈로 구조를 변형한다.
• 기본적인 결합 대수 및 바이알제의 변형 이론을 모듈로 및 코모듈로 구조를 포함하도록 일반화한다.
• 모듈로-코알제, 코모듈-(코)대수, (코)모듈-바이알제로 변형 복소계를 확장한다.
• 무한소 변형을 변형 이중복소계의 2-코사이클로 식별하고, 코homology와 강성을 연결한다.
• 변형 복소계에 컵곱을 구성하여 각 행과 열에 미분가환대수(differential graded algebra)의 구조를 부여한다.

제안 방법

• 변형 이중복소계 $ C_{\mathrm{MA}}^{**}(A) $를 $ \mathrm{Hoch}^{*}(H, \operatorname{Hom}(A^{\otimes*}, A)) $로 정의하며, 항목은 $ \operatorname{Hom}(H^{\otimes q}, \operatorname{Hom}(A^{\otimes p}, A)) $이다.
• 총복소계 $ C_{\mathrm{MA}}^{*}(A) $를 차수 이동을 통해 구성한다: $ C_{\mathrm{MA}}^{n}(A) = \bigoplus_{p+q=n+1} C_{\mathrm{MA}}^{p,q}(A) $.
• 각 행 $ C_{\mathrm{MA}}^{*,q}(A) $에 $ \mathrm{Hoch}^{*}(H, \operatorname{Hom}(A^{\otimes p}, A)) $의 결합대수의 구조를 통해 호크시ลด $ \cup $-곱을 부여한다.
• 각 열 $ C_{\mathrm{MA}}^{p,*}(A) $에 $ \operatorname{Hom}(A^{\otimes p}, A) $의 대수적 구조를 통해 $ \cup $-곱을 부여하며, 특히 $ p=1 $일 때 비자명하다.
• 구성의 일반화를 통해 모듈로-코알제, 코모듈-(코)대수, (코)모듈-바이알제로 확장하여 이중복소계와 삼중복소계를 얻는다.
• 변형을 변형 복소계의 계수를 갖는 멱급수 $ \Theta = \sum \theta_n t^n $로 정의하며, 모듈로 및 대수적 구조에 대한 호환 조건을 만족시킨다.

실험 결과

연구 질문

• RQ1 어떻게 H-모듈로-대수에서 동시에 대수 및 모듈로 구조를 변형할 수 있는가?
• RQ2 이러한 동시 변형을 분류하기 위한 적절한 코homological 프레임워크는 무엇인가?
• RQ3 모듈로-코알제, 코모듈-대수, (코)모듈-바이알제에 대한 변형 이중복소계는 고전적 변형 이론을 어떻게 일반화하는가?
• RQ4 변형 복소계에서 $ \cup $-곱의 역할은 무엇이며, 이는 복소계에 미분가환대수의 구조를 제공하는가?
• RQ5 어떤 코homological 조건에서 모듈로-바이알제가 강성(리기디티)을 가지는가, 즉 모든 변형이 자명한 변형과 동치인가?

주요 결과

• H-모듈로-대수 A에 대한 변형 이중복소계 $ C_{\mathrm{MA}}^{**}(A) $는 $ \mathrm{Hoch}^{*}(H, \operatorname{Hom}(A^{\otimes*}, A)) $와 동형이며, 0번째 행은 A의 호크시ลด 복소계이다.
• 각 행 $ C_{\mathrm{MA}}^{*,q}(A) $는 $ \operatorname{Hom}(H^{\otimes q}, A) $를 계수로 갖는 호크시ลด 코chain 복소계와 동형이며, 따라서 $ \cup $-곱을 통해 미분가환대수의 구조를 유도한다.
• H-모듈로-대수의 어떤 변형의 무한소는 총복소계 $ C_{\mathrm{MA}}^{*}(A) $의 2-코사이클이며, 그 코homology 클래스는 변형의 동치류를 결정한다.
• 만약 $ H^{2}(C_{\mathrm{MA}}^{*}(A)) = 0 $이면, H-모듈로-대수의 모든 변형은 자명한 변형과 동치이며, 이는 강성(리기디티)을 의미한다.
• H-코모듈-바이알제 A에 대한 변형 삼중복소계 $ C_{\mathrm{CB}}^{***}(A) $는 세 개의 미분을 가지며, 세 방향 모두에 $ \cup $-곱이 존재하며, 각각의 코체인 복소계를 DGA로 만든다.
• 코모듈-바이알제 변형 삼중복소계의 총복소계 $ C_{\mathrm{CB}}^{*}(A) $는 $ C_{\mathrm{CB}}^{1}(A) = \operatorname{Bider}(A) $이고, $ C_{\mathrm{CB}}^{2}(A) = \operatorname{Hom}(A, H \otimes A) \oplus \operatorname{Hom}(A^{\otimes 2}, A) \oplus \operatorname{Hom}(A, A^{\otimes 2}) $를 만족하며, $ H^{2}_{\mathrm{CB}}(A) $의 소멸은 A가 코모듈-바이알제로서의 강성을 의미한다.