[Paper Review] Cohomological Classification of Ann-categories

Nguyễn Tiến Quang|arXiv (Cornell University)|May 26, 2011

Homotopy and Cohomology in Algebraic Topology5 references3 citations

TL;DR

This paper establishes a cohomological classification of Ann-categories using Mac Lane cohomology of rings, proving a precise bijection between equivalence classes of Ann-categories and elements of the third Mac Lane cohomology group $ H^3_{ ext{MacL}}(R,M) $, where $ R = \pi_0\mathcal{A} $ and $ M = \pi_1\mathcal{A} $. The result generalizes earlier work using Shukla cohomology and corrects a flaw in a prior classification of categorical rings by showing that not all categorical rings are Ann-categories.

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.

Motivation & Objective

• To provide a complete and correct cohomological classification of Ann-categories in the general case, extending prior results based on Shukla cohomology.
• To resolve a gap in the proof of the classification theorem for categorical rings by Jibladze and Pirashvili, which fails to ensure unit compatibility for the tensor product.
• To demonstrate that not all categorical rings are Ann-categories by constructing a counterexample using dual numbers and a non-normalized 3-cocycle.
• To clarify the relationship between Ann-categories and Mac Lane cohomology, showing that the structure of an Ann-category corresponds precisely to a class in $ H^3_{\text{MacL}}(R,M) $.

Proposed method

• Construct an Ann-category of type $ (R,M) $ from a ring $ R $ and an $ R $-bimodule $ M $, using structure constraints $ (\xi, \alpha, \lambda, \rho, \eta) $ satisfying coherence conditions.
• Define the Mac Lane cohomology group $ H^3_{\text{MacL}}(R,M) $ as the cohomology of a complex encoding the associativity, commutativity, and distributivity constraints of the category.
• Establish a bijection between the set of isomorphism classes of Ann-categories of type $ (R,M) $ and $ H^3_{\text{MacL}}(R,M) $, proving that each Ann-category determines a unique cohomology class.
• Use obstruction theory to classify Ann-functors between Ann-categories via pullbacks and pushforwards of cohomology classes.
• Construct a counterexample categorical ring using the ring of dual numbers over $ \mathbb{Z} $, showing it fails to satisfy the unit compatibility condition (U), hence is not an Ann-category.
• Prove that the classification theorem in [2] is invalid due to the failure to ensure $ A \otimes 0 \to 0 $ and $ 0 \otimes A \to 0 $ are isomorphisms, invalidating the $ \pi_0\mathcal{A} $-bimodule structure on $ \pi_1\mathcal{A} $.

Experimental results

Research questions

• RQ1 Can Ann-categories be classified in the general case using a cohomological invariant, beyond the regular case classified by Shukla cohomology?
• RQ2 What is the precise relationship between the structure of an Ann-category and Mac Lane cohomology of the underlying ring and bimodule?
• RQ3 Why does the classification theorem for categorical rings in [2] fail, and what condition is missing for a categorical ring to be an Ann-category?
• RQ4 Is there a categorical ring that is not an Ann-category, and if so, what cohomological obstruction prevents it from being one?
• RQ5 Does the existence of a non-normalized 3-cocycle in the cohomology complex imply that the classification in [2] is incorrect?

Key findings

• There is a canonical bijection between the set of isomorphism classes of Ann-categories of type $ (R,M) $ and the third Mac Lane cohomology group $ H^3_{\text{MacL}}(R,M) $, establishing a precise classification.
• The classification theorem in [2] is incorrect because it fails to ensure that $ A \otimes 0 \to 0 $ and $ 0 \otimes A \to 0 $ are isomorphisms, invalidating the $ \pi_0\mathcal{A} $-bimodule structure on $ \pi_1\mathcal{A} $.
• A counterexample categorical ring is constructed over the ring of dual numbers $ \mathbb{Z}[\epsilon]/(\epsilon^2) $, with a non-normalized 3-cocycle $ \lambda $, which satisfies all axioms of a categorical ring but not the unit compatibility condition (U), so it is not an Ann-category.
• The function $ \lambda $ defined by $ \lambda(a_r + b_r\epsilon, a_s + b_s\epsilon, a_t + b_t\epsilon) = b_r(a_s + a_t) $ satisfies all five equations $ R_1 $ to $ R_5 $, confirming it defines a categorical ring.
• The inclusion $ H^3_{\text{Sh}}(R,M) \hookrightarrow H^3_{\text{MacL}}(R,M) $ is strict, showing that Shukla cohomology is a proper subgroup of Mac Lane cohomology, and the general classification requires the larger group.
• The condition (U) — that $ (L^A, \hat{L}^A) $ and $ (R^A, \hat{R}^A) $ are $ \oplus $-functors compatible with the unit constraint — is necessary and sufficient for a categorical ring to be an Ann-category.