On faithfully balanced modules, F-cotilting and F-Auslander algebras

TL;DR

This paper explores faithfully balanced modules and their connections to F-cotilting and F-Auslander algebras, introducing new classes and relative homological algebra concepts with significant theoretical implications.

Contribution

It introduces the concept of 1-F-faithful modules, extends classical correspondences to a relative setting, and generalizes cotilting theory within the framework of faithfully balanced modules.

Findings

Characterization of modules over endomorphism rings of faithfully balanced modules

Development of relative (higher) Auslander and cotilting correspondences

Introduction of new classes of faithfully balanced modules combining cogenerators and cotilting modules

Abstract

We revisit faithfully balanced modules. These are faithful modules having the double centralizer property. For finite-dimensional algebras our main tool is the category ${\rm cogen}^1(M)$ of modules with a copresentation by summands of finite sums of $M$ on which ${\rm Hom}(-,M)$ is exact. For a faithfully balanced module $M$ the functor ${\rm Hom}(-,M)$ is a duality on these categories - for cotilting modules this is the Brenner-Butler theorem. We also study new classes of faithfully balanced modules combining cogenerators and cotilting modules. Then we turn to relative homological algebra in the sense of Auslander-Solberg and define a relative version of faithfully balancedness which we call $1$-$\mathbf{F}$-faithful. We find relative versions of the best known classes of faithfully balanced modules (including (co)generators ,(co)tilting and cluster tilting modules). Here we characterize the corresponding modules over the endomorphism ring of the faithfully balanced module - this is what we call a \emph{correspondence}. Two highlights are the relative (higher) Auslander correspondence and the relative cotilting correspondence - the second is a generalization of a relative cotilting correspondence of Auslander-Solberg to an involution (as the usual cotilting correspondence is).