On selfadjoint functors satisfying polynomial relations. (Q555585)

The paper under review is motivated by recent results of the following kind: Given a field \(\Bbbk\), an associative \(\Bbbk\)-algebra \(\Lambda\) with a fixed generating set \(\{a_i\}\), and a \(\Lambda\)-module \(M\), study the categorifications of \(M\), i.e., the Abelian categories \(\mathcal C\) and exact endofunctors \(\{F_i\}\) of \(\mathcal C\) such that the Grothendieck group \([{\mathcal C}]\) is isomorphic to \(M\) as a vector space and the functor \(F_i\) induces on \([{\mathcal C}]\) the action of \(a_i\) on \(M\). The natural question that motivated the paper is to classify all possible categorifications of all \(\Lambda\)-modules up to some natural equivalence. To make the classification problem more concrete, the authors restrict their considerations to finite dimensional algebras \(A\) and the case when the functors satisfy a polynomial equation. For a positive integer \(k\) and a functor \(F\), define \(kF\) as \(F\oplus\cdots\oplus F\) and interpret \(+\) as \(\oplus\). Then the authors formulate their problem in the following way: Given a finite dimensional algebra \(A\) and two polynomials \(g(x)\) and \(h(x)\) with nonnegative integer coefficients, classify, up to isomorphisms, all selfadjoint endofunctors \(F\) on \(A\)-mod which satisfy \(g(F)\cong h(F)\). Functors satisfying several easy relations, in particular, idempotents and square roots of a sum of identity functors, are classified. The authors also describe various natural constructions for new actions using external direct sums, external tensor products, Serre subcategories, quotients and centralizer subalgebras.