A note on abelian envelopes

Abstract.

This is a short note bridging the gap between two notions of universal abelian categories associated to exact categories, namely, Rump’s quotient categories and Bodzenta-Bondal’s abelian envelopes. The established connection allows us to draw several easy conclusions, in particular, we answer some (technical) questions raised by Bodzenta and Bondal in [2].

1. Introduction

In [13] Rump defines the left (resp. right) quotient category $Q_{l}(\EuScript E)$ (resp. $Q_{r}(\EuScript E)$) for any exact category $\EuScript E$. More generally, he considers left (right) exact categories, which are defined by imposing only half of the axioms of the usual definition, see Section 2 for details. The category $Q_{l}(\EuScript E)$ comes with an exact full embedding $i_{l}:\EuScript E\to Q_{l}(\EuScript E)$ and is left abelian (a natural “one-sided” generalisation of the notion of abelian categories). It was shown in [13] that $Q_{l}(\EuScript E)$ together with $i_{l}$ is universal among left abelian categories $\EuScript A$ and right exact functors $\EuScript E\to\EuScript A$, see Theorem 2.6 for the precise statement. In [2] Bodzenta and Bondal defined right (resp. left) abelian envelopes $\EuScript A_{r}(\EuScript E)$ (resp. $\EuScript A_{l}(\EuScript E)$) of exact categories. By definition, a right abelian envelope $\EuScript A_{r}(\EuScript E)$ of an exact category $\EuScript E$ is an abelian category together with a right exact functor $\EuScript E\to\EuScript A_{r}(\EuScript E)$, satisfying a universal property for all abelian categories $\EuScript A$ and right exact functors $\EuScript E\to\EuScript A$ (Definition 3.1). Unlike Rump’s quotient categories, abelian envelopes do not always exist.

Even though the definitions look quite similar, the precise relation between the two notions is not immediately clear. For any exact category $\EuScript E$, it is evident (see [2]) from the two universal properties that $\EuScript A_{r}(\EuScript E)$ exists and coincides with $Q_{l}(\EuScript E)$ if the latter is abelian. The main conclusion of this note is that the converse also holds, i.e. if $\EuScript A_{r}(\EuScript E)$ exists then $Q_{l}(\EuScript E)$ is abelian and they coincide. We make this connection via the explicit description of right abelian envelopes obtained by Bodzenta and Bondal. Namely, they show that $\EuScript A_{r}(\EuScript E)$, if exists, is isomorphic to the subcategory of compact objects ${\mathrm{Lex}}(\EuScript E)^{c}$ of left exact contravariant functors from $\EuScript E$ to abelian groups ${\mathrm{Ab}}$. Here we observe that ${\mathrm{Lex}}(\EuScript E)^{c}$ is always left abelian and together with the Yoneda embedding $i:\EuScript E\to{\mathrm{Lex}}(\EuScript E)^{c}$ it satisfies the universal property of $Q_{l}(\EuScript E)$ for any exact category $\EuScript E$. It follows in particular that the universal functor $i_{R}:\EuScript E\to\EuScript A_{r}(\EuScript E)$ is always fully faithful and exact (not only right exact), which answers the questions in Remark 4.6 and after Example 4.7 in [2].

It is worth noting that although abelian envelopes of [2] essentially turn out to be a special case of Rump’s quotient categories, this special case has many advantages, e.g. when considering derived categories (some of this is also discussed in [14]). We end the note with some simple applications and examples.

Acknowledgements. I would like to express my gratitude to Michel Van den Bergh and Alexey Bondal for many interesting and helpful discussions.

1.1. Conventions.

Throughout the note we will assume that all categories are skeletally small. All general “one-sided” (e.g. about right abelian envelopes) statements have natural dual counterparts which we do not mention.

2. Preliminaries and Rump’s quotient categories

We recall the definitions of left exact and left abelian categories.

Definition 2.1.

A left exact category is an additive category with a distinguished class of cokernels (deflations) satisfying the following properties:

1. The class of deflations is closed under compositions and contains identity morphisms.

2. The pullback of a deflation along any morphism exists and is again a deflation.

3. If the composition $A\xrightarrow{f}B\xrightarrow{g}C$ is a deflation and $g$ has a kernel, then $g$ is a deflation.

Kernels of deflations will be referred to as inflations. A kernel-cokernel pair consisting of an inflation and a deflation is called a conflation.

Definition 2.2.

An additive category $\mathcal{A}$ with cokernels is said to be left abelian if for every $f:A\to B$, $g:D\to B$ with $cg=0$, $c:={\mathrm{coker}}(f)$, there exists a cokernel $d:E\to D$ such that $gd$ factors through $f$.

Dually one can define right exact and right abelian categories. Note that a category is abelian if and only if it is right and left abelian. An exact category in the sense of Quillen [10] is the same as a left and right exact category.

Definition 2.3.

An additive functor $F:\EuScript E\to\mathcal{D}$ from a left exact category to an additive category is said to be right exact if $F(g)={\mathrm{coker}}F(f)$ for every conflation ${A\xhookrightarrow{f}B\xrightarrow[]{g}\mathrel{\mkern-14.0mu}\rightarrow C}$ in $\EuScript E$. An additive functor $F:\EuScript E\to\mathcal{D}$ from a right exact category to an additive category is left exact if ${F^{op}:\EuScript E^{op}\to\mathcal{D}^{op}}$ is right exact.

Let $\EuScript E$ be an additive category. By $\mathop{\mathrm{mod}}\nolimits(\EuScript E)$ we denote the category of additive contravariant functors ${F:\EuScript E^{op}\to{\mathrm{Ab}}}$ admitting a presentation

$${\mathrm{Hom}}_{\EuScript E}(-,X)\xrightarrow{f}{\mathrm{Hom}}_{\EuScript E}(-,Y)\twoheadrightarrow F\to 0$$

for some morphism $f:X\to Y$ in $\EuScript E$. If $\EuScript E$ is a left exact category, denote by ${\mathrm{def}}(\EuScript E)$ the full subcategory of $\mathop{\mathrm{mod}}\nolimits(\EuScript E)$ of functors of the form $F={\mathrm{coker}}({\mathrm{Hom}}(-,f))$ with $f$ a deflation in $\EuScript E$.

One can show that $\mathop{\mathrm{mod}}\nolimits(\EuScript E)$ is a left abelian category and ${\mathrm{def}}(\EuScript E)$ is a thick subcategory of $\mathop{\mathrm{mod}}\nolimits(\EuScript E)$, i.e. a Serre subcategory closed under subobjects and epimorphic images, for any left exact category $\EuScript E$. The localization theory for left abelian categories developed by Rump [11], [13] allows to define the quotient, which is again a left abelian category:

Definition 2.4 (Rump, [13]).

The left quotient category $Q_{l}(\EuScript E)$ of $\EuScript E$ is defined by

$$Q_{l}(\EuScript E):=\mathop{\mathrm{mod}}\nolimits(\EuScript E)/{\mathrm{def}}(\EuScript E)$$

Proposition 2.5 (Rump, [13], Proposition 5).

The Yoneda embedding $\EuScript E\hookrightarrow\mathop{\mathrm{mod}}\nolimits(\EuScript E)$ induces an exact full embedding $i:\EuScript E\hookrightarrow Q_{l}(\EuScript E)$ which reflects conflations.

Left quotient categories satisfy the following universal property.

Theorem 2.6 (Rump, [13], Corollary 2 of Proposition 6).

For any left exact category $\EuScript E$ and any left abelian category $\mathcal{A}$, the embedding $i:\EuScript E\hookrightarrow Q_{l}(\EuScript E)$ induces an equivalence of categories

$$(-)\circ i:{\mathrm{Fun}}_{{\mathrm{coker}}\mapsto{\mathrm{coker}}}(Q_{l}(\EuScript E),\mathcal{A})\xrightarrow{\cong}{\mathrm{Rex}}(\EuScript E,\mathcal{A})$$

where by ${\mathrm{Fun}}_{{\mathrm{coker}}\mapsto{\mathrm{coker}}}$ we denote the category of additive functors respecting cokernels and by ${\mathrm{Rex}}$ the category of right exact functors.

Remark 2.7.

Note that ${\mathrm{Fun}}_{{\mathrm{coker}}\mapsto{\mathrm{coker}}}(\mathcal{B},\mathcal{C})={\mathrm{Rex}}(\mathcal{B},\mathcal{C})$ if $\mathcal{B}$ and $\mathcal{C}$ are abelian.

The key to proving this universal property is the fact that the left abelian category $Q_{l}(\EuScript E)$ together with the full embedding $i$ is a dense extension of $\EuScript E$.

Definition 2.8 (Rump, [13], Definition 3).

Let $\EuScript E$ be a left exact category. A right exact full embedding of $\EuScript E$ into an additive category $i:\EuScript E\to\mathcal{A}$ is a dense extension if every object $A\in\mathcal{A}$ has a presentation $E_{0}\xrightarrow{e}E_{1}\xrightarrow{p}A\to 0$ with $E_{0},E_{1}\in\EuScript E$, $p={\mathrm{coker}}(e)$, such that it satisfies the following two proprieties:

1. For every morphism $f:E\to A$ with $E\in\EuScript E$ there is a deflation $d:E^{\prime}\twoheadrightarrow E$ in $\EuScript E$ such that $fd$ factors through $p$.

2. For every morphism $f:E\to E_{1}$ such that $pf=0$ there exists a deflation $d:E^{\prime}\twoheadrightarrow E$ in $\EuScript E$ such that $fd$ factors through $e$.

A presentation satisfying these conditions will be referred to as a left exact presentation.

Rump establishes the following fact which we will use later.

Theorem 2.9 (Rump, [13], Corollary 5 of Proposition 6).

Let $\EuScript E$ be a left exact category. Then the left quotient category $\EuScript E\hookrightarrow Q_{l}(\EuScript E)$ is a dense extension of $\EuScript E$. Moreover, it is unique among dense extensions with cokernels in the following sense. If $i:\EuScript E\hookrightarrow\mathcal{A}$ is a dense extension of $\EuScript E$ with cokernels, then there is a unique equivalence $\varphi:\mathcal{A}\xrightarrow{\simeq}Q_{l}(\EuScript E)$ making the diagram commute:

3. Connection to abelian envelopes of Bodzenta and Bondal

Now we recall the definition of right abelian envelopes of exact categories.

Definition 3.1 (Bodzenta-Bondal, [2]).

Let $\EuScript E$ be an exact category. A right abelian envelope of $\EuScript E$ is an abelian category $\EuScript A_{r}(\EuScript E)$ together with a right exact functor $i_{R}:\EuScript E\to\EuScript A_{r}(\EuScript E)$ such that for any abelian category $\mathcal{B}$ there is an equivalence of categories:

$$(-)\circ i_{R}:{\mathrm{Rex}}(\EuScript A_{r}(\EuScript E),\mathcal{B})\xrightarrow{\cong}{\mathrm{Rex}}(\EuScript E,\mathcal{B})$$

Left abelian envelopes are defined dually. Unlike the quotient categories of Rump, right/left abelian envelopes do not always exist.

Definition 3.2.

An object $X$ of a category $\mathcal{C}$ is compact (also finitely presented in the literature) if $Hom_{\mathcal{C}}(X,-)$ commutes with all filtered colimits.

The following facts were established in [2]:

Proposition 3.3 ([2], Lemma 4.5 and the discussion after the definition of envelopes).

Let $\EuScript E$ be an exact category.

1. If the left quotient category $Q_{l}(\EuScript E)$ is abelian, then the right abelian envelope $\EuScript A_{r}(\EuScript E)$ exists and coincides with $Q_{l}(\EuScript E)$.

2. Let ${\mathrm{Lex}}(\EuScript E):={\mathrm{Lex}}(\EuScript E^{op},{\mathrm{Ab}})$ be the category of contravariant left exact functors from $\EuScript E$ to the category ${\mathrm{Ab}}$ of abelian groups. Denote by ${\mathrm{Lex}}(\EuScript E)^{c}$ the subcategory of compact objects in ${\mathrm{Lex}}(\EuScript E)$. If $\EuScript A_{r}(\EuScript E)$ exists, then it is equivalent to ${\mathrm{Lex}}(\EuScript E)^{c}$. Moreover, the functor $i_{R}$ is faithful.

It is remarked, however, that the authors do not know whether the functor $i_{R}$ in 2) composed with the natural embedding of compact objects ${\mathrm{Lex}}(\EuScript E)^{c}\hookrightarrow{\mathrm{Lex}}(\EuScript E)$ is the Yoneda embedding $Y_{\EuScript}E:\EuScript E\hookrightarrow{\mathrm{Lex}}(\EuScript E)$. Indeed, this follows from their proof only provided that $i_{R}$ is full, but this is also stated as unknown. In addition, it is natural to ask if $\EuScript A_{r}(\EuScript E)$ always exists when the category ${\mathrm{Lex}}(\EuScript E)^{c}$ is abelian. We answer these questions by establishing a more precise connection between Bodzenta-Bondal’s abelian envelopes and Rump’s quotient categories:

Theorem 3.4.

Let $\EuScript E$ be an exact category. Then the category ${\mathrm{Lex}}(\EuScript E)^{c}$ together with the Yoneda embedding $Y_{\EuScript}E$ is equivalent to the left quotient category $Q_{l}(\EuScript E)$.

Note that it is claimed in particular that the Yoneda embedding $Y_{\EuScript}E:\EuScript E\to{\mathrm{Lex}}(\EuScript E)^{c}$ maps $\EuScript E$ to compact objects in ${\mathrm{Lex}}(\EuScript E)$ (this will be explained later). We conclude:

Corollary 3.5.

The following are equivalent for any exact category $\EuScript E$.

1. $\EuScript A_{r}(\EuScript E)$ exists.

2. $Q_{l}(\EuScript E)$ is abelian.

3. ${\mathrm{Lex}}(\EuScript E)^{c}$ is abelian.

In this case the universal functor $i_{R}:\EuScript E\to\EuScript A_{r}(\EuScript E)$ is the Yoneda embedding $Y_{\EuScript}E:\EuScript E\to{\mathrm{Lex}}(\EuScript E)^{c}$. In particular, $i_{R}$ is exact and fully faithful.

Remark 3.6.

1. Theorem 3.4 claims that $\mathop{\mathrm{mod}}\nolimits(\EuScript E)/{\mathrm{def}}(\EuScript E)\cong{\mathrm{Lex}}(\EuScript E)^{c}$ for any exact category $\EuScript E$. One can also show this directly. Let us sketch the argument in the case when $\mathop{\mathrm{mod}}\nolimits(\EuScript E)$ is abelian (equivalently, when $\EuScript E$ has weak kernels, see the discussion after Definition 3.13). Recall that ${\mathrm{Lex}}(\EuScript E)$ is the quotient of the category of all additive contravariant functors ${\mathrm{Mod}}(\EuScript E)$ from $\EuScript E$ to ${\mathrm{Ab}}$ by the Serre subcategory of weakly effaceable functors ${\mathrm{Eff}}(\EuScript E)$, see e.g. [8]. By the discussion after Theorem 3.9, any compact object in both ${\mathrm{Mod}}(\EuScript E)$ and ${\mathrm{Lex}}(\EuScript E)$ is the cokernel of a morphism in $\EuScript E$. Hence the localisation functor, which is an equivalence on $\EuScript E$, induces an exact essentially surjective functor ${Q:\mathop{\mathrm{mod}}\nolimits(\EuScript E)\cong({\mathrm{Mod}}{\EuScript E})^{c}\to{\mathrm{Lex}}(\EuScript E)^{c}}$. It is known that ${\mathrm{Eff}}(\EuScript E)\cap\mathop{\mathrm{mod}}\nolimits(\EuScript E)={\mathrm{def}}(\EuScript E)$ (e.g. [5], Proposition 3.20 and [15], Lemma 9). Thus the kernel of $Q$ is ${\mathrm{def}}(\EuScript E)$.

2. Let ${\mathrm{lex}}(\EuScript E)$ be the full subcategory of $\mathop{\mathrm{mod}}\nolimits(\EuScript E)$ consisting of left exact functors. We warn the reader that ${\mathrm{lex}}(\EuScript E)$ is not necessarily equivalent to ${\mathrm{Lex}}(\EuScript E)^{c}$ even when $\EuScript E$ has weak kernels. To be more precise, in this case ${\mathrm{lex}}(\EuScript E)$ is the subcategory of ${\mathrm{def}}(\EuScript E)$-closed objects in $\mathop{\mathrm{mod}}\nolimits(\EuScript E)$, i.e. ${\mathrm{lex}}(\EuScript E)=\{X\in\mathop{\mathrm{mod}}\nolimits(\EuScript E)\ |\ {\mathrm{Hom}}({\mathrm{def}}(\EuScript E),X)=\mathop{\mathrm{Ext}}\nolimits^{1}({\mathrm{def}}(\EuScript E),X)=0\}$ (see [9], Proposition 2.8). Hence, if we assume additionally that the localisation functor $L:\mathop{\mathrm{mod}}\nolimits(\EuScript E)\to\mathop{\mathrm{mod}}\nolimits(\EuScript E)/{\mathrm{def}}(\EuScript E)$ has a right adjoint, then $\mathop{\mathrm{mod}}\nolimits(\EuScript E)/{\mathrm{def}}(\EuScript E)\cong{\mathrm{lex}}(\EuScript E)$. However, this is not always the case ([Ibid., Example 2.10]). Note that if $\EuScript E$ has enough projectives, then $L$ indeed has a right adjoint ([Ibid., Proposition 2.17]).

3. Note an immediately consequence of the fact that the universal functors $i_{R}:\EuScript E\to\EuScript A_{r}(\EuScript E)$, $i_{L}:\EuScript E\to\EuScript A_{l}(\EuScript E)$ are exact and not only right and left exact respectively. Namely, if $\EuScript E$ has both abelian envelopes, then the two universal properties give rise to a pair of adjoint functors between $\EuScript A_{r}(\EuScript E)$ and $\EuScript A_{l}(\EuScript E)$ (see also [14]).

We will need some basic facts about Grothendieck categories and compact objects in the proof of Theorem 3.4.

Definition 3.7.

A category $\mathcal{A}$ is locally finitely presented if it has filtered colimits, the full subcategory of compact objects $\mathcal{A}^{c}$ is skeletally small and every object of $\mathcal{A}$ is a filtered colimit of compact objects. A Grothendieck category is an abelian category which has a generator and small colimits and satisfies (AB5), i.e. small filtered colimits of exact sequences are exact.

Remark 3.8.

An abelian category is locally finitely presented if and only if it is a Grothendieck category with a generating set of compact objects (see [3], Satz 1.5, [4], 2.4).

Theorem 3.9 (Breitsprecher, [3], Satz 1.11).

Let $\mathcal{C}$ be a locally finitely presented Grothendieck category and $\mathcal{S}\subset\mathcal{C}$ a class of compact generators. Then $X\in\mathcal{C}$ is compact if and only if there is a presentation $\bigoplus_{i=0}^{n}S_{i}\to\bigoplus_{i=0}^{m}S_{i}^{\prime}\to X\to 0$ with $S_{i},S_{i}^{\prime}\in\mathcal{S}$.

Let $\EuScript E$ be an exact category. It is well known that ${\mathrm{Lex}}(\EuScript E)$ is a Grothendieck category and the Yoneda functor $Y_{\EuScript}E:\EuScript E\to{\mathrm{Lex}}(\EuScript E)$, sending $E\in\EuScript E$ to ${\mathrm{Hom}}_{\EuScript E}(-,E)$, is fully faithful and exact. One can show that $\EuScript E$ is a class of compact generators of ${\mathrm{Lex}}(\EuScript E)$. The fact that representable functors are compact follows from the fact that they are compact in ${\mathrm{Mod}}(\EuScript E)$ and the subcategory ${\mathrm{Lex}}(\EuScript E)$ is closed under filtered colimits (see e.g. [7]). In particular, the Yoneda embedding $Y_{\EuScript}E$ maps $\EuScript E$ into ${\mathrm{Lex}}(\EuScript E)^{c}$ and every object of ${\mathrm{Lex}}(\EuScript E)^{c}$ is the cokernel of a morphism in $\EuScript E$ by Theorem 3.9.

Proposition 3.10 (e.g. Lowen-Kaledin, [7], Proposition 2.17).

Let $\EuScript E$ be an exact category. Let $p:X\twoheadrightarrow E$ be an epimorphism in ${\mathrm{Lex}}(\EuScript E)$ with $E\in\EuScript E$. Then there exist $E^{\prime}\in\EuScript E$ and a morphism $g:E^{\prime}\to X$ in ${\mathrm{Lex}}(\EuScript E)$ such that the composition $fg:E^{\prime}\twoheadrightarrow E$ is again an epimorphism.

The following result implies that ${\mathrm{Lex}}(\EuScript E)^{c}$ is left abelian for any exact category $\EuScript E$.

Theorem 3.11 (Breitsprecher [3], see also Crawley-Boevey [4], Rump [12]).

Let $\mathcal{A}$ be an additive locally finitely presented category. Then $\mathcal{A}$ is abelian if and only if $\mathcal{A}^{c}$ is left abelian.

Proof of Theorem 3.4.

Since the category ${\mathrm{Lex}}(\EuScript E)^{c}$ has cokernels, due to Theorem 2.9 it is sufficient to show that $Y_{\EuScript}E:\EuScript E\to{\mathrm{Lex}}(\EuScript E)^{c}$ is a dense extension. As discussed above, every $X\in{\mathrm{Lex}}(\EuScript E)^{c}$ has a presentation

$$E_{0}\xrightarrow{a}E_{1}\xrightarrow{p}X\to 0$$

with $E_{0},E_{1}\in\EuScript E$. One can show that this is always a left exact presentation, i.e. it satisfies the two conditions in the definition of a dense extension. Indeed, let $f:E\to X$ be a morphism with $E\in\EuScript E$. Consider the pullback of $p$ and $f$ in the ambient abelian category ${\mathrm{Lex}}(\EuScript E)$. Since $p$ is an epimorphism, so is its pullback $q:Y\to E$. By Proposition 3.10 there exist $E^{\prime}\in\EuScript E$ and a morphism $t:E^{\prime}\to Y$ such that $d:=qt$ is again an epimorphism. Observe that $d$ is the desired deflation. The second condition is easily established in the same fashion.

∎

Remark 3.12.

It is also possible to show that $Y_{\EuScript}E:\EuScript E\to{\mathrm{Lex}}(\EuScript E)^{c}$ satisfies the universal property of Theorem 2.6 directly. The proof would be essentially the same as Rump’s proof for $Q_{l}(\EuScript E)$ in [13].

Let us now discuss the conditions on $\EuScript E$ under which it possesses a right/left abelian envelope.

Definition 3.13 (Rump, [14], Definition 3).

Let $\EuScript E$ be a left exact category. A morphism $g:C\to B$ in $\EuScript E$ is said to be an Ext-kernel of $f:B\to A$ if $fg=0$ and for any $g^{\prime}:C^{\prime}\to B$ such that $fg^{\prime}=0$ there exists a deflation $d:D\to C^{\prime}$ such $g^{\prime}d$ factors through $g$.

A left exact category $\EuScript E$ is said to be left Ext-coherent if every morphism in $\EuScript E$ has an Ext-kernel.

Dually one can define Ext-cokernels and right Ext-coherent categories. Recall that $g:C\to B$ is called a weak kernel of $f:B\to A$ if $fg=0$ and every $g^{\prime}$ with $fg^{\prime}=0$ factors through $g$. An additive category with weak kernels is called left coherent (in the literature the name right coherent is commonly used, but here we consistently follow the conventions of Rump). Unlike Ext-coherence, this property does not depend on an exact structure. Now thanks to the following result we can add another equivalent condition to the list in Corollary 3.5:

Theorem 3.14 (Rump, [14], Proposition 6).

Let $\EuScript E$ be an exact category. Then $Q_{l}(\EuScript E)$ is abelian (i.e. $\EuScript A_{r}(\EuScript E)$ exists) if and only if $\EuScript E$ is left Ext-coherent.

Let us state a few immediate corollaries.

Theorem 3.15.

1. Let $(\EuScript E,\epsilon)$ be an exact category, where $\epsilon$ denotes the class of conflations. Let $(\EuScript E,\epsilon^{\prime})$ be an exact category with the same underlying additive category $\EuScript E$, but a stronger exact structure, i.e. $\epsilon\subseteq\epsilon^{\prime}$. If $(\EuScript E,\epsilon)$ possess a right abelian envelope, then so does $(\EuScript E,\epsilon^{\prime})$.

2. If $\EuScript E$ is left coherent, then $\EuScript E$ has a right abelian envelope (for the case of the split exact structure this is stated in [2], Proposition 4.14).

3. Let $\EuScript E$ be an additive category with the split exact structure. Then $\EuScript E$ has a right abelian envelope if and only if it is left coherent.

Proof.

1. Indeed, this is an immediate consequence of Theorem 3.14, since adding more deflations can only create more Ext-kernels.

2. A weak kernel is always an Ext-kernel, so left coherent categories are left Ext-coherent. Another way to see it is by observing that if $\EuScript E$ is left-coherent, then $Q_{l}(\EuScript E)$ is abelian as a quotient of the abelian category $\mathop{\mathrm{mod}}\nolimits(\EuScript E)$ by a Serre subcategory.

3. Observe that for $\EuScript E$ endowed with the split exact structure, Ext-kernels are exactly the same as weak kernels.

∎

4. Examples

Proposition 4.1.

1. Let $R$ be a commutative local Cohen-Macauley ring. Then the category of maximal Cohen-Macauley modules ${\mathrm{MCM}}(R)$ has both a right and a left abelian envelope for any exact structure.

2. Let $X$ be a noetherian scheme with a resolution property (i.e. every coherent sheaf is a quotient of a locally free one). Let $\EuScript E:={\mathrm{Bun}}(X)$ be the category of locally free sheaves on $X$, considered as a fully exact subcategory of ${\mathrm{Coh}}(X)$. The category $\EuScript E$ has a right abelian envelope, namely, ${\mathrm{Coh}}(X)$. The category ${\mathrm{Bun}}(X)$ endowed with any stronger exact structure (e.g. obtained by removing points from $X$) also possess a right abelian envelope.

3. Let $X$ be a smooth projective variety with $\dim(X)=1$ or $2$. Then the category ${\mathrm{Bun}}(X)$ of locally free sheaves has a right abelian envelope when endowed with any exact structure. On the other hand, for $\dim(X)\geq 3$ this is not true in general, e.g. for $X=\mathbb{P}^{3}$.

4. Let $X$ be a smooth projective variety. Consider the subcategory $\EuScript E$ of ${\mathrm{Bun}}(X)$ consisting of bundles of the form $\bigoplus_{i}\mathcal{O}_{X}(i)^{d_{i}}$. One can show that $\EuScript E$, unlike ${\mathrm{Bun}}(X)$, is always left coherent, hence it has a right abelian envelope with any exact structure. In particular,

   $$\EuScript A_{r}(\EuScript E,\epsilon_{\text{split}})=\mathop{\mathrm{mod}}\nolimits(\EuScript E)\cong\mathop{\mathrm{mod}}\nolimits_{fp}(R_{X})\cong{\mathrm{Coh}}_{\mathrm{k}^{*}}(\mathbb{A}X)$$

   where $R_{X}$ denotes the homogeneous coordinate ring of $X$ and ${\mathrm{Coh}}_{k^{*}}(\mathbb{A}X)$ the category of equivariant sheaves on the affine cone over $X$. Note that the right abelian envelope of $\EuScript E$ with the exact structure inherited from ${\mathrm{Coh}}(X)$ is again ${\mathrm{Coh}}(X)$ because any coherent sheaf is a quotient of a vector bundle from $\EuScript E$ (see [2], Theorem 4.11).

Proof.

1. This follows from Theorem 3.15.2) and the fact that ${\mathrm{MCM}}(R)$ has weak kernels and cokernels. The latter is established by Holm in [6], Proposition 4.2, basing on Auslander-Buchweitz’s maximal Cohen–Macaulay approximations [1].

2. The fact that $\EuScript A_{r}(\EuScript E)={\mathrm{Coh}}(X)$ when $\EuScript E$ is endowed with the geometric exact structure is Corollary 4.12 of [2]. The rest follows from Theorem 3.15.1).

3. For $\dim(X)=1$ or $2$, the category ${\mathrm{Bun}}(X)$ has kernels, hence it possesses a right abelian envelope for any exact structure. On the other hand, the category ${\mathrm{Bun}}(\mathbb{P}^{3})$ does not have weak kernels (Bondal-Pavlov, via private communication). Hence, by Theorem 3.15.3), it has no right abelian envelope when considered with the split exact structure.

∎

Remark 4.2.

I would like to thank Alexey Bondal for drawing my attention to the fact that ${\mathrm{Bun}}(\mathbb{P}^{3})$ does not have weak kernels.