Representation theory of the diagram An over the ring k[[x]]

Abstract

Fix R = k[[x]]. Let Q_n be the category whose objects are ((M₁,...,M_n),(f₁,...,f_n-1)) where each M_i is a free R-module and f_i:M_i⟶M_i+1 for each i=1,...,n-1, and in which the morphisms are the obvious ones. Let β_n be the full subcategory of Ω_n in which each map f_i is a monomorphism whose cokernel is a torsion module. It is shown that there is a full dense functor Ω_n⟶β_n. If X is an object of β_n, we say that X <u>diagonalizes</u> if X is isomorphic to a direct sum of objects ((M₁,...,M_n),(f₁,...,f_n-1)) in which each M_i is of rank one. We establish an algorithm which diagonalizes any diagonalizable object X of β_n, and which fails only in case X is not diagonalizable.

Let Λ be an artin algebra of finite type. We prove that for a fixed C in mod(Λ) there are only finitely many modules A in mod(Λ) (up to isomorphism) for which a short exact sequence of the form 0⟶A⟶B⟶C⟶0 is indecomposable.