About one month ago (on January 24, 2015), the first Bourbaki seminar of 2015 took place at Institut Henri Poincaré. As usual, this was an excellent opportunity to learn about recent advances in areas of Mathematics outside my field of expertise.
The first Bourbaki seminar of 2015 had the following four talks:
- David Harari discussed recent results of Harpaz and Wittenberg on the existence of rational points and zero-cycles on fibrations;
- Luigi Ambrosio discussed the works of Almgren, and DeLellis and Spadaro on the regularity of area-minimizing integral currents;
- Gilles Carron talked about two new applications of the doubling of variables method by Andrews and Clutterbuck, and Brendle;
- Phillipe Eyssidieux talked about the works of Chen, Donaldson and Sun, and Tian on the construction of Kähler-Einstein metrics on Fano manifolds.
Today, I would like to discuss David Harari’s talk entitled “Zero cycles and rational points on fibrations in rationally connected varieties (after Harpaz and Wittenberg)”. Here, I will try to follow the first 38m50s of the video of Harari’s talk (in French) and sometimes his lecture notes (also in French). Of course, this goes without saying that any errors/mistakes are my full responsibility.
Equivalently, denoting by the algebraic variety defined by the system (1), we want to know whether the set of points of whose coordinates belong to is not empty. In the literature, is called the set of –rational points of .
It is not easy to answer this problem in general. Nevertheless, we have the following necessary condition: if , then for all completion of with respect to a place of (i.e., is an equivalence class of absolute values). In other words, we have that whenever there is a local obstruction in the sense that for some place of .
This necessary condition based on local obstructions is helpful because it is often easy to verify algorithmically that . For example, when , its completions are either (for the place of -adic absolute values, prime) or (for the “place at infinity”), and, in this situation, we can check that with the help of Hensel’s lemma (-adic analog of Newton’s method).
It is known that this necessary condition is sufficient in certain special cases. For instance, the classical Hasse-Minkowski theorem (from 1924) states that if and only if when is a quadric, i.e., is defined by just one polynomial equation of degree .
Partly motivated by this, we introduce the following definition:
Definition 1 satisfies Hasse’s principle (also called local-global principle) whenever if and only if for all places of .
As it turns out, Hasse’s principle is false in general: Swinnerton-Dyer constructed in 1962 some counterexamples among cubic surfaces, and Iskovskih constructed in 1970 a counterexample among the surfaces fibered in conics (given by intersections of two projective quadrics).
Of course, given that it is not hard to determine algorithmically when (with the help of Hensel lemma and/or Newton’s method), it is somewhat sad that Hasse’s principle fails in general.
In view of this state of affairs, we can try to generalize the problem of determining whether by replacing “rational points” by slightly more general objects (which then would be easier to find). In this direction, we have the following notion.
Definition 2 A zero-cycle is a formal linear combination where:
- vanishes for all but finitely many , and
- if , then is a closed point in the sense of Algebraic Geometry, i.e., is a point defined over (its coordinates belong to) a finite extension of .
The degree of a zero-cycle is .
Note that, by definition, a rational point is a zero-cycle of degree . Thus, we can ask the following more general question:
Does possess a zero-cycle of degree if has such cycles over all ?
Remark 1 It follows from Bézout’s theorem that has a zero-cycle of degree if and only if has points defined over finite extensions of whose degrees are coprime.
Remark 2 A little curiosity about Bézout: as I discovered after moving from Paris to Avon, Bézout spent the last years of his life in Avon and the city gave his name to a street (not far from my appartment) in his honor.
Once more, the answer to this question is no: for example, it is known that there are counterexamples among surfaces fibered in conics.
Given this scenario, our goal is to explain how to refine the local-global principle with additional cohomological conditions (related to the so-called Brauer groups) introduced by Manin ensuring the existence of zero-cycles and/or rational points in certain situations.
2. Manin’s condition and Conjecture ()
From now on, let us assume for the sake of simplicity that the projective variety is:
- smooth (or non-singular), i.e., the Jacobian matrix associated to the polynomials in (1) has maximal rank at all points of , and
- geometrically integral in the sense that if we pass from to an algebraic closure , then does not break into several irreducible components.
between the space of local points over all places of and the Brauer group of . This (Brauer-Manin) coupling is defined as follows. We take a family of local points and an element , and we associated to them the following quantity:
Of course, we have to explain what this means.
The Brauer group is a (étale) cohomology group ( where is the multiplicative group) generalizing to the notion of Brauer group of a field (whose elements are equivalence classes of central simple algebras of finite rank over the given field).
In general, is a subgroup of the Brauer group of the function field of X. Moreover, is functorial: we can evaluate and, by the results from class field theory, we can embed in (and this embedding is actually an isomorphism when is a finite place).
Therefore, we can consider the sum of the elements . The fact that this sum has only finitely many non-trivial terms (i.e., for all but finitely many ‘s) is a consequence of the projectivity of .
At this point, it is natural to ask why Manin introduced this coupling and also what is its relevance for our purposes of studying rational points.
In order to explain this, let us setup some notations. The set of adelic points over is . The kernel to the left of the coupling (2) is a subset of denoted by . In other terms, whenever for all .
Using the global reciprocity law, one can show that (where the closure of is taken with respect to the product topology of the -adic topologies on .
This gives a new necessary condition called Manin’s condition for the existence of rational points in : if , then .
Of course, one of the main points of Manin’s condition is that, even though seems a complicated, it can be computed in practice for many examples.
The perspective provided by Manin’s condition led Colliot-Thélène to make the following conjecture (previously formulated by Sansuc in the setting of rational surfaces):
Conjecture (Colliot-Thélène). If is a rationally connected variety, then .
Remark 3 It is known (since 2000) that, in general, does not imply that . Thus, it is necessary to impose some geometrical conditions on in the formulation of any conjecture in the spirit of Colliot-Thélène’s conjecture.
Two examples where this conjecture is known to be true are:
- intersections of two quadrics in the projective space if (by the results of Colliot-Thélène, Sansuc and Swinnerton-Dyer from 1987);
- smooth compactifications of homogenous spaces of algebraic linear groups with connected stabilizers (by the results of Borovoi).
Remark 4 At this point, Serre asked Harari whether the particular choice of smooth compactification was important in the second item above. Harari replied that, even though this is not obvious, our whole discussion so far is birationally invariant, and this implies that it is not important what smooth compactification was taken in the statement of Borovoi’s theorem.
Logically, one can expect that this discussion of rational points has a counterpart for zero-cycles. In fact, the Brauer-Manin coupling (2) extends by linearity to Chow’s groups of zero-cycles modulo rational equivalence, so that we have a coupling
where . By analogy with Colliot-Thélène’s conjecture, this leads us to suspect that there might be a relation between the kernel (to the left) of this coupling and the zero-cycles of X over . In this direction, we have the following conjecture:
Conjecture () (Colliot-Thélène, Kato, Saito). If there exists a family of (local) zero-cycles orthogonal to (with respect to the coupling (3)) with , then has a (global) zero-cycle of degree over .
Remark 5 Note that this time we made no geometric assumption on .
Remark 6 There is a refined version of this conjecture (called Conjecture ) where one describes the image of in under the natural application induced by the Brauer-Manin coupling (3).
Remark 7 Concerning the nomenclature, Harari told that “Conjecture ()” probably means “Conjecture of Existence of zero-cycles of degree one”, and, then, when this conjecture was refined, the subscript was removed leading to “Conjecture (E)”.
Again, let us give some examples where the conjecture () is known to be true:
- curves whose Tate-Shafarevich group of its Jacobian is finite (by the results of Saito in 1989);
- surfaces fibered in conics over (by the results of Salberger in 1988);
- smooth compactifications of homogenous spaces of algebraic linear groups with connected stabilizers (by the results of Liang in 2013).
These examples indicate that one can prove non-trivial results about the existence of rational points and/or zero-cycles when has an extra structure. As we are going to see now, Harpaz and Wittenberg obtained important results in this direction when is fibered over a curve.
3. Statement of Harpaz-Wittenberg theorems
Suppose that is fibered over a curve (say ) whose Tate-Shafarevich group is finite or simply take . Assume that the generic fiber , , is rationally connected.
Before stating the results of Harpaz-Wittenberg, we need the following notion introduced by Skorobogatov:
Definition 3 A -variety is split if it contains an irreducible component of multiplicity which is geometrically integral.
Remark 8 For , is split: it decomposes as , and both and are defined over . On the other hand, is not split.
Coming back to as above, it is worth to mention that, from the point of view of the so-called fibration method of construction of rational points and zero-cycles, the non-split fibers of are the bad fibers. The reason for this fact is that if is split, then one can show (with the aid of the Lang-Weil estimate and Hensel’s lemma) that for almost all places .
In this setting, the question that we want to discuss is the following. Can we prove conjectures above for assuming its validity for the fibers of ?
The first result of Harpaz-Wittenberg provides an affirmative answer for this question in the context of the Conjecture ():
Theorem 4 (Harpaz-Wittenberg (2014)) Let as above. Suppose that all smooth fibers satisfy Conjecture (). Then, Conjecture () holds for .
Remark 9 One can replace “all smooth fibers” by “many smooth fibers” in the previous statement (where “most” means a non-empty Zariski open subset of fibers, for example). Also, we can replace “Conjecture ()” by “Conjecture (E)” in this statement.
The next two examples illustrate the range of applicability of this theorem:
- If has a generic fiber birational to a homogenous space of algebraic linear group with connected stabilizer, then Conjecture () holds for .
- Consider the equation , where is a finite extension of , is the corresponding norm, is a basis of , are the variables, and is a non-zero polynomial in . Let be a projective smooth model associated to this “normic equation” (such always exists by Hironaka’s theorem of resolution of singularities). Then, the generic fibers of are birational to a homogenous space of algebraic linear group with connected stabilizer, so that Conjecture () holds for .
Let us now compare this result with other theorems previously known in the literature.
Colliot-Thélène, Skorobogatov and Swinnerton-Dyer (in 1998) and Liang (in 2013) proved some cases of Harpaz-Wittenberg theorem under much more restrictive hypothesis on the Brauer group of the generic fiber and/or on the bad fibers of . Indeed, Colliot-Thélène-Skorobogatov-Swinnerton-Dyer imposed in their work that is trivial and the bad fibers are split over a finite extension of with Abelian Galois group, while Liang makes no assumption on but he imposes that there exists at most one bad fiber.
In particular, one of the great advantages of Harpaz-Wittenberg theorem is that there is no need to make any assumptions on or on the bad fibers, so that it can be applied to a whole new class of examples.
Concerning Colliot-Thélène’s conjecture on rational points, there are analogs of Harpaz-Wittenberg theorem (with “Conjecture ()” replaced by Colliot-Thélène’s conjecture) under certain restrictive hypothesis. For example, in the same work mentioned above, Colliot-Thélène-Skorobogatov-Swinnerton-Dyer proved such an analog assuming the validity of the so-called Schnizel’s hypothesis (a broad conjectural generalization of Dirichlet’s theorem on arithmetic progressions), while Harari (in 1997) proved such an analog under the assumption that there is at most one bad fiber.
Harpaz and Wittenberg have an analog of their theorem in the context of Colliot-Thélène’s conjecture, but, as it turns out, they were not able to completely removed the restrictive hypothesis mentioned in the previous paragraph. More precisely, they showed the following result.
Theorem 5 (Harpaz-Wittenberg) Suppose that (as above) has all of its bad (non-split) fibers over -points. Then, the validity of Colliot-Thélène’s conjecture for the fibers of implies that satisfies Colliot-Thélène’s conjecture.
Once more, a basic example illustrating Harpaz-Wittenberg comes from normic equations such that the polynomial splits over . In fact, the statement of Harpaz-Wittenberg theorem in the case of these examples was previously established by Browning and Matthiesen (in 2013) using methods from Analytic Number Theory (inspired from the works of Green-Tao-Ziegler).
At this point, Harari started the discussion of the elements of the proofs of the theorems of Harpaz-Wittenberg. However, I will not pursue this discussion here as I do not feel confident to comment on this part of Harari’s talk.