Universal functors on symmetric quotient stacks of abelian varieties

From MaRDI portal
Publication:2065452



Abstract: We consider certain universal functors on symmetric quotient stacks of Abelian varieties. In dimension two, we discover a family of mathbbP-functors which induce new derived autoequivalences of Hilbert schemes of points on Abelian surfaces; a set of braid relations on a holomorphic symplectic sixfold; and a pair of spherical functors on the Hilbert square of an Abelian surface, whose twists are related to the well-known Horja twist. In dimension one, our universal functors are fully faithful, giving rise to a semiorthogonal decomposition for the symmetric quotient stack of an elliptic curve (which we compare to the one discovered by Polishchuk--Van den Bergh), and they lift to spherical functors on the canonical cover, inducing twists which descend to give new derived autoequivalences here as well.


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}



Cites work









This page was built for publication: Universal functors on symmetric quotient stacks of abelian varieties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2065452)