브레이디드 단일체 범주에서의 홉 사이클 코호몰로지

초록

이 논문은 브레이디드 모노이달 아벨 범주 안에서 정의된 홉 대수에 대해 안정적인 anti‑Yetter‑Drinfeld 모듈을 도입하고, 브레이디드 모듈러 쌍(involution)과 결합하여 para‑cocyclic 및 cocyclic 구조를 구축한다. 대칭 브레이딩인 경우 기존의 Connes‑Moscovici 형식의 홉 사이클 코호몰로지를 완전하게 일반화한다.

상세 분석

본 연구는 먼저 브레이디드 모노이달 아벨 범주 (\mathcal{C}) 를 설정하고, 그 안에서의 홉 대수 (H) 를 정의한다. 기존의 평범한 모노이달 범주와 달리, 브레이딩 (\beta_{X,Y}:X\otimes Y\to Y\otimes X) 가 일반적인 교환 법칙을 대체한다는 점이 핵심이다. 저자들은 (H)‑모듈, (H)‑코모듈 구조를 브레이딩과 호환되도록 재정의하고, 특히 “안정적인 anti‑Yetter‑Drinfeld 모듈”(SAYD 모듈) 개념을 도입한다. SAYD 모듈은 (H)‑모듈과 (H)‑코모듈이 동시에 만족해야 하는 두 개의 상호작용 조건을 갖는데, 이는 기존의 anti‑Yetter‑Drinfeld 모듈 조건에 브레이딩 연산 (\beta) 를 삽입한 형태이다. 특히 “안정성(stability)” 조건은 모듈의 행동이 브레이딩에 의해 변형되지 않음을 보장한다.

다음으로 저자들은 “브레이디드 모듈러 쌍(involution)” ((\delta,\sigma)) 를 정의한다. 여기서 (\delta:H\to \mathbf{1}) 는 캐릭터, (\sigma:\mathbf{1}\to H) 는 그룹‑유사 원소이며, 두 원소는 브레이딩을 고려한 역전 관계 (\delta\circ\sigma = \mathrm{id}) 와 추가적인 호몰로지적 대칭성을 만족한다. 이러한 쌍은 Connes‑Moscovici 이론에서의 모듈러 쌍을 브레이디드 환경으로 끌어올린 것으로, ((\delta,\sigma)) 가 “involution” 을 만족하면 파라‑코사이클 구조를 정의하는 데 필수적이다.

핵심 결과는 (H) 와 SAYD 모듈 (M) 그리고 브레이디드 모듈러 쌍 ((\delta,\sigma)) 로부터 파라‑코사이클 객체 ({C^n(H,M)}{n\ge0}) 를 구성하고, 브레이딩이 대칭일 때(즉, (\beta{X,Y}\beta_{Y,X}= \mathrm{id})) 이 객체가 실제 코사이클 객체가 됨을 증명한다. 파라‑코사이클 구조는 얼굴(face) 사상 (d_i), 코드페이스 사상 (s_i), 그리고 순환 사상 (\tau_n) 로 정의되며, 각각은 브레이딩을 이용해 기존의 정의를 변형한다. 대칭 브레이딩 하에서는 (\tau_n^{n+1}= \mathrm{id}) 가 성립해 코사이클 관계가 완전하게 만족된다.

또한 저자들은 이 구조가 기존의 Hopf 사이클 코호몰로지와 어떻게 일치하는지를 확인한다. 즉, (\mathcal{C}) 가 벡터 공간 범주이며 브레이딩이 평범한 교환 법칙이면, 제시된 정의는 Connes‑Moscovici 의 원래 이론을 재현한다. 반대로, 비대칭 브레이딩(예: 양자 군의 대표적인 R‑행렬)에서는 파라‑코사이클 객체가 새로운 종류의 고차 대수적 인버리언트를 제공한다는 점을 강조한다. 마지막으로, 몇 가지 구체적인 예시(양자 그룹 (U_q(\mathfrak{sl}_2)), 리브라 카테고리 등)를 통해 구조의 실현 가능성을 보여준다.