On minimal disjoint degenerations of modules over tame path algebras. (Q616910)

Let \(Q\) be a quiver and let \(A=kQ\) be the path algebra of \(Q\) over an algebraically closed field \(k\). The authors study degenerations of representations of \(A\) (let \(M,N\) be representations of \(A=kQ\), we write \(M\leq_{\deg}N\) and call \(N\) a degeneration of \(M\) iff the orbit of \(N\) lies in the orbit closure of \(M\), here we work with the action of \(Gl_d\) by conjugation on the variety \(\text{Mod}_A^d(k)\) of \(d\) dimensional representations of \(A\)). If \(Q\) is a tame quiver, then any minimal degeneration from \(M\) to \(N\) is induced by a short exact sequence \(0\to U\to M\to V\to 0\), where \(U\), \(V\) are indecomposable representations of \(Q\) and \(N\cong U\oplus V\). Such exact sequences are called ``buildings blocs'' and are investigated in the paper. For such a building bloc the authors define codimension: \(\text{Codim}(N,M)=[N,N]-[M,M]\) of the orbit of \(N\) in the orbit closure of \(M\), where \([X,Y]\) denotes the \(k\)-dimension of the space of all homomorphisms \(X\to Y\). One of the main results of the paper is the following Theorem. Let \(Q\) be a tame quiver. Then the codimension of any building bloc as above is \(\leq 2\). If \(U\) is preprojective and \(V\) is preinjective, then the codimension is \(1\). In the paper connections of codimensions with representation types are given. More precisely, for any algebra \(A\), let \(\text{Cod}(A)\) be the supremum of the codimensions of all minimal disjoint degenerations \(M\leq N\) of \(A\)-modules. The following proposition is proved. Proposition. For a path algebra of a connected quiver \(Q\) it follows: a) \(\text{Cod}(A)=1\) iff \(Q\) is a Dynkin quiver, b) \(\text{Cod}(A)=2\) iff \(Q\) is a Euclidean quiver, c) \(\text{Cod}(A)=\infty\) iff \(Q\) is wild. Moreover, the authors explain that for tame quivers the complete classification of all the buildings blocs is a finite problem that can be solved with the help of a computer.