On degenerations between preprojective modules over wild quivers. (Q858716)

Let \(Q\) be a finite quiver. Given two representations \(M\), \(N\) of \(Q\) having equal dimension vectors we say that \(N\) is a degeneration of \(M\) if \(N\) belongs to the Zariski-closure of the orbit of \(M\) under the usual algebraic group action (the orbits correspond to the isomorphism classes). Write \(M\leq_{\deg}N\) in this case. The codimension of the orbit of \(N\) in the closure of the orbit of \(M\) is called the codimension of the degeneration. The degeneration \(M\leq_{\deg}N\) is minimal if \(N\) is not a proper degeneration of a proper degeneration of \(M\). The degeneration is disjoint if \(M\) and \(N\) have no common direct summands. \(\leq_{\deg}\) induces a partial order on the set of isomorphism classes of representations of the same dimension vector. Another important partial order is defined by \(M\leq N\) if and only if \(\dim\Hom(M,U)\leq\dim\Hom(N,U)\) for any representation \(U\) of \(Q\). The two partial orders coincide on preprojective representations by \textit{K. Bongartz} [Adv. Math. 121, No. 2, 245-287 (1996; Zbl 0862.16007)] but they are different in general. The first result of the paper describes properties of the function \(i\mapsto K(i)\) defined as follows: \(K(i)\) equals the minimal number of indecomposable direct summands of a module \(M\), where \(M<U\oplus V\) and \(U,V\) run through all pairs of preprojective representations such that the distance between \(U\) and \(V\) in the Auslander-Reiten quiver is at least \(i\). It is shown that \(K\) is an unbounded monotonic function of \(i\). Another theorem asserts that there is a global bound on the codimension of any minimal disjoint degeneration of a wild quiver \(Q\) if and only if the underlying graph of \(Q\) is \[ a_m\;\diagrbar\;\cdots\;\diagrbar\;a_1=b_1\;\diagrbar\;\cdots\;\diagrbar\;b_n \] for some \(m,n>0\). The paper contains also a construction of a family of examples of minimal degenerations for the quiver of type \(\widetilde{\widetilde\mathbb{D}}_n\).