Tilting equivalences: from hereditary algebras to symmetric groups. (Q934079)

In the paper under review the author produces derived equivalences between certain pairs of algebras, obtained as Koszul duality in a certain sense. The author starts from the simple situation of a hereditary algebra, given as a quiver algebra \(RQ\), which is shown to be derived equivalent to the quotient \(P_Q\) of the path algebra of the same quiver modulo the ideal generated by paths of length \(2\). The derived equivalence is given by an explicit two-sided tilting complex. Then, the author passes to trivial extension algebras, reproving a result due to Rickard in an independent way in this situation. In a new section the author studies wreath products of super-algebras \(A\) and identifies them with an endomorphism ring of a principal ideal of a Schur algebra constructed over \(A\). Trivial extension algebras are examples of such super-algebras and the author constructs another algebra, called the double, by again a Schur algebra construction, and shows that the endomorphism ring of a principal ideal of the double is isomorphic to the wreath product of the trivial extension algebra. Finally, the author shows that the double is derived equivalent to yet another algebra \(E\), obtained roughly speaking as Ext-algebra of some module over the Schur algebra. In a last step the author defines deformations of the double and \(E\), and shows that these algebras are derived equivalent as well. The last section of the paper contains several conjectures, in particular that every block of the symmetric group of a specific weight is derived equivalent to some algebra of type \(E\).