브레이디드 Ann‑범주의 코호몰로지 분류

초록

**
이 논문은 브레이디드 Ann‑범주를 구조 전달 정리를 이용해 (R,M) 형태의 표준형으로 전환하고, 그 동형류를 교환환 R과 R‑모듈 M의 코호몰로지 (H^{3}_{\text{MacLane}}(R,M)) 와 일대일 대응시킴으로써 완전한 분류 정리를 제시한다.

**

상세 분석

**
브레이디드 Ann‑범주는 기존 Ann‑범주의 두 연산(덧셈 ⊕와 곱셈 ⊗)에 브레이딩 (c)가 추가된 구조로, ((\mathcal A,\otimes ,a,c,(1,l,r)))가 브레이디드 텐서 범주를 이루면서 동시에 분배 제약 (\mathfrak L,\mathfrak R)와 호환되어야 한다는 복합적인 일관성 조건을 만족한다. 논문은 먼저 “구조 전달 정리”(Structure Transport Theorem)를 활용해 임의의 브레이디드 Ann‑범주 (\mathcal A)가 동형인 표준형 (\mathcal S(R,M))으로 옮겨질 수 있음을 증명한다. 여기서 (R=\pi_{0}(\mathcal A))는 동형 클래스들의 집합에 자연스럽게 부여되는 교환환이며, (M=\pi_{1}(\mathcal A))는 자동동형군으로서 (R)‑양측 모듈 구조를 갖는다.

표준형 (\mathcal S(R,M))은 객체를 (R)의 원소, 사상을 (M)의 원소로 표현하고, 덧셈과 곱셈은 각각 (R)의 연산을 그대로 사용한다. 핵심은 이때 발생하는 연관성 제약 (a), 단위 제약 (l,r), 그리고 분배 제약 (\mathfrak L,\mathfrak R)을 3‑코사인으로 기록하는 것이다. 구체적으로, 3‑코사인 ((h,\beta)\in Z^{3}_{\text{MacLane}}(R,M))는
\