On the monomorphism category of n-cluster tilting subcategories

Module categories in associative algebras (16D90) Abelian categories, Grothendieck categories (18E10) Categorical algebra (18E99) Relative homological algebra, projective classes (category-theoretic aspects) (18G25)

Abstract: Let

m a t h c a l M

be an

n

-cluster tilting subcategory of

m m o d m b o x - L a m b d a

, where

L a m b d a

is an artin algebra. Let

m a t h c a l S (m a t h c a l M)

denotes the full subcategory of

m a t h c a l S (L a m b d a)

, the submodule category of

L a m b d a

, consisting of all monomorphisms in

m a t h c a l M

. We construct two functors from

m a t h c a l S (m a t h c a l M)

to

m m o d m b o x - u n d e r l i n e m a t h c a l M

, the category of finitely presented (coherent) additive contravariant functors on the stable category of

m a t h c a l M

. We show that these functors are full, dense and objective. So they induce equivalences from the quotient categories of the submodule category of

m a t h c a l M

modulo their respective kernels. Moreover, they are related by a syzygy functor on the stable category of

m m o d m b o x - u n d e r l i n e m a t h c a l M

. These functors can be considered as a higher version of the two functors studied by Ringel and Zhang [RZ] in the case

L a m b d a = k [x] / l a n g l e x^{n} a n g l e

and generalized later by Eir'{i}ksson [E] to self-injective artin algebras. Several applications will be provided.

Review text

Let \(\Lambda\) be an Artin algebra and let \(\mathcal{M}\) be an \(n\)-cluster tilting subcategory of mod-\(\Lambda\). Let \(\mathcal{S}(\mathcal{M})\) be the full subcategory of the submodule category of \(\Lambda\), denoted by \(\mathcal{S}(\Lambda)\), consisting of all monomorphisms in \(\mathcal{M}\). In this paper the authors construct two functors from \(\mathcal{S}(\mathcal{M})\) to mod-\(\underline{\mathcal{M}}\), the category of finitely presented (coherent) additive contravariant functors on the stable category of \(\mathcal{M}\). They show that these functors are full, dense, objective and, as a consequence, they induce equivalences from the quotient categories of the submodule category of \(\mathcal{M}\) modulo their respective kernels (see Corollary 4.2). As was pointed by the authors, these functors can be considered as a higher version of the two functors studied by \textit{C. M. Ringel} and \textit{P. Zhang} [Math. Z. 278, No. 1--2, 55--73 (2014; Zbl 1344.16011)] in the case \(\Lambda=k[x]/{\langle x^n \rangle}\) and generalized later by \textit{Ö. Eiríksson} [J. Algebra 486, 98--118 (2017; Zbl 1407.16005)] to self-injective Artin algebras. In the last section the auhtors provide some applications. For example: they present a duality from mod-\(\underline{\mathcal{M}}\) to \(\overline{\mathcal{M}}\)-mod; they prove a higher version of Hilton-Rees Theorem for \(n\)-cluster tilting subcategories and a higher version of Auslander's direct summand conjecture and they apply the previous results to reprove the existence of \(n\)-Auslander-Reiten translation \(\tau_n=\tau\Omega^{n-1}_{\Lambda}\) in \(n\)-cluster tilting subcategories. Finally, they establish an equivalence between the stable categories of the functors of projective dimension at most one.

Recommendations

Cites work

Cited in

(13)

This page was built for publication: On the monomorphism category of \(n\)-cluster tilting subcategories

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