Generic extensions of prinjective modules (Q854981)

For \(K\) an algebraically closed field and \(I\) a finite set with partial order \(\preceq \) we can construct the incidence algebra \(KI\) of matrix algebra \(\mathbb{M}_{I}\left( K\right) \) consisting of matrices \(\left[ \lambda _{ij}\right] \) such that \(\lambda _{ij}=0\) for \(i\npreceq j.\) A right \(KI\)-module \(X\) is prinjective if and only if it arises as the cokernel \(P_{0}/P_{1}\) of finitely generated projective right \(KI\)-modules with \(P_{1}\) semisimple. A given poset \(I\) is said to be of finite prinjective type if the category of prinjective modules over is of finite representation type. Such modules are useful in the study of representation theory. This paper is a study of the generic extensions of prinjective modules over \( KI\). Here the generic extension of \(M\) by \(N\), denoted \(M\ast N\) is the unique extension of \(M\) by \(N\) with minimal dimension of its endomorphism ring. The main results are as follows. Let \(I\) be a poset of finite prinjective type, and let \(\leq _{\deg }\)be the partial order given by degenerations on the set of extensions of \(M\) by \(N,\) where \(M\) and \(N\) are prinjective \(KI\)-modules. Then \(M\ast N\leq _{\deg }X\) if any only if there exists an exact sequence \(0\rightarrow N^{\prime }\rightarrow X\rightarrow M^{\prime }\rightarrow 0\) for some \(M^{\prime },N^{\prime }\) prinjective and \(M\leq _{\deg }M^{\prime }\) and \(N\leq _{\deg }N^{\prime }.\) As a consequence of this, if \(U\) and \(V\) are indecomposable prinjective \(KI\) -modules and Ext\(_{KI}^{1}\left( U,V\right) =0\) then \(U\ast V=U\oplus V.\) The category of all prinjective modules is closed under extensions, hereditary, and representation-finite. Additionally, the author studies the monoid \(\mathcal{M}\left( I\right) \) of isomorphism classes of prinjective modules under the associative operation induced by (and denoted) \(\ast .\) This \(\mathcal{M}\left( I\right) \) is called the monoid of generic extensions of \(I\). A quiver \(\left( Q_{0},Q_{1}\right) \) without multiple arrows on oriented cycles gives rise to a monoid \(\mathcal{M}\left( Q\right) =\left\langle Q_{0}\right\rangle /L,\) where \(\left\langle Q_{0}\right\rangle \) is the free associative monoid generated by \(Q_{0}\) and \(L\) is the ideal generated by certain relations. It is shown that there exists a quiver \(Q_{I}=\left( I,Q_{1}\right) \) without multiple arrows and oriented cycles such that there is a monoid epimorphism \( \mathcal{M}\left( Q_{I}\right) \rightarrow \mathcal{M}\left( I\right) \) whose kernel contains as ideal \(J_{I}\) generated by some certain relations. It is not known in general if this kernel is in fact \(J_{I},\) however if \(I\) has a unique maximal element and the width of \(I\) is at most two the two sets agree.