It is a well-known fact that for an Enriques surface $Y$, if $D^b(Y)\cong D^b(X)$ for some smooth projective variety $X$, then $X\cong Y$. In other words, Enriques surfaces have no non-trivial Fourier-Mukai Partners. I was wondering if the answer to this question is known if we consider twisted derived categories instead. In particular, what is known about $(X,\alpha)$ such that $D^b(Y)\cong D^b(X,\alpha)$, where $Y$ is an Enriques surface as above and $\alpha$ is a Brauer class on the smooth projective variety $X$.


1 Answer 1


There is a natural pair $(X,\alpha)$ that you can construct. Only in this pair $X$ is not a smooth projective variety but is a smooth orbifold surface. If you choose a genus one pencil $Y \to \mathbb{P}^{1}$ on the Enriques surface, then the relative Picard stack $\mathcal{X} = \mathcal{P}ic^{0}(Y/\mathbb{P}^{1})$ of the pencil is a Fourier-Mukai partner. The stack $\mathcal{X}$ is a $\mathbb{G}_{m}$ gerbe over an orbifold surface $X$. The moduli space of $X$ is the relative Jacobian $J$ of the chosen genus one fibration. $J$ is a rational elliptic surface, and $X$ is $J$ equipped with a $\mathbb{Z}/2$ orbifold structure along two smooth fibers of the anticanonical map $J \to \mathbb{P}^{1}$, i.e. along the two fibers dual to the double fibers of $Y \to \mathbb{P}^{1}$. The gerbe $\mathcal{X} \to X$ gives you a non-trivial $2$-torsion element $\alpha \in Br(X)$ and the derived category of weight one sheaves on $\mathcal{X}$ is equivalent to the $\alpha$-twisted derived category of $X$. So you get an equivalence $D^{b}(Y) \cong D^{b}(X,\alpha)$.

  • $\begingroup$ Thanks Tony, I agree this is very natural. Is this the only thing that can happen though? Is there something that rules this out when X is a genuine smooth projective surface? $\endgroup$
    – HNuer
    Feb 19, 2015 at 15:01
  • $\begingroup$ My guess is that it will be impossible to do it with a genuine surface. One might be able to check this directly by looking at the classification of surfaces, listing all possible twisted Hodge structures, and then checking that the required lattice $E_{8}(-2)\oplus H(2)\oplus H$ can never appear in a twist of a surface. I have not done this carefully but it seems doable. You basically have to rule out K#s and rational elliptic surfaces. $\endgroup$ Feb 20, 2015 at 13:42

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.