Koszul duality for semidirect products and generalized Takiff algebras (Q2364509)

Let \(A\) be a \(\mathbb Z\)-graded associative algebra and let \(A_0\) be its degree zero part. Suppose that \(A_0\) is a bialgebra and \(A\) is the semidirect product of \(A_0\) with a \(\mathbb Z\)-graded right \(A_0\)-module algebra \(H\). Let \(A_0^{\mathrm{cop}}\) be the bialgebra that coincides with \(A_0\) as an algebra and has the opposite comultiplication. Let \(A^\circledast\) be the semidirect product of the quadratic dual of \(H\) with \(A_0^{\mathrm{cop}}\). Consider a category of \(\mathbb Z\)-graded left \(A\)-modules whose graded components are in a category \(\mathscr C\) satisfying certain technical conditions (for example, a semisimple category of finite dimensional \(A_0\)-modules would do as \(\mathscr C\), if available). The authors show that if \(H\) is Koszul, then there is a Koszul-type duality between this category and a category of \(\mathbb Z\)-graded left modules over \(A^\circledast\) whose graded components are in \(\mathscr C\). This Koszul-type duality applies in particular to graded representations of the universal enveloping algebra of the Takiff Lie algebra (or the truncated current algebra) and its (super)analogues, and also to semidirect products of quantum groups with braided symmetric and exterior module algebras in case the latter are flat deformations of classical ones. The paper under review consists of five sections. Section~1 is an introduction where an overview of the paper is given. Important basics on graded algebras are collected in Section~2, in particular the conditions on the category \(\mathscr C\) mentioned above are described here in subsection~2.6. Results on module algebras and semidirect products needed for the main result are presented in Section~3. The main results of the paper, Theorem~4.5 and Corollary~4.6, are stated and proved in Section~4. Examples of the main result are given in Section~5.