Introduction to rational points Bjorn Poonen Varieties Introduction to rational points An open problem Affine varieties Projective varieties Guiding problems Dimension etc. Bjorn Poonen Curves Genus Classification University of California at Berkeley Genus ≥ 2 Genus 1 Genus 0 MSRI Introductory Workshop on Rational and Integral Counting points Height Points on Higher-dimensional Varieties Curves Hypersurfaces (organized by Jean-Louis Colliot-Th´el`ene,Roger Heath-Brown, J´anosKoll´ar,Bjorn Poonen, Alice Silverberg, Yuri Tschinkel) January 17, 2006 Introduction to An open problem rational points Bjorn Poonen Varieties An open problem Affine varieties Is there a rectangular box such that the lengths of the edges, Projective varieties Guiding problems face diagonals, and long diagonals are all rational numbers? Dimension etc. Curves Genus Classification Genus ≥ 2 Genus 1 Genus 0 Counting points Height Curves Hypersurfaces No one knows. Introduction to rational points Bjorn Poonen Varieties An open problem Affine varieties Projective varieties Guiding problems Dimension etc. Curves Genus Classification Genus ≥ 2 Genus 1 Equivalently, are there rational points (x, y, z, p, q, r, s) with Genus 0 Counting points positive coordinates on the variety defined by Height Curves Hypersurfaces x2 + y 2 = p2 y 2 + z2 = q2 z2 + x2 = r 2 x2 + y 2 + z2 = s2 ? One of the hopes of arithmetic geometry is that geometric methods will give insight regarding the rational points. Introduction to Affine varieties rational points Bjorn Poonen Varieties n n n An open problem I Affine space A is such that A (L) = L for any field L. Affine varieties Projective varieties I An affine variety X over a field k is given by a system of Guiding problems multivariable polynomial equations with coefficients in k Dimension etc. Curves Genus Classification f1(x1,..., xn) = 0 Genus ≥ 2 Genus 1 . Genus 0 . Counting points Height fm(x1,..., xn) = 0. Curves Hypersurfaces For any extension L ⊇ k, the set of L-rational points (also called L-points) on X is n X (L) := {~a ∈ L : f1(~a) = ··· = fm(~a) = 0}. Introduction to Projective varieties rational points Bjorn Poonen × n+1 ~ If L is a field, the multiplicative group L acts on L − {0} Varieties An open problem by scalar multiplication, and we may take the set of orbits. Affine varieties n Projective varieties I Projective space is such that Guiding problems P Dimension etc. n+1 ~ Curves n L − {0} Genus P (L) = × Classification L Genus ≥ 2 Genus 1 n Genus 0 for every field L. Write (a0 : ··· : an) ∈ P (L) for the Counting points n+1 orbit of (a0,..., an) ∈ L − {~0}. Height Curves Hypersurfaces I A projective variety X over k is defined by a polynomial system ~f = 0 where ~f = (f1,..., fm) and the fi ∈ k[x0,..., xn] are homogeneous. For any field extension L ⊇ k, define n ~ X (L) := {(a0 : ··· : an) ∈ P (L): f (~a) = 0}. Introduction to Guiding problems of arithmetic geometry rational points Bjorn Poonen Given a variety X over Q, can we Varieties An open problem 1. decide if X has a Q-point? Affine varieties Projective varieties Guiding problems 2. describe the set X (Q)? Dimension etc. Curves I The first problem is well-defined. Tomorrow’s lecture on Genus Classification Hilbert’s tenth problem will discuss weak evidence to Genus ≥ 2 Genus 1 suggest that it is undecidable. Genus 0 Counting points I The second problem is more vague. If X (Q) is finite, Height Curves then we can ask for a list of its points. But if X (Q) is Hypersurfaces infinite, then it is not always clear what constitutes a description of it. The same questions can be asked over other fields, such as I number fields (finite extensions of Q), or I function fields (such as Fp(t) or C(t)). Introduction to Dimension, smoothness, irreducibility rational points Bjorn Poonen I Let X be a variety over a subfield of C. Its dimension Varieties d = dim X can be thought of as the complex dimension An open problem Affine varieties of the complex space X (C). Projective varieties Guiding problems I If there are no singularities, X (C) is a d-dimensional Dimension etc. Curves complex manifold, and X is called smooth in this case. Genus Classification I Call X geometrically irreducible if X is not a union of Genus ≥ 2 Genus 1 two strictly smaller closed subvarieties, even when Genus 0 considered over . (“Geometric” refers to behavior over Counting points C Height C or some other algebraically closed field.) Curves 2 2 Hypersurfaces Example: The affine variety x − 2y = 0 over Q is not geometrically irreducible. I From now on, varieties will be assumed smooth, projective, and geometrically irreducible. Much is known about the guiding problems in the case of curves (d = 1). We will discuss this next, because it helps motivate the conjectures in the higher-dimensional case. Introduction to Genus of a curve rational points Bjorn Poonen Let X be a curve over C. The genus g ∈ {0, 1, 2,...} of X is a geometric invariant that can be defined in many ways: Varieties An open problem Affine varieties I The compact Riemann surface X (C) is a g-holed torus Projective varieties Guiding problems (topological genus). Dimension etc. Curves Genus Classification Genus ≥ 2 Genus 1 Genus 0 Counting points Height Curves Hypersurfaces 0 1 I g is the dimension of the space H (X , Ω ) of holomorphic 1-forms on X (geometric genus). I g is the dimension of the sheaf cohomology group 1 H (X , OX ) (arithmetic genus). Introduction to Classification of curves over C: moduli spaces rational points Bjorn Poonen Varieties An open problem Affine varieties Curves of genus g over are in bijection with the complex Projective varieties C Guiding problems points of an irreducible variety Mg , called the moduli space Dimension etc. Curves of genus-g curves. Genus Classification Genus ≥ 2 Genus 1 Genus 0 g moduli space Mg Counting points Height Curves ≥ 2 variety of dimension 3g − 3 Hypersurfaces 1 1 ←→ A (parameterizing elliptic curves by j-invariant) 1 0 • point (representing P ) Introduction to Classification of curves over C: the trichotomy rational points Bjorn Poonen I The value of g influences many geometric properties of Varieties X : An open problem Affine varieties Projective varieties Guiding problems g curvature canonical bundle Kodaira dim Dimension etc. Curves ≥ 2 negative deg K > 0 κ = 1 Genus Classification (K ample) (general type) Genus ≥ 2 Genus 1 1 zero K = 0 κ = 0 Genus 0 Counting points 0 positive deg K < 0 κ = −∞ Height Curves (anti-ample, Fano) Hypersurfaces I Surprisingly, if X is over a number field k, then g influences also the set of rational points. Roughly, the higher g is in this trichotomy, the fewer rational points there are. I Generalizations to higher-dimensional varieties will appear in Caporaso’s lectures. Introduction to Genus ≥ 2 rational points Theorem (Faltings 1983, second proof by Vojta 1989) Bjorn Poonen Varieties Let X be a curve of genus ≥ 2 over a number field k. An open problem Affine varieties Then X (k) is finite (maybe empty). Projective varieties Guiding problems I Both proofs give, in principle, an upper bound on Dimension etc. Curves #X (k) computable in terms of X and k. But they are Genus Classification ineffective in that they cannot list the points of X (k), Genus ≥ 2 Genus 1 even in principle. Genus 0 I The question of how the upper bound depends on X Counting points Height and k will be discussed in Caporaso’s lecture on Curves uniformity of rational points today. Hypersurfaces I There exist a few methods (not based on the proofs of Faltings and Vojta) that in combination often succeed in determining X (k) for individual curves of genus ≥ 2: 1. the p-adic method of Chabauty and Coleman. 2. the Brauer-Manin obstruction, which for curves can be understood as a “Mordell-Weil sieve”. 3. descent, to replace the problem with the analogous problem for a finite collection of finite ´etalecovers of X . Introduction to Genus 1 rational points Bjorn Poonen Let X be a curve of genus 1 over a number field k. Varieties An open problem Affine varieties I It may happen that X (k) is empty. Projective varieties Guiding problems I If X (k) is nonempty, then X is an elliptic curve, and the Dimension etc. Curves Mordell-Weil theorem states that X (k) has the Genus Classification structure of a finitely generated abelian group. This will Genus ≥ 2 Genus 1 be discussed further in Rubin’s lectures. Genus 0 Counting points I In any case, there will exist a finite extension L ⊇ k Height such that X (L) is infinite. (A generalization of this Curves Hypersurfaces property to higher-dimensional varieties will appear in Hassett’s lecture on potential density.) I But even when X (L) is infinite, it is “sparse” in a sense to be made precise later, when we discuss counting points of bounded height. Introduction to Genus 0: existence of rational points rational points Bjorn Poonen Let X be a curve of genus 0 over a number field k. Varieties An open problem Affine varieties I There is a simple test to decide whether X has a Projective varieties Guiding problems k-point. Dimension etc. Curves I For example, if k = Q, one has Genus Classification Genus ≥ 2 X (R) 6= ∅, and Genus 1 X (Q) 6= ∅ ⇐⇒ Genus 0 X (Qp) 6= ∅ for all primes p. Counting points Height Curves (This is an instance of the Hasse principle, to be Hypersurfaces discussed further in the lectures by Wooley and Harari.) I The conditions about Qp-points mean concretely that there are no obstructions to rational points arising from considering equations modulo various integers.