K -Groups of Trivial Extensions and Gluings of Abelian Categories

: This paper focuses on the K i -groups of two types of extensions of abelian categories, which are the trivial extension and the gluing of abelian categories. We prove that, under some conditions, K i -groups of a certian subcategory of the trivial extension category is isomorphic to K i -groups of the similar subcategory of the original category. Moreover, under some conditions, we show that the K i -groups of a left (right) gluing of two abelian categories are isomorphic to the direct sum of K i -groups of two abelian categories. As their applications, we obtain some results of the K i -groups of the trivial extension of a ring by a bimodule ( i ∈ N ).


Introduction
K-theory plays an important role in many fields of mathematics and physics, such as algebraic topology, algebraic geometry, operator algebra, and Type II string theory. It also can be used in classical mathematics [1][2][3]. In 1973, Quillen [4] introduced the notion of K i -groups of an exact category. Since the category whose objects are all the finite generated projective modules over a ring is an exact category, K i -groups of a ring is defined by K i -groups of this exact category, which is one of the useful tools for the study of rings.
In studies of the category of perverse sheaves on a singular space, Beilinson, Bernstein and Deligne [5] introduced the gluing (recollement) of triangulated categories. Given a gluing (recollement) of triangulated categories and t-structures of the triangulated categories in the gluing, they found that the hearts of the t-structures also had the relation similar to the gluing of the triangulated categories under some conditions [5]. It is known that the heart of a t-structure is an abelian category. Since the gluing (recollement) of triangulated categories is widely used, it is interesting to define and study a gluing of abelian categories. Then, Franjou and Pirashvili defined and studied the gluing of abelian categories in detail [6]. A representative construction of a gluing of abelian categories was given by Macphersion and Vilonen [7], called the MV-construction for short in this paper.
Fossum and Griffith [8] defined and studied the right (left) trivial extension of an abelian category by an endofunctor. Applying the research conclusions, they get some conclusions of a trivial extension of a ring by a bimodule.
We realized that the study of categories can be applied in the study of some specific objects. For example, the modules over a ring form an abelian category, of which the research conclusions can be used in the research of the rings and modules. The main difficulty in dealing with certain objects is finding the proper categorical way to view them [9][10][11].
In this paper, we intend to study K i -groups of two kinds of the extension categories, the trivial extension category and the gluing of categories. Compared with the original category, the structure of extension categories is more complex. If we can find out the relation between K i -groups of the extension categories and K i -groups of the original categories, it will be helpful for applying the research of K i -groups of the original categories to study K i -groups of the extension categories. Inspired by the above statement, we will study the relation between K i -groups of the two extension categories and K i -groups of the original category . It is known that comma category is an example of the trivial extension category (the gluing of categories). Hence, applying the research conclusions, we can get some more complete conclusions about the K i -groups of comma category. This paper is organized as follows. Let i be a natural number, C be an abelian category, F be a right exact endofunctor of C , and C F be the right trivial extension of C by F (see Definition 1). We denote by P(C ) the full subcategory of C whose objects are projective and finitely generated by the set U in C . In Section 2, we recall the definitons and some properties of the trivial extension category and the gluing of categories. In Section 3, we obtain that K 0 (P(C F)) is isomorphic to K 0 (P(C )). In Theorem 2, we show that K i (P(C F)) are isomorphic to K i (P(C )) under some conditions (i ≥ 1). Then we apply our results to deduce the conclusions about the K i -groups of comma category. In Section 4, under some conditions, we obtain that the K i -groups of a left (right) gluing of two abelian categories are isomorphic to the direct sum of the K i -groups of the two abelian categories. Finally, in Section 5, we apply our results to deduce the following results about the K igroups of a trivial extension of a ring by a bimodule. For a ring R and an R-R-bimodule M,

Preliminaries
In this section, we recall the definitions and some results of a right trivial extension category and a gluing of categories.
Without special introduction, we use Quillen's definitions of the K i -groups [4], and the exact categories considered are all assumed to be small, thereby making the K i -groups defined (In fact, if the exact category can be equivalent to a small subcategory, the K i -groups are also defined [4] Page 103).
First, we introduce the definition of a right trivial extension category, which is called the trivial extension category for short in this paper.

Definition 1 ([8]
). Let C be an additive category and F : C −→ C be an additive functor. The right trivial extension of C by F, denoted by C F, is defined as follows.
An object in C F is a morphism α : F(A) −→ A for an object A in C such that αF(α) = 0. For two objects α :

Remark 1 ([8]).
(1) If C is an abelian category and F is a right exact endofunctor of C , then C F is an abelian category.
(2) Let R be a ring and M be an R-R-bimodule. Let F be the tensor product functor M⊗ R -. It is known that (R-Mod) F and (R M)-Mod are isomorphic.
The following lemma is crucial to study the K i -groups of the trivial extension category.

Lemma 1 ([8]
). Let C be an abelian category and F be a right exact endofunctor of C . The tensor . Next we recall the definition of a comma category as follows [8].

Definition 2.
Let A and B be abelian categories and F : A −→ B be an additive functor. The comma category (F, B) is the category whose objects are triples (A,B, f ) where f : F(A) −→ B is a morphism in B and whose morphisms are pairs
Finally, we recall the definition and some results of a gluing of categories.

Definition 3 ([6]
). Let D , D and D be abelian categories. We call D a gluing of D and D , if there exist six additive functors which satisfy the following conditions: (g2) the functors i * , j ! , and j * are fully faithful; (g3) Im(i * ) = Ker(j * ). These notations will be kept throughout this paper.

Remark 3 ([6]
). Let F : D −→ D be a right exact functor. Take ξ : F −→ 0 to be the natural transformation to the trivial functor. It was denoted by D F D the gluing of D and D obtained through MV-construction by F, 0 and ξ. Obviously, D F D is a comma category. Dually, let G : D −→ D be a left exact functor. Take ξ : 0 −→ G to be a natural transformation . It was denoted by D G D the gluing of D and D obtained through MV-construction by 0, G and ξ . Obviously, D G D is also a comma category.

The K-Groups of the Trivial Extension Category
In this section, we discuss the relation between the K i -groups of P(C F) and the K i -groups of P(C ), for i ≥ 0. Before proving the theorem, we show a lemma.

Lemma 2. Let A and B be objects in C . Then
Next, we recall two results of the trivial extension category [8].

Lemma 4.
If an object P is projective in C (resp.C F), then the object T(P)(resp. C(P)) is projective in C F (resp.C ).
Consequently, an object P is projective in C F if and only if the following conclusions both are true: (1) the object C(P) is projective in C and (2) P ∼ = T(C(P)).
Let U be a set of some objects in C and T be the set {T(U) ∈ C F|U ∈ U }. We denote by P(C ) the full subcategory of C whose objects are projective and finitely generated by U in C , and by P(C F) the full subcategory of C F whose objects are projective and finitely generated by T in C F. Obviously, P(C ) and P(C F) are exact categories. Now, we study the K 0 -group of the category P(C F).

Theorem 1.
Let C be an abelian category and F : C −→ C be a right exact functor. Then K 0 (P(C )) ∼ = K 0 (P(C F)).
Proof. Firstly, for P ∈obj P(C ), we denote by < P > the isomorphism class {P |P ∈ obj P(C ), P ∼ = P}, where P ∈ obj P(C ). Let L be the free abelian group with the basis {< P > | P ∈ obj P(C )} and L 0 be the subgroup of L spanned by the set Denote by H the free abelian group with the basis { < P > | P ∈ obj P(C F)}. By Lemmas 2 and 4, since T and C are right exact and CT = id, every isomorphism class of objects in P(C F) can be denoted by < T(P) >, where P ∈ obj P(C ). It yields that We denote by H 0 the subgroup of H spanned by the set It is obvious that K 0 (P(C F)) ∼ = H/H 0 . Secondly, by Lemma 2, we define a free abelian group isomorphism It induces an epimorphism ϕ : Finally, we claim that L 0 = Ker(ϕ). In fact, for each ρ ∈ Ker ϕ, ϕ(ρ) = 0. Hence Next, we consider the K i -groups of P(C F) by another method (i ≥ 1). We denote by P ∞ (C F) the full subcategory of C F whose objects have a finite resolution whose terms are in P(C F). Obviously, P ∞ (C F) is an exact category. Theorem 2. Let C be an abelian category and F : C −→ C be a right exact functor. If the following condictions are satisfied: Proof. Firstly, consider P ∈ P(C ). There is an epimorphism 1≤i≤n U i −→ P where U i ∈ U . Since T is a right functor, 1≤i≤n T(U i ) −→ T(P) is an epimorphism. By Lemma 4, T(P) ∈ P(C F). Consider α ∈ P(C F). There is an epimorphism 1≤i≤n T(U i ) −→ α where U i ∈ U . According to that C is a right functor and CT = id, we obtain that 1≤i≤n U i −→ C(α) is an epimorphism. By Lemma 4, C(α) ∈ P(C ). So two functors T : P(C ) −→ P(C F) and C : P(C F) −→ P(C ) are exact.
Next, let A and B be abelian categories and F : A −→ B be a right exact functor. Let U A and U B be the sets of some objects in A and B respectively, T be the set {T((A, B))|(A, B) ∈ U A × U B }. We denote by P(A × B) the full subcategory of A × B whose objects are projective and finitely generated by U A × U B in A × B and by P ((F, B)) the full subcategory of (F, B) whose objects are projective and finitely generated by T in (F, B). Obviously, P(A × B) = P(A ) × P(B). P(A × B) and P((F, B)) are exact categories. Now , by Remark 2 and Theorems 1 and 2, we get some results about the comma category. Corollary 1. K 0 ( P((F, B))) ∼ = K 0 (P(A )) ⊕ K 0 (P(B)).

Corollary 2.
If F(P) has a finite resolution whose terms are in P(B) for every P ∈ obj P(A ), then K i (P(A )) ⊕K i (P(B)) is isomorphic to K i (P((F, B))).(i ≥ 1)

The K -Groups of a Gluing of Abelian Categories
It is known that the comma category is also an example of a gluing of abelian categories. In this section, we will study the relation between the K i -groups of a gluing of abelian categories and the K i -groups of the abelian categories. Then we give the applications to the comma category.
For convenience, throughout this section we assume that categories are abelian and small. In order to describe the relation among the K i -groups of abelian categories in the gluing more precisely, we introduce here two weaker forms of the gluing of abelian categories given as follows: A left gluing of abelian categories consists of three categories D, D , D and four functors i * , i * , j ! , j ! in (2), (denoted by D D D ), satisfying the conditions (lg1) (i * , i * ) and (j ! , j ! ) are adjoint pairs, (lg2) i * and j ! are fully faithful functors and (lg3) Im (i * ) = Ker(j ! ); A right gluing of abelian categories consists of three categories D, D , D and four functors i ! , i ! , j * , j * in (2), (denoted by D D D ), satisfying the conditions (rg1) (i ! , i ! ) and (j * , j * ) are adjoint pairs, (rg2) i ! and j * are fully faithful functors and (rg3) Im(i ! ) =Ker(j * ). Now let us discuss the relation between the K i -groups of a left (right) gluing of abelian categories and the K i -groups of the abelian categories (i ≥ 0).

Theorem 3.
If a left gluing of abelian categories D D D makes i * and j ! left exact, j ! and i * right exact, then K i (D ) Dually, if a right gluing of abelian categories D D D makes j * and i ! left exact, i ! and j * right exact, then K i (D ) Proof. For a left gluing of abelian categories D D D , since (i * , i * ) and (j ! , j ! ) are adjoint pairs with the functor i * and j ! left exact, j ! and i * right exact, then i * , j ! , j ! and i * are all exact. Thus we define two abelian group homomorphisms and Recall that i * and j ! are fully faithful functors. So j ! j ! ∼ = id D and i * i * ∼ = id D . According we prove that Moreover, since there is an exact sequence of functors 0 −→ j ! j ! −→ id D −→ i * i * −→ 0, by [4], Page 106, Corollary 1 we obtain that K i (i * )K i (i * ) + K i (j ! )K i (j ! ) = id. Hence . The dual conclusion is similarly proved.
Let's give an example to show that the isomorphism doesn't necessarily hold if there are no conditions. Example 1. Let k be an algebraically closed field. Consider the path algebras ( [12], Page 43). A = kQ 3 , B = kQ 2 and C = kQ 1 where the quiver Q 3 is 1 α −→ 2 β −→ 3, the quiver Q 2 is 1 α −→ 2 and the quiver Q 1 is 1. Let A , B and C respectively be the Auslander algebras ( [12], Page 419) of A, B and C. Since A can be seen as a upper triangular matrix algebra B P 0 C where P is the projective B-module, A-mod is a gluing of C-mod and B-mod. We note [13] that A -mod is a gluing of C -mod and B -mod. It is known that For the further research, let us show the properties of the gluing D F D of abelian categories D and D derived from the MV-construction. (1) i ! and j * are exact functors; (2) for any object (X, Proof. (1) is obvious. By the MV-construction it is easy to prove (2). In fact, for each (X, V, α) ∈ objD F D , it is easy to check that the diagram is commutative with the bottom row 0 → (0, V) → (X, 0) → 0 exact in D × D . Hence by Lemma 3 we get that is an exact sequence in D F D .
Dually, there are similar results about the gluing D G D . By Theorem 3 and Lemma 5, we obtain the following result.
Moreover, by Corollary 3 and Remark 3, we apply the above conclusion to get the following result about the comma category.  ((F, B)).
If D has enough injective objects and satisfies that i * j * = 0, by Proposition 8.9 in [6] there is an equivalence of abelian categories D D i ! j ! D . So we can get the following conclusion.

Corollary 5.
Let D be a gluing of D and D . If D has enough injective objects and satisfies that i * j * = 0, then K i (D ) ⊕ K i (D ) ∼ = K i (D ); Dually, if D has enough projective objects and satisfies that i ! j ! = 0, then K i (D ) ⊕ K i (D ) ∼ = K i (D ).
Proof. Since there is an equivalence of abelian categories D D i ! j ! D , by Corollary 3, . The dual conclusion is similarly proved.

Examples and Applications
In this section, we give some applications about the K i -groups and G i -groups of the trivial extension ring (i ≥ 0).
Throughout this section, we assume that a ring R is associative and with an identity. All the modules will be left modules. We denote by R-Mod the category of left modules over a ring R and by R-mod the full subcategory of R-Mod whose objects are finitely generated left R-modules. is the full subcategory of R-Mod whose objects are finitely generated projective R-modules and P(R M-Mod) is the full subcategory of R M-Mod whose objects are finitely generated projective R M-modules. P ∞ (R M-Mod) is the full subcategory of R M-Mod whose objects have a finite resolution whose terms are in P(R M-Mod). Note that K i (R) K i (P(R-Mod)) and G i (R) K i (R-mod). Then by the Theorems 1 and 2, we get the following conclusions.
Finally, we give an application about the G i -groups of the triangular matrix ring. Proof. Let F be the functor S M R ⊗ −. Applying the finitely generated left S-module S M R yields that F preserves the finitely generated modules. Then F : R-mod−→ S-mod is defined. Furthermore, since R and S are noetherian rings and bimodule S M R is a finitely generated left S-module, Λ is also a noetherian ring. Hence R-mod, S-mod and Λ-mod are abelian and Λ-mod ∼ = (F, (S-mod)). So, by Corollary 4 we prove that K i (R-mod)⊕K i (Smod) ∼ = K i ((F, (S-mod))) ∼ = K i (Λ-mod). So G i (Λ) ∼ = G 0 (R) ⊕ G i (S).

Conclusions
The study of higher K-groups is a hot issue, but it is difficult to perform. In this paper, we mainly use the category theory to study the relation between K i -groups of the two extension categories and K i -groups of the original category. We show the invariance under some conditions. Since a comma category is an example of the trivial extension category (the gluing of categories), we also show the invariance about K i -groups of the comma category. Finally, we apply to deduce the results about the K i -groups of a trivial extension ring. Are there any other applications? We know that there are many other extension categories, so how about their K i -groups? In furure work, we will aim to focus on them.