The Auslander-Gruson-Jensen recollement

Abstract: For any ring

R

, the Auslander-Gruson-Jensen functor is the exact contravariant functor

extsf{D}_A: extsf{fp}( extsf{Mod}(R), extsf{Ab})longrightarrow( extsf{mod}(R^{op}), extsf{Ab})

sending representable functors

(X, h s p a c e 0.05 c m u n d e r l i n e h s p a c e 0.1 c m)

to tensor functors

X o t i m e s h s p a c e 0.05 c m u n d e r l i n e h s p a c e 0.1 c m

. We show that this functor admits a fully faithful left adjoint

e x t s f D_{L}

and a fully faithful right adjoint

e x t s f D_{R}

. The left adjoint

extsf{D}_L:( extsf{mod}(R^{op}), extsf{Ab})longrightarrow extsf{fp}( extsf{Mod}(R), extsf{Ab})

induces an equivalence of categories

frac{ extsf{fp}( extsf{Mod}(R), extsf{Ab})}{{F | extsf{D}_A F=0}}cong( extsf{mod}(R^{op}), extsf{Ab})^{op}

where

F | e x t s f D_{A} F = 0

is the Serre subcategory of

e x t s f f p (e x t s f M o d (R), e x t s f A b)

consisting of all functors

F

arising from pure exact sequences. As a result, the functor

e x t s f D_{A}

is seen to be a Serre localization functor. The right adjoint

extsf{D}_R:( extsf{mod}(R^{op}), extsf{Ab})longrightarrow extsf{fp}( extsf{Mod}(R), extsf{Ab})

together with

e x t s f D_{A}

restricts to the well known Auslander-Gruson-Jensen duality.

Cites Work

Cited In (3)

This page was built for publication: The Auslander-Gruson-Jensen recollement