A decomposition theorem for tensor products with bimodules (Q4033146)

A locally bounded \(k\)-category \(R\) over an algebraically closed field is weakly tame if for all dimension vectors \(d\) there exist finitely many \(R\)-\(k[T]\) bimodules \(M_ 1,\dots,M_{m(d)}\), which are finitely generated free \(k[T]\)-modules, satisfying the property that any indecomposable \(R\)-module \(X\) with \(\underline {\dim} X=d\) is isomorphic to a direct summand of \((M_ i)_{k[T]}\otimes S\) for some simple \(k[T]\)-module \(S\). The author shows that \(R\) is weakly tame iff it is tame. For this purpose he proves that for any locally bounded \(k\)- category \(R\) and \(k[T]\)-\(R\) bimodule \(_ R M_{k[T]}\), which is a finitely generated free \(k[T]\)-module there exists a unitary extension of rings \(k[T]\hookrightarrow A\) satisfying the properties: (i) \(A\) is a finitely generated over \(k\) integral domain of Krull-dimension 1; (ii) for almost all simple \(k[T]\)-modules \(S\) there is some simple \(A\)-module \(S'\) such that \(_ R M_{k[T]}\otimes S\simeq {}_ R M_{k[T]}\otimes A_ A\otimes S'\); (iii) there exists a decomposition \(_ R M_{k[T]}\otimes A\simeq \oplus_{i=1\dots m} {_ R M_ A^ i}\) such that \(M_ A^ i\otimes S'\) are indecomposable for all \(i=1\dots n\) and simple \(S'\). The results are later applied to comparing representation type of locally bounded categories by cleaving-functors.