[논문 리뷰] Cohomological Classification of Ann-categories

Nguyễn Tiến Quang|arXiv (Cornell University)|2011. 05. 26.

Homotopy and Cohomology in Algebraic Topology참고 문헌 5인용 수 3

한 줄 요약

이 논문은 맥 랜드 코hom로지의 링에 대한 응용을 통해 Ann-카테고리의 코hom로지적 분류를 수립하며, 동치류의 집합과 제3의 맥 랜드 코hom로지 군 $ H^3_{\text{MacL}}(R,M) $ 사이의 정확한 전단사 사상이 있음을 증명한다. 여기서 $ R = \pi_0\mathcal{A} $ 이고 $ M = \pi_1\mathcal{A} $ 이다. 이 결과는 이전에 쓰인 쇼클라 코hom로지에 기반한 연구를 일반화하며, 이전에 제시된 카테고리화된 링의 분류에서 결함을 수정한다. 즉, 모든 카테고리화된 링이 Ann-카테고리인 것은 아님을 보여준다.

ABSTRACT

The notion of Ann-categories is a categorification of the ring structure. Regular Ann-categories were classified by Shukla algebraic cohomology. In this article, we state and prove the precise theorem on classification for the general case due to Mac Lane cohomology for rings. And an application for classification problem of ring extensions is also introduced.

연구 동기 및 목표

• 일반적인 경우에서 Ann-카테고리의 완전하고 올바른 코hom로지적 분류를 제공함으로써, 이전에 쇼클라 코hom로지에 기반한 결과를 확장한다.
• 지블라체와 피라시빌이 제시한 카테고리화된 링의 분류 정리의 증명에서 발생하는 격차를 해결함. 이는 텐서곱의 단위 호환성 조건을 보장하지 못하기 때문이다.
• 이중수를 이용하고 비정규화된 3-코호모로지 클래스를 사용하여 반례를 구성함으로써, 모든 카테고리화된 링이 Ann-카테고리인 것은 아님을 보여준다.
• Ann-카테고리와 맥 랜드 코hom로지 간의 관계를 명확히 하여, Ann-카테고리의 구조가 정확히 $ H^3_{\text{MacL}}(R,M) $ 의 원소와 대응됨을 보여준다.

제안 방법

• 링 $ R $ 과 $ R $-양면 모듈러 $ M $ 에서 시작하여, 구조 제약 조건 $ (\xi, \alpha, \lambda, \rho, \eta) $ 를 사용해 유형 $ (R,M) $ 의 Ann-카테고리 구축. 이는 조화 조건을 만족한다.
• 맥 랜드 코호모로지 군 $ H^3_{\text{MacL}}(R,M) $ 는 카테고리의 결합법칙, 교환법칙, 분배법칙 제약 조건을 코딩한 복합체의 코호모로지로 정의된다.
• 유형 $ (R,M) $ 의 Ann-카테고리의 동형류 집합과 $ H^3_{\text{MacL}}(R,M) $ 사이의 전단사 사상 수립. 각 Ann-카테고리가 유일한 코호모로지 클래스를 결정함을 증명한다.
• 장애 이론을 사용하여 코호모로지 클래스의 당김과 밀림을 통해 Ann-함수사상의 분류 수행.
• 정수의 이중수 링 $ \mathbb{Z}[\epsilon]/(\epsilon^2) $ 위에서, 비정규화된 3-코호모로지 클래스를 사용하여 반례 카테고리화된 링을 구성. 이는 단위 호환성 조건 (U) 를 만족하지 않아 Ann-카테고리가 아니라는 것을 보여준다.
• 논문 [2]의 분류 정리가 잘못되었음을 증명. 이는 $ A \otimes 0 \to 0 $ 과 $ 0 \otimes A \to 0 $ 가 동형사상임을 보장하지 못하기 때문이며, 이는 $ \pi_0\mathcal{A} $-양면 모듈러로서의 $ \pi_1\mathcal{A} $ 의 구조를 무너뜨린다.

실험 결과

연구 질문

• RQ1 Shukla 코호모로지로 분류된 정규 케이스를 넘어서 일반적인 경우에서 Ann-카테고리가 코호모로지 불변량을 통해 분류될 수 있는가?
• RQ2 Ann-카테고리의 구조와 기저 링 및 양면 모듈러의 맥 랜드 코호모로지 사이의 정확한 관계는 무엇인가?
• RQ3 논문 [2]의 카테고리화된 링 분류 정리가 실패하는 이유는 무엇이며, 카테고리화된 링이 Ann-카테고리가 되기 위해 누락된 조건은 무엇인가?
• RQ4 Ann-카테고리가 아닌 카테고리화된 링이 존재하는가? 만약 그렇다면, 그것이 Ann-카테고리가 되지 못하게 하는 코호모로지 장애는 무엇인가?
• RQ5 코호모로지 복합체 내에서 비정규화된 3-코호모로지 클래스의 존재가 논문 [2]의 분류가 잘못되었음을 시사하는가?

주요 결과

• 유형 $ (R,M) $ 의 Ann-카테고리의 동형류 집합과 제3의 맥 랜드 코호모로지 군 $ H^3_{\text{MacL}}(R,M) $ 사이에 자연스러운 전단사 사상이 존재하며, 이는 정확한 분류를 수립한다.
• 논문 [2]의 분류 정리는 $ A \otimes 0 \to 0 $ 과 $ 0 \otimes A \to 0 $ 가 동형사상임을 보장하지 못하기 때문에 잘못되었으며, 이는 $ \pi_0\mathcal{A} $-양면 모듈러로서의 $ \pi_1\mathcal{A} $ 의 구조를 무너뜨린다.
• 정수의 이중수 링 $ \mathbb{Z}[\epsilon]/(\epsilon^2) $ 위에서, 비정규화된 3-코호모로지 클래스 $ \lambda $ 를 사용하여 반례 카테고리화된 링을 구성. 이는 모든 카테고리화된 링의 공리들을 만족하지만 단위 호환성 조건 (U) 는 만족하지 않아 Ann-카테고리가 아니다.
• 함수 $ \lambda $ 는 $ \lambda(a_r + b_r\epsilon, a_s + b_s\epsilon, a_t + b_t\epsilon) = b_r(a_s + a_t) $ 로 정의되며, 다섯 개의 식 $ R_1 $ 에서 $ R_5 $ 를 모두 만족함을 확인하여, 이는 카테고리화된 링을 정의함을 보여준다.
• $ H^3_{\text{Sh}}(R,M) \hookrightarrow H^3_{\text{MacL}}(R,M) $ 는 엄밀한 포함관계이며, 이는 쇼클라 코호모로지가 맥 랜드 코호모로지의 진부분군임을 보여주며, 일반적인 분류에는 더 큰 군이 필요함을 시사한다.
• 조건 (U) — 즉, $ (L^A, \hat{L}^A) $ 와 $ (R^A, \hat{R}^A) $ 가 단위 제약 조건과 호환되는 $ \oplus $-함수사상인 것 — 은 카테고리화된 링이 Ann-카테고리가 되기 위해 필수적이고 충분한 조건이다.