English

From objects finitely presented by a rigid object in a triangulated category to 2-term complexes

Representation Theory 2025-09-11 v1 Category Theory

Abstract

For a rigid object MM in an algebraic triangulated category T\mathcal{T}, a functor pr(M)H[1,0](projA)(M)\to\mathcal{H}^{[-1,0]}({\rm proj}\, A) is constructed, which essentially takes an object to its `presentation', where pr(M)(M) is the full subcategory of T\mathcal{T} of objects finitely presented by MM, AA is the endomorphism algebra of MM and H[1,0](projA)\mathcal{H}^{[-1,0]}({\rm proj}\, A) is the homotopy category of complexes of finitely projective AA-modules concentrated in degrees 1-1 and 00. This functor is shown to be full and dense and its kernel is described. It detects isomorphisms, indecomposability and extriangles. In the Hom-finite case, it induces a bijection from the set of isomorphism classes of basic relative cluster-tilting objects of pr(M)(M) to that of basic silting complexs of H[1,0](projA)\mathcal{H}^{[-1,0]}({\rm proj}\, A), which commutes with mutations. These results are applied to cluster categories of self-injective quivers with potential to recover a theorem of Mizuno on the endomorphism algebras of certain 2-term silting complexes. As an interesting consequence of the main results, if T\mathcal{T} is a 2-Calabi--Yau triangulated category and MM is a cluster-tilting object such that AA is self-injective, then P\mathbb{P} is an equivalence, in particular, H[1,0](projA)\mathcal{H}^{[-1,0]}({\rm proj}\, A) admits a triangle structure. In the appendix by Iyama it is shown that for a finite-dimensional algebra AA, if H[1,0](projA)\mathcal{H}^{[-1,0]}({\rm proj}\, A) admits a triangle structure, then AA is necessarily self-injective.

Keywords

Cite

@article{arxiv.2509.08246,
  title  = {From objects finitely presented by a rigid object in a triangulated category to 2-term complexes},
  author = {Dong Yang},
  journal= {arXiv preprint arXiv:2509.08246},
  year   = {2025}
}

Comments

36 pages

R2 v1 2026-07-01T05:29:26.656Z