The Brauer-Manin Obstruction and III[2]

Abstract

We discuss the Brauer-Manin obstruction on del Pezzo surfaces of degree 4. We outline a detailed algorithm for computing the obstruction and provide associated programs in MAGMA. This is illustrated with the computation of an example with an irreducible cubic factor in the singular locus of the defining pencil of quadrics (in contrast to previous examples, which had at worst quadratic irreducible factors). We exploit the relationship with the Tate-Shafarevich group to give new types of examples of III [2], for families of curves of genus 2 of the form y 2 = f ( x ), where f ( x ) is a quintic containing an irreducible cubic factor.