Exact categories, big Cohen-Macaulay modules and finite representation type

DOI10.1016/J.JPAA.2021.106891MaRDI QIDQ2664604zbMATH OpenOpenAlexFDO

Authors Chrysostomos Psaroudakis, Wolfgang Rump

Publication date 17 November 2021

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2001.04419

Cohen-Macaulay module exact category finite representation type

Homological conditions on associative rings (generalizations of regular, Gorenstein, Cohen-Macaulay rings, etc.) (16E65) Representations of associative Artinian rings (16G10) Representations of orders, lattices, algebras over commutative rings (16G30) Cohen-Macaulay modules in associative algebras (16G50) Representation type (finite, tame, wild, etc.) of associative algebras (16G60) Abelian categories, Grothendieck categories (18E10)

Abstract: One of the first remarkable results in the representation theory of artin algebras, due to Auslander and Ringel-Tachikawa, is the characterization of when an artin algebra is representation-finite. In this paper, we investigate aspects of representation-finiteness in the general context of exact categories in the sense of Quillen. In this framework, we introduce "big objects" and prove an Auslander-type "splitting-big-objects" theorem. Our approach generalises and unifies the known results from the literature. As a further application of our methods, we extend the theorems of Auslander and Ringel-Tachikawa to arbitrary dimension, i.e. we characterise when a Cohen-Macaulay order over a complete regular local ring is of finite representation type.

Review text

An important problem in the representation theory of algebras is to obtain a characterization of algebras of finite representation type. One of the first remarkable results in this direction shows that an artin algebra \( \Lambda \) is of finite representation type if and only if every \( \Lambda \)-module is a direct sum of finitely generated \( \Lambda \)-modules. This result is famous as Auslander-Ringel-Tachikawa theorem and is now about 50 years old [\textit{C. M. Ringel} and \textit{H. Tachikawa}, J. Reine Angew. Math. 272, 49--72 (1975; Zbl 0318.16006), Corollary 4.4]. A remarkable analogue of the Auslander-Ringel-Tachikawa theorem was first proved by [\textit{X.-W. Chen}, Adv. Math. 218, No. 6, 2043--2050 (2008; Zbl 1147.16015)], and later generalized by [\textit{A. Beligiannis}, Adv. Math. 226, No. 2, 1973--2019 (2011; Zbl 1239.16016)], for the subcategory of Gorenstein projective modules over an artin algebra \( \Lambda \). Beligiannis proved that any Gorenstein projective \( \Lambda \)-module is a direct sum of finitely generated ones if and only if the artin algebra \( \Lambda \) is virtually Gorenstein of finite Cohen-Macaulay type [Beligiannis, loc. cit.]. The latter result improved Chen's theorem [Chen, loc. cit.] for Gorenstein algebras. In this work, the authors, based on a suitable concept of (accessible) big Cohen-Macaulay modules, extends the Auslander-Ringel-Tachikawa theorem to arbitrary finite dimension. More precisely, they show that if \( \Lambda \) is a Cohen-Macaulay order over a complete \( d \)-dimensional regular local ring \( R \), then \( \Lambda \) is of finite type if and only if every (accessible) big Cohen-Macaulay \( \Lambda \)-module is a direct sum of finitely generated \( \Lambda \)-modules (c.f. Theorem 5.18). Recall that if \( R \) is a complete regular local ring of Krull dimension \( d \), then a Cohen-Macaulay order \( \Lambda \) over \( R \) is an \( R \)-algebra which is finitely generated and free over \( R \). Note that this result is a consequence of another important and remarkable result, called \textit{an Auslander-type ``splitting-big-objects Theorem}, that has a central role in this paper, Theorem 5.10. To state this theorem we need some notations and for this reason we refer the reader to page \( 3 \) of the work.

Recommendations

Cites work

Cited in

(6)

This page was built for publication: Exact categories, big Cohen-Macaulay modules and finite representation type

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