We study the failure of the integral Hasse principle and strong approximation for Markoff surfaces, as studied by Ghosh and Sarnak, using the Brauer-Manin obstruction.
Contents1. Introduction 1 2. Geometry of affine cubic surfaces 4 3. Geometry of projective Markoff surfaces 8 4. Brauer group of affine Markoff surfaces 9 5. The Brauer-Manin obstruction 13 References 27 Theorem 1.3. Assume that m ∈ Z is such that U m has a Brauer-Manin obstruction to the integral Hasse principle. ThenThis qualitative statement shows that there is a Brauer-Manin obstruction to the integral Hasse principle for at most O(B 1/2 ) of the surfaces U m for m ∈ Z with |m| ≤ B. A more in-depth analysis of the Brauer-Manin obstruction allows us to prove that not only is m − 4 a product of small primes times a square, but all the prime divisors of m − 4 must satisfy very strong congruence conditions. This allows us to show the improved upper bound O(B 1/2 /(log B) 1/2 ), which is sharp by the following theorem.Theorem 1.4. We have
Geometry of affine cubic surfacesBy an affine cubic surface, we mean an affine surface of the formwhere f is a polynomial of degree of 3. The closure of U in P 3 is a cubic surface S. The complement H = S \ U is a hyperplane section on S. Much of the geometry of U can be understood in terms of the geometry of S and H. We begin with some basic remarks.2.1. Basic geometry.Lemma 2.1. Let S be a smooth cubic surface over a field k, let H be a hyperplane section and set U = S \ H. Then O(U)