Hopf 사이클 코호몰로지의 컵 코프로덕트

초록

본 논문에서는 Hopf 대수의 사이클 코호몰로지와 그 이중 이론에 대해 새로운 컵 코프로덕트 구조를 정의하고, 이 구조가 보편적 포락 대수와 군 대수에 적용될 때 각각 Lie 대수 호몰로지와 군 호몰로지의 기존 코프로덕트를 정확히 회복함을 증명한다.

상세 분석

논문은 먼저 Hopf 대수 (H)와 그 모듈-코사이클 복합체 ((C^\bullet(H),b,B))를 회고하고, 기존의 곱 구조가 부족한 점을 지적한다. 이를 보완하기 위해 저자는 (H)의 대각선 구조와 안티코무터를 이용해 텐서곱 복합체 (C^\bullet(H)\otimes C^\bullet(H)) 위에 새로운 연산 (\Delta_{\smile})를 정의한다. 이 연산은 코사이클 복합체의 경계 연산과 교환하며, 차수 보존성을 만족한다는 것이 핵심 증명이다. 특히, (\Delta_{\smile})는 Hopf 대수의 대칭성(예: 대각선이 코알제브라 구조와 호환)과 모듈-코사이클 구조의 안티코무터가 만족하는 2-코사이클 조건을 이용해 코프로덕트 법칙을 성립시킨다.

다음으로 저자는 이 구조를 이중 이론, 즉 Hopf 코사이클 코호몰로지의 대수적 쌍대인 코사이클 코호몰로지에 적용한다. 여기서는 코사이클 복합체 대신 코호몰로지 복합체 ((C_\bullet(H),d,\delta))를 사용하고, 유사한 텐서곱 구성을 통해 코프로덕트 (\nabla_{\smile})를 도입한다. 두 연산은 서로 쌍대 관계에 있으며, 차수 전이와 경계 연산과의 교환성을 통해 장벽 없이 결합된다.

핵심적인 검증 단계는 두 대표적인 예시, 즉 보편적 포락 대수 (U(\mathfrak g))와 군 대수 (k