Odd order obstructions to the Hasse principle on general K3 surfaces

DOI10.1090/MCOM/3485zbMATH Open1452.14019arXiv1808.00879OpenAlexW2972220417WikidataQ127298277 ScholiaQ127298277MaRDI QIDQ5216733FDOQ5216733

Authors: Jennifer Berg, Anthony Várilly-Alvarado 

Publication date: 18 February 2020

Published in: Mathematics of Computation (Search for Journal in Brave)

Abstract: We show that odd order transcendental elements of the Brauer group of a K3 surface can obstruct the Hasse principle. We exhibit a general K3 surface $Y$ of degree 2 over $mathbbQ$ together with a three torsion Brauer class $alpha$ that is unramified at all primes except for 3, but ramifies at all 3-adic points of $Y$. Motivated by Hodge theory, the pair $(Y,alpha)$ is constructed from a cubic fourfold $X$ of discriminant 18 birational to a fibration into sextic del Pezzo surfaces over the projective plane. Notably, our construction does not rely on the presence of a central simple algebra representative for $alpha$. Instead, we prove that a sufficient condition for such a Brauer class to obstruct the Hasse principle is insolubility of the fourfold $X$ (and hence the fibers) over $mathbb{Q}_3$ and local solubility at all other primes.

Full work available at URL: https://arxiv.org/abs/1808.00879

Recommendations

• Failure of the Hasse principle on general \(K3\) surfaces
• Brauer groups on \(K3\) surfaces and arithmetic applications
• Transcendental obstructions to weak approximation on general \(K3\) surfaces
• Quantitative arithmetic of diagonal degree 2 \(K3\) surfaces
• Brauer-Manin obstructions on degree 2 \(K3\) surfaces

zbMATH Keywords

\(K3\) surfaceHasse principleBrauer-Manin obstructioncubic fourfolds

Mathematics Subject Classification ID

Brauer groups of schemes (14F22) Rational points (14G05) (K3) surfaces and Enriques surfaces (14J28) (4)-folds (14J35) Hasse principle, weak and strong approximation, Brauer-Manin obstruction (14G12)

Cites Work

• The Magma algebra system. I: The user language
• Title not available (Why is that?)
• Failure of the Hasse principle on general \(K3\) surfaces
• Title not available (Why is that?)
• \(K3\) surfaces with Picard number one and infinitely many rational points
• Title not available (Why is that?)
• K3 Surfaces of Picard Rank One and Degree Two
• Title not available (Why is that?)
• The Picard group of a \(K3\) surface and its reduction modulo \(p\)
• An elliptic \(K3\) surface associated to Heron triangles
• Diagonal quartic surfaces and transcendental elements of the Brauer group
• Odd order Brauer-Manin obstruction on diagonal quartic surfaces
• Good reduction of the Brauer-Manin obstruction
• Example of a transcendental 3-torsion Brauer-Manin obstruction on a diagonal quartic surface
• Title not available (Why is that?)
• Some remarks on Brauer groups of \(K3\) surfaces
• Brauer groups on \(K3\) surfaces and arithmetic applications
• The \(K3\) category of a cubic fourfold
• Transcendental obstructions to weak approximation on general \(K3\) surfaces
• Rational surfaces and the canonical dimension of $\operatorname {\mathbf {PGL}}_6$
• Arithmetic of del Pezzo surfaces
• Transcendental Brauer-Manin obstruction on a pencil of elliptic curves
• The proportion of plane cubic curves over \(\mathbb{Q}\) that everywhere locally have a point
• Cubic fourfolds fibered in sextic del Pezzo surfaces
• Kummer varieties and their Brauer groups
• Brauer-Manin obstructions on degree 2 \(K3\) surfaces
• Del Pezzo surfaces of degree 6
• Derived Categories of Families of Sextic del Pezzo Surfaces
• Experiments with the transcendental Brauer-Manin obstruction

Cited In (14)

• An example of a Brauer-Manin obstruction to weak approximation at a prime with good reduction
• Prime torsion in the Brauer group of an elliptic curve
• Rational points and derived equivalence
• Brauer groups on \(K3\) surfaces and arithmetic applications
• Failure of the Hasse principle for Enriques surfaces
• Reduction of Brauer classes on \(K3\) surfaces, rationality and derived equivalence
• Certain K3 surfaces parametrized by the Fibonacci sequence violate the Hasse principle
• Order \(5\) Brauer-Manin obstructions to the integral Hasse principle on log \(K3\) surfaces
• Failure of the Hasse principle on general \(K3\) surfaces
• Quantitative arithmetic of diagonal degree 2 \(K3\) surfaces
• Odd torsion Brauer elements and arithmetic of diagonal quartic surfaces over number fields
• Index of fibrations and Brauer classes that never obstruct the Hasse principle
• A transcendental Brauer-Manin obstruction to weak approximation on a Calabi-Yau threefold
• Transcendental obstructions to weak approximation on general \(K3\) surfaces

Uses Software

• Magma

This page was built for publication: Odd order obstructions to the Hasse principle on general \(K3\) surfaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5216733)