Track new results across pure and applied mathematics.
Search papers, labs, and topics across Lattice.
We construct explicit finite group actions on smooth projective complex curves, specifically $S_3$ actions on $y^2=t^{12h-5}+t$, that serve as counterexamples to Conjecture A of Polishchuk and Van den Bergh. These actions yield quotients of genus $h$ with a single ramification orbit of order three, but their derived categories do not admit $\mathbb{C}$-linear exact fully faithful embeddings into the equivariant derived category. We further prove that for quotients with positive genus, the maximum number of pairwise completely orthogonal exceptional objects is bounded by $\sum_i\lfloor e_i/2\rfloor$, where $e_i$ are inertia orders, and characterize conditions for conjugacy-class decompositions.
The Polishchuk--Van den Bergh conjecture, a cornerstone for understanding derived categories of quotient singularities, is disproven by explicit counterexamples derived from simple group actions on specific algebraic curves.
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\geq1$, 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 $\sum_i\lfloor e_i/2\rfloor$, 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]\cap H_i|\leq\lfloor e_i/2\rfloor$ 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.