Counterexamples to the Polishchuk--Van den Bergh conjecture on curves
Abstract
We construct effective finite group actions on smooth projective complex curves for which Conjecture A of Polishchuk and Van den Bergh fails. For every h≥1, an explicit S3 action on the smooth projective model of y2=t12h−5+t has quotient of genus h and exactly one ramification orbit, with inertia of order three. The fixed quotient for the three-cycle class consists of two points, but its derived category admits no C-linear exact fully faithful embedding into the equivariant derived category. More generally, when the coarse quotient has positive genus, we prove that the maximum number of pairwise completely orthogonal exceptional objects is ∑i⌊ ei/2⌋, where ei are the inertia orders. We also characterize conjugacy-class decompositions with embeddings linear over the coarse quotient: such a decomposition exists if and only if |[g]∩ Hi|≤⌊ ei/2⌋ for every nonidentity conjugacy class and every branch inertia group Hi. The sufficiency proof uses coloured paths of type A and derived reflection functors, and produces kernels on the natural fibre products. The known ordered curve decomposition still yields a decomposition indexed by the connected components of the fixed quotients.
Related
- Counterexamples to O'Neil's Period-Index Problem on Elliptic Curves
- Counterexamples to the Monotone Completeness Conjecture
- Counterexamples to the ordinary Fried conjecture near hyperbolic metrics
- Counterexamples to the inhomogeneous Duffin-Schaeffer Conjecture
- A Note on the OpenAI Construction of Counterexamples to the Kaplansky Direct-Finiteness Conjecture
BibTeX
@misc{pan2026counterexamples,
title = {{Counterexamples to the Polishchuk--Van den Bergh conjecture on curves}},
author = {Shengyong Pan},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.10147},
eprint = {2610.10147},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.10147},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Counterexamples to the Polishchuk--Van den Bergh conjecture on curves
AU - Shengyong Pan
PY - 2026
DA - 2026/10/07
PB - arXiv
DO - 10.48550/arxiv.2610.10147
UR - https://arxiv.org/abs/2610.10147
AB - We construct effective finite group actions on smooth projective complex curves for which Conjecture A of Polishchuk and Van den Bergh fails. For every h≥1, an explicit S_3 action on the smooth projective model of y^2=t^12h−5+t has quotient of genus h and exactly one ramification orbit, with inertia of order three. The fixed quotient for the three-cycle class consists of two points, but its derived category admits no C-linear exact fully faithful embedding into the equivariant derived category. More generally, when the coarse quotient has positive genus, we prove that the maximum number of pairwise completely orthogonal exceptional objects is ∑_i⌊ e_i/2⌋, where e_i are the inertia orders. We also characterize conjugacy-class decompositions with embeddings linear over the coarse quotient: such a decomposition exists if and only if |[g]∩ H_i|≤⌊ e_i/2⌋ for every nonidentity conjugacy class and every branch inertia group H_i. The sufficiency proof uses coloured paths of type A and derived reflection functors, and produces kernels on the natural fibre products. The known ordered curve decomposition still yields a decomposition indexed by the connected components of the fixed quotients.
ER -