Applications of the defect of a finitely presented functor

DOI10.1016/J.JALGEBRA.2016.07.016zbMATH Open1375.18011arXiv1211.0054OpenAlexW2963272668MaRDI QIDQ306531FDOQ306531

Authors: Jeremy Russell 

Publication date: 31 August 2016

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

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.

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

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})\)

zbMATH Keywords

derived functorsalmost split sequencescategorical algebracoherent functorsfinitely presented functorsinjective stabilization

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Des catégories abéliennes
• Stable module theory
• Coherent functors
• Purity, spectra and localisation.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Morphisms determined by objects and flat covers
• Title not available (Why is that?)
• Bifunctors and Adjoint Pairs
• T.T.F. theories for left and right exact sequences
• The tensor product of functors; satellites; and derived functors
• Representation theory of artin algebras iii almost split sequences

Cited In (9)

• Models for functor categories over self-injective quivers
• The defect functor of a homomorphism and direct unions
• The defect recollement, the MacPherson-Vilonen construction, and pp formulas
• An abelian ambient category for behaviors in algebraic systems theory
• Derived recollements and generalised AR formulas
• The Auslander-Reiten formula on finitely presented functor categories
• Injective stabilization of additive functors. I. Preliminaries
• Generalized tilting theory in functor categories
• On finitary functors and their presentations

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)