Braided cohomology of quasi-triangular bialgebras and braided Morita invariance

기술 요약: 준-삼각 쌍대 대수의 브레이디드 코호몰로지 및 브레이디드 모리타 불변성

문제 제기
본 논문은 Staic에 의해 군(group)에 대해 정의되고, Shiba, Sanada, Itaba에 의해 코가환 호프 대수(cocommutative Hopf algebra)로 확장된 대칭 코호몰로지(symmetric cohomology)의 일반화를 준-삼각 쌍대 대수(quasi-triangular bialgebras)의 설정으로 다룬다. 고전적이고 코가환적인 설정에서는 대칭 단사 범주(symmetric monoidal category)의 플립 사상(flip morphisms)으로부터 유도된 차수별 대칭군(symmetric groups)의 작용이 코체인 복합체(cochain complex)를 구성한다. 그러나 준-삼각 쌍대 대수의 경우, 관련 구조는 대칭(symmetry)이 아닌 브레이딩(braiding, 즉 $R$-행렬)이며, 기저가 되는 범주는 대칭 단사 범주가 아닌 브레이디드 단사 범주(braided monoidal category)이다. 저자들은 임의의 선형 단사 범주 내의 브레이디드 코알제브라(braided coalgebras)를 위한 "브레이디드 코호몰로지(braided cohomology)"를 정의하고, 이 코호몰로지가 브레이디드 모리타 동치(braided Morita equivalence, 즉 모듈 범주의 선형 브레이디드 단사 동치)에 대해 불변인지 조사하고자 한다.

방법론
저자들은 Krasauskas와 Fiedorowicz–Loday가 도입한 교차 심플리셜 군(crossed simplicial group)인 증강 브레이디드 범주(augmented braided category) $(\Delta B)_+$를 중심으로 하는 범주적 프레임워크를 채택한다. 방법론은 다음 단계들을 통해 진행된다:

1. 범주적 구성: 저자들은 선형 단사 범주 $\mathcal{C}$ 내의 브레이디드 코알제브라 $(C, c)$를 정의한다. 여기서 $C$는 대상(object)이며, $c$는 특정 호환 조건을 만족하는 브레이딩 동형 사상이다.
2. 함자적 연관: 모든 브레이디드 코알제브라에 대하여, 저자들은 $(\Delta B)_+^{op} \to [\mathcal{C}, \mathcal{C}]$로 가는 엄격한 단사 함자(strict monoidal functor) $\tilde{T}_\bullet(C, c)$를 연관시킨다. 이 함자는 증강 브레이디드 범주를 $\mathcal{C}$의 자기 사상 함자(endofunctors)들의 범주로 매핑한다.
3. 복합체 정의: 이 함자를 사용하여, 저자들은 대상 $M$에 대한 계수를 갖는 브레이디드 코체인 복합체 $KB^\bullet(C, c, M)$을 구성한다. 이는 다음과 같은 과정을 통해 이루어진다:
   • 함자를 $(\Delta_{inj}B)_+$ (브레이디드 단사) 부분 범주로 제한한다.
   • 단위 대상(unit object)에서 평가하고 $\text{Hom}_\mathcal{C}(-, M)$ 함자를 적용하여 $k$-모듈의 범주($\mathcal{V}$)로 보낸다.
   • 미분(differential)을 면 사상(face maps)의 교대 합으로 정의한다.
   • 특정 브레이드 군 $B_{n+1}$의 작용에 대해 불변인 원소들의 부복합체(subcomplex)를 취한다(구체적으로, $K(\tau_i^n)(\phi) = -\phi$를 만족하는 원소 $\phi$). 이는 고전적인 대칭 불변량(symmetric invariants)에 사용되는 것을 일반화한 것이다.
4. 상대적 모피즘(Relative Morphisms): 불변성을 연구하기 위해, 저자들은 엄격한 단사 함자들 사이의 상대적 모피즘 개념을 도입한다. 저자들은 $\tilde{T}_\bullet(C, c)$로부터 $\tilde{T}_\bullet(D, c')$로 가는 상대적 모피즘과, 단사 함자 $F$에 적응된 코알제브라 모피즘과 유사한 조건을 만족하는 특정 모피즘 $\alpha: D \to F(C)$ 사이에 전단사 대응 관계가 있음을 확립한다.

주요 기여 및 결과

• 브레이디드 코호몰로지의 정의: 본 논문은 임의의 선형 단사 범주 내의 브레이디드 코알제브라에 대한 브레이디드 코체인 복합체와 브레이디드 코호몰로지를 정의한다. 이 프레임워크는 준-삼각 쌍대 대수(브레이디드 코알제브라로서의 관점), 미분 가환(differential graded) 설정, 그리고 예터-드린펠트 모듈(Yetter-Drinfel'd modules)을 포괄한다.
• **정리 A (상대적 모피즘의 특징): $\tilde{T}_\bullet$의 상대적 모피즘들이 단사 구조와 브레이딩을 포함하는 특정 구조 방정식들을 만족하는 모피즘 $\alpha$와 전단사 대응 관계에 있음을 증명한다. 이는 복잡한 함자들 사이의 자연 변환 연구를 기저 범주에서의 단일 모피즘 연구로 환원시킨다.
• 정리 B (브레이디드 모리타 불변성): 준-삼각 $k$-쌍대 대수 $(A, R)$와 $(B, R')$에 대하여, 만약 망각 함자(forgetful functors)와 교환하는(자연 동형에 의해) $k$-선형 브레이디드 단사 동치 $F: (A\text{-Mod}, c_R) \to (B\text{-Mod}, c_{R'})$가 존재한다면, 코체인 복합체의 동형 사상 $KB^\bullet(A, R, M) \cong KB^\bullet(B, R', F(M))$이 존재한다. 결과적으로, 브레이디드 코호몰로지는 이러한 동치 하에서 불변이다.
• 따름정리 C (유한 차원 케이스): 망각 함수와의 교환에 관한 조건은 유한 차원 준-삼각 쌍대 대수의 경우 자동으로 만족된다. 따라서, 유한 차원 준-삼각 쌍대 대수의 브레이디드 코호몰로지는 브레이디드 모리타 불변량이다.
• 명시적 계산: 저자들은 비코가환 사례인 스위들러(Sweedler) 호프 대수에 대한 명시적 계산을 제공한다. $\lambda \in k$에 의해 매개변수화된 서로 다른 $R$-행렬들에 대해, 제1 브레이디드 코호몰로지 군 $KB^1(A, R_\lambda, M)$이 $k$-벡터 공간으로서 동형임을 보여주며, 바이알리얼 트위스트(bialgebra twist)에 의해 유도된 브레이디드 모리타 동치를 통해 해당 동형 사상을 명시적으로 구성한다.

의의 및 주장
본 논문은 대칭군을 브레이드 군으로, 플립 사상을 임의의 브레이딩으로 대체함으로써 코가환 호프 대수의 대칭 코호몰로지를 더 넓은 범위의 준-삼각 쌍대 대수로 일반화하는 통합된 프레임워크를 제공한다고 주장한다.

• 일반화: 대칭 코호몰로지의 범위를 비코가환 설정(예: 스위들러 호프 대수, 카츠-팔쥬킨(Kac-Paljutkin) 호프 대수, 드린펠드 이중체(Drinfel'd doubles))으로 확장한다.
• 불변성: 브레이디드 코호몰로지가 모듈 범주의 단사 동치(monoidal equivalence)를 통해 준-삼각 구조를 분류하는 데 사용되는 자연스러운 동치(브레이디드 모리타 동치) 하에서 안정적인 강력한 불변량임을 확립한다.
• 범주적 연결: 본 연구는 증강 브레이디드 범주와 브레이디드 코알제브라의 코호몰로지 사이의 직접적인 연결을 밝혀내며, 이는 브레이드 군 표현의 맥락에서 싱(Singh)이 제기한 문제를 해결한다.
• 향후 방향: 저자들은 본 구조가 비가산적 상황(예: 심플리셜 세트, 스펙트라)에도 적용 가능함을 언급하며, 브레이디드 코호몰로지가 $\infty$-범주적 일반화를 가질 수 있음을 시사하지만, 이는 현재의 연구에서 다루지 않는다.

본 논문은 모든 준-삼각 쌍대 대수의 분류를 해결하려는 것이 아니라, 이러한 구조를 분류하는 데 사용되는 자연스러운 동치(브레이디드 모리타 동치) 하에서 안정적으로 유지되는 코호몰로지 도구를 제공하는 데 목적이 있다. 결과들은 기존의 군 및 호프 대수 코호몰로지 구성의 이론적 일반화로서 제시된다.