Automorphisms and autoequivalences of generic analytic \(K3\) surfaces (Q2474533)

The article under review is a survey presenting results about the group of automorphisms and the group of autoequivalences of generic analytic \(K3\) surfaces. Recall that a \(K3\) surface is a smooth complex surface \(X\) with trivial canonical bundle and such that \(H^1(X,\mathcal{O}_X)=0\). A \textit{generic analytic} \(K3\) surface is a non-algebraic \(K3\) surface with trivial Picard group. These are dense in the moduli space of all \(K3\) surfaces. K3 surfaces have been investigated for a long time and there exist many deep results, in particular describing the geometry of \(K3\) surfaces by the Hodge structure of the second integral cohomology group. In recent years they have drawn a lot of attention, since, being Calabi--Yau and hyperkähler varieties at the same time, they provide a nice testing ground for homological mirror symmetry. The geometry of algebraic \(K3\) surfaces is very rich and a complete description of the above mentioned two groups is not available at the moment. The case of generic analytic \(K3\) surfaces turns out to be more feasible. The paper starts with a discussion of basic geometric properties of \(K3\) surfaces. In the next section the authors consider automorphisms. In the non-algebraic case we have that \(\Aut(X)\) is either trivial or isomorphic to \(\mathbb{Z}\). The algebraic case is more difficult as, for example, there exist algebraic \(K3\) surfaces with automorphisms of finite order. The following section deals with the abelian category of coherent sheaves on a generic analytic \(K3\) surface and with its derived category. The authors in particular, briefly recall Chern classes, derived categories and functors. Finally, the last section presents the complete description of the group of autoequivalences of Fourier--Mukai type of a generic analytic \(K3\) surface. This group turns out to be \(\mathbb{Z}\oplus \mathbb{Z}\oplus \Aut(X)\), where the first two factors are generated by the shift functor and the spherical twist associated with \(\mathcal{O}_X\). To prove this result the authors in particular use the description of the stability manifold (in the sense of Bridgeland) of a generic analytic \(K3\) surface.