1: \begin{abstract}

2: We analyze the Brauer--Manin obstruction to rational points on the K3 surfaces over $\Q$ given by 

3: double covers of $\PP^2$ ramified over a diagonal sextic. After finding an explicit set of 

4: generators for the geometric Picard group of such a surface, we find two types of infinite 

5: families of counterexamples to the Hasse principle explained by the algebraic Brauer--Manin obstruction. 

6: The first type of obstruction comes from a quaternion algebra, and the second type comes from a 

7: 3-torsion element of the Brauer group, which gives an affirmative answer to a question asked by Ieronymou

8: and Skorobogatov.

9: \end{abstract}

10: