The category of lattices over a lattice-finite ring. (Q2490350)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The category of lattices over a lattice-finite ring. |
scientific article |
Statements
The category of lattices over a lattice-finite ring. (English)
0 references
2 May 2006
0 references
The article under review gives a characterisation of translation quivers which arise as Auslander-Reiten quivers of Cohen-Macaulay modules over a Cohen-Macaulay order over a \(1\)-dimensional local base ring using an additive function on the vertices of the quiver. For Artinian algebras such a characterisation was given by Igusa-Todorov and independently by Brenner. Iyama characterised finite Auslander-Reiten quivers of orders over a complete discrete valuation ring by what he calls strict \(\tau\)-categories. The category of Cohen-Macaulay modules over a Cohen-Macaulay order over a complete regular local ring over a ring \(R\) of dimension at most \(2\) is a \(\tau\)-category whenever the order is lattice finite. The case of \(2\)-dimensional base rings was answered by van den Bergh and Reiten in 1989. For a \(1\)-dimensional base-ring Iyama's criterion says that a translation quiver is realisable as an Auslander-Reiten quiver of a \(\tau\)-category \(\mathcal A\) if \(\mathcal A\) modulo objects being annihilated by \(\tau\) is Artinian, and if a second condition linking projective and injective objects by means related to the length-finiteness of Ext-groups is fulfilled. The paper under review replaces this second condition by another one using the additive function on the vertices of the quiver. More precisely, a \(\tau\)-ring is a ring with finitely presented radical of projective dimension at most \(1\) and so that \(\text{Ext}_R(\text{rad}(R),R)\) is semisimple. A \(\tau\)-order is then a \(\tau\)-ring so that the intersection of powers of the radical is \(0\), so that \(\Hom_R(S,R)=0\) and \(\text{Ext}_R(S,R)\) is of finite length for every simple \(R\)-module \(S\) and so that there is a left ideal \(I\) containing some power of the radical and so that the projective dimension of \(I/\text{rad}(I)\) is \(1\). The main result of the paper states that the following properties are equivalent. 1) \(R\) is a \(\tau\)-order. 2) The category of \(R\)-projective objects \(R\)-proj is equivalent to the category of a lattice finite ring, in a sense to be made precise. 3) \(R\)-proj is a reduced \(\tau\)-category with additive function \(\ell\) such that the category \(R\)-proj modulo those objects annihilated by \(\tau\) is Artinian. 4) \(R\)-proj is a strict \(\tau\)-category so that \(R\)-proj modulo those objects annihilated by \(\tau\) is Artinian, and so that each indecomposable \(R\)-projective \(P\) annihilated by \(\tau\) determines an indecomposable \(I\) being annihilated by \(\tau^-\) in a process using ladder functors.
0 references
Auslander-Reiten quivers
0 references
translation quivers
0 references
ladder functors
0 references
Cohen-Macaulay orders
0 references
strict \(\tau\)-categories
0 references
Cohen-Macaulay modules
0 references
lattice finite orders
0 references