Skew group algebras of path algebras and preprojective algebras. (Q2269646)

The author computes explicitly up to Morita-equivalence the skew group algebra of a finite group acting on the path algebra of a quiver and the skew group algebra of a finite group acting on a preprojective algebra. More precisely, let \(k\) be a finite field and \(G\) be a finite group such that the characteristic of \(k\) does not divide the cardinality of \(G\). Let \(\Lambda\) be a \(k\)-algebra such that \(G\) acts on the right on \(\Lambda\). Denote by \(\Lambda G\) the skew group algebra of \(\Lambda\) under the action of \(G\). Let \(Q\) be a quiver. Consider an action of \(G\) on the path algebra \(kQ\) (permuting the set of primitive idempotents and stabilizing the vector space spanned by the arrows). In the paper with \(Q\) and \(G\) a quiver \(Q_G\) is associated. The following theorem, that generalizes a theorem of Reiten and Riedtmann for cyclic groups, is one of the main results. Theorem. There is an equivalence of categories \(\text{mod\,}k(Q_G)\cong\text{mod}(kQ)G\). Let \(\Lambda_Q\) be the preprojective algebra of a quiver \(Q\). In the paper it is proved the following theorem. Theorem. If \(G\) acts on \(k\overline Q\), where \(\overline Q\) is the double quiver of \(Q\), by permuting the primitive idempotents and stabilizing the linear subspace of \(k\overline Q\) spanned by the arrows, and if, for all \(g\in G\), \(r^g=r\) where \(r\) is the preprojective relation of this quiver, then \((\overline Q)_G\) is of the form \(\overline{Q'}\) for some quiver \(Q'\) and \((\Lambda_Q)G\) is Morita equivalent to \(\Lambda_{Q'}\). As a consequence the author proves Corollary. The action of \(G\) on a path algebra \(kQ\) permuting the primitive idempotents and stabilizing the linear subspace of \(kQ\) spanned by the arrows induces naturally an action of \(G\) on \(k\overline Q\) and \((\overline Q)_G\) is isomorphic to the double quiver of \(Q_G\). Moreover, there is an equivalence of categories \(\text{mod\,}\Lambda_{Q_G}\cong\text{mod\,}\Lambda_QG\).