On the structure of modules over wild hereditary algebras (Q697346)

Let \(H=KQ\) be a basic connected finite dimensional wild hereditary path-algebra of a finite quiver \(Q\) over a commutative field \(K\). The Auslander-Reiten translation for \(H\) is denoted by \(\tau_H\). The main results of the paper describe the structure of modules of the form \(\tau_H^mX\) for a finite dimensional right \(H\)-module \(X\) and \(|m|\) sufficiently large. For instance it is proved that if \(X\) and \(Y\) are nonzero \(H\)-modules without indecomposable preinjective direct summands then the dimension vectors of \(X\) and \(Y\) are equal if and only if \(P_i(\tau_H^{-m}X)\cong P_i(\tau_H^{-m}Y)\), \(i=0,1\), for \(m\) sufficiently large, where \(P_i(Z)\) denotes the \(i\)-th term of the minimal projective resolution of an \(H\)-module \(Z\). Under some combinatorial assumptions on the quiver \(Q\) it is proved that if \(X\) is a nonzero \(H\)-module without indecomposable preinjective direct summands then, for \(m\) sufficiently large, the one-point extension \(H[\tau_H^{-m}X]\) of \(H\) by the module \(\tau_H^{-m}X\) has a unique preinjective component. Moreover, this component is the preinjective component of a wild hereditary algebra. A similar result concerning the preinjective component of \(H[\tau_H^mY]\) for \(m\) sufficiently large and \(Y\) without preprojective indecomposable direct summands is also proved in the paper.