Invariants of a free linear category and representation type (Q272994): Difference between revisions

Let \(G\) be a finite group, let \(kG\) be the group algebra and let \(V\) be a \(kG\)-module. It is well-known that \(G\) acts on \(T_{k}(V)\) by automorphisms of the algebra and an interesting result, proved by \textit{V. K. Kharchenko} [Algebra Logic 17, 316--321 (1979); translation from Algebra Logika 17, 478--487 (1978; Zbl 0433.16004)] and \textit{D. R. Lane} [Free algebras of rank two and their inavriants. Phd thesis, Betford College, London (1976)], asserts the following: If \(G\) is finite and \(V\) is a finite dimensional vector space, the fixed points algebra (or subalgebra of invariants) \(T_{k}(V)^G\) is a tensor algebra and there exists a homogeneous sub-vector space \(U\subset T_{k}(V)^G\) such that \(T_{k}(U)\) is isomorphic to \(T_{k}(V)^G\). The main result of this paper is an extension of the Kharchenko-Lane result to the \(k\)-category setting. Let \({\mathcal L}_{0}\) be a set and \(V=\{\;_{y}V_{x}\}_{y,x\in {\mathcal L}_{0}}\) be a family of \(k\)-vector spaces. In Definition 2.1 the free \(k\)-category \({\mathcal L}_{k}(V)\) is defined and in Theorem 4.1 the authors proved that, if \(G\) is finite and \(\;_{y}V_{x}\) are finite dimensional vector spaces, for all \(y,x\in {\mathcal L}_{0}\), there exists a family of vector spaces \(U=\{\;_{y}U_{x}\}_{y,x\in {\mathcal L}_{0}}\) such that \({\mathcal L}_{k}(U)\) and the invariant category \({\mathcal L}_{k}(V)^G\) are isomorphic. Finally, in the last section, the authors proved a result about the conservation of representation type properties. More concretely, they showed that if a free \(k\)-linear category with a homogeneous action of a finite group is of finite or tame representation type, then its invariant \(k\)-category is respectively of finite or time representation type.