Table of Contents
Fetching ...

Exactness of cochain complexes via additive functors

Federico Campanini, Alberto Facchini

TL;DR

This work analyzes $e$-exactness of cochain complexes over rings and its relationship to the spectral-category functor $P$ and singular-torsion localization. It establishes precise correspondences between $e$-exactness in $ ext{Mod-}R$ and exactness in the spectral category and extends homological lemmas to noncommutative settings using a Goodearl-type localization, while generalizing the framework via Gabriel topologies to define $ rak{F}$-exactness. A key negative result shows that no additive functor to an abelian category can capture $e$-exactness exactly in general, highlighting intrinsic limitations of functorial detection. The paper clarifies the hierarchy between $e$-exactness and $ rak{G}$-exactness, providing noncommutative localization tools and a unified approach to exactness under localization and Gabriel topologies.

Abstract

We investigate the relation between the notion of $e$-exactness, recently introduced by Akray and Zebary, and some functors naturally related to it, such as the functor $P\colon\operatorname{Mod} R\to \operatorname{Spec}(\operatorname{Mod} R)$, where $\operatorname{Spec}(\operatorname{Mod} R)$ denotes the spectral category of $\operatorname{Mod} R$, and the localization functor with respect to the singular torsion theory.

Exactness of cochain complexes via additive functors

TL;DR

This work analyzes -exactness of cochain complexes over rings and its relationship to the spectral-category functor and singular-torsion localization. It establishes precise correspondences between -exactness in and exactness in the spectral category and extends homological lemmas to noncommutative settings using a Goodearl-type localization, while generalizing the framework via Gabriel topologies to define -exactness. A key negative result shows that no additive functor to an abelian category can capture -exactness exactly in general, highlighting intrinsic limitations of functorial detection. The paper clarifies the hierarchy between -exactness and -exactness, providing noncommutative localization tools and a unified approach to exactness under localization and Gabriel topologies.

Abstract

We investigate the relation between the notion of -exactness, recently introduced by Akray and Zebary, and some functors naturally related to it, such as the functor , where denotes the spectral category of , and the localization functor with respect to the singular torsion theory.

Paper Structure

This paper contains 4 sections, 14 theorems, 6 equations.

Key Result

Lemma 2.1

Let $M^{i-1}\stackrel{f^{i-1}}{\longrightarrow}M^i\stackrel{f^i}{\longrightarrow}M^{i+1}$ be a cochain complex of right $R$-modules and right $R$-module morphisms. The following conditions are equivalent: (a) The sequence is exact in $\operatorname{Spec}(\operatorname{Mod-\!} R)$. (b) If $C_R$ is a complement of $\ker(f^{i-1})$ in $M^{i-1}$, then $f^{i-1}(C_R)$ is essential in $\ker(f^i)$.

Theorems & Definitions (24)

  • Definition 1.1
  • Lemma 2.1
  • proof
  • Proposition 2.2
  • Corollary 2.3
  • Proposition 3.1
  • Proposition 3.2
  • Proposition 3.3
  • Lemma 3.4
  • proof
  • ...and 14 more