A counterexamples to the Polishchuk--Van den Bergh conjecture on curves

Abstract

We construct an effective $S_3$ action on the smooth projective model of $y^2=t^{12h-5}+t$ for every $h\geq1$. Its quotient has genus $h$, and the fixed quotient for the three-cycle class consists of two points. We prove that the derived category of these two points admits no $\bbC$-linear exact fully faithful embedding into the equivariant derived category. This gives a counterexample to Conjecture A of Polishchuk and Van den Bergh. More generally, for a positive-genus quotient we compute the maximum number of completely orthogonal exceptional objects as $\Sm_i\lfloor e_i/2\rfloor$, where $e_i$ are the inertia orders. We also give a necessary and sufficient condition for conjugacy-class decompositions with embeddings linear over the quotient, and construct kernels on the natural fibre products. For genus-zero quotients we obtain Euler-form bounds and exact capacities for all-two ramification with at least four branch points and for types $(2,3,3)$, $(2,3,4)$ and $(2,3,5)$.