Relative contravariantly finite subcategories and relative tilting modules

TL;DR

This paper explores the correspondence between tilting modules over a finite dimensional algebra and its endomorphism algebra, establishing bijections under certain conditions, and linking subcategories with tilting modules.

Contribution

It establishes new one-to-one correspondences between tilting modules and subcategories over an algebra and its endomorphism algebra, especially for Gorenstein and replicated algebras.

Findings

Bijective correspondence between basic T-tilting modules in T^{ot} and tilting modules in ^{ot}(D_T B)

Correspondence between T-contravariantly finite T-resolving subcategories and T-tilting modules

Results apply to 1-Gorenstein and m-replicated algebras over hereditary algebras

Abstract

Let $A$ be a finite dimensional algebra over an algebraically closed field $k$. Let $T$ be a tilting $A$-module and $B={\rm End}_A\ T$ be the endomorphism algebra of $T$. In this paper, we consider the correspondence between the tilting $A$-modules and the tilting $B$-modules, and we prove that there is a one-one correspondence between the basic $T$-tilting $A$-modules in $T^{\perp}$ and the basic tilting $B$-modules in $^{\perp}(D_BT)$. Moreover, we show that there is a one-one correspondence between the $T$-contravariantly finite $T$-resolving subcategories of $T^{\perp}$ and the basic $T$-tilting $A$-modules contained in $T^{\perp}$. As an application, we show that there is a one-one correspondence between the basic tilting $A$-modules in $T^{\perp}$ and the basic tilting $B$-modules in $^{\perp}(D_BT)$ if $A$ is a $1$-Gorenstein algebra or a $m$-replicated algebra over a finite dimensional hereditary algebra.