\(K\)-groups for rings of finite Cohen-Macaulay type
type: Item
instance of: scholarly article
title: \(K\)-groups for rings of finite Cohen-Macaulay type
zbMATH Open document ID: 1366.13008
author: Henrik Holm
published in: Forum Mathematicum
publication date: 2015-07-15T00:00:00Z
full work available at URL: https://arxiv.org/abs/1211.3445
review text: Let \((R, \mathfrak{m}, k)\) be a commutative noetherian local Cohen-Macaulay \(k\)-algebra with \(\mathrm{char}(k) \neq 2\). In this interesting article, the author describes \(G_1(R) = K_1(\pmod R)\) and the map from \(K_1(R) \cong R^*\) under the further assumptions that \(R\) is Henselian, admits a dualizing module, has finite CM-type and the Auslander-Reiten homomorphism \(\Upsilon\) (i.e. the matrix describing the relations between the indecomposable maximal Cohen-Macaulay \(R\)-modules) is injective. Let \(M\) be a representation generator of the category of MCM \(R\)-modules and let \(E\) be its endomorphism algebra. The main theorem describes \(G_1(R)\) as a quotient of \(E^*_{\mathrm{ab}}\), the abelianization of the automorphism group of \(M\) by a subgroup \(\Xi\) generated by special elements obtained from \(\Upsilon\). The article is broken into several sections of which (as the author themselves comment) the first few (up to Section 8) are general and put together various facts, specialized to the case at hand and required in the proof of the main theorem. The key ideas here which make the proof work include using the Gersten-Sherman transformation to identify various \(K_1\)-groups to be the same, Yoneda's lemma to enable use of functor categories and then the association of these functor categories with actual module categories over \(E^{\mathrm{op}}\), the remarkable fact that \(E\) and hence \(E^{\mathrm{op}}\) have finite global dimension and finally the comparison between functor categories over \(MCM(R)\) and \(\mathrm{proj}(R)\) by considering the kernel category \(\mathcal{Y}\) and observing that it is a finite length category and studying its structure. In section 8, the author invokes the long exact sequence for \(K\)-theory on the short exact sequence of functor categories mentioned above and their kernel. This yields via the above mentioned identifications a surjection from \(E^*_{\mathrm{ab}}\) to \(G_1(R)\) and the kernel can be identif…
reviewed by: Sarang Sane
Mathematics Subject Classification ID: 13C14
Mathematics Subject Classification ID: 13D15
Mathematics Subject Classification ID: 19B28
zbMATH DE Number: 6458920
zbMATH Keywords: Auslander-Reiten sequence
zbMATH Keywords: Bass' universal determinant group
zbMATH Keywords: finite Cohen-Macaulay type
zbMATH Keywords: maximal Cohen-Macaulay module
zbMATH Keywords: Quillen's \(K\)-theory
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W2158130399
arXiv ID: 1211.3445
DOI: 10.1515/FORUM-2013-6029
description: scientific article