Homogeneous spaces and degree 4 del Pezzo surfaces

It is known that, given a genus 2 curve , where f(x) is quintic and defined over a field K, of characteristic different from 2, and given a homogeneous space for complete 2-descent on the Jacobian of , there is a V _δ (which we shall describe), which is a degree 4 del Pezzo surface defined over K, such that . We shall prove that every degree 4 del Pezzo surface V, defined over K, arises in this way; furthermore, we shall show explicitly how, given V, to find and δ such that V =  V _δ , up to a linear change in variable defined over K. We shall also apply this relationship to Hürlimann’s example of a degree 4 del Pezzo surface violating the Hasse principle, and derive an explicit parametrised infinite family of genus 2 curves, defined over , whose Jacobians have nontrivial members of the Shafarevich-Tate group. This example will differ from previous examples in the literature by having only two -rational Weierstrass points. The author thanks EPSRC for support: grant number EP/F060661/1.