2-Modules and the Representation of 2-Rings

In this paper, we develop 2-dimensional algebraic theory which closely follows the classical theory of modules. The main results are giving definitions of 2-module and the representation of 2-ring. Moreover, for a 2-ring $\cR$, we prove that its modules form a 2-Abelian category.

💡 Research Summary

The paper develops a systematic 2‑dimensional analogue of classical module theory by introducing the notions of a 2‑ring and a 2‑module, and then proving that the category of modules over a 2‑ring is a 2‑abelian category. A 2‑ring 𝓡 is defined as a pair of binary operations (addition and multiplication) equipped with the structure of a bicategory: the additive structure forms a symmetric monoidal bicategory, while the multiplicative structure forms another monoidal bicategory, and the two interact via distributivity constraints expressed as natural transformations. This definition captures the idea that both 1‑cells (objects) and 2‑cells (morphisms) participate in the ring operations, extending the usual ring concept to a higher‑categorical setting.

A 2‑module over 𝓡 is then introduced as a 𝓡‑linear 2‑functor from the one‑object bicategory associated to 𝓡 into the bicategory of abelian groups. Concretely, the objects of a 2‑module play the role of elements of an ordinary module, while the 2‑cells between objects are required to be 𝓡‑linear natural transformations. The collection of all 2‑modules, together with 2‑linear functors and modifications, forms a bicategory denoted 𝓡‑Mod. The paper carefully distinguishes vertical composition (composition of 2‑cells) and horizontal composition (composition of 1‑cells) and imposes a “interchange law” that guarantees the two compositions commute up to coherent isomorphism.

The central technical achievement is the proof that 𝓡‑Mod satisfies the axioms of a 2‑abelian category. The authors first construct direct sums, products, kernels, cokernels, images and coimages for 2‑modules, showing that these constructions behave as expected with respect to the interchange law. They then define exactness for a sequence of 2‑modules as the existence of a 2‑pullback/pushout diagram together with appropriate kernel‑cokernel pairs, and verify that every monomorphism and epimorphism in 𝓡‑Mod is normal. The proof that every short exact 2‑sequence splits when appropriate projectivity or injectivity conditions hold mirrors the classical theory but requires careful handling of 2‑cells.

In the representation‑theoretic part, the paper defines free 2‑modules over a set of generators and shows that any 2‑module admits a presentation as a coequalizer of maps between free 2‑modules, establishing a 2‑dimensional analogue of the classical presentation theorem. The authors also construct the regular representation of a 2‑ring, viewing 𝓡 itself as a 2‑module via left multiplication, and demonstrate that this representation captures the internal hom‑structure of 𝓡.

Technical appendices develop the necessary bicategorical machinery: the authors introduce “Penrose squares” and “crossed interchange squares” to formalize the coherence conditions for vertical and horizontal composition, and they define “2‑level kernels” and “2‑level cokernels” to handle exactness at the level of 2‑cells. These tools are then used to relate the new 2‑abelian framework to existing notions of 2‑homological algebra and higher‑dimensional category theory.

Finally, the paper discusses potential applications. By providing a robust higher‑categorical analogue of module theory, the results open avenues for studying higher‑dimensional algebraic structures such as 2‑algebras, 2‑Hopf algebras, and categorified representation theory. The authors suggest that the 2‑abelian category of 𝓡‑modules could serve as a natural setting for developing derived 2‑categories, higher Ext and Tor functors, and for modeling symmetries in topological quantum field theories where objects and morphisms both carry algebraic data. In summary, the work establishes a foundational bridge between classical module theory and modern higher‑category theory, offering both a conceptual framework and concrete constructions that are likely to influence future research in algebra, topology, and mathematical physics.