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
    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

    Identifiers