Universal functors on symmetric quotient stacks of abelian varieties (Q2065452)

For a smooth projective variety, to study the autoequivalence group of its bounded derived category of coherent sheaves is an interesting problem. An element in the autoequivalence group is called a derived autoequivalence. There are standard derived autoequivalences of a smooth projective variety given by compositions of push-forwards along automorphisms, tensoring line bundles and shifting the degree. Then a further question is to ask for non-standard derived autoequivalences. In the paper under review, the authors construct several new derived autoequivalences on symmetric quotient stacks of an elliptic curve or abelian surface. For this purpose, they firstly construct new family of \(\mathbb{P}\)-functors and spherical functors given by certain universal families. Then they take the autoequivalences of the target which are associated to these functors via a categorical procedure. Such autoequivalences are called twists of given functors. Let \(A\) be an abelian variety. For the Hilbert scheme \(A^{[n]}\) of \(n\)-points on \(A\) with \(n \geq 2\), one considers the integral transform functor \(F \colon D^b(A \times A) \to D^b(A^{[n]})\) with kernel given by the universal family of \(n\)-points on \(A\), along the summation \(A \times A^{[n]} \to A \times A\) on \(A^{[n]}\) and the projection \(A \times A^{[n]} \to A^{[n]}\). One can view \(F\) as a functor to the equivariant derived category \(D^b_{\mathfrak{S}_n}(A^n) = D^b([A^n/\mathfrak{S}_n])\) for the symmetric group \(\mathfrak{S}_n\)-action on the Cartesian product \(A^n\), via the derived McKay correspondence given by \textit{T. Bridgeland} et al. [J. Am. Math. Soc. 14, No. 3, 535--554 (2001; Zbl 0966.14028)] and \textit{M. Haiman} [J. Am. Math. Soc. 14, No. 4, 941--1006 (2001; Zbl 1009.14001)]. The authors obtained the following results with techniques from the theory of equivariant derived categories. \begin{itemize} \item[1.] Suppose \(A=E\) is an elliptic curve and \(n \geq 3\). The composition of \(F\) with the restriction functor of equivariant derived categories \(D^b_{\mathfrak{S}_n}(E^n) \to D^b_{\mathfrak{A}_n}(E^n)\) induced by the alternating subgroup \(\mathfrak{A}_n \subseteq \mathfrak{S}_n\) is a spherical functor whose corresponding twists descend to autoequivalences of \(D^b_{\mathfrak{S}_n}(E^n)\). The same statement holds if one replaces \(F\) by the the pull-back functor \(D^b(E) \to D^b(E^{[n]})\) along the summation morphism. \item[2.] Suppose \(A\) is an abelian surface. If \(n \geq 3\), then \(F\) is a \(\mathbb{P}^{n-2}\)-functor. Moreover, when \(n =3\), the twist given by \(F\) satisfies a braid relation with the twist given by the functor \(H\) constructed in [\textit{A. Krug}, Algebr. Geom. 6, No. 6, 678--715 (2019; Zbl 1469.14037)]. If \(n =2\), then the functor \(F\) is spherical with so called Horia twist. \end{itemize}