Transcendental obstructions to weak approximation on general K3 surfaces

@article{Hassett2011TranscendentalOT,
  title={Transcendental obstructions to weak approximation on general K3 surfaces},
  author={Brendan Hassett and Anthony V{\'a}rilly-Alvarado and Patrick Varilly},
  journal={Advances in Mathematics},
  year={2011},
  volume={228},
  pages={1377-1404}
}
Abstract We construct an explicit K3 surface over the field of rational numbers that has geometric Picard rank one, and for which there is a transcendental Brauer–Manin obstruction to weak approximation. To do so, we exploit the relationship between polarized K3 surfaces endowed with particular kinds of Brauer classes and cubic fourfolds. 

Figures from this paper

Effectivity of Brauer–Manin obstructions on surfaces
Abstract We study Brauer–Manin obstructions to the Hasse principle and to weak approximation on algebraic surfaces over number fields. A technique for constructing Azumaya algebra representatives ofExpand
Failure of the Hasse principle for Enriques surfaces
Abstract We construct an Enriques surface X over Q with empty etale-Brauer set (and hence no rational points) for which there is no algebraic Brauer–Manin obstruction to the Hasse principle. InExpand
Transcendental Brauer elements via descent on elliptic surfaces
Transcendental Brauer elements are notoriously difficult to compute. Work of Wittenberg, and later, Ieronymou, gives a method for computing 2-torsion transcendental classes on surfaces that have aExpand
Rational Points on Twisted K3 Surfaces and Derived Equivalences
Using a construction of Hassett and Verilly-Alvarado, we produce derived equivalent twisted K3 surfaces over Q, Q 2, and R, where one has a rational point and the other does not. This answersExpand
Brauer Groups on K3 Surfaces and Arithmetic Applications
For a prime p, we study subgroups of order p of the Brauer group Br(S) of a general complex polarized K3 surface of degree 2d, generalizing earlier work of van Geemen. These groups correspond toExpand
Cubic fourfolds containing a plane and K3 surfaces of Picard rank two
We present some new examples of families of cubic hypersurfaces in $$\mathbb {P}^5 (\mathbb {C})$$P5(C) containing a plane whose associated quadric bundle does not have a rational section.
On the Picard number of K3 surfaces over number fields
We discuss some aspects of the behavior of specialization at a finite place of Neron-Severi groups of K3 surfaces over number fields. We give optimal lower bounds for the Picard number of suchExpand
An example of a Brauer--Manin obstruction to weak approximation at a prime with good reduction
Following Bright and Newton, we construct an explicit K3 surface over the rational numbers having good reduction at 2, and for which 2 is the only prime at which weak approximation is obstructed.
Fano varieties of cubic fourfolds containing a plane
We prove that the Fano variety of lines of a generic cubic fourfold containing a plane is isomorphic to a moduli space of twisted stable complexes on a K3 surface. On the other hand, we show that theExpand
Derived equivalences and rational points of twisted K3 surfaces
Using a construction of Hassett--V\'arilly-Alvarado, we produce derived equivalent twisted K3 surfaces over $\mathbb{Q}$, $\mathbb{Q}_2$, and $\mathbb{R}$, where one has a rational point and theExpand
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 53 REFERENCES
Effectivity of Brauer–Manin obstructions on surfaces
Abstract We study Brauer–Manin obstructions to the Hasse principle and to weak approximation on algebraic surfaces over number fields. A technique for constructing Azumaya algebra representatives ofExpand
Transcendental Brauer-Manin Obstruction on a Pencil Of Elliptic Curves
This short note gives an explicit example of transcendental Brauer-Manin obstruction to weak approximation. It has two features which the only previously known example of such obstruction did notExpand
On the computation of the Picard group for K3 surfaces
Abstract We present a method to construct examples of K3 surfaces of geometric Picard rank 1. Our approach is a refinement of that of R. van Luijk. It is based on an analysis of the Galois moduleExpand
Nontrivial elements of Sha explained through K3 surfaces
We present a new method to show that a principal homogeneous space of the Jacobian of a curve of genus two is nontrivial. The idea is to exhibit a Brauer-Manin obstruction to the existence ofExpand
K3 Surfaces of Picard Rank One and Degree Two
TLDR
This work constructs explicit examples of K3 surfaces over Q which are of degree 2 and geometric Picard rank 1 and examples of the form w2 = det M where M is a (3 × 3)-matrix of ternaryquadratic forms. Expand
Some remarks on Brauer groups of K3 surfaces
Abstract We discuss the geometry of the genus one fibrations associated to an elliptic fibration on a K3 surface. We show that the two-torsion subgroup of the Brauer group of a general ellipticExpand
Tate-Shafarevich groups and K3 surfaces
This paper explores a topic taken up recently by Logan and van Luijk, finding nontrivial 2-torsion elements of the Tate-Shafarevich group of the Jacobian of a genus-2 curve by exhibiting Brauer-ManinExpand
Supersingular K3 surfaces in charactertistic 2 as double covers of a projective plane
For every supersingular K3 surface X in characteristic 2, there exists a homogeneous polynomial G of degree 6 such that X is birational to the purely inseparable double cover of P 2 defined by w 2 =Expand
Diagonal quartic surfaces and transcendental elements of the Brauer group
  • Evis Ieronymou
  • Mathematics
  • Journal of the Institute of Mathematics of Jussieu
  • 2010
ABSTRACT We exhibit central simple algebras over the function field of a diagonal quartic surface over the complex numbers that represent the 2-torsion part of its Brauer group. We investigateExpand
K 3 surfaces of Picard rank one which are double covers of the projective plane
We construct explicit examples of K3 surfaces over Q which are of degree 2 and the geometric Picard rank of which is equal to 1. We c onstruct, particularly, examples in the formw2 = detM whereM is aExpand
...
1
2
3
4
5
...