A Krause-type recollement for Q-shaped derived categories

By [SV26, Remark 4.8, Example 4.18(c)], the exact category {}_{Q,A}\operatorname{Mod}_{\mathrm{os}} is Frobenius. Thus its projective and injective objects coincide.

Since every A-module is injective in the split exact structure, it follows from [SV26, Proposition 4.19] that \textup{(i)}\Leftrightarrow\textup{(vi)}, and its proof yields

whenever (i) holds. Hence \textup{(i)}\Rightarrow\textup{(iii)}\Rightarrow\textup{(ii)}. Conversely, the adjunction (E_q,G_q) shows that G_q(M) is injective in {}_{Q,A}\operatorname{Mod}_{\mathrm{os}} for every A-module M. Since products of injectives are injective, one has \textup{(ii)}\Rightarrow\textup{(i)}.

By [HJ24, Proposition 3.7 and Lemma 3.4], one has

so \textup{(ii)}\Rightarrow\textup{(iv)}. The adjunction (F_q,E_q) shows that each F_q(N) is projective in {}_{Q,A}\operatorname{Mod}_{\mathrm{os}}. Thus \textup{(iv)}\Rightarrow\textup{(i)}. Moreover, by [HJ22, Lemma 7.28] we have natural isomorphisms

Since C_p preserves direct sums, the decomposition in (iv) implies C_p(X)\cong N_p, proving \textup{(iv)}\Rightarrow\textup{(v)}. The converse is immediate.

The implication \textup{(i)}\Rightarrow\textup{(vii)} follows from projectivity. Assume (vii). We first show that each canonical quotient \pi_q:X(q)\to C_q(X) splits. Apply \operatorname{Hom}_{Q,A}(-,S_q(M)) to the canonical objectwise split exact sequence

By (vii) and the adjunction (C_q,S_q), the morphism

is surjective for every M. Taking M=C_q\mathbb K(X) shows that C_q(a) is a split monomorphism. Right exactness of C_q and [HJ22, Lemma 7.28] therefore give a split exact sequence

Choose sections s_q of \pi_q. By the adjunctions (F_q,E_q), they induce a morphism

such that C_q(\psi)=\pi_qs_q=\mathrm{Id}_{C_q(X)} under the natural identification C_q(Y)\cong C_q(X) supplied by [HJ22, Lemma 7.28]. Since C_{q} is right exact for any q\inQ, we have that C_q(\operatorname{Cok}\psi)=\operatorname{Cok} C_{q}(\psi)=0 for all q. It follows from [HJ22, Proposition 7.19] that \psi is an epimorphism.

It remains to show that \operatorname{Ker}\psi=0. Let J be an injective cogenerator of {}_{A}\operatorname{Mod}. Every extension of X by S_q(J) is objectwise split. Consequently, (vii) and the adjunction (C_q,S_q) give

Here the last isomorphism follows by applying the adjunction to a projective resolution of X and using the exactness of \operatorname{Hom}_A(-,J). Since J is a cogenerator in {}_{A}\operatorname{Mod}, one has L_1C_q(X)=0 for every q. Writing V=\operatorname{Ker}\psi. Then we have the following sequence

As C_q(\psi) is an isomorphism, C_q(V)=0 for every q, and hence V=0 by [HJ22, Proposition 7.19]. Thus \psi is an isomorphism, proving \textup{(vii)}\Rightarrow\textup{(v)}.

By Proposition 3.1, the contractible objects are precisely the projective-injective objects of {}_{Q,A}\operatorname{Mod}_{\mathrm{os}}. In particular, they are closed under direct summands. Since \mathcal K_{Q}(A) is the stable category of this Frobenius category, the quotient description follows. Moreover, X\cong0 in \mathcal K_{Q}(A) if and only if \mathrm{Id}_X belongs to [\operatorname{Ctr}_{Q}(A)]. This proves \textup{(ii)}\Leftrightarrow\textup{(iii)}.

The implication \textup{(i)}\Rightarrow\textup{(iii)} follows by factoring \mathrm{Id}_X through X itself. Conversely, assume that there are morphisms u:X\to C and v:C\to X, with C contractible, such that vu=\mathrm{Id}_X. Then v is a split epimorphism with section u, and hence C\cong X\oplus\operatorname{Ker} v in {}_{Q,A}\operatorname{Mod}. Since contractible objects are closed under direct summands, X is contractible. This proves \textup{(iii)}\Rightarrow\textup{(i)}.

Since the evaluation functor E_q is exact, its right adjoint G_q preserves injective objects. For X\in\mathscr I, each X(q) is an injective A-module. Thus \mathbb G(X)=\prod_{q\inQ}G_q(X(q)) is injective in {}_{Q,A}\operatorname{Mod}. By [HJ24, Lemma 3.4 and Proposition 3.7],

Thus \mathbb F(X) is also injective in {}_{Q,A}\operatorname{Mod}.

For every p\inQ, the functor E_p preserves injective objects because its left adjoint F_p is exact. Consequently, \mathbb F(X)(p) and \mathbb G(X)(p) are injective A-modules. The canonical objectwise split exact sequences

and

show that \mathbb K(X)(p) and \mathbb C(X)(p) are direct summands of \mathbb F(X)(p) and \mathbb G(X)(p), respectively. They are therefore injective, proving that \mathbb K(X),\mathbb C(X)\in\mathscr I.

Let 0\to X\to Y\to Z\to0 be a short exact sequence in {}_{Q,A}\operatorname{Mod} with X,Z\in\mathscr I. For every q\inQ, the evaluated sequence splits because X(q) is injective. Hence Y(q)\cong X(q)\oplus Z(q) is injective. This proves that \mathscr I is extension-closed and that the two induced exact structures coincide.

For each X\in\mathscr I, by Lemma 3.5 there are conflations

and

in \mathscr I with \mathbb F(X),\mathbb G(X)\in{}_{Q,A}\operatorname{Inj}. By Proposition 3.1, \mathbb F(X) and \mathbb G(X) are projective-injective in {}_{Q,A}\operatorname{Mod}_{\mathrm{os}}. Thus \mathscr I has enough projectives and enough injectives.

If P is projective in \mathscr I, the deflation \mathbb F(P)\to P splits, so P is a direct summand of \mathbb F(P). Similarly, every injective object J of \mathscr I is a direct summand of \mathbb G(J). Hence every projective or injective object of \mathscr I belongs to {}_{Q,A}\operatorname{Inj} by Lemma 3.5.

Conversely, let J\in{}_{Q,A}\operatorname{Inj}. Then J\in\mathscr I. The canonical monomorphism J\to\mathbb G(J) splits in {}_{Q,A}\operatorname{Mod} by injectivity of J. Consequently, J is a direct summand of the projective-injective object \mathbb G(J) and is therefore projective-injective in \mathscr I. This proves the asserted equality and shows that \mathscr I is Frobenius.

Since every object of {}_{Q,A}\operatorname{Inj} is contractible by the proof of Proposition 3.6, a factorization through an object of {}_{Q,A}\operatorname{Inj} is a factorization through a contractible object. Conversely, suppose that u:X\to Y admits a factorization u=ba with a:X\to C and b:C\to Y where C is contractible. Note that there is an inflation

in {}_{Q,A}\operatorname{Mod}_{\mathrm{os}}. Since C is an injective object in {}_{Q,A}\operatorname{Mod}_{\mathrm{os}} by Proposition 3.1, there is a morphism \widetilde a:\mathbb G(X)\to C with \widetilde a\eta_X=a. Therefore u=(b\widetilde a)\eta_X. This is the required factorization, since \mathbb G(X) is injective in {}_{Q,A}\operatorname{Mod} by Lemma 3.5.

By Proposition 3.6, the inclusion is exact and preserves projective-injective objects, hence induces a triangle functor \iota:\underline{\mathscr I}\longrightarrow\mathcal K_{Q}(A). By Lemma 3.7, the induced functor \iota is fully faithful, and its essential image is exactly \mathcal K_{Q}({}_A\operatorname{Inj}). Thus \mathcal K_{Q}({}_A\operatorname{Inj}) is triangulated, and the asserted equivalence follows.

The first isomorphism follows because \mathscr I is a full extension-closed subcate- gory of {}_{Q,A}\operatorname{Mod} with the inherited exact structure; see Proposition 3.6.

Consider the conflation 0\to Y\to \mathbb{G}(Y)\xrightarrow{p} \mathbb{C}(Y)\to0 in \mathscr I. Since \mathbb{G}(Y) is projective-injective in \mathscr I, applying \operatorname{Hom}_{\mathscr I}(X,-) gives an exact sequence

It is straightforward to check that a morphism X\to \mathbb{C} (Y) factors through a projective-injective object if and only if it factors through p as every morphism from a projective object to \mathbb{C}(Y) lifts along p. We therefore obtain natural isomorphisms

as desired.

The adjunction (I_*,f) and the full faithfulness of j_{\mathrm{inj}} give natural isomorphisms

for X\in\mathcal K_{Q}({}_A\operatorname{Inj}) and Y\in\mathcal D_{Q}(A), where we use Q_I=I_*j_{\mathrm{inj}} and f=j_{\mathrm{inj}}R_I. Thus (Q_I,R_I) is an adjoint pair. Its counit at Y identifies with the counit

of (I_*,f). Since f is fully faithful, this morphism is an isomorphism. Hence R_I is fully faithful.

By [HJ22, Theorem 4.4], the class \mathscr E is thick and contains {}_{Q,A}\operatorname{Inj}. Hence \mathscr E_{\mathrm{inj}} is extension-closed in \mathscr I and contains all its projective-injective objects.

For X\in\mathscr E_{\mathrm{inj}}, by Lemma 3.5 one has conflations

in \mathscr I with \mathbb F(X),\mathbb G(X)\in{}_{Q,A}\operatorname{Inj}. Since \mathscr E is thick, \mathbb K(X) and \mathbb C(X) also belong to \mathscr E. Thus both sequences are conflations in \mathscr E_{\mathrm{inj}}, showing that \mathscr E_{\mathrm{inj}} has enough projectives and injectives. Every projective or injective object of \mathscr E_{\mathrm{inj}} is a direct summand of one of these middle terms and therefore belongs to {}_{Q,A}\operatorname{Inj}. This proves the asserted equality and shows that \mathscr E_{\mathrm{inj}} is a Frobenius category.

By Lemma 3.7, the inclusion \mathscr E_{\mathrm{inj}}\hookrightarrow{}_{Q,A}\operatorname{Mod}_{\mathrm{os}} induces a fully faithful triangle functor \underline{\mathscr E_{\mathrm{inj}}}\to\mathcal K_{Q}(A). Its essential image is \mathcal K_{Q}^{\mathrm{ac}}({}_A\operatorname{Inj}) by definition, yielding the required triangle equivalence.

For Z\in\mathcal K_{Q}^{\mathrm{ac}}({}_A\operatorname{Inj}), Y\in\mathcal D_{Q}(A), and n\in\mathbb Z, adjunction gives

Thus \operatorname{Im}R_I\subseteq(\mathcal K_{Q}^{\mathrm{ac}}({}_A\operatorname{Inj}))^\perp.

Conversely, let X\in(\mathcal K_{Q}^{\mathrm{ac}}({}_A\operatorname{Inj}))^\perp and complete the unit to a triangle in \mathcal K_{Q}({}_A\operatorname{Inj})

Note that R_{I} is fully faithful. It follows that Q_I(\eta_X) is an isomorphism. Hence Q_I(C_X)=0, and so C_X\in\mathcal K_{Q}^{\mathrm{ac}}({}_A\operatorname{Inj}). Since X and R_IQ_I(X) belong to (\mathcal K_{Q}^{\mathrm{ac}}({}_A\operatorname{Inj}))^\perp, so does C_X. Therefore \operatorname{Hom}_{\mathcal K_{Q}({}_A\operatorname{Inj})}(C_X,C_X)=0, forcing C_X\cong0. Thus \eta_X is an isomorphism. Hence the full faithfulness of R_I gives the asserted triangle equivalence.

Let X\in{}_{Q,A}\operatorname{Mod}. For every q\inQ and every left ideal J of A, by Lemma 2.4 one has

By Baer’s criterion, these groups vanish for all q and J if and only if each X(q) is injective. Thus \mathcal S_0^{\perp_1}=\mathscr I. Furthermore, the characterization of exact objects established in the proof of [HJ24, Theorem D] gives

It follows that

Since {}_{Q,A}\operatorname{Mod} is a Grothendieck category with enough projectives, it follows from [SS11, Corollary 2.15(3)] that (\mathscr W_{\mathrm{inj}},\mathscr I) and (\mathscr U,\mathscr E_{\mathrm{inj}}) are complete cotorsion pairs generated by \mathcal S_0 and \mathcal S_1, respectively.

By Proposition 3.6, the class \mathscr I is closed under extensions and contains {}_{Q,A}\operatorname{Inj}. If

is exact with X,Y\in\mathscr I, then it is objectwise split. Hence each Z(q) is a direct summand of Y(q) and is therefore injective. Thus \mathscr I is also closed under cokernels of monomorphisms. Since \mathscr E is thick and contains {}_{Q,A}\operatorname{Inj}, the same closure properties hold for \mathscr E_{\mathrm{inj}}=\mathscr E\cap\mathscr I. It follows that the two cotorsion pairs are hereditary. The inclusion \mathscr E^{\perp_1}\subseteq\mathscr I and the cotorsion pair (\mathscr E,\mathscr E^{\perp_1}) yield

Since \operatorname{Ext}^1_{Q,A}(X,I)\cong\operatorname{Ext}^1_{\mathscr I}(X,I) for X,I\in\mathscr I by Lemma 3.9, the objects of \mathscr W_{\mathrm{inj}}\cap\mathscr I are precisely the projective objects of the exact category \mathscr I. By Proposition 3.6, we obtain that \mathscr W_{\mathrm{inj}}\cap\mathscr I=\operatorname{Prj}(\mathscr I)={}_{Q,A}\operatorname{Inj}.

Let X\in\mathscr I. Since (\mathscr U,\mathscr E_{\mathrm{inj}}) is a complete cotorsion pair by Proposition 3.14, we have two exact sequences in {}_{Q,A}\operatorname{Mod}

with Z_X,Z^X\in\mathscr E_{\mathrm{inj}} and F_X,F^X\in\mathscr U. Both sequences are objectwise split, since Z_X and X are in \mathscr I. Thus F_X(q)\cong Z_X(q)\oplus X(q) and Z^X(q)\cong X(q)\oplus F^X(q) for any q\in Q. It follows that F_X and F^X are in \mathscr I, so both belong to \mathscr F_{\mathrm{inj}}. Hence both short exact sequences are conflations in \mathscr I. Recall that

Suppose that X\in\mathscr I satisfies \operatorname{Ext}^1_{\mathscr I}(F,X)=0 for every F\in\mathscr F_{\mathrm{inj}}. The conflation 0\to X\to Z^X\to F^X\to0 splits because F^X\in\mathscr F_{\mathrm{inj}}. Thus X is a direct summand of Z^X\in\mathscr E_{\mathrm{inj}}, and hence belongs to \mathscr E_{\mathrm{inj}}. Together with the two conflations constructed above, this shows that (\mathscr F_{\mathrm{inj}},\mathscr E_{\mathrm{inj}}) is a complete cotorsion pair in \mathscr I.

It remains to prove that (\mathscr F_{\mathrm{inj}},\mathscr E_{\mathrm{inj}}) is hereditary and cohereditary. For Z\in\mathscr E_{\mathrm{inj}}, we have two conflations in \mathscr I

with \mathbb F(Z) and \mathbb G(Z) projective-injective in \mathscr I. By Lemma 3.5 and [HJ22, Theorem 4.4], we obtain that \mathbb K(Z) and \mathbb C(Z) belong to \mathscr E_{\mathrm{inj}}. Moreover, these conflations give \mathbb K(Z)\cong\Sigma^{-1}Z and \mathbb C(Z)\cong\Sigma Z in \mathcal K_{Q}({}_A\operatorname{Inj}). Now let F be in \mathscr F_{\mathrm{inj}}. By Lemma 3.5, both \mathbb K(F) and \mathbb C(F) belong to \mathscr I. It follows from Lemma 3.9 that

and

These vanishings hold for every Z\in\mathscr E_{\mathrm{inj}}, so \mathbb K(F),\mathbb C(F)\in\mathscr F_{\mathrm{inj}}. Thus \mathscr F_{\mathrm{inj}} is closed under syzygies and cosyzygies, proving that (\mathscr F_{\mathrm{inj}},\mathscr E_{\mathrm{inj}}) is hereditary and cohereditary.

By Proposition 3.15 and [SS11, Proposition 3.9], the images of \mathscr F_{\mathrm{inj}} and \mathscr E_{\mathrm{inj}} in \underline{\mathscr I} form a Bousfield localizing pair. Under \underline{\mathscr I}\simeq\mathcal K_{Q}({}_A\operatorname{Inj}), the image of \mathscr E_{\mathrm{inj}} is \mathcal K_{Q}^{\mathrm{ac}}({}_A\operatorname{Inj}), so the image of \mathscr F_{\mathrm{inj}} is its left orthogonal {}^\perp\mathcal K_{Q}^{\mathrm{ac}}({}_A\operatorname{Inj}).

Let F and F' be in {}^\perp\mathcal K_{Q}^{\mathrm{ac}}({}_A\operatorname{Inj}). Then there is a triangle in \mathcal K_{Q}({}_A\operatorname{Inj})

Since R_{I} is fully faithful, it follows that Q_{I}(C_{F'})=0, and then C_{F'}\in \mathcal K_{Q}^{\mathrm{ac}}({}_A\operatorname{Inj}). Applying \operatorname{Hom}_{\mathcal K_{Q}({}_A\operatorname{Inj})}(F,-) to the above triangle, we obtain natural isomorphisms

Thus Q_I|_{{}^\perp\mathcal K_{Q}^{\mathrm{ac}}({}_A\operatorname{Inj})} is fully faithful.

Now take Y\in \mathcal D_{Q}(A). Since ({}^\perp\mathcal K_{Q}^{\mathrm{ac}}({}_A\operatorname{Inj}),\mathcal K_{Q}^{\mathrm{ac}}({}_A\operatorname{Inj})) is a Bousfield localizing pair in \mathcal K_{Q}({}_A\operatorname{Inj}) by Corollary 3.17, there is a triangle in \mathcal K_{Q}({}_A\operatorname{Inj})

with Z\in\mathcal K_{Q}^{\mathrm{ac}}({}_A\operatorname{Inj}) and F\in{}^\perp\mathcal K_{Q}^{\mathrm{ac}}({}_A\operatorname{Inj}). Applying Q_I to the above triangle, we obtain that Q_I(\Sigma F)\cong Q_IR_I(Y)\cong Y. Note that \Sigma F\in {}^\perp\mathcal K_{Q}^{\mathrm{ac}}({}_A\operatorname{Inj}) as {}^\perp\mathcal K_{Q}^{\mathrm{ac}}({}_A\operatorname{Inj}) is a triangulated subcategory of \mathcal K_{Q}({}_A\operatorname{Inj}). It follows that Q_I|_{{}^\perp\mathcal K_{Q}^{\mathrm{ac}}({}_A\operatorname{Inj})} is essentially surjective and hence a triangle equivalence.

Let X\in\mathcal K_{Q}({}_A\operatorname{Inj}) and Y\in\mathcal D_{Q}(A). Consider the triangle

As in the proof of Theorem 3.18, C_{X}\in\mathcal K_{Q}^{\mathrm{ac}}({}_A\operatorname{Inj}). Since L_IY\in{}^\perp\mathcal K_{Q}^{\mathrm{ac}}({}_A\operatorname{Inj}), we obtain natural isomorphisms

The second isomorphism is due to that (Q_{I},R_{I}) is an adjoint pair, and the last follows by Q_IL_I\cong\operatorname{Id}_{\mathcal D_{Q}(A)}. These isomorphisms are natural in X and Y, establishing the adjunction (L_I,Q_I).

By Propositions 3.10 and 3.19, we get that (L_I,Q_I,R_I) is an adjoint triple. So we obtain the desired recollement by (the dual of) [Neeman01, Proposition 9.1.18] and the corresponding triangle equivalences.

For each q\inQ, the object F_{q}(A) has finite support by local boundedness of Q. Each value F_{q}(A)(p)=Q(q,p)\otimes_{\Bbbk}A is a finitely generated projective A-module, hence noetherian since A is left noetherian. Then any ascending chain of subobjects of F_{q}(A) therefore stabilizes at each object, and finite support ensures that the chain itself stabilizes. Thus every F_{q}(A) is noetherian. Since \{F_{q}(A)\}_{q\inQ} generate {}_{Q,A}\operatorname{Mod} by [HJ22, Proposition 3.12], it follows that {}_{Q,A}\operatorname{Mod} is locally noetherian.

Since {}_{Q,A}\operatorname{Mod} is locally noetherian, its noetherian, finitely generated, and finitely presented objects coincide; see [Stenstrom75, Chapter V, §4]. Thus (i)–(iii) are equivalent. Since every finitely generated object is a quotient of a finite direct sum of the objects F_q(A), it is noetherian and has finite support with finitely generated values. This proves \textup{(ii)}\Rightarrow\textup{(iv)}.

Suppose that (iv) holds. Since M(q) is finitely generated for each q\in\operatorname{supp} M, there is an epimorphism u_q:A^{m_q}\to M(q) with m_q finite. Under the adjunction (F_q,E_q), these maps induce a morphism

For each p\in\operatorname{supp} M, the component \phi_p satisfies \phi_p(\mathrm{id}_p\otimes v)=u_p(v), where v\in A^{m_p} and \mathrm{id}_p\otimes v lies in the summand indexed by p. Thus \phi_p is surjective, and so \phi is an epimorphism. Since \operatorname{supp} M is finite, M is finitely generated, proving (ii).

Suppose that M is finitely generated. There is an exact sequence

with P a finite direct sum of the objects F_q(A). Thus K is noetherian, hence finitely generated. Thus we have the exact sequence

Since P and K are finitely presented, both \operatorname{Hom}_{Q,A}(P,-) and \operatorname{Hom}_{Q,A}(K,-) preserve coproducts. Consequently, \operatorname{Ext}^1_{Q,A}(M,-) preserves coproducts.

Since A is left noetherian, direct sums of injective left A-modules are injective. It follows that \mathscr I is closed under coproducts. Note that {}_{Q,A}\operatorname{Mod} is a locally noetherian category by Lemma 4.3. It follows from [Stenstrom75, Proposition 4.3] that {}_{Q,A}\operatorname{Inj} is closed under coproducts. By Propositions 3.6, 3.8 and Lemma 3.7, we have \operatorname{Prj}(\mathscr I)=\operatorname{Inj}(\mathscr I)={}_{Q,A}\operatorname{Inj} and \underline{\mathscr I}\simeq\mathcal K_{Q}({}_A\operatorname{Inj}). Hence \mathcal K_{Q}({}_A\operatorname{Inj}) has arbitrary coproducts.

Since (\mathscr W_{\mathrm{inj}},\mathscr I) is a complete cotorsion pair in {}_{Q,A}\operatorname{Mod}, there is an exact sequence

with \rho M\in\mathscr I and W_M\in\mathscr W_{\mathrm{inj}}. Applying \operatorname{Hom}_{Q,A}(-,X) to (Proof), we obtain the exact sequence

Heredity makes the outer terms vanish, giving

Since \rho M,X\in\mathscr I, it follows from Lemma 3.9 that

which proves the asserted natural isomorphism.

Since (\mathscr W_{\mathrm{inj}},\mathscr I) is a complete hereditary cotorsion pair in {}_{Q,A}\operatorname{Mod} by Proposition 3.14, there is an exact sequence in {}_{Q,A}\operatorname{Mod}

with \rho M\in\mathscr I and W_M\in\mathscr W_{\mathrm{inj}} for any M\in {}_{Q,A}\operatorname{Mod}. By Proposition 4.5, one has a natural isomorphism

Thus, for M\in\mathcal N and any family \{X_i\}_{i\in I} in \mathscr I, we have

Hence every object of \mathcal G_{\mathcal N} is compact.

Suppose that X\in\mathscr I satisfies \operatorname{Hom}_{\mathcal K_{Q}({}_A\operatorname{Inj})}(G,X)=0 for every G\in\mathcal G_{\mathcal N}. The preceding isomorphisms imply that \operatorname{Ext}^1_{Q,A}(M,X)=0 for every noetherian object M\in{}_{Q,A}\operatorname{Mod}. It follows from [Krause98, Lemma 2.5] that X is injective in {}_{Q,A}\operatorname{Mod}, and hence X\simeq0 in \mathcal K_{Q}({}_A\operatorname{Inj}). Thus \mathcal G_{\mathcal N} is a set of compact generators for \mathcal K_{Q}({}_A\operatorname{Inj}). The asserted descriptions of the localizing and thick closures follow from [Neeman96, Theorem 2.1].

Define the subobject \mathfrak r N of N by

For every morphism \beta:q\to t and every \alpha\in\mathfrak r(p,q), \beta\alpha\in\mathfrak r(p,t). Hence

and so

It follows that \mathfrak rN is a subobject of N. Iterating and using \mathfrak r^d=0 gives the finite filtration

Each quotient N_j=\mathfrak r^jN/\mathfrak r^{j+1}N is noetherian. For every \alpha\in\mathfrak r(p,q),

so N_j(\alpha)=0. Thus N_j factors through Q/\mathfrak r. By the strong retraction property,

Consequently, the componentwise identity maps give an isomorphism

By Lemma 4.3, the support of N_j is finite and each N_j(q) is finitely generated over A. Hence every filtration factor has the required form.

For each q\inQ and M\in\mathcal M_A, the stalk module S_q(M) has finite support and finitely generated values. It is therefore a noetherian object of {}_{Q,A}\operatorname{Mod} by Lemma 4.3. By Theorem 4.6, \Sigma^{-1}\rho S_q(M) is compact. Since suspension preserves compact objects, every object of \mathcal G_I is compact.

To prove that \mathcal G_I generates \mathcal K_{Q}({}_A\operatorname{Inj}), let X\in\mathscr I satisfy

for all q\inQ,\ M\in\mathcal M_A,\ n\in\mathbb Z. It follows from Proposition 4.5 that

Now let N be an arbitrary noetherian object of {}_{Q,A}\operatorname{Mod}. By Lemma 4.7, there is a finite filtration

whose factors are isomorphic to finite direct sums of modules S_q(M) with q\inQ and M\in\mathcal M_A. Consequently,

Applying \operatorname{Hom}_{Q,A}(-,X) to

therefore yields an exact sequence

Starting with N^d=0, descending induction gives \operatorname{Ext}^1_{Q,A}(N,X)=0. Since this category is locally noetherian, it follows from [Krause98, Lemma 2.5] that X is injective. Hence X\cong0 in \mathcal K_{Q}({}_A\operatorname{Inj}), proving that \mathcal G_I is a set of compact generators. The descriptions of its localizing and thick closures follow from [Neeman96, Theorem 2.1].

Since Q_I preserves coproducts, its kernel \mathcal K_{Q}^{\mathrm{ac}}({}_A\operatorname{Inj}) is closed under coproducts in \mathcal K_{Q}({}_A\operatorname{Inj}). Thus coproducts in \mathcal K_{Q}^{\mathrm{ac}}({}_A\operatorname{Inj}) are computed in \mathcal K_{Q}({}_A\operatorname{Inj}), and the inclusion i_* preserves them. Since \mathcal G_I is a compact generating set for \mathcal K_{Q}({}_A\operatorname{Inj}) by Theorem 4.8, it follows that i^*G is compact in \mathcal K_{Q}^{\mathrm{ac}}({}_A\operatorname{Inj}) for each G\in \mathcal G_I. To see that i^*\mathcal G_I generates \mathcal K_{Q}^{\mathrm{ac}}({}_A\operatorname{Inj}), let Z\in\mathcal K_{Q}^{\mathrm{ac}}({}_A\operatorname{Inj}) satisfy \operatorname{Hom}_{\mathcal K_{Q}^{\mathrm{ac}}({}_A\operatorname{Inj})}(i^*G,\Sigma^nZ)=0 for all G\in\mathcal G_I and n\in\mathbb Z. Since (i^{*},i_{*}) is an adjoint pair,

Since \mathcal G_I generates \mathcal K_{Q}({}_A\operatorname{Inj}), we have i_*Z\cong0. Thus Z\cong0 as i_{*} is fully faithful. This implies that i^*\mathcal G_I generates \mathcal K_{Q}^{\mathrm{ac}}({}_A\operatorname{Inj}).

The last assertion is now an immediate consequence of [Neeman96, Theorem 2.1].

Since (\mathscr U,\mathscr E_{\mathrm{inj}}) is a complete cotorsion pair in {}_{Q,A}\operatorname{Mod} by Proposition 3.14, there is an exact sequence

with \sigma M\in\mathscr E_{\mathrm{inj}} and U_M\in\mathscr U. For Z\in\mathscr E_{\mathrm{inj}}, one has \operatorname{Ext}^1_{Q,A}(U_M,Z)=0 and \operatorname{Ext}^2_{Q,A}(U_M,Z)=0 since (\mathscr U,\mathscr E_{\mathrm{inj}}) is hereditary. Hence we get a natural isomorphism

Since \sigma M and Z are in \mathscr E_{\mathrm{inj}}\subseteq\mathscr I and \mathcal K_{Q}^{\mathrm{ac}}({}_A\operatorname{Inj}) is a triangulated subcategory of \mathcal K_{Q}({}_A\operatorname{Inj}), it follows from Lemma 3.9 that

Hence we obtain that \operatorname{Hom}_{\mathcal K_{Q}^{\mathrm{ac}}({}_A\operatorname{Inj})}(\Sigma^{-1}\sigma M,Z) \cong\operatorname{Ext}^1_{Q,A}(M,Z).

Let Z\in\mathscr E_{\mathrm{inj}}. Since (i^*,i_*) is an adjoint pair, it follows from Proposition 4.5 that

These isomorphisms are natural in Z\in \mathcal K_{Q}^{\mathrm{ac}}({}_A\operatorname{Inj}). So by Yoneda’s lemma we have \Sigma^{-1}i^*\rho M\cong\Sigma^{-1}\sigma M, and hence i^*\rho M\cong\sigma M. By Theorem 4.9, the objects i^*\rho S_q(M) form a set of compact generators for \mathcal K_{Q}^{\mathrm{ac}}({}_A\operatorname{Inj}). Replacing them by the isomorphic objects \sigma S_q(M) proves the final assertion.

Since (\mathscr W_{\mathrm{inj}},\mathscr I) is a complete hereditary cotorsion pair by Proposition 3.14, there is an exact sequence in {}_{Q,A}\operatorname{Mod}

with \rho S_q(A)\in\mathscr I and W_{S_q(A)}\in \mathscr W_{\mathrm{inj}}. Since S_q(A)\in{}^{\perp_1}\mathscr E by [HJ24, Proposition 3.2(a)] and \mathscr E_{\mathrm{inj}}\subseteq\mathscr E, it follows from Proposition 4.5 that

for every Z\in \mathscr E_{\mathrm{inj}}. Note that \mathcal K_{Q}^{\mathrm{ac}}({}_A\operatorname{Inj}) is closed under shifts. Hence \rho S_q(A)\in{}^\perp\mathcal K_{Q}^{\mathrm{ac}}({}_A\operatorname{Inj}). By [HJ24, Proposition 3.2(a)], we have \mathscr E^{\bot_{1}}\subseteq\mathscr I. Hence \mathscr W_{\mathrm{inj}}\subseteq \mathscr E, and so Q_I\rho S_q(A)\cong S_q(A) in \mathcal D_{Q}(A). By Theorem 3.18, the restriction

is a triangle equivalence with quasi-inverse L_I. The two properties above therefore give \rho S_q(A)\cong L_IQ_I\rho S_q(A)\cong L_IS_q(A) in \mathcal K_{Q}({}_A\operatorname{Inj}).

Since Q_I has a right adjoint, it preserves coproducts. Note that (L_I, Q_I) is an adjoint pair. It follows from [Krause05, Lemma 3.5] that L_I preserves compact objects. By [HJ24, Theorem D], one has

Since L_I is fully faithful and (\mathcal D_{Q}(A))^c is idempotent complete, its essential image L_I((\mathcal D_{Q}(A))^c) is thick in \mathcal K_{Q}({}_A\operatorname{Inj}). Using the isomorphisms L_IS_q(A)\cong\rho S_q(A) proved above, we obtain

Since L_I preserves compact objects, we have L_I((\mathcal D_{Q}(A))^c)\subseteq(\mathcal K_{Q}({}_A\operatorname{Inj}))^c.

By Theorem 3.20, \operatorname{Ker} i^*=\operatorname{Im} L_I, and i^* induces a triangle equivalence \mathcal K_{Q}({}_A\operatorname{Inj})/\operatorname{Im} L_I\simeq\mathcal K_{Q}^{\mathrm{ac}}({}_A\operatorname{Inj}). Since the inclusion i_*:\mathcal K_{Q}^{\mathrm{ac}}({}_A\operatorname{Inj})\to\mathcal K_{Q}({}_A\operatorname{Inj}) preserves coproducts, it follows from [Krause05, Lemma 3.5] that i^* preserves compact objects. We next show that \operatorname{Im} L_I is generated, as a localizing subcategory of \mathcal K_{Q}({}_A\operatorname{Inj}), by \{L_IS_q(A)\mid q\inQ\}. Set

Since L_I is fully faithful, \operatorname{Im} L_I is a triangulated subcategory of \mathcal K_{Q}({}_A\operatorname{Inj}). Moreover, L_I preserves coproducts, so \operatorname{Im} L_I is localizing. Note that \operatorname{Im} L_I contains L_IS_q(A) for each q\inQ. It follows that \mathcal T\subseteq\operatorname{Im} L_I. Conversely, consider the full subcategory

Then \mathcal U is a localizing subcategory of \mathcal D_{Q}(A) containing S_q(A) for each q\inQ. Since \mathcal D_{Q}(A)=\operatorname{Loc}\{S_{q}(A)\mid q\inQ\} by [HJ24, Theorem D], it follows that \mathcal U=\mathcal D_{Q}(A), proving \operatorname{Im} L_I\subseteq\mathcal T. Consequently, \operatorname{Im} L_I =\operatorname{Loc}_{\mathcal K_{Q}({}_A\operatorname{Inj})}\{L_IS_q(A)\mid q\inQ\}.

By Proposition 4.11, each L_IS_q(A) is compact in \mathcal K_{Q}({}_A\operatorname{Inj}). We now identify the objects of \operatorname{Im} L_I that are compact in \mathcal K_{Q}({}_A\operatorname{Inj}). Let X\in\operatorname{Im} L_I\cap(\mathcal K_{Q}({}_A\operatorname{Inj}))^c. Then X\cong L_I(Y) for some Y\in\mathcal D_{Q}(A). For every set-indexed family \{Y_j\}_{j\in J} in \mathcal D_{Q}(A), there are natural isomorphisms

Hence Y\in(\mathcal D_{Q}(A))^c, and therefore X\in L_I((\mathcal D_{Q}(A))^c). Conversely, if Y\in(\mathcal D_{Q}(A))^c, then L_I(Y) is compact in \mathcal K_{Q}({}_A\operatorname{Inj}) by Proposition 4.11. Thus we obtain

The \mathcal K_{Q}({}_A\operatorname{Inj}) is compactly generated by Theorem 4.6, and \operatorname{Im} L_I is the localizing subcategory generated by the compact objects L_IS_q(A). Now applying the localization theorem of Neeman- Ravenel-Thomason-Trobaugh-Yao [Neeman92, Theorem 2.1], there is a fully faithful triangle functor

such that every object of (\mathcal K_{Q}({}_A\operatorname{Inj})/\operatorname{Im} L_I)^c is a direct summand of an object in its image. Using the equivalence \mathcal K_{Q}({}_A\operatorname{Inj})/\operatorname{Im} L_I\simeq\mathcal K_{Q}^{\mathrm{ac}}({}_A\operatorname{Inj}) induced by i^* and the preceding identification of \operatorname{Im} L_I\cap(\mathcal K_{Q}({}_A\operatorname{Inj}))^c, this is the asserted functor \overline{i^*}. The description of its action on \rho S_q(M) follows from Proposition 4.10.

By [HJ24, Theorem E], finite left global dimension implies \mathscr E^{\perp_1}=\mathscr I. Consequently

Its stable category is zero. Equivalently, the kernel of Q_I is zero. The quotient equivalence \mathcal K_{Q}({}_A\operatorname{Inj})/\mathcal K_{Q}^{\mathrm{ac}}({}_A\operatorname{Inj})\simeq\mathcal D_{Q}(A) in Theorem 3.20 therefore makes Q_I a triangle equivalence. This also recovers [SV26, Corollary 6.13].