On the derived category of the Hilbert scheme of points on an Enriques surface (Q745879)

Given a smooth projective variety \(Z\), it is interesting to study the autoequivalences of the bounded derived category of coherent sheaves \(D^b(Z)\). The standard autoequivalences are the ones generated by automorphisms of \(Z\), the shift functor and tensor products with line bundles. When the canonical bundle of \(Z\) is ample or anti-ample, there are no other autoequivalences, due to a classical result of \textit{A. Bondal} and \textit{D. Orlov} [Compos. Math. 125, No. 3, 327--344 (2001; Zbl 0994.18007)]; but when the canonical bundle of \(Z\) is trivial, non-standard autoequivalences are expected but difficult to construct in general. Several closely related techniques have been developed in the construction of new autoequivalences, among which are spherical functors studied by \textit{R. Anno}, \textit{T. Logvinenko} [Adv. Math. 231, No. 3--4, 2069--2115 (2012; Zbl 1316.14033)] and \textit{R. Rouquier} [Invent. Math. 165, No. 2, 357--367 (2006; Zbl 1101.18006)], generalizing \textit{P. Seidel} and \textit{R. Thomas}' notion [Duke Math. J. 108, No. 1, 37--108 (2001; Zbl 1092.14025)] of spherical objects, as well as \(\mathbb{P}^n\)-functors studied by \textit{N. Addington} [``New derived symmetries of some hyperkaehler varieties'', \url{arXiv:1112.0487}], generalizing \textit{D. Huybrechts} and \textit{R. Thomas}' notion [Math. Res. Lett. 13, No. 1, 87--98 (2006; Zbl 1094.14012)] of \(\mathbb{P}^n\)-objects. The paper under review applies these techniques to construct a new derived autoequivalence for the Hilbert scheme of points \(X^{[n]}\) on an Enriques surface \(X\). This autoequivalence is neither standard nor a twist around a spherical object. The construction is given in two steps. In the first step, the authors proved that for any surface \(S\) with \(p_g=q=0\) (\(S\) can be chosen to be the Enriques surface \(X\) for instance), the Fourier-Mukai transform from \(D^b(S)\) to \(D^b(S^{[n]})\) whose kernel is the universal ideal sheaf is fully faithful. Indeed, they proved that the composition \(F^RF\), where \(F^R\) is the right adjoint of \(F\), is isomorphic to the identity functor. In the second step, the authors proved that for any smooth projective variety \(Y\) whose canonical bundle is \(2\)-torsion (\(Y\) can be chosen to be the Hilbert scheme of points \(X^{[n]}\) on an Enriques surface \(X\) for instance), assuming that \(\pi: \widetilde{Y} \to Y\) is the canonical cover, any admissible subcategory \(i: \mathcal{A} \to D^b(Y)\) induces a split spherical functor \(\pi^*i: \mathcal{A} \to D^b(\widetilde{Y})\), whose associated twist on \(D^b(\widetilde{Y})\) is equivariant, hence descends to an autoequivalence of \(D^b(Y)\). Some other related interesting results are also studied in the paper: the authors showed that an exceptional sequence on a surface \(S\) can be used to construct an exceptional sequence on the Hilbert scheme \(S^{[n]}\); they also showed that the so-called truncated ideal functor can be a good alternative for the Fourier-Mukai transform with the universal ideal sheaf as the kernel for constructing admissible subcategories or \(\mathbb{P}^n\)-functors in some cases.