Asia Pacific Newsletter 1

CongruentCongruent Numbers Numbers and and Heegner Heegner PointsPoints

Shou-WuShou-Wu ZhangZhang

1. Problem Conversely given a right triangle [a, b, c] with area n, then we have following progression with An anonymous Arab manuscript [1], written difference n: before 972, contains the following a − b 2 c 2 a + b 2  ,   ,  . Congruent number problem (Original version). 2 2 2 2 Given an integer n, find a (rational) square γ such The following are right triangles respectively 2 that γ ± n are both (rational) squares. with areas 5, 6, 7:

Examples

1. 24 is a congruent: 24 337 2 2 2 2 20 41 5 60 5 + 24 = 7 , 5 − 24 = 1 . 3 6 4 5 7 5 6 So is 6: 2 2 2 2 5 7 5 1 3 3 35  + 6 =  ,  − 6 =  . 2 12 2 2 2 2 It is clear that it suffices to assume n has no square factors. 2. Fermat 1659 2. Leonard Pissano in 1220’s was challenged by Emperor’s scholars to show that 5, 7 are In a letter to his friend, Fermat wrote: congruent numbers: “I discovered at least a most singular method... 49 2 41 2 31 2 5 :  ,  ,  which I call the infinite descent. At first I used 12 12 12 it only to prove negative assertions such as ... 463 2 337 2 113 2 there is no right angled triangle in numbers whose 7 :  ,  ,  120 120 120 area is a square, ... If the area of such a triangle Conjecture (Fibonacci). 1 is not a congruent were a square, then there would also be a smaller number. one with the same property, and so on, which is impossible, ...” It took 400 hundreds year until it was proved by Fermat using his method of infinite descent. He adds that to explain how his method works would make his discourse too long, as the whole mystery of his method lay there. To quote Weil: Triangular version “Fortunately, just for once he (Fermat) had found Congruent number problem (Triangular ver- room for this mystery in the margin of the very sion). Given a positive integer n, find a right angled last proposition of Diophantus”. triangle with rational sides and area n. Fermat’s argument was based on the ancient Euclidean formula (300 BC): Given (a, b, c) positive This was considered as a principle object of the integers, pairwise coprime, and a2 + b2 = c2. Then theory of rational triangles in 10th century. there is a pair of coprime positive integers (p, q) The equivalence of the two forms is not diffi- with p + q odd, such that cult to prove: Suppose we are given an arithmetic progression α2, β2, γ2 with common difference n a = 2pq, b = p2 − q2, c = p2 + q2. then we have the following right triangle with Thus we have a Congruent number generating area n: formula: a = γ − α, b = γ + α, c = 2β. n = pq(p + q)(p − q)/ .

12 April 2013, Volume 3 No 2 Asia Pacific Mathematics Newsletter2

Here are some examples: 4. Theorems (p, q)=(2, 1), pq(p2 − q2)=2 × 3, n(2, 1)=6; The following are some results about the con- (p, q)=(5, 4), pq(p2 − q2)=5 · 4 · 9, n(5, 4)=5; (p, q)=(16, 9), pq(p2 − q2)=16 · 9 · 7, n(16, 9)=7. gruent and non-congruent numbers with specific prime factors. Theorem (Fermat). 1, 2, 3 are non-congruent.

The following is the argument for 1 being a Congruent primes non-congruent number: 1. Suppose 1 is congruent. Then is an integral Theorem (Genocchi (1874), Razar (1974)). A prime right triangle with minimum area: = pq(p + p (respectively 2p) is non-congruent if p ≡ 3 mod 8 q)(p − q). (respectively p ≡ 5 mod 8). 2. As all 4 factors are co-prime, Theorem (Heegner (1952), Birch–Stephens p = x2, q = y2, p + q = u2, p − q = v2. (1975), Monsky (1990)). A prime p (respectively 2p) is congruent if p ≡ 5, 7 mod 8 (respectively p ≡ 3 3. Thus we have an equation with the solution mod 4). as follows: Zagier has computed a precise triangle with (u + v)2 + (u − v)2 = (2x)2. prime area 157: 4. Then (u + v, u − v, 2x) forms a right triangle 157 = 1 ab, a2 + b2 = c2. and with a smaller area y2. Contradiction! 2

411340519227716149383203 3. Conjectures a = 21666555693714761309610 Following Goldfeld and BSD (Birch and 6803298487826435051217540 b = Swinnerton-Dyer conjecture), we have the 411340519227716149383203 following conjecture concerning the distribution of congruent numbers: 224403517704336969924557513090674863160948472041 c= . 8912332268928859588025535178967163570016480830 Conjecture. Let n be a square free positive integer. 1. If n ≡ 5, 6, 7 mod 8 then n is congruent. 2. If n ≡ 1, 2, 3 mod 8 then n has probability 0 to Congruent numbers with many prime factors be congruent: Theorem (Feng 1996, Li–Tian 2000, Zhao 2001). #{n≤X : n=1, 2, 3 mod 8 and congruent} lim =0. For any positive integer k, and any j ∈ {1, 2, 3}, there X→∞ X are infinitely many non-congruent numbers n with k odd primes factors, and congruent to j mod 8. Examples Theorem (Gross 1985, Monsky 1990, Tian 2012). 1. Congruent numbers under 23: For any positive integer k, and any j ∈ {5, 6, 7}, there n = pq(p + q)(p − q)/ . are infinitely many congruent numbers n with k odd primes factors, and congruent to j mod 8. 14 ≡ 6 mod 8 (p, q) = (8, 1); 15 ≡ 7 mod 8 (p, q) = (4, 1); 21 ≡ 5 mod 8 (p, q) = (4, 3); 5. Elliptic Curves 22 ≡ 6 mod 8 (p, q) = (50, 49); Congruent number problem ( ver- 13 ≡ 5 mod 8 (p, q) = (52 · 13, 62); sion). For a positive integer n, find a rational point 23 ≡ 7 mod 8 (p, q) = (1562, 1332). (x, y) with non-zero y on the elliptic curve: 2. Conjecturally, if n ≡ 1, 2, 3 mod 8 is congruent 2 3 then there are at least two very different ways En : ny = x − x. to construct triangles: The equivalence with the triangle version is = 34 ≡ 2 mod 8, (p, q) (17,1), (17,8); given by: 41 ≡ 1 mod 8, (p, q) = (25,16), (41,9); p 2 2 2 2 ≡ = x = ⇔ (a, b, c) = (2pq, p − q , p + q ). 219 3 mod 8, (p, q) (73,48), (169,73). q

April 2013, Volume 3 No 2 13 Asia Pacific Mathematics Newsletter 3

The rational points on an elliptic curve form a Tian’s theorem group. The understanding of this group structure ≡ is a major question in modern and Theorem (Ye Tian). Let m 5, 6, 7 be a square free (m) 2 = 3 − arithmetic algebraic geometry. The following was number and consider E : my x x. Then

conjectured by Poincar´ein 1901. (m) (m) rank E (Q) = 1 = ords=1L(E , s) Theorem (Mordell 1922). Let C be an elliptic curve over Q. Then provided the following condition verified:

r 1. the order part n = p0p1 ··· pk with pi ≡ 1 mod 8 C(Q) ≃ Z ⊕ C(Q)tor for i > 1. Q √ for some r > 0, where C( )tor is a finite group. 2. the class group A of K = Q( −2n) satisfies

L-series 1, p0 ≡ ±1 mod 8 dimF (A[4]/A[2]) = 2  0, p0 ≡ ±3 mod 8 Let ∆ denote the discriminant of C and set  = { 2 ≡ 3 + + } Np # solutions of y x ax b mod p . 6. Heegner Method a = p − N . p p Both Monsky and Tian have proven their theorem = −s + 1−2s −1 based on the original method of Heegner. Heeg- L(C, s) � (1 − app p ) . p∤2∆ ner published his paper in 1952 as a 59 years Then L(C, s) is absolutely convergent for ℜ(s) > old nonprofessional mathematician. In the same 3/2 (Hasse), and has holomorphic continuation to paper, Heegner solved Gauss’ class number one C (Wiles, et al.). problem whose correctness was accepted by the math community only in 1969, four years after An $1,000,000 prize problem by Clay Heegner died. Math Institute:

Conjecture (Birch and Swinnerton-Dyer). The Modular parametrization Taylor expansion of L(C, s) at s = 1 has the form Heegner’s main idea of constructing solutions to L(C, s) = c(s − 1)r + higher order terms E : y2 = x3 − x is by using modular functions (analogous to parametrizing the unit circle using with c 0 and r = rank C(Q). In particular L(C, 1) = 0 trigonometric functions ( cos 2πt, sin 2πt)): if and only if C(Q) is infinite. f : H := {z ∈ C, ℑz > 0} −→ E(C). Application to congruent numbers The same idea can be used to answer the 1. The L-series L(En, s) has a functional equa- question: → − tion s 2 s with sign √ π 163 1 n ≡ 1, 2, 3 mod 8 Question. Why is e an almost an integer? ǫ =  (n)  √ −1 n ≡ 5, 6, 7 mod 8. π 163 =  e 262537412640768743.99999999999925... This gives a partition N = S T according − � = 6403203 + 744 − 74 × 10 14... to ǫ = ±1. 2. Conjecturally, 100% of n ∈ S are non- The answer lies in the algebraicity of the spe- congruent numbers. cial values of modular functions just like trigono- This maybe be checked by computing the metric functions which are transcendental but Selmer groups which is a modern version of take algebraic values at rational multiples of π. the Fermat’s infinite descent, the only tool Modular functions are transcendental, but take available for non-congruent numbers. algebraic values at quadratic points. For example: 3. Conjecturally, 100% of n ∈ T are congruent numbers with solutions given by Heegner j(z) = e−2πiz + 744 + 196884e2πiz + 21493760e4πiz + ··· points, the only tool available for congruent √ numbers. j((1+ −163)/2)=−6403203 =−262537412640768000

14 April 2013, Volume 3 No 2 Asia Pacific Mathematics Newsletter 4

Heegner point Theorem (Ye Tian). Assume the following condition verified: Here are the precise steps of construction of 1. The order part n = p p ··· p with p ≡ 1 mod 8 Heegener points in Tian’s paper: Define E(m) : 0 1 k i for i > 1. my2 = x2 − x, m∗ := ( − 1)(n−1)/2m. √ 2. The class group A of K = Q( −2n) satisfies 1. Take a standard parametrization f : ≡ ± (1) 1, p0 1 mod 8 → dimF (A[4]/A[2]) = X0(32) E . 2  0, p0 ≡ ±3 mod 8  2. Take a CM point in X0(32) = Γ0(32)\H by  √ Then [i 2n/8], n ≡ 5 mod 8, k (m) k+1 (m) P =  √ Pm ∈ 2 E (Q), Pm 2 E (Q). [(i 2n + 2)/8] n ≡ 6, 7 mod 8   √ 3. Take χ : Gal(H(i)/K) −→ Gal( m∗)/K ≃ {±1}, References 4. Define P = f (P)σχ(σ). m √ �σ∈Gal(H(i)/K) ∗ − (m) [1] L. E. Dickson, History of Theory of Numbers, Vol. 2 Then Pm ∈ E(Q( m ) ≃ E (Q). (1920), p. 462. What Tian proves is the following non- [2] Y. Tian, Congruent numbers and Heegner points, vanishing statement of Heegner points: preprint, arXiv:1210.8231.

Shou-Wu Zhang Princeton University, USA [email protected] ProfessorProfessor Shou-Wu Shou-Wu Zhang Zhang (Chinese:(Chinese: Ŭݾᛥ) obtained obtained his his basic basic degree degree in inmathematics mathematics and master degree respectively from Sun Yat-Sen University and ChineseShou-Wu Academy Zhang of Sciences in 1983 and 1986. In 1991 he received his PhD Princeton University, USA ([email protected] University) under the guidance of Professor Lucien Szpiro and Professor . 张寿武 HeProfessor was Assistant Shou-Wu Zhang Professor (Chinese: Princeton ) obtained University his basic (1994–199 degree6), in andmathematics Associate and master degree respectively from Sun Yat-Sen University and Chinese Academy of Professor (1996–1998), Professor Columbia University Sciences in 1983 and 1986. In 1991 he received his PhD (Columbia University) under (1998–2013) and he has been tenured as Professor at Princeton University the guidance of Professor Lucien Szpiro and Professor Gerd Faltings. since 2011. Zhang’sHe was Assistant main contributionsProfessor in Princeton to number University theory (1994–1996), and arithmeticand Associateal Professor algebraic in Columbia University (1996–1998), Professor in Columbia University (1998–2013) geometry are his theory of positive line bundles in which and he has been tenured as Professor at Princeton University since 2011. he used to prove (along with E. Ullmo) the , and also hisZhang’s generalisation main contributions of the Gross-Zagierto number theory theorem and arithmetical from ellipt algebraicic curves geometry to abelian are varietieshis theory of of GL(2) positive type line over bundles totally in Arakelov real fields. theory In particulwhich hear, used the to latter prove result (along led himwith to E Ullmo) a proof the of Bogomolov the rank conjecture, one Birch-Swinnerton-Dyer and also his generalisation conject of theure Gross-Zagier for abelian varietiestheorem from of GL(2) elliptic type curves over to abelian totally varieties real fields. of GL(2) He type has over also totally developed real fields. the theoryIn particular, of arithmetic the latter result dynamics. led him to a proof of the rank one Birch-Swinnerton-Dyer conjecture for abelian varieties of GL(2) type over totally real fields. He has also devel- Theoped honors the theory received of arithmetic by Zhang dynamics. include Sloan Foundation Research Fellowship (1997), Morningside Gold Medal of Mathematics (1998), Guggenheim Foun- dationThe honours Fellowship received (2009), by Zhang and include Elected Sloan Fellow Foundation of the Research America Fellowshipn Academy (1997), of ArtsMorningside and Sciences Gold Medal (2011). of Mathematics He was also (1998), an invited Guggenheim speaker Foundation at the International Fellowship Congress(2009), and of Elected Mathematicians Fellow of the in American 1998. Academy of Arts and Sciences (2011). He was also an invited speaker at the International Congress of Mathematicians in 1998. His current address is Department of Mathematics, Princeton University, Fine Hall Princeton, NJ 08544, USA.

April 2013, Volume 3 No 2 15