Derived Picard Groups of Finite-Dimensional Hereditary Algebras

Let A be a finite-dimensional algebra over a field k. The derived Picard group DPic _k (A) is the group of triangle auto-equivalences of D> ^b( mod A) induced by two-sided tilting complexes. We study the group DPic _k (A) when A is hereditary and k is algebraically closed. We obtain general results on the structure of DPic _k , as well as explicit calculations for many cases, including all finite and tame representation types. Our method is to construct a representation of DPic _k (A) on a certain infinite quiver ^irr. This representation is faithful when the quiver of A is a tree, and then DPic _k (A) is discrete. Otherwise a connected linear algebraic group can occur as a factor of DPic _k (A). When A is hereditary, DPic _k (A) coincides with the full group of k-linear triangle auto-equivalences of D^b( mod A). Hence, we can calculate the group of such auto-equivalences for any triangulated category D equivalent to D^b( mod A. These include the derived categories of piecewise hereditary algebras, and of certain noncommutative spaces introduced by Kontsevich and Rosenberg.