On Thursday Shou-wu Zhang concluded his lecture series by talking about the higher genus case , and in particular focusing on some recent work of his which is related to the effective Mordell conjecture and the abc conjecture. The higher genus case is substantially more difficult than the genus 0 or genus 1 cases, and one often needs to use techniques from many different areas of mathematics (together with one or two unproven conjectures) to get somewhere.
This is perhaps the most technical of all the talks, but also the closest to recent developments, in particular the modern attacks on the abc conjecture. (Shou-wu made the point that one sometimes needs to move away from naive formulations of problems to obtain deeper formulations which are more difficult to understand, but can be easier to prove due to the availability of tools, structures, and intuition that were difficult to access in a naive setting, as well as the ability to precisely formulate and quantify what would otherwise be very fuzzy analogies.)
As discussed in the first lecture, one of the landmark achievements in the higher genus theory is Faltings’ theorem (proving the Mordell conjecture), which asserts that if C is a curve of genus defined over the integers, then the set of rational points is finite; another way of saying this is that an equation of the form which is “inherently” of degree 4 or more, in that it cannot be solved via algebraic manipulations which only require solving polynomial equations of degree 3 or less, can have at most finitely many rational solutions. (For instance, this theorem already shows that for any fixed n, there are only finitely many reduced integer solutions to Fermat’s equation .) (Indeed, the genus precisely captures the fuzzy notion of the “inherent degree” of a polynomial equation, and is a good example of the advantages of recasting problems in a deeper framework.)
There are many proofs of Faltings theorem (Mordell’s conjecture), but they are all ineffective in the sense that they do not provide an upper bound for the height h(P) of the rational points P, which one can define naively as one plus the logarithm of the largest numerator or denominator of the coordinates of P (roughly speaking, this is the number of bits needed to write down P). The (naive) effective Mordell conjecture asserts that in fact , where h(C) can be defined as the largest height of any of the coefficients used to define C (roughly, the number of bits needed to write down C). This conjecture has the amusing consequence that the problem of determining whether a curve of fixed genus has a rational point would “merely” be in NP (for comparison, recall that the problem of finding a integer point on a general variety is undecidable, thanks to Matiyasevich’s theorem).
The naive notion of height is somewhat artificial and extrinsic (i.e. it is affected by changes of coordinate); it would be preferable to have a more intrinsic, and hence more geometric notion of height. (Indeed, geometry can almost be defined as the study of those notions which are intrinsic; cf. Klein’s Erlangen program.) One reason for this is one can use the intrinsic geometry to prove deep and sharp inequalities, for instance establishing an inequality by establishing a geometric identity which expresses Y as the sum of X and a square, or more generally as the sum of X and an integral of something positive-definite. (One good example of this is the method of monotonicity formulae from PDE, which was used for instance in the proof of the Poincare conjecture; these formulae often rely crucially on the intrinsic geometric nature of the objects being studied.)
Shou-wu made the point that Arakelov theory offers such an intrinsic notion of height. To explain this, he started with a curve C and first formed an integral model of C (I presume this would be a scheme) by making all coefficients integer, resolving singularities, and compactifying various things. In particular, the spectrum of the integers (i.e. the primes) is compactified by adding the Archimedean place . There are a number of ways to see why it is natural to group the place at infinity with all the finite places p. For instance, given a rational number q, one can define the usual absolute value (or valuation) (giving rise to the usual metric, whose completion is the field of reals ), or for any prime p we can define the p-adic metric , defined as the reciprocal of the power of p which divides q (note this obeys the triangle inequality!), whose completion leads to the p-adic field . The fundamental theorem of arithmetic can then be rephrased as the statement that the product of q over all places (both the finite places and the place at infinity) is always equal to 1. As an analogy, note from Cauchy’s theorem that the sum of residues of a rational function always equals zero if one compactifies the complex plane by adding the point at infinity.
[Incidentally, Shou-wu made the point that it was this compactification of the spectrum which distinguishes number theory from algebra; as he put it, "in number theory we care about the size of our solutions, and not just their number".]
Anyway, with this integral model X (or more generally, a model over a number field k) we can use Arakelov theory to construct two invariants over k:
- The relative dualising sheaf , which was not defined in the talk but could be thought of as an arithmetic analogue of the canonical line bundle of a complex surface, in particular is analogous to the first Chern class of X. In particular there is a self-intersection number .
- A numeric quantity , which was also not defined but was supposed to count the number of singularities in fibers of X and is analogous to the second Chern class.
The intrinsic version of the effective Mordell conjecture is then the arithmetic Bogolomov-Miyoaka-Yau inequality
for all number fields k, where d is the degree of k and is the discriminant; this is analogous to the geometric Bogolomov-Miyoaka-Yau inequality for complex surfaces, with the term being somewhat analogous to a “genus” for the spectrum of the ring of integers of k. According to Shou-wu, this conjecture (which remains open, despite some announced proofs in the past) is essentially equivalent to the effective Mordell conjecture. Furthermore, through the work of Parshin and Morel-Baily, the effective Mordell conjecture essentially implies Szpiro’s conjecture for elliptic curves, which in turn implies the abc conjecture by an observation of Frey; conversely, work of Elkies (building on earlier work of Baily) shows that the abc conjecture implies the effective Mordell conjecture, so all these conjectures are roughly equivalent. (Unfortunately I don’t have the precise details of all these equivalences.) Of course, the abc conjecture is known to have a large number of other interesting consequences.
So it is of course of interest to try to prove the arithmetic BMY inequality. In the case of the geometric BMY inequality established by Bogolomov, by Miyoaka, and by Yau, the known proofs use one of two sources of inequality or positivity:
- The Hodge index theorem, which can establish non-negativity of self-intersections of classes under certain conditions;
- The theory of stable bundles (i.e. sheaves F which have greater slope than all their sub-sheaves).
Unfortunately no good arithmetic analogues of these two concepts are currently known. But Shou-wu hinted that Riemann hypothesis type assumptions can be used to establish certain non-vanishing of L-functions at various places, which can in some cases lead to some interesting strict inequalities (this was not fully elaborated in the talk).
Zhang made a substantial contribution to understanding the conjectured arithmetic BMY inequality by relating the self-intersection number to the self-intersection number of another object, the Gross-Schoen cycle. This in turn is conjectured (via the Beilinson-Bloch conjecture – a variant of the BSD conjecture) to be connected with the order of vanishing of a certain L-function (the triple product L-series ), and so information about this L-series can be used to make progress on the arithmetic BMY inequality (and thus hopefully to effective Mordell and abc – though Shou-wu cautioned that one needs to establish BMY on an entire compact family of curves before there are any applications to Mordell or abc; knowing what happens on a single curve does not directly lead to much of anything).
Shou-wu then defined the Gross-Schoen cycle, which he viewed as a generalisation of the concept of a Heegner point to the higher genus setting. Given a point p in a curve C (viewed now as a surface, e.g. by working over ), we can form the 2-cycle in the six-dimensional surface by taking the alternating sum of the doubly-diagonal line minus the three diagonal lines , plus the coordinate lines . It is clear that for any two-form on which depends on only two of the three factors of C. From this it is not hard to see that is orthogonal to all closed two-forms and is therefore homologically trivial. As such, it is (non-uniquely) the boundary of some 3-fold Y; the map , defined on 3-forms, is then independent of Y and thus allows to be defined as a point in an intermediate Jacobian ( quotiented out by periods – this space is a complex torus). One can also compute the self-intersection number . It turns out that this expression is minimised if p is the canonical class , which is not exactly a point but rather a divisor consisting of the equivalence class of all formal rational combinations of points whose coefficients add up to 1 (I am a bit uncertain on this point), leading to the invariant , which is a “height intersection” for the curve C.
Zhang established an important formula
where is the sum over all “bad” places (which always includes the place at infinity), and is an explicit non-negative quantity, essentially the negative moment of a certain Laplacian associated to the localisation of C at . (In the case of finite places, this is a graph Laplacian; in the case of the place at infinity, one takes the Laplace-Beltrami operator associated to the Arakelov metric on the Riemann surface.) The positive definiteness of the Laplacian (with the appropriate sign convention) is what ensures the non-negativity of .
From the above formula we see that to attack the arithmetic BMY inequality, it suffices to control the self-intersection , as well as the auxiliary quantities . The latter seem to be fairly tractable, so it is the former which one now focuses on. To this end, it is convenient to introduce a cohomological object W as follows. Recall the cup product (where the latter space is essentially just ), defined by . This in turn leads to a surjective map from to defined by
The kernel of this map is denoted W, and it is related to in some manner which I did not understand. It can be assigned an L-function (the triple L-series) in analogy with the L-function of a curve C (in both cases, the local factor is essentially the characteristic polynomial of the Frobenius automorphism restricted to the portion of an cohomological object (W, or ) which is invariant under an inertia group – again, I did not understand this part well). This L-function (related to the triple product studied by Garrett, Rallis, and Piatetski-Shapiro) is conjectured to be entire and obey a functional equation (symmetric around s=2); this is a variant of the (now-proven) Taniyama-Shimura conjecture, as it basically asserts (via the Mellin transform) that W is associated with a modular form. This conjecture is known in some genus 3 cases (and is trivial in genus 2) but is open in general.
An even stronger conjecture is the Beilinson-Bloch conjecture, which asserts that the order of vanishing of at s=2 is equal to the rank of the restriction of the Chow group to W. (The Chow group here is the space of 2-cycles on modulo rational equivalence, while can be described explicitly as the subgroup of the Chow group coming from cycles which are permutation-invariant, vanish when pushed down to , and also vanish when restricted to a diagonal and then pushed down to .) Apparently W is “cut out” by in a motivic sense, but I didn’t understand this bit.
As a consequence of the Beilinson-Bloch conjecture, we see that if the L-function does not vanish at zero, then the Chow group at W is trivial, which in particular implies that the self-intersection vanishes. This particular implication is known in the function field case (which is simpler for a number of reasons – for instance, there are no bad places and so does not appear at all), however the full Beilinson-Bloch conjecture in the function field case (known as Tate’s conjecture) remains partially open. As with the BSD conjecture, it is believed that the L-function L(W,s) is supposed to vanish at s=2 “50% of the time” in some sense, which morally speaking should imply that the abc conjecture is true with very good effective constants “50% of the time”.
Shou-wu mentioned some recent work of himself with Xuan and (another) Zhang, which verified a variant of the Beilinson-Bloch conjecture (linking the derivative of the L-function at s=2 with the self-intersection of the Gross-Schoen cycle as above) when W is replaced by the Rankin-Selberg convolution of three cusp forms of weight 2 with common conductor. One curious consequence of this work is that it also provides a construction to pull back a point (e.g. the origin) from one of the elliptic curves associated to a cusp form to the modular curve, and push it to another, giving a new way to build rational points on elliptic curves.
Shou-wu closed by mentioning a rather different approach to establishing these sorts of inequalities, proceeding via a Riemann hypothesis for L-functions rather than by BSD-type conjectures. In particular, the Riemann hypothesis can be used to establish a “Hodge index theorem” of sorts that gives non-negativity of , which in turn can be used to give positivity of , which in turn implies the Bogomolov conjecture (which involves heights of points on elliptic curves, but was not stated explicitly here).
Finally, when asked about the possibility of actually proving the abc conjecture, Shou-wu ventured the opinion that if one was willing to assume enough variants of both the Riemann hypothesis and the Birch and Swinnerton-Dyer conjectures (ie. assuming that all relevant L-functions behave exactly as conjectured) then it seemed likely that abc could be established in the near future by these sorts of methods. This of course is consistent with the substantial existing evidence we have that GRH and BSD are extremely powerful conjectures in number theory.