Exceptional sequences of maximal length on some surfaces isogenous to a higher product (Q258227): Difference between revisions

A surface \(S\) is said to be isogenous to a higher product (of curves) if \(S\) is a quotient \(S: = (C \times D)/G\) of a product of two smooth curves \(C\) and \(D\) of genera at least two, modulo a free action of a finite group \(G\). When \(G\) acts via a product action, \(S\) is called of unmixed type. \textit{I. C. Bauer} and \textit{F. Catanese} [in: The Fano conference. Papers of the conference organized to commemorate the 50th anniversary of the death of Gino Fano (1871--1952), Torino, Italy, September 29--October 5, 2002. Torino: Università di Torino, Dipartimento di Matematica. 123--142 (2004; Zbl 1078.14051)] completely classified the surfaces isogenous to a higher product of unmixed type with \(p_g(S)=q(S)=0\) and \(G\) abelian; in particular they form four families, each one corresponding to one of the following groups: \((\mathbb Z/2)^3\), \((\mathbb Z/2)^4\), \((\mathbb Z/3)^2\) and \((\mathbb Z/5)^2\). \textit{S. Galkin} and \textit{E. Shinder} [Adv. Math. 244, 1033--1050 (2013; Zbl 1408.14068)] constructed exceptional sequences of maximal length on the Beauville surfaces, i.e.,~surfaces isogenous to a higher product which are rigid; so in particular for the case \(G= (\mathbb Z/5)^2\). The current author considered the case \(G= (\mathbb Z/3)^2\) in [J. Algebra 441, 180--195; (2015; Zbl 1327.14084)]. In the paper under review, the remaining cases \(G= (\mathbb Z/2)^3\) and \(G=(\mathbb Z/2)^4\) are considered and similar statements are proved: Let \(S:= (C \times D)/G\) be a surface isogenous to a higher product of unmixed type with \(p_g(S)=q(S)=0\) and \(G= (\mathbb Z/2)^3\) or \(G=(\mathbb Z/2)^4\). Then there are exceptional sequences of line bundles of maximal length on \(S\). The orthogonal complements of the admissible subcategories generated by these exceptional sequences in the derived category of \(S\) are quasi-phantom categories. In both cases, the line bundles on \(S= (C \times D)/G\) are constructed using \(G\)-invariant theta-characteristic and torsion line bundles on \(C\) and \(D\) whose box products are \(G\)-equivariant line bundles on the product \(C \times D\).