Tame prinjective type and Tits form of two-peak posets. II (Q1355645): Difference between revisions

Let \(k\) be an algebraically closed field and let \(S\) be a finite partially ordered set (poset). The incidence algebra \(kS\) of \(S\) over \(k\) is a triangular matrix ring of the form \(\left(\begin{smallmatrix} A &M\\ 0&B\end{smallmatrix}\right)\), where \(B\) is the \(k\)-algebra generated by the idempotents of \(kS\) corresponding to the maximal elements of \(S\), and the \(k\)-algebra \(A\) and \(A\)-\(B\)-bimodule \(M\) are naturally defined. Let \(\text{mod }kS\) be the category of finitely generated right \(kS\)-modules. The authors are concerned with the full subcategory of \(\text{mod }kS\) determined by all modules \(X\) whose minimal projective resolution is of the form \(0\to P_1\to P_0\to X\to 0\) with \(P_1\) semisimple. The modules in the subcategory are called prinjective, and the subcatetory is denoted \(\text{prin }kS\). It was proved by \textit{J. A. de la Peña} and \textit{D. Simson} [Trans. Am. Math. Soc. 329, No. 2, 733-753 (1992; Zbl 0789.16010)] that if \(\text{prin }kS\) is of tame representation type, then its Tits form is weakly non-negative. It is not known whether the converse is true in general, but it is true in some special cases [part I, J. Pure Appl. Algebra 106, No. 3, 307-330 (1996; Zbl 0856.16007)]. The paper under review contains a proof of the converse under the following three assumptions on the poset \(S\): (a) \(S\) has precisely two maximal elements, \(p\) and \(q\). (b) \(p^\nabla\cap q^\nabla\) is a chain (totally ordered subposet of \(S\)), where \(x^\nabla=\{s\in S\mid s\leq x\}\) is the principal ideal generated by \(x\in S\). (c) The categories \(\text{prin }kp^\nabla\) and \(\text{prin }kq^\nabla\) are of finite representation type, which is equivalent to saying that neither \(p^\nabla-\{p\}\) nor \(q^\nabla-\{q\}\) contains any of the five posets indicated in Theorem 1 of \textit{M. Kleiner} [Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklov 28, 32-41 (1972; Zbl 0345.06001); English transl: J. Sov. Math. 3, 607-615 (1975)]. The authors also characterize those posets \(S\) satisfying the above assumptions for which the category \(\text{prin }kS\) is tame of polynomial growth.