Pith. sign in

REVIEW

Completeness of the induced cotorsion pairs in functor categories

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2102.05826 v4 pith:WSWWW4T7 submitted 2021-02-11 math.RT math.KT

classification math.RTmath.KT
keywords cotorsionpairrespcategorycompleteconditionshereditaryinduced
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

This paper focuses on a question raised by Holm and J{\o}rgensen, who asked if the induced cotorsion pairs $(\Phi({\sf X}),\Phi({\sf X})^{\perp})$ and $(^{\perp}\Psi({\sf Y}),\Psi({\sf Y}))$ in $\mathrm{Rep}(Q,{\sf{A}})$ -- the category of all $\sf{A}$-valued representations of a quiver $Q$ -- are complete whenever $(\sf X,\sf Y)$ is a complete cotorsion pair in an abelian category $\sf{A}$ satisfying some mild conditions. Recently, Odaba\c{s}{\i} gave an affirmative answer if the quiver $Q$ is rooted and the cotorsion pair $(\sf X,\sf Y)$ is further hereditary. In this paper, we improve Odaba\c{s}{\i}'s work by removing the hereditary assumption on the cotorsion pair. As an application, we show under certain mild conditions that if a subcategory $\sf L$, which is not necessarily closed under direct summands, of $\sf A$ is special precovering (resp., preenveloping), then $\Phi(\sf L)$ (resp., $\Psi(\sf L)$) is special precovering (resp., preenveloping) in $\mathrm{Rep}(Q,{\sf{A}})$.

Discussion (0). Continue with ORCID to comment.

Pith tools