Applications of the defect of a finitely presented functor

DOI10.1016/J.JALGEBRA.2016.07.016MaRDI QIDQ306531zbMATH OpenOpenAlexFDO

Authors Jeremy Russell

Publication date 31 August 2016

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1211.0054

zbMATH Keywords

almost split sequencescategorical algebracoherent functorsderived functorsfinitely presented functorsinjective stabilization

Mathematics Subject Classification ID

Special properties of functors (faithful, full, etc.) (18A22) Functor categories, comma categories (18A25)

Abstract: For an abelian category $mathcalA$, the defect sequence ${\displaystyle }$0longrightarrow F_0longrightarrow Foverset{varphi}{longrightarrow} �ig(w(F),hspace{0.05cm}underline{ }hspace{0.1cm} �ig)longrightarrow F_1longrightarrow 0${\displaystyle }$ of a finitely presented functor is used to establish the CoYoneda Lemma. An application of this result is the $extsffp$-dual formula which states that for any covariant finitely presented functor $F$, $$. The defect sequence is shown to be isomorphic to both the double dual sequence ${\displaystyle }$0longrightarrow extsf{Ext}^1( extsf{Tr} F, extsf{Hom})longrightarrow Flongrightarrow F^{**}longrightarrow extsf{Ext}^2( extsf{Tr} F, extsf{Hom})longrightarrow 0${\displaystyle }$ and the injective stabilization sequence ${\displaystyle }$0longrightarrow overline{F}longrightarrow Flongrightarrow R^0Flongrightarrow ilde Flongrightarrow 0${\displaystyle }$ establishing the $extsffp$-injective stabilization formula $overlineFcongextsf{Ext}^1(extsfTrF,extsfHom)$ for any finitely presented functor $F$. The injectives of $extsffp(extsfMod(R),extsfAb)$ are used to compute the left derived functors $L^k(hspace0.05cmunderlinehspace0.1cm{)}^{\ast }$. These functors are shown to detect certain short exact sequences.

Recommendations

• The defect functor of a homomorphism and direct unions
• A short proof for Auslander's defect formula.
• Functors on locally finitely presented additive categories
• Calculation of derived functors via Ind-categories
• The cotorsion pair cogenerated by the subcategory of stable functors in \(((R\text{-mod})^{\mathrm{op}},\mathrm{Ab})\)

Cites work

• Bifunctors and Adjoint Pairs
• Coherent functors
• Des catégories abéliennes
• scientific article; zbMATH DE number 3125399 (Why is no real title available?)
• scientific article; zbMATH DE number 3764123 (Why is no real title available?)
• scientific article; zbMATH DE number 3517355 (Why is no real title available?)
• scientific article; zbMATH DE number 195199 (Why is no real title available?)
• scientific article; zbMATH DE number 3305162 (Why is no real title available?)
• Morphisms determined by objects and flat covers
• Purity, spectra and localisation.
• Representation theory of artin algebras iii almost split sequences
• Stable module theory
• T.T.F. theories for left and right exact sequences
• The tensor product of functors; satellites; and derived functors

Cited in

(12)

• Derived recollements and generalised AR formulas
• The defect recollement, the MacPherson-Vilonen construction, and pp formulas
• The Auslander-Reiten formula on finitely presented functor categories
• On finitary functors and their presentations
• Injective stabilization of additive functors. I. Preliminaries
• The defect functor of a homomorphism and direct unions
• Models for functor categories over self-injective quivers
• Generalized tilting theory in functor categories
• An abelian ambient category for behaviors in algebraic systems theory
• A functorial approach to n-abelian categories
• The finite presentation of the stable Hom functors, the Bass torsion, and the cotorsion coradical
• The defect, the Malgrange functor, and linear control systems

This page was built for publication: Applications of the defect of a finitely presented functor

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q306531)