Endo-wild representation type and generic representations of finite posets. (Q816334)

The category \(\mathbf{fpr}(S,k)\) of filtered representations of a finite poset \(S\) over a field \(k\) (not necessarily algebraically closed) is considered. \(S\) is assumed to have a unique maximal element \(\infty\). The objects of this category are systems \((U_s)_{s\in S}\) of finite dimensional vector spaces over \(k\) such that \(U_s\subseteq U_t\subseteq U_\infty\) whenever \(s\prec t\) in \(S\). Omitting the assumption of finite dimensionality one gets the definition of the category \(\mathbf{Fpr}(S,k)\). The article is devoted to the concept of \(k\)-wildness of \(\mathbf{fpr}(S,k)\). This category is said to be \(k\)-wild provided there exists an exact \(k\)-linear functor \(T\colon\text{modf}(k\langle t_1,t_2\rangle)\to\mathbf{fpr}(S,k)\) preserving indecomposability and isomorphism classes (that is, \(T(X)\cong T(Y)\) implies \(X\cong Y\)), where \(\text{modf}(k\langle t_1,t_2\rangle)\) denotes the category of right finite dimensional modules over the free associative \(k\)-algebra with two free generators \(t_1,t_2\). It is shown that \(k\)-wildness of \(\mathbf{fpr}(S,k)\) is equivalent to the condition that \(\mathbf{fpr}(S,k)\) is fully \(k\)-wild (the functor \(T\) is in addition full) and to the condition that \(\mathbf{fpr}(S,k)\) is \(k\)-endo-wild, that is, every finite dimensional \(k\)-algebra is isomorphic to the endomorphism algebra of an object of \(\mathbf{fpr}(S,k)\). The concept complementary to wildness is tameness. It is proved that \(\mathbf{fpr}(S,k)\) is tame if and only if it is not \(k\)-wild. It is also expressed in terms of generic filtered representations of \(S\). By the definition an object \(M\) of \(\mathbf{Fpr}(S,k)\) is generic if it is indecomposable infinite dimensional and has finite endolength (= length over its endomorphism algebra \(\text{End}(M)\)), see \textit{W. Crawley-Boevey} [Proc. Lond. Math. Soc., III. Ser. 63, No. 2, 241-265 (1991; Zbl 0741.16005)], with the additional assumption that \(D_M=\text{End}(M)/\text{rad}(\text{End}(M))\) contains the rational function field \(k(x)\) in one indeterminate \(x\). It is shown that \(\mathbf{fpr}(S,k)\) is tame if and only if for any natural number \(d\) there are only finitely many isomorphism classes of generic representations \(M\) with endolength \(d\) and \(D_M\cong k(x)\). A motivation for this research comes in particular from the theory of Abelian groups and lattices over orders, see \textit{D. M. Arnold} and \textit{D. Simson} [J. Pure Appl. Algebra 205, No. 3, 640-659 (2006; Zbl 1106.16016)] and \textit{D. M. Arnold} [Abelian groups and representations of finite partially ordered sets. CMS Books in Mathematics/Ouvrages de Mathématiques de la SMC 2. New York: Springer (2000; Zbl 0959.16011)].