Local Abelian Envelopes in Homological Algebra

• Local abelian envelopes are categorical constructions that embed exact categories into locally presentable abelian categories to extend universal homological methods.
• They utilize techniques such as Bodzenta–Bondal’s abelian envelopes and Rump’s one-sided Grothendieck quotients to secure universal cover and envelope properties.
• These envelopes enable effective gluing, descent, and cotorsion theory applications in settings like coherent sheaves and contramodules.

A local abelian envelope is a categorical construction whereby an exact or additive category is naturally embedded into a locally presentable abelian category, such that universal properties or existence results for covers, envelopes, and cotorsion theories—typically available in module categories and Grothendieck abelian categories—extend “locally” to settings such as schemes or stacks of categories. This notion generalizes abelianization and exact completion, and critically facilitates cotorsion-theoretic and homological algebraic methods in non-Grothendieck settings such as categories of contramodules or coherent sheaves. Canonical constructions include Bodzenta–Bondal’s abelian envelopes and Rump’s one-sided Grothendieck quotients, which coincide under mild exactness or coherence hypotheses (Positselski et al., 2015, Nordskova, 2024).

1. Definitions and Universal Properties

Let $\mathcal E$ be an exact category in Quillen’s sense. A right abelian envelope of $\mathcal E$ (in the sense of Bodzenta–Bondal) consists of an abelian category $\mathcal A$ and a right-exact functor $i_R : \mathcal E \to \mathcal A$ such that, for any abelian category $\mathcal B$, pre-composition with $i_R$ yields an equivalence between the category of exact additive functors from $\mathcal A$ to $\mathcal B$ and the category of right-exact additive functors from $\mathcal E$ to $\mathcal B$.

Rump’s quotient construction produces an abelian category $$Q_\ell(\mathcal E) = \mathrm{mod}\text{-}\mathcal E / L_1(\mathcal E)$$, where $L_1(\mathcal E)$ is the Serre (thick) subcategory generated by cokernels of representables on deflations. The Yoneda embedding $\mathcal E \to \mathrm{mod}\text{-}\mathcal E$ factors through $Q_\ell(\mathcal E)$, which, when it is abelian, satisfies the same universal property as the Bodzenta–Bondal envelope.

The coincidence of the two constructions is established under the condition that the subcategory of compact objects in the functor category $$\mathrm{Lex}(\mathcal E^{\mathrm{op}}, \mathrm{Ab})^c$$ is abelian, i.e., $${}_r(\mathcal E) \cong Q_\ell(\mathcal E) \cong \mathrm{Lex}(\mathcal E^{\mathrm{op}}, \mathrm{Ab})^c$$ (Nordskova, 2024).

2. Local Presentability and Abelian Structure

A category $\mathcal K$ is locally $\lambda$-presentable if it is cocomplete, contains a small full subcategory of $\lambda$-presentable objects, and every object is a $\lambda$-filtered colimit of such objects. In the abelian setting (locally presentable abelian category), kernels, cokernels, and all exact structure are compatible with this presentation. All $\lambda$-filtered colimits are exact, and cocomplete abelian categories with $\lambda$-filtered exact colimits and a set of generators of size $<\!\lambda$ are automatically locally presentable.

Grothendieck abelian categories are always locally presentable for some $\lambda$; in contrast, many categories of algebraic and topological interest (e.g., contramodules) are locally presentable but not Grothendieck (Positselski et al., 2015).

3. Construction Techniques for Abelian Envelopes

The fundamental approach for building local abelian envelopes involves embedding an exact category into an abelian functor category and forming a Serre quotient. For $\mathcal E$ exact, the Grothendieck category $$\mathrm{Lex}(\mathcal E^{\mathrm{op}}, \mathrm{Ab})$$ of left-exact additive functors serves as a universal receptacle, with its compact objects forming the minimal abelian envelope. Alternatively, $\mathrm{mod}\text{-}\mathcal E / S$ (with $S$ the Serre subcategory generated by cokernels of representables on conflations) has the analogous universal property (Nordskova, 2024).

When working locally (e.g., with open covers $U \subset X$), the assignment $U \mapsto \mathrm{AbEnv}(\mathcal E(U))$ yields a stack of abelian categories, since Serre quotients and compactification are compatible with localization and fpqc descent.

4. Existence Results for Covers and Cotorsion Envelopes

In any locally presentable abelian category, special envelopes exist for subcategories that are accessible and closed under directed colimits. Cotorsion theory $(\mathcal F, \mathcal C)$, generated by a set, admits covers and envelopes provided every object is a quotient of some $F \in \mathcal F$ and monomorphisms are preserved under colimits. The Eklof–Trlifaj completeness theorem ensures that such cotorsion theories, generated by sets, yield envelopes and covers for all objects (Positselski et al., 2015).

For contramodules over a topological ring, flat and cotorsion contramodules form a complete cotorsion pair: every contramodule has both a flat cover and a cotorsion envelope. These results are deconstructible and parallel classical module theory. If the hypothesis (“every object is a subobject of some cotorsion object”) fails, envelopes may not exist, as demonstrated in principal ideal completions without nontrivial injectives (Positselski et al., 2015).

5. Local Gluing and Geometric Applications

Local abelian envelope constructions are compatible with localization, descent, and gluing. For schemes $X$, the exact category $\mathcal E_X$ of locally free sheaves admits a right abelian envelope coinciding with the category of coherent sheaves on $X$, and this sheaf of abelian categories glues under the Zariski and fpqc topologies. More generally, for any presheaf of exact categories $U \mapsto \mathcal E(U)$ satisfying fpqc descent, $U \mapsto \mathrm{AbEnv}(\mathcal E(U))$ forms a stack of abelian categories (Nordskova, 2024).

This perspective has implications for the recovery of module categories from finitely presented projectives, and for algebraic monads, where embedding into a locally presentable abelian envelope generalizes classical abelianization far beyond split exact structures.

6. Comparison to Classical Abelianization and Future Directions

In Grothendieck categories or $R\text{-}\mathrm{Mod}$, the existence of enough injectives and purity under colimits make the formation of covers and envelopes straightforward. The two main complementary methods in the locally presentable case are the Bican–El Bashir approach (construct covers via accessibility and colimit closure) and the Eklof–Trlifaj method (cotorsion-theoretic, small-object argument). Many abelian categories of interest—contramodules, coherent sheaves, functor categories—fall outside classical Grothendieck framework and require careful verification of presentability, colimit exactness, and closure properties for existence results to hold.

A plausible implication is that the machinery of local abelian envelopes enables generalization of homological algebra methods and cotorsion theory to settings previously inaccessible by classical abelianization, thus broadening the scope of derived and triangulated functor techniques throughout algebraic geometry, noncommutative geometry, and categorical representation theory (Positselski et al., 2015, Nordskova, 2024).