Mathematical Surveys and Monographs Volume 198
Brauer Groups, Tamagawa Measures, and Rational Points on Algebraic Varieties
Jörg Jahnel
American Mathematical Society
Brauer Groups, Tamagawa Measures, and Rational Points on Algebraic Varieties
Mathematical Surveys and Monographs Volume 198
Brauer Groups, Tamagawa Measures, and Rational Points on Algebraic Varieties
Jörg Jahnel
American Mathematical Society Providence, Rhode Island
EDITORIAL COMMITTEE Ralph L. Cohen, Chair Benjamin Sudakov Robert Guralnick MichaelI.Weinstein MichaelA.Singer
2010 Mathematics Subject Classification. Primary 11G35, 14F22, 16K50, 11-04, 14G25, 11G50.
For additional information and updates on this book, visit www.ams.org/bookpages/surv-198
Library of Congress Cataloging-in-Publication Data Jahnel, J¨org, 1968– Brauer groups, Tamagawa measures, and rational points on algebraic varieties / J¨org Jahnel. pages cm. — (Mathematical surveys and monographs ; volume 198) Includes bibliographical references and index. ISBN 978-1-4704-1882-3 (alk. paper) 1. Algebraic varieties. 2. Geometry, Algebraic. 3. Brauer groups. 4. Rational points (Ge- ometry) I. Title.
QA564.J325 2014 516.353—dc23 2014024341
Copying and reprinting. Individual readers of this publication, and nonprofit libraries acting for them, are permitted to make fair use of the material, such as to copy select pages for use in teaching or research. Permission is granted to quote brief passages from this publication in reviews, provided the customary acknowledgment of the source is given. Republication, systematic copying, or multiple reproduction of any material in this publication is permitted only under license from the American Mathematical Society. Permissions to reuse portions of AMS publication content are handled by Copyright Clearance Center’s RightsLink service. For more information, please visit: http://www.ams.org/rightslink. Send requests for translation rights and licensed reprints to [email protected]. Excluded from these provisions is material for which the author holds copyright. In such cases, requests for permission to reuse or reprint material should be addressed directly to the author(s). Copyright ownership is indicated on the copyright page, or on the lower right-hand corner of the first page of each article within proceedings volumes. c 2014 by the American Mathematical Society. All rights reserved. The American Mathematical Society retains all rights except those granted to the United States Government. Printed in the United States of America. ∞ The paper used in this book is acid-free and falls within the guidelines established to ensure permanence and durability. Visit the AMS home page at http://www.ams.org/ 10987654321 191817161514
Contents
Preface vii Introduction 1 Notation and conventions 11
Part A. Heights 13 Chapter I. The concept of a height 15
1. The naive height on the projective space over É 15 2. Generalization to number fields 17 3. Geometric interpretation 21 4. The adelic Picard group 25 Chapter II. Conjectures on the asymptotics of points of bounded height 35 1. A heuristic 35 2. The conjecture of Lang 38 3. The conjecture of Batyrev and Manin 40 4. The conjecture of Manin 44 5. Peyre’s constant I—the factor α 47 6. Peyre’s constant II—other factors 50 7. Peyre’s constant III—the actual definition 59 8. The conjecture of Manin and Peyre—proven cases 62
Part B. The Brauer group 81 Chapter III. On the Brauer group of a scheme 83 1. Central simple algebras and the Brauer group of a field 84 2. Azumaya algebras 89 3. The Brauer group 93 4. The cohomological Brauer group 94 5. The relation to the Brauer group of the function field 98 6. The Brauer group and the cohomological Brauer group 101 7. The theorem of Auslander and Goldman 103 8. Examples 107 Chapter IV. An application: the Brauer–Manin obstruction 119 1. Adelic points 119 2. The Brauer–Manin obstruction 122 3. Technical lemmata 126 4. Computing the Brauer–Manin obstruction—the general strategy 129 5. The examples of Mordell 132
v
vi contents
6. The “first case” of diagonal cubic surfaces 146 7. Concluding remark 161
Part C. Numerical experiments 163
Chapter V. The Diophantine equation x4 +2y4 = z4 +4w4 165 Numerical experiments and the Manin conjecture 165 1. Introduction 166 2. Congruences 167 3. Naive methods 169 4. An algorithm to efficiently search for solutions 169 5. General formulation of the method 171 6. Improvements I—more congruences 172 7. Improvements II—adaptation to our hardware 176 8. The solution found 182 Chapter VI. Points of bounded height on cubic and quartic threefolds 185 1. Introduction—Manin’s conjecture 185 2. Computing the Tamagawa number 189 3. On the geometry of diagonal cubic threefolds 193 4. Accumulating subvarieties 195 5. Results 199 Chapter VII. On the smallest point on a diagonal cubic surface 205 1. Introduction 205 2. Peyre’s constant 208 3. The factors α and β 209 4. A technical lemma 211 5. Splitting the Picard group 212 6. The computation of the L-function at 1 216 7. Computing the Tamagawa numbers 219 8. Searching for the smallest solution 221 9. The fundamental finiteness property 222 10. A negative result 233 Appendix 239 1. A script in GAP 239 2. The list 241 Bibliography 247 Index 261
Preface
In this book, we study existence and asymptotics of rational points on algebraic varieties of Fano and intermediate type. The book consists of three parts. In the first part, we discuss to some extent the concept of a height and formulate Manin’s conjecture on the asymptotics of rational points on Fano varieties. In the second part, we study the various versions of the Brauer group. We explain why a Brauer class may serve as an obstruction to weak approximation or even to the Hasse principle. This includes two sections devoted to explicit computations of the Brauer–Manin obstruction for particular types of cubic surfaces. The final part describes numerical experiments related to the Manin conjecture that were carried out by the author together with Andreas-Stephan Elsenhans.
Prerequisites. We assume that the reader is familiar with some basic mathemat- ics, including measure theory and the content of a standard course in algebra. In addition, a certain background in some more advanced fields shall be necessary. This essentially concerns three areas. a) We will make use of standard results from algebraic number theory and class field theory, as well as such concerning the cohomology of groups. The content of articles [Cas67, Se67, Ta67, A/W, Gru] in the famous collection edited by J. W. S. Cassels and A. Fröhlich shall be more than sufficient. Here, the most important results that we shall use are the existence of the global Artin map and, related to this, the computation of the Brauer group of a number field [Ta67, 11.2]. b) We will use the language of modern algebraic geometry as described in the textbook of R. Hartshorne [Ha77, Chapter II]. Cohomology of coherent sheaves [Ha77, Chapter III] will be used occasionally. c) In Chapter III, we will make substantial use of étale cohomology. This is probably the deepest prerequisite that we expect from the reader. For this reason, we will formulate its main principles, as they appear to be of importance for us, at the beginning of the chapter. It seems to us that, in order to follow the arguments, an understanding of Chapters II and III of J. Milne’s textbook [Mi] should be sufficient. At a few points, some other background material may be helpful. This concerns, for example, Artin L-functions. Here, [Hei] may serve as a general reference. Pre- cise citations shall, of course, be given wherever the necessity occurs.
A suggestion that might be helpful for the reader. Part C of this book describes experiments concerning the Manin conjecture. Clearly, the particular samples are
vii
viii preface chosen in such a way that not all the difficulties, which are theoretically possible, really occur. It therefore seems that Part C might be easier to read than the others, particularly for those readers who are very familiar with computers and the concept of an al- gorithm. Thus, such a reader could try to start with Part C to learn about the experiments and to get acquainted with the theory. It is possible then to continue, in a second step, with Parts A and B in order to get used to the theory in its full strength.
References and citations. When we refer to a definition, proposition, theorem, etc., in the same chapter we simply rely on the corresponding numbering within the chapter. Otherwise, we add the number of the chapter. For the purpose of citation, the articles and books being used are encoded in the manner specified by the bibliography. In addition, we mostly give the number of the relevant section and subsection or the number of the definition, proposition, theorem, etc. Normally, we do not mention page numbers.
Acknowledgments. I wish to acknowledge with gratitude my debt to Y. Tschinkel. Most of the work described in this book, which is a shortened version of my Habil- itation Thesis, was initiated by his numerous mathematical questions. During the years he spent at Göttingen, he always shared his ideas in an extraordinarily gen- erous manner. I further wish to express my deep gratitude to my friend and colleague Andreas- Stephan Elsenhans. He influenced this book in many ways, directly and indirectly. It is no exaggeration to say that most of what I know about computer program- ming I learned from him. The experiments, which are described in Part C, were carried out together with him as a joint work. I am also indebted to Stephan for proofreading. The computer part of the work described in this book was executed on the Sun Fire V20z Servers of the Gauß Laboratory for Scientific Computing at the Göttingen Mathematical Institute.The author is grateful to Y. Tschinkel for permission to use these machines as well as to the system administrators for their support.
Jörg Jahnel Siegen, Germany Spring 2014
Introduction
Here, in the midst of this sad and barren landscape of the Greek ac- complishments in arithmetic, suddenly springs up a man with youthful energy: Diophantus. Where does he come from, where does he go to? Who were his predecessors, who his successors? We do not know. It is all one big riddle. He lived in Alexandria. If a conjecture were permitted, I would say he was not Greek; ... if his writings were not in Greek, no-one would ever think that they were an outgrowth of Greek culture ... . Hermann Hankel (1874, translated by N. Schappacher)
Diophantine equations have a long history. More than two thousand years ago, Diophantus of Alexandria considered, among many others, the equations
x2 + y2 = z2 , (∗)
y(6 − y)=x3 − x, and y2 = x2 + x4 + x8 .
In Diophantus’ book Arithmetica, we find the formula (p2 − q2)λ, 2pqλ, (p2 + q2)λ (†) that generates infinitely many solutions of (∗). For the second and third of the equations mentioned, Diophantus gives particular solutions, namely (1/36, 1/216) and (1/2, 9/16), respectively. In general, a polynomial equation in several indeterminates, where solutions are sought in integers or rational numbers, is called a Diophantine equation in honour of Diophantus. Diophantus himself was interested in solutions in positive integers or positive rational numbers. Contrary to the point of view usually adopted today, he did not accept negative numbers.
It is remarkable that algebro-geometric methods have often been fruitful in order to understand a Diophantine equation. For example, there is a simple geometric idea behind formula (†). Indeed, since the equation is homogeneous, it suffices to look for solutions 2 2 of X + Y =1in rationals. This equation defines the unit circle. For every t ∈ Ê, there is the line “x = −ty +1” going through the point (1, 0). An easy calculation
1
2 introduction shows that the second point where this line meets the unit circle is given by 1 − t2 2t , . (‡) 1+t2 1+t2 As every point on the unit circle may be connected with (1, 0) by a line, one sees that the parametrization (‡) yields every rational point on the circle (except for (−1, 0), for which the form of line equation given is not adequate). Consequently, formula (†) delivers essentially every solution of equation (∗), a fact which was seemingly not known to the ancient mathematicians. The morphism
1 −→ 2 P P , (p : q) → (p2 − q2):2pq :(p2 + q2) provides a rational parametrization of the plane conic C given by the equation x2 +y2 = z2 in P2. More or less the same method works for every conic in the plane. Further, it may be extended to several classes of singular curves of higher degree.
Every Diophantine equation defines an algebraic variety X in an affine or projec- tive space. There is a one-to-one correspondence between solutions of the Diophan-
tine equation and É-rational points on X. We will prefer geometric language to number theoretic throughout this book. The cases in which there is an obvious rational parametrization are, in some sense, the best possible. But even when there is nothing like that, algebraic geometry often yields a guideline of which behaviour to expect—whether there will be no, a few, or many solutions. The Kodaira classification distinguishes between Fano varieties, varieties of interme- diate type, and varieties of general type (at least under the additional assumption that X is non-singular). It does not use any specifically arithmetic information, but only information about X as a complex variety. Nevertheless, there is overwhelm- ing evidence for a strong connection between the classification of X according to Kodaira and its set of rational points. To make a vague statement, on a Fano variety, there are infinitely many rational points expected while, on a variety of general type, there are only finitely many rational points or even none at all. More precisely, there is the conjecture that, on a Fano variety, there are always infinitely many rational points after a suitable finite extension of the ground field. On the other hand, for varieties of general type, there is the conjecture of Lang. It states that there are only finitely many rational points outside the union of all closed subvarieties that are not of general type.
Another method to analyze a Diophantine equation is given by congruences. Kurt Hensel provided a more formal framework for this method by his invention of the p-adic numbers. As one is working over local fields, this might be called the local method. Consider, for example, the Diophantine equation
x3 +7y3 +49z3 +2u3 +14v3 +98w3 =0. (§)
introduction 3
6
It has no solution in É except for (0, 0, 0, 0, 0, 0). This may be seen by a repeated application of an argument modulo 7. A more formal reason is the fact that the
projective algebraic variety defined by (§) has no point defined over É7.
One might ask whether or to what extent solvability over Ép for every prime num- ber p together with solvability in real numbers implies the existence of a ratio- nal solution. This question has been very inspiring for research over many decades. As early as 1785, A.-M. Legendre gave an affirmative answer for equations of the type q(x, y, z)=0, where q is a ternary quadratic form. Legendre’s result was generalized to quadratic forms in arbitrarily many variables by H. Hasse and H. Minkowski. The term “Hasse principle” was coined to describe the phenomenon. A totally different sort of examples where the Hasse principle is valid is provided by the circle method originally developed by G. H. Hardy and J. E. Littlewood. The circle method uses tools from complex analysis to study the asymptotics of the number of points of bounded height on complete intersections in a very high- dimensional projective space. It provides an asymptotic formula and an error term. The main term is of the form
− − − τBn+1 d1 ... dr
n for a complete intersection of multidegree (d1, ... ,dr) in P . The reader might want to consult [Va] for a description of the method and references to the origi- nal literature. The exponent of the main term allows a beautiful algebro-geometric interpretation. The anticanonical sheaf on a complete intersection of multidegree (d1, ... ,dr) n in P is precisely O(n +1− d1 − ... − dr)|X . This means, when working with an anticanonical height instead of the naive height, the circle method proves linear
growth for the É-rational points. The coefficient τ of the main term is a product of p-adic densities together with a factor corresponding to the Archimedean valuation. Unfortunately, it is necessary to make very restrictive assumptions on the number of variables in comparison with the degrees of the equations. These assumptions on the dimension of the ambient projective space are needed in order to ensure that the provable error term is smaller than the main term. One might, nevertheless, hope that there is a similar asymptotic under much less restrictive conditions. This is the origin of Manin’s conjecture. However, as was observed by J. Franke, Yu. I. Manin, and Y. Tschinkel [F/M/T], the main term as described above is not compatible with the formation of di- rect products. Already on a variety as simple as P1 ×P1, the growth of the number
of the É-rational points is actually asymptotically equal to τBlog B.Thismaybe seen by a calculation, which is completely elementary. Thus, in general, the asymptotic formula has to be modified by a log-factor. − Franke, Manin, and Tschinkel suggest the factor logrk Pic(X) 1B and prove that this factor makes the asymptotic formula compatible with direct products.
4 introduction
Furthermore, it turns out that the coefficient τ has to be modified when rk Pic(X) > 1. There appears an additional factor, which today is called α(X). This factor is defined by a beautiful yet somewhat mysterious elementary geomet- ric construction.
Another problem is that the Hasse principle does not hold universally. Con- sider the following elementary example, which was given by C.-E. Lind in 1940. Lind [Lin] dealt with the Diophantine equation
2u2 = v4 − 17w4 defining an algebraic curve of genus 1. It is obvious that this equation is non- trivially solvable in reals, and it is easy to check that it is non-trivially solvable
in Ép for every prime number p. On the other hand, there is no solution in rationals except for (0, 0, 0). Indeed, as- sume the contrary. Then there is a solution in integers such that gcd(u, v, w)=1. For such a solution, one clearly has 17 u.Since2 is a square but not a fourth power u − modulo 17, we conclude that 17 = 1. On the other hand, for every odd prime 4 − 4 ≡ 17 divisor p of u, one has v 17w 0(mod p ). This shows p =1.Bythelowof p u quadratic reciprocity, 17 =1. Altogether, 17 =1, which is a contradiction. One might argue that this example is not too interesting since, on a curve of genus 1,
there are relatively few É-rational points to be expected. Thus, it might happen that there are none of them without any particular reason. However, several other counterexamples to the Hasse principle had been invented. Some of them were Fano varieties. For example, Sir Peter Swinnerton-Dyer [SD62] and L.-J. Mordell [Mord] (cf. our Chapter IV, Section 5) constructed exam- ples of cubic surfaces violating the Hasse principle. A few years later, J. W. S. Cas- sels and M.J.T. Guy [Ca/G]aswellasA.Bremner[Bre] even found isolated examples of diagonal cubic surfaces showing that behaviour. Typically, the proofs were a bit less elementary than Lind’s in that sense that they required not the quadratic but the cubic or biquadratic reciprocity low.
In the late 1960s, Yu. I. Manin [Man] made the remarkable discovery that all the known counterexamples to the Hasse principle could be explained in a uniform man- ner. There was actually a class α ∈ Br(X) in the Brauer group of the underlying
algebraic variety responsible for the lack of É-rational points.
This may be explained as follows. The Brauer group of É is relatively complicated. One has, by virtue of global class field theory,
1
É ⊕ −→ É Br(Spec É)=ker s: / 2 / / .
p prime
Here, s is just the summation. The summand É/ corresponding to the prime Ê number p is nothing but Br(Spec Ép) while the last summand is Br(Spec ). ∈
Let α Br(X) be any Brauer class of a variety X over É. An adelic point
∈ É x =(xν )ν∈Val( É) X( )
introduction 5 É defines restrictions of α to Br(Spec Ê) and Br(Spec p) for each p. Ifthesumofall
invariants is different from zero, then, according to the computation of Br(Spec É),
x may not be approximated by É-rational points. As α ∈ Br(X) then “obstructs” x from being approximated by rational points, the expression Brauer–Manin obstruction became the general standard for this famous observation of Manin. In the counterexamples to the Hasse principle, which were known to Manin in those days, one typically had a Brauer class, the restrictions of which had a totally degenerate behaviour. For example, on Lind’s curve, there is a Brauer class α such
that its restriction is independent of the choice of the adelic point. α restricts to
É É zero in Br(Spec Ê) and Br(Spec p) for p =17but non-trivially to Br(Spec 17).
This suffices to show that there is no É-rational point on that curve.
Br
⊆ É In general, the Brauer–Manin obstruction defines a subset X( É ) X( ) consisting of the adelic points that are not affected by the obstruction. At least for cubic surfaces, there is a conjecture of J.-L. Colliot-Thélène stating that
Br
X( É ) is equal to the set of all adelic points that may actually be approximated
by É-rational points.
Br
∅ ∅ É Thus, X( É ) = , while X( ) = means that X is a proven counterexample
Br
É to the Hasse principle. If X( É ) X( ), then we have a counterexample to weak approximation. If Colliot-Thélène’s conjecture were true, then one could say that all cubic surfaces that are counterexamples to the Hasse principle or to weak approximation are of this form.
The Brauer group of an algebraic variety X over an algebraically non-closed field k admits, according to the Hochschild–Serre spectral sequence, a canonical fil- tration into three terms. The first term is given by the image of Br(Spec k) in Br(X). Second, Br(X)/ Br(Spec k) has a subgroup canonically isomor- 1 phic to H Gal(k/k), Pic(Xk) . The remaining subquotient is a subgroup of Gal(k/k) Br(Xk) . It turns out that only the second and third parts are relevant for the Brauer–Manin obstruction. The third one causes the so-called transcenden- tal Brauer–Manin obstruction, which is technically difficult. We will not cover the transcendental Brauer–Manin obstruction in this book. The subquotient 1 H Gal(k/k), Pic(Xk) =0is responsible for what might be called the algebraic Brauer–Manin obstruction. In the cases where the circle method is applicable, the Noether–Lefschetz The- orem shows that Pic (Xk)= with trivial Galois operation. Consequently, 1 H Gal(k/k), Pic(Xk) =0, which is clearly sufficient for the absence of the alge- braic Brauer–Manin obstruction. This coincides perfectly well with the observation that the circle method always proves equidistribution. By consequence, in a conjectural generalization of the results proven by the
Br
É circle method, one can work with X( É ) instead of X( ) without mak- ing any change in the proven cases. However, in the cases where weak ap- proximation fails, this does not give the correct answer, as was observed by D. R. Heath-Brown [H-B92a] in 1992. On a cubic surface such that
1 H Gal(k/k), Pic(Xk) = /3 and a non-trivial Brauer class excludes two thirds
6 introduction of the adelic points, there are nevertheless as many rational points as naively ex- pected. Even more, E. Peyre and Y. Tschinkel [Pe/T] showed experimentally that
1 if H Gal(k/k), Pic(Xk) = /3 and the Brauer class does not exclude any adelic point, then there are three times more rational points than expected. Correspond- ingly, in E. Peyre’s [Pe95a] definition of the conjectural constant τ, there appears 1 an additional factor β(X):=#H Gal(k/k), Pic(Xk) .
This book is concerned with Diophantine equations from the theoretical and exper- imental points of view. It is divided into three parts. The first part is devoted to the various concepts of a height. In the first chapter, we start with the naive height
for É-rational points on projective space. Then our goal is to deliver some insight into the theories, which provide natural generalizations of this simple concept. The very first generalization is the naive height for points in projective space defined
over a finite extension of É. Then, following André Weil, we introduce the concept of a height defined by an ample invertible sheaf. This is a height function, which is defined only up to a bounded summand. To overcome this difficulty, one has to work with arithmetic varieties and metrized
invertible sheaves. Arithmetic varieties are schemes projective over Spec .Actu- ally, this leads to a beautiful geometric interpretation of the naive height. X Indeed, let X be a projective variety over É,andlet be a projective model L X of X over Spec . Fix a hermitian line bundle on . Then, according to the
valuative criterion of properness, every É-rational point x on X extends uniquely
→ X L to a -valued point x: Spec . The height function with respect to is then given by ∗ hL (x):=deg x L .
Here, deg denotes the Arakelov degree of a hermitian line bundle over Spec . It turns out that this coincides exactly with the naive height when one works with X = Pn , L = O(1), and the minimum metric, which is defined by min := min . i=0, ... ,n Xi
In general, hL admits a fundamental finiteness property as soon as L is ample. Chapter II is devoted to some of the most popular conjectures concerning ratio- nal points on projective algebraic varieties. We discuss Lang’s conjecture, the conjecture of Batyrev and Manin, and, most notably, Manin’s conjecture about the asymptotics of points of bounded height on Fano varieties (Conjecture II.7.3). A large part of the chapter is concerned with E. Peyre’s Tamagawa type num- ber τ(X), the coefficient expected in the asymptotic formula. We discuss in detail all factors appearing in the definition of τ(X). In particular, we give a number of examples, for which we explicitly compute the fac- tor α(X). We mainly consider smooth cubic surfaces of arithmetic Picard rank two.
Part B is the technical heart of the book. It deals with the concepts of a Brauer group and its applications. The third chapter considers A. Grothendieck’s Brauer group for arbitrary schemes. We recall the concept of a sheaf of Azumaya algebras on a scheme and explain how such a sheaf of algebras gives rise to a class in the
introduction 7
2 étale cohomology group Br (X):=Hét(X, m). This is what is called the cohomo- logical Brauer group. On the other hand, a rather naive generalization of the defi- nition for fields yields the concept of the Brauer group. One has Br(X) ⊆ Br (X). In general, the two are not equal to each other. In Section III.7, we give a proof for the Theorem of Auslander and Goldman stating that Br(X)=Br(X) in the case of a smooth surface. This result was originally shown in [A/G] before the actual invention of schemes. The proof of Auslan- der and Goldman was formulated in the language of Brauer groups for commuta- tive rings. However, all the arguments given carry over immediately to the case of a two-dimensional regular scheme. Although better results are available today, most notably Gabber’s Theorem [dJo2], we feel that the proof of the Theorem of Auslander and Goldman gives a good impression of the methods used to compare Br(X) and Br(X). The chapter is closed by computations of Brauer groups in particular examples. In the case of a variety over an algebraically non-closed field, we study the relation- 1 ship of Br(X) with H Gal(k/k), Pic(Xk) . We prove Manin’s formula expressing the latter cohomology group in terms of the Galois operation on a specific set of divisors. For smooth cubic surfaces, one may work with the classes given by the 27 lines. This leads to the result of Sir Peter Swinnerton-Dyer [SD93] that, for a smooth
1 2
cubic surface, H Gal(k/k), Pic(Xk) is one of the groups 0, /2 , /3 , ( /2 ) ,
2 and ( /3 ) . Swinnerton-Dyer’s proof filled the entire article [SD93]andwaslater modified by P. K. Corn in his thesis [Cor]. We discovered that Swinnerton-Dyer’s result may be obtained in a manner, which is rather brute force, but very simple. The Galois group acting on the 27 lines on a smooth cubic surface is a subgroup of W (E 6). There are only 350 conjugacy classes 1 of subgroups of W (E6). We computed H Gal(k/k), Pic(Xk) in each of these cases using GAP. This took 28 seconds of CPU time. As an application of Brauer groups, the third chapter is concerned with the Brauer– Manin obstruction. We recall the notion of an adelic point and define the local and
global evaluation maps. An adelic point x =(xν )ν∈Val( É) is “obstructed” from being approximated by rational points if the global evaluation map ev gives a non-zero value ev(α, x) for a certain Brauer class α ∈ Br(X). We then describe a strategy on how the Brauer–Manin obstruction may be explicitly computed in concrete examples. We carry out this strategy for two special types of cubic surfacess, which, as we think, are representative but particularly interesting.
The first type is given as follows. Let p0 ≡ 1(mod 3) be a prime number, and
let K/É be the unique cubic field extension contained in the cyclotomic exten-
É ∈ sion É(ζp0 )/ . Fix the explicit generator θ K given by − − i
θ := trÉ (ζ 1) = 2n + ζ (ζp0 )/K p0 p0 ∗ 3 i∈( ) p0 − for n := p0 1 . Then consider the cubic surface X ⊂ P3 ,givenby 6 É 3 (i) (i) 2 x3(a1x0 + d1x3)(a2x0 + d2x3)= x0 + θ x1 +(θ ) x2 . i=1
(i) É Here, a1,a2,d1,d2 ∈ .Theθ denote the three images of θ under Gal(K/ ).
8 introduction
Proposition IV.5.3 provides criteria to verify that such a surface is smooth and has p-adic points for every prime p. More importantly, the Brauer–Manin obstruction can be understood completely explicitly. At least for a generic choice of a1,a2,d1,
1 and d2, one has that H Gal(k/k), Pic(Xk) = /3 . Further, there is a class α ∈ Br(X) with the following property. For an adelic point x =(x ) ,thevalueofev(α, x) depends only on the component x . ν ν νp0 Write x =: (t : t : t : t ). Then one has ev(α, x)=0if and only if νp0 0 1 2 3
a1t0 + d1t3 t3 ∗ ≡ is a cube in p . Note that p0 1(mod 3) implies that only every third element ∗ 0 of p0 is a cube. Observe that the reduction of X modulo p0 is given by
3 x3(a1x0 + d1x3)(a2x0 + d2x3)=x0 .
This means, there are three planes intersecting in a triple line. No Ép0 -rational point may reduce to the triple line. Thus, there are three different planes to which a Ép0 -rational point x may reduce. The value of ev(α, x) depends only the plane, to which its component x is mapped under reduction. νp0 For instance (cf. Example IV.5.24), for p0 =19, consider the cubic surface X given by 3 (i) (i) 2 x3(x0 + x3)(12x0 + x3)= x0 + θ x1 +(θ ) x2 . i=1
Then, in 19, the cubic equation
x(1 + x)(12 + x) − 1=0
has the three solutions 12, 15,and17. However, in 19, 13/12 = 9, 16/15 = 15, ∅
and 18/17 = 10, which are three non-cubes. This shows that X( É)= . It is easy
∅
to check that X( É ) = . Therefore, X is an example of a cubic surface violating the Hasse principle. We construct a number of similar examples. For instance, Example IV.5.24 de-
1 scribes a cubic surface X such that H Gal(k/k), Pic(Xk) = /3 , but the gen- erating Brauer class does not exclude a single adelic point. One would expect that X satisfies weak approximation. Recall that, in similar examples, E. Peyre and Y. Tschinkel [Pe/T] showed experimentally that there are three times more
É-rational points than expected. The historically first cubic surface that could be proven to be a counterexample to the Hasse principle was provided by Sir Peter Swinnerton-Dyer [SD62]. We recover Swinnerton-Dyer’s example (cf. Example IV.5.27) for p0 =7, d1 = d2 =1, a1 =1, and a2 =2. L. J. Mordell [Mord] generalized Swinnerton-Dyer’s work by giving a series of examples for p0 =7and a series of examples for p0 =13. Yu. I. Manin men- tions Mordell’s examples explicitly in his book [Man]. He explains these counterex- amples to the Hasse principle by a Brauer class. We generalize Mordell’s examples further to the case that p0 is an arbitrary prime such that p0 ≡ 1(mod 3). We conclude Chapter IV by a section on diagonal cubic surfaces. For these, the Brauer–Manin obstruction was investigated in the monumental work [CT/K/S]
introduction 9 of J.-L. Colliot-Thélène, D. Kanevsky, and J.-J. Sansuc. We present an explicit computation of the Brauer–Manin obstruction under a congruence condition that corresponds more or less to the “first case” of [CT/K/S]. Our argument is, however, shorter and simpler than the original one. The point is that we make use of the
1 2 2
fact that H Gal(k/k), Pic(Xk) may be only 0, /2 , /3 , ( /2 ) ,or( /3 ) .
2 Further, the group ( /3 ) appears only once in a very particular case. Thus, in
1 order to prove H Gal(k/k), Pic(Xk) = /3 , it is almost sufficient to construct an element of order three.
Part C collects two reports on practical experiments. Chapter V is concerned with the Diophantine equation x4 +2y4 = z4 +4w4 . (¶)
This equation gives an example of a K3 surface X defined over É.Itisanopen
question whether there exists a K3 surface over É that has a finite non-zero number
of É-rational points. X might be a candidate for a K3 surface with this property. (1:0:1:0) and (1 : 0 : (−1) : 0) are two obvious rational points. Sir Peter Swinnerton-Dyer [Poo/T, Problem/Question 6.c)] had publicly posed the problem to find a third rational point on X. But no rational points different from the two obvious ones had been found in experiments carried out by several people.
We explain our approach to efficiently search for É-rational points on algebraic varieties defined by a decoupled equation. It is based on hashing, a method from
computer science. In the particular case of a surface in P3 , our algorithm is of É complexity essentially O(B2) for a search bound of B. In the final implementation, we could work with the search bound B =108.Wedis- covered the following solution of the Diophantine equation (¶):
1 484 8014 +2· 1 203 1204 = 9 050 910 498 475 648 046 899 201, 1 169 4074 +4· 1 157 5204 = 9 050 910 498 475 648 046 899 201.
Up to changes of sign, this is the only non-obvious solution of (¶) we know and the only non-obvious solution of height less than 108 [EJ2, EJ3]. The reader probably thinks that this particular equation is not of fundamental importance, and doing so he or she is definitely right. Let us, however, empha- size that Chapter V discusses an efficient point search algorithm, which works in much more generality. The two final chapters show it at work in experimental investigations related to the Manin conjecture for two important families of Fano varieties. In Chapter VI we describe our investigations regarding the particular families “ax3 = by3 + z3 + v3 + w3”, a, b =1, ... ,100,and“ax4 = by4 + z4 + v4 + w4”, a, b =1, ... ,100, of projective algebraic threefolds. We report numerical evidence for the conjecture of Manin in the refined form due to E. Peyre. Our experiments included searching for points, computing the Tamagawa number, and detecting the accumulating subvarieties. Concerning the programmer’s efforts, detection of accumulating subvarieties was the most difficult part of this project. For example, for one the cubic threefolds, the non-obvious lines in Table 1 have
10 introduction
Table 1. Sporadic lines on cubic threefolds
a b Smallest point Point s.t. x =0 19 18 (1:2:3:-3:-5) (0 : 7 : 1 : -7 : -18) 21 6 (1:2:3:-3:-3) (0 : 9 : 1 : -10 : -15) 22 5 (1:-1: 3: 3: -3) (0 : 27 : -4 : -60 : 49) 45 18 (1:1:3:3:-3) (0 : 3 : -1 : 3 : -8) 73 17 (1 : 5 : -2 : 11 : -15) (0 : 27 : -40 : 85 : -96) been found. These are the only non-obvious lines we know and the only ones containing a point of height less than 5000. We describe all the computations that were done as well some background on the geometry of cubic and quartic threefolds. Observe that the lines on a cubic threefold have a particular rich geometry. They form a smooth surface that is
of general type. Our observation that É-rational lines are rare is therefore in coincidence with Lang’s conjecture. In Chapter VII we return to the more standard case of diagonal cubic surfaces. The experiments are analogous to those described in Chapter VI for diagonal cubic and quartic threefolds. The theory is, however, more complicated. The geometric Picard rank is equal to 7 and, in the generic case, there is a Brauer–Manin ob- struction to weak approximation excluding precisely two thirds of the adelic points. The factors α(X) and β(X) appearing in the definition of Peyre’s constant are not always the same and need to be considered. We demonstrate experimentally the connection of Peyre’s constant with the height m(X) of the smallest rational point. Under the Generalized Riemann Hy- C pothesis, we prove that there is no constant C such that m(X) < τ(X) for every diagonal cubic surface. We also prove that, for diagonal cubic surfaces, the recip- 1 1 rocal τ(X) behaves like a height function, i.e., τ(X) admits a fundamental finite- ness property.
introduction 11
Notation and conventions
We follow standard notation and conventions from algebra, algebraic number the-
ory, and algebraic geometry. More precisely:
É Ê i) We write Æ, , , ,and for the sets of natural numbers, integers, rational numbers, real numbers, and complex numbers, respectively.
ii) We say that a function f is O(g),forB →∞, if there exists a constant C ∈ Ê such that f(B) ≤ Cg(B),forB sufficiently large. Instead of f = O(g),wealso write f g or g f. iii) For a group G and elements σ1,...,σn ∈ G, we denote the subgroup generated by σ1,...,σn by σ1,...,σn⊆G.
If G is abelian, then Gn ⊆ G is the subgroup consisting of all elements of torsion dividing n. iv) If a group G operates on a set M,thenM G denotes the invariants. We write M σ instead of M σ. v) All rings are assumed to be associative. vi) If R is a ring, then Rop denotes the opposite ring. I.e., the ring that coincides with R as an abelian group, but in which one has xy = z when one had yx = z in R. vii) For R aringwithunit,R∗ denotes the multiplicative group of invertible ele- ments in R. viii) All homomorphisms between rings with unit are supposed to respect the unit elements. ix) By a field, we always mean a commutative field. I.e., a commutative ring with unit, every non-zero element of which is invertible. If K is a field, then Ksep and K denote a fixed separable closure and a fixed algebraic closure, respectively. x) A ring with unit, every non-zero element of which is invertible, is called a skew field. xi) If R is a commutative ring with unit, then an R-algebra is always understood to be a ring homomorphism j : R → A, the image of which is contained in the center of A.AnR-algebra j : R → A is denoted simply by A when there seems to be no danger of confusion. An R-algebra being a skew field is also called a division algebra. xii) If σ : R → R is an automorphism of R,thenAσ denotes the R-algebra σ j σ σ σ R −→ R −→ A.IfM is an R-module, then we put M := M ⊗R R . M is an Rσ-moduleaswellasanR-module. xiii) All central simple algebras are assumed to be finite dimensional over a base field. xiv) For K a number field, we write OK to denote the ring of integers in K. If ν ∈ Val(K) is a non-Archimedean valuation, then the ν-adic completion of K is O denoted by Kν and its ring of integers by Kν .
In the particular case that K = É, we denote by νp the normalized p-adic valuation corresponding to a prime number p. xv) For R a commutative ring, we denote by Spec R theaffineschemeconstituted by its spectrum.
12 introduction xvi) The projective space of relative dimension n over a scheme X will be denoted n by PX . We omit the subscript when there is no danger of confusion. xvii) If X is a scheme over a scheme T and Y is a T -scheme, then we also write XY for the fiber product X ×T Y .IfY = Spec R is affine, then we write XR instead of XSpec R. xviii) For X aschemeoveraschemeT , we denote by Xt the fiber of X over t ∈ T . C O If is a scheme over the integer ring Kν of the completion Kν of the number field K with respect to the valuation ν,thenwewriteCν for the special fiber. In the C C particular case that K = É and ν = νp,wewrite p instead of νp . If C is a scheme over the integer ring O of a number field K,thenweusethesame O notation, not mentioning the base change to Kν . xix) For R any commutative ring, A a commutative R-algebra, and X an R-scheme, a morphism x: Spec A → X of R-schemes is also called an A-valued point on X. If A is a field, then we also adopt more conventional language and speak of a point defined or rational over A.ThesetofallA-valued points on X will be denoted by X(A). xx) If C is a scheme over a valuation ring O and x ∈ C (O), then the reduction of x is denoted by x.
Part A
Heights
CHAPTER I
The concept of a height
Equations are just the boring part of mathematics. I attempt to see things in terms of geometry. Stephen Hawking (A Biography (2005) by Kristine Larsen, p. 43)
1. The naive height on the projective space over É
1.1. Heights have been studied by number theorists for a very long time. A height is a function measuring the size or, more precisely, the arithmetic com- plexity of certain objects. These objects are classically solutions of Diophantine equations or rational points on an algebraic variety. A height then might answer the question, How many bits would one need in order to store the solution or the point on a computer? More recently, starting with G. Faltings’ ideas of heights on moduli spaces, it be- came more common to consider heights for more complicated objects, such as cycles.
n 1.2. Definition. For (x0 : ... : xn) ∈ P ( É), put
| | Hnaive(x0 : ... : xn):= max xi . i=0,... ,n Here (x0 : ... : xn)=(x0 : ... : xn),
such that all xi are integers and gcd(x0,...,xn)=1.
n → Ê The function H : P ( É) is called the naive height.
naive É
1.3. Fact (Fundamental finiteness). For every B ∈ Ê, there are only ∈ n
finitely many points x P ( É) such that É
Hnaive(x) − Proof. For each component of (x0, ... ,xn),wehave B 1.4. The naive height is probably the simplest function one might think of that fulfills the fundamental finiteness property. For more general height functions, the fundamental finiteness property will always be required. 15 16 the concept of a height [Chap. I n 1.5. Remark. Let X ⊂ P be a subvariety. Then every É-rational point É n É on X is also a É-rational point on P . We call the restriction of Hnaive to X( ) the naive height on X. It is obvious that the naive height on X fulfills the fundamental finiteness property. 1.6. Notation. i) For a prime number p, denote by . p the normalized p- vp ∈ \{ } ± v2 · v3 · · k adic valuation. I.e., for x É 0 ,letx = 2 3 ... pk be its decomposition into prime factors. Then put −vp x p := p . Further, 0 p := 0. ii) We use . ∞ as an alternative notation for the usual absolute value, x if x ≥ 0 , x ∞ := −x if x<0 . 1.7. Fact. For p a prime number or infinity, . p is indeed a valuation. ∈ This means, for x, y É, i) x p ≥ 0, ii) x p =0if and only if x =0, iii) xy p = x p · y p, iv) x + y p ≤ x p + y p. For p = ∞, one even has that x + y p ≤ max{ x p, y p}. \{ } 1.8. Fact (Product formula). For x ∈ É 0 , one has x p =1. p prime or ∞ n 1.9. Lemma. Let (x : ... : x ) ∈ P ( É).Then 0 n É Hnaive(x0 : ... : xn)= max xi p . i=0,... ,n p prime or ∞ Proof. The product formula implies that the right-hand side remains unchanged when (x0 : ... : xn) is replaced by (λx0 : ... : λxn) for λ =0 .Thus,wemay suppose that all xi are integers and gcd(x0,...,xn)=1. These assumptions imply that max xi p =1 i=0,... ,n for every prime number p. Hence, the formula on the right-hand side may be simplified to maxi=0,... ,n |xi|. This is precisely the assertion. 1.10. Remark. Despite being so primitive, the naive height is actually suf- ficient for most applications. For example, in the numerical experiments described in Part C, we will always work with the naive height. Sec. 2] generalization to number fields 17 2. Generalization to number fields i. The definition. 2.1. Let K be a number field. I.e., K is a finite extension of É.Itis well known from algebraic number theory [Cas67] that there is a set Val(K) of normalized valuations . ν on K satisfying the following conditions. ∈ É a) The functions . ν : K → Ê are indeed valuations. I.e., for x, y , i) x ν ≥ 0, ii) x ν =0if and only if x =0, iii) xy ν = x ν · y ν , iv) x + y ν ≤ x ν + y ν . b) There is the product formula x ν =1 ν∈Val(K) for every x ∈ K\{0}. 2.2. Further, for L/K adegreed extension of number fields, the sets Val(K) and Val(L) are compatible in the following sense. i) For every . μ ∈ Val(L), there are a valuation . ν ∈ Val(K) and dμ ∈ Æ such that | dμ . μ K = . ν . In this case, it is said that . μ is lying above . ν . ii) For every . ν ∈ Val(K), there are only a finite number of valuations ∈ . μ1 ,..., . μl Val(L) lying above . ν . One has l dμi = d. i=1 This implies l d x ν = x μi i=1 for every x ∈ K. 2.3. A valuation is called Archimedean if it lies above the valuation . ∞ of É. Otherwise, it is called non-Archimedean. If ν is non-Archimedean, then one has the ultrametric triangle inequality x + y ν ≤ max{ x ν , y ν } . 18 the concept of a height [Chap. I 2.4. Definition. Let K be a number field of degree d. Then, for n (x0 : ... : xn) ∈ P (K), one puts 1 d Hnaive(x0 : ... : xn):= max xi ν . i=0,... ,n ν∈Val(K) This height function is the number field version of the naive height on Pn.Itis usually called the absolute height. n 2.5. Lemma. Let K be a number field, and let (x0 : ... : xn) ∈ P (K). Further, let L ⊃ K be a finite extension. Then the absolute height Hnaive(x0 : ... : xn) remains unchanged when (x0 : ... : xn) is considered as an L-rational point. Proof. Put d := [L : K]. Then, by the properties of the valuations, we have