arxiv: v2 [math.nt] 11 Jun 2016

Transcription

1 Congruent Ellitic Curves with Non-trivial Shafarevich-Tate Grous Zhangjie Wang Setember 18, 018 arxiv: v [math.nt 11 Jun 016 Abstract We study a subclass of congruent ellitic curves E n : y x 3 n x, where n is a ositive integer congruent to 1 mod 8 with all rime factors congruent to 1 mod. We characterize such E n with Mordell-Weil rank zero and -rimary art of Shafarevich-Tate grou isomorhic to Z/Z. We also discuss such E n with -rimary art of Shafarevich-Tate grou isomorhic to Z/Z k with k. 1 1 Introduction A ositive integer n is called a congruent number if it is the area of a right triangle with rational lengths, which is equivalent the congruent ellitic curve E n : y x 3 n x has ositive Mordell-Weil rank. Heegner [1 roved that any rime number 5 mod 8 is a congruent number. Recently, Tian [ introduced the induction method involving L- value and as a corollary he roved that: for any k 1, there are infinitely many square-free congruent number n 5 mod 8 with exactly k rime divisors. In this aer, we mainly study rank zero congruent ellitic curves with -rimary art of Shafarevich-Tate grou non-trivial. Li-Tian [3 considered those n with all rime factors congruent to 1 mod 8. They found a sufficient condition for n to be a noncongruent number with XE n /Q[ Z/Z. Rhoades [ susected that their condition is also necessary, which is roved in Theorem 3 of this aer. Under our case, Ouyang-Zhang [5 also found a sufficient condition for n 1 mod 8 non-congruent with XE n /Q[ Z/Z. To state our characterization, we introduce some notations. For a ositive square-free integer n, let A n denote the ideal class grou of K Q n and D be the fundamental discriminant of K. We denote D to be the set of all ositive square-free divisors of D. Then D has a grou structure. Gauss genus theory see Proosition imlies that there is a to 1 corresondence θ between D NK and A n [ A n. Here NK denotes the image of the norm ma from K to Q, A n [ denotes the -elementary subgrou of A n, and A n denotes the subgrou of the square elements in A n. We define the i -rank h in of Q n by rank F i 1 A n / i A n for i 1. Then we have h n rank F A n [ A n. If h n 1, then there exist, d D corresonding to the non-trivial element in A n [ A n. Moreover if n 1 mod 8 with all rime factors congruent to 1 mod, 1 Congruent Ellitic Curves with Non-trivial Shafarevich-Tate Grous.SCIENCE CHINA Mathematics, Doi: /s

2 then the roduct of odd art d i of d i equals n. This is because the kernel of θ is { 1, n } in this case. Then we denote d dn be the maximal integer of d 1, d. Now we can state our first main result. Theorem 1. Let n be a ositive square-free integer congruent to 1 mod 8 with all rime factors congruent to 1 mod distinct and h n 1, then the following are equivalent: i h 8 n dn 1 mod ; ii rank Z E n Q 0 and XE n /Q[ Z/Z. The strategy of the roof of Theorem 1 is the following. Note that a necessary condition of ii holds is s n, where s n is the ure -Selmer rank given by rank F Sel E n /E n [Q. By Monsky matrix.1 and Redei matrix 3.1, we deduce that s n is equivalent to h n 1. From the short exact sequence 0 E n [ E n [ E n [ 0, we derive the following long exact sequence 0 E n [Q/E n [Q Sel E n Sel E n ImSel E n Moreover Cassels [6 introduced a airing on Sel E n /E n [Q with kernel given by ImSel E n /E n [Q.. Note that ii is equivalent to #Sel E n #Sel E n, which is equivalent to #E n [Q/E n [Q #ImSel E n by the long exact sequence. From the Cassels airing, we know ii is equivalent to the Cassels airing is non-degenerate. Cassels airing is comutable.1, its non-degeneration in this case is equivalent to a quartic residue symbol. Gauss genus theory 3. reduces this residue symbol to 8-rank h 8 n of Q n. For the case k, we have the following second main result. Theorem. Let n be a ositive square-free integer with all rime factors congruent to 1 mod 8 and k be a ositive integer. Assume that either h 8 n k 1 with the ideal class [, n A n or h 8 n k. If n has a decomosition d k with d i > 1 satisfying the following ideal class grou conditions: 1. h d i 1, 1 i k;. i1 1 for any rime divisor ij of d ij with i 1 i, where is the Legendre symbol; i 3. h 8 d i 0, 1 i k. Then rank Z E n Q 0, XE n /Q[ Z/Z k 1. We remark that for k, the condition is not emty by Remark. And in. we can get congruent ellitic curves such that 1. holds under a more general condition see Theorem. As to the distribution result of ellitic curves in Theorem 1 and, we will study this in a coming aer [7 but with Theorem limited to k.

3 Congruent Ellitic Curves Let E n be the congruent ellitic curve y x 3 n x defined over Q, where n is a ositive square-free integer. Then from classical result, we can identify the -Selmer grou of E n with: Sel E n {Λ, d, d 3 Q /Q 3 DΛ A, d d 3 Q } where A is the adele ring over Q and for Λ, d, d 3, D Λ is a genus one curve in P 3 defined by: H 1 : nt + d u d 3u 3 0 H : nt + d 3 u 3 u H 3 : nt + u 1 d u 0 Under this identification, E n Q/E n Q is given by: x n, x + n, x if x, y E n Q E n Q[ and E n Q[ corresonds to { }, n, n, n,, n, n, n, 1, 1, 1, 1 Then these elements corresond to n, 0, n, 0, 0, 0, O resectively under the Kummer ma..1 Monsky Matrix Monsky see the aendix of Heath-Brown [8 reresented Sel E n /E n Q[ with the kernel of a k k matrix M over F, which is closely related to -rank of Q n. [ Before introducing the Monsky matrix, we define the additive Legendre symbol a, where is a rime and a an integer corime to, it is 0 if the Legendre symbol a 1 an otherwise. For a ositive square-free odd integer n 1 k, the corresonding Monsky matrix M n is defined by: A + D D M n D A + D {[ [ } [ where D u diag u,, u j and A a 1 k ij k k with a ij if i j, and a ii l i a il. To connect Sel E n /E n Q[ with the kernel of corresonding Monsky matrix, we first choose reresentatives of Sel E n /E n Q[ with nice roerties, see the following lemma: Lemma 1. For a ositive square-free odd integer n, the following holds: 1 Any Λ Sel E n can be reresented by, d, d 3 with d i square-free integers, d > 0, n, d n and, d have the same arity; Assume that all elements in Sel E n have reresentatives as in 1, then for any Λ Sel E n, there is a unique Λ 0 E n Q[ such that ΛΛ 0, d, d 3 with > 0, d > 0, n, d n; i 3

4 Proof. 1: Since d i Q /Q, we may chose d i square-free integers. For Λ Sel E n we have D Λ R, this imlies that d > 0. If n, then there is a rime divisor with n. Since d d 3 Q, hence d d 3, we assume d, which imlies d 3. Consider D Λ Q : from H 3 we know that t, then use H 1 and d, d 3 we get u 3. Comaring -divisibility of two sides of H, we get u 1. Again consider H 3, then u by counting -divisibility of two sides. We arrive at t, u 1, u, u 3, then we can easily get they are infinitely -divisible, which is imossible, hence n. Similarly d n., d has same arity: as else divide exact one of, d, for examle, then d, this imlies d 3, so from H 3 we know u and from H we know t, then by -divisibility of H 3, we get u 1, again by -divisibility of H, we get u 3, hence t, u 1, u, u 3, same argument as above imlies this is imossible, hence, d has same arity. : If is even, then by 1 so is d, then Λ 0, n, n is the unique element in E n Q[ with the required roerty if > 0, else n,, n is the unique one. If is odd, then so is d, if < 0 then n, n, 1 is the unique element satisfying the required roerty, else 1, 1, 1 is. For the reresentatives of Sel E n /E n Q[ as in of Lemma 1, we have a bijection { } Sel E n /E n Q[ x F k M n x 0. given by, d, d 3 v 1,, v k, v 1 d, v k d T, where v d denotes the -adic valuation of d. Now we exlain why. is a bijection: For Λ chosen as in of Lemma 1, we have D Λ Q for n, while for n the local solvability of D Λ is: 1, d :, d : 3, d :, d : d1 d1 n/d1 n/d1 d n/d 1; 1; d n/d 1; 1. Assume k 1 x i i, d k 1 y i i, then the above says that: for i [ l x i + [ j [ n/d1 [ d1 x j x i + 1 x i i i i i l i j i y i l i [ l + [ j y j i i j i [ i x i + [ i y i [ n/d [ d [ [ y i + 1 y i x i + y i i i i i Hence the ma. is a bijection. Moreover, Monsky roved that M has even rank if n 1, 3 mod 8.. Cassels Pairing Cassels [6 introduced a skew-symmetric bilinear airing on the F -vector sace Sel E n /E n Q[:, : Sel E n /E n Q[ Sel E n /E n Q[ {±1}.3

5 It is defined as follows: for any Λ, d, d 3, Λ d 1, d, d 3 Sel E n, let D Λ be the genus one curve corresonding to Λ and Q i H i Q be a global oint on H i, the existence of Q i follows from Hasse-Minkovski rincile, since H i is locally solvable everywhere as D Λ is so. Let L i be the tangent line of H i at Q i and view it as a hyerlane in P 3. Let P P D Λ A be any adelic oint on D Λ, then Λ, Λ Λ, Λ, Λ, Λ 3 i1 L i P, d i where runs over all laces of Q and, is the Hilbert symbol at Q. Note that skew-symmetry over F is also symmetry, so the left kernel and right kernel of the Cassels airing, are the same. An imortant roerty of Cassels airing says that the kernel of the Cassels airing is ImSel E n /E n Q[ where ImSel E n is associated to the long exact sequence derived from 0 E[ E[ E[ 0. In fact almost all local Cassels airing are 1. Lemma Cassels [6 Lemma 7.. The local Cassels airing, +1 if satisfying 1, ; The coefficients of H i and L i are all integral at for i 1,, 3; 3 Modulo D Λ and L i by, they define a curve of genus 1 over F together with tangents to it. 3 Gauss Genus Theory In this section, we will introduce Gauss genus theory: classical theory, -rank and Redei matrix, 8-rank and higher Redei matrix. Let K be an imaginary quadratic number field with fundamental discriminant D and ideal class grou A written additively. The classical Gauss genus theory characterize A[ and A, where A[ consists of all those ideal classes killed by and A denotes all those ideal classes which are squares. To state Gauss genus theorem, we give some notations: let 1,, t be the different rime divisors of D, O K the ring of algebraic integers of K. N N K/Q is the norm from K to Q and α 0 is the integer D+ D, whence we have O K Z + Zα 0. In this section we use a, b to denote the greatest common divisor of a, b if a, b Z else the ideal generated by a, b if a, b K. We also use c 1,, c k to denote a vector in F k. We hoe this will not cause confusion since we can tell aart them easily from the context. Proosition 1. 1 A[ is an elementary abelian -grou generated by the ideal classes [ i, α 0 and rank F A[ t 1; For an ideal a, then [a A if and only if there is a non-zero integer z and a a such that: z Na Na. For the roof of Proosition 1 we refer to Chater 7 of Hecke [9, there is also an elementary roof see Nemenzo-Wada [10. 5

6 3.1 -rank and Redei matrix To deal with -rank and 8-rank, we will rove some well-known results, these can be seen in some aers for examle Jung-Yue [11 but with no roof. As we mentioned in the introduction, we will relate A[ A with norm elements of K, solving quadratic homogeneous Diohantine equation and also Redei matrix. Note that we have h A rank F A[ A, so the -rank is reduced to study A[ A. Now we first set u the 1 corresondence on A[ A. Proosition. The following ma is an eimorhism θ : DK N K/Q K A[ A, d [d, α 0 with Kerθ { 1, D }, where D denotes the square-free art of D and DK denotes all those ositive square-free divisors of D with grou multilication d : d, d Proof. First θ is well-defined: For any d DK N K/Q K, then θd [d, α 0 A[ since d D as d DK. From d N K/Q K, we know there is some α K such that d Nα, then by multily a suitable ositive integer z, we can write zα xd + yα 0 d, α 0. Hence from Proosition 1 we get θd [d, α 0 A since d, α 0 has norm d. Second θ is a homomorhism: For any d i DK N K/Q K, if, d 1 then we have the following ideal equalities note multilication of ideals is written additively, α 0 + d, α 0 d, α 0, α 0, d α 0 d1 d, α Then for general, d we have d i Consequently d i, α 0, α 0 + d, α 0, d, α 0 + Thus we have d i,d, d, whence from equation 3.1 we have d i, d, α 0 +, d, α 0 d i, d, α 0 i1 θ + θd θ d, d, α 0 + d, α 0 Hence θ is a grou homomorhism. Now we show that θ is surjective: It is clear that from genus theory see Proosition 1, every element of A[ is of the form [d, α 0 with d a ositive square-free divisor D. So for any [a A[ A, there is a d DK, such that [a [d, α 0. Since [d, α 0 A, then by Proosition 1 there is a non-zero integer z and an α d, α 0 such that z d z N K/Q { d, α0 } Nα Therefore d N K/Q K. We begin to determine the kernel of θ: For any d Kerθ, then d D is a ositive square-free integer such that d Nβ and d, α 0 α is a rincial ideal. Thus there are integers x, y O K such that α xd + yα 0 6

7 Let x m + nα 0, y m + n α 0 O K with m, n, m, n Z, then α ud + v D where u m + D d nd + m + n DD + 1, v nd + n D + m d Hence Nα d du + D d v N { d, α 0 } d, then i: If D 1 mod, then d, D d get du + D d v 1 3. are odd and u, v Z, then from equation 3. we du + D d v Note that the Diohantine equation ar + bs with a, b ositive odd integer and ab 3mod has integer solution only if a 1 or b 1, hence d 1 or D d 1, thus we have two solutions d 1 or D. ii: If D, we assume that D, else it is trivial. Now we divided into two cases according to d s arity: If d is odd, then u, v Z and d D, thus from equation 3. we get du + D d v 1 Then from the solvability of the Diohantine equation ar +bs 1 with a, b ositive odd, we get d 1 or D d 1, the latter solution requires that D since d is odd. If d is even, then u, v Z, and d, d,, thus from equation 3. we get: D d du + D d v Note the Diohantine equation at + bs with a, b ositive even integer and a can have integral solution only if a b or b : the first case requires that D which has been excluded; the latter case imlies that d D and requires 8 D since d is even. In summary, we always have Kerθ { 1, D }. This comletes the roof. Now we are ready to introduce the Redei matrix R called reduced Redei matrix in Jung-Yue [11 of K: first we assume that if D, then t. Then the Redei matrix R r ij is a t 1 t matrix over F defined by: [ D/ r ii i i, r ij [ j i if i j, where i 1 1 i Note R is very similar to the matrix A occurring in the definition of Monsky matrix. Now we can relates R to h n via the following isomorhism which is arallel to the Monsky matrix. Proosition 3. The following is an isomorhism: { } DK NK X F t RX 0, d X d : with inverse ma given by x 1,, x t T t i1 x i i. 7 T v 1 d,, v t d

8 This Proosition is a secial case of Proosition with c 1. Hence from Proosition and 3 we know that h A t 1 rank F R. To deal with -rank of K, these roositions are sufficient. But for 8-rank, we have to generalize Proosition 3 to general c, see the following: Proosition. Let c be a ositive odd integer corime with D such that for any rime divisor of c, we have D 1. Then the following is an isomorhism: { } { } [ d DK dc N K/Q K X F t c RX C where C T d X d : v 1 d,, v t d and the inverse ma is given by x 1,, x t T t i1 x i i. 1 [ c T,, t 1 Proof. For d DK, note that dc N K/Q K if and only if the following equation: dcz x Dy 3.3 is solvable over Z. Hence modulo equation 3.3 by odd rime divisors of D, we see the solvability of equation 3.3 imlies that: 1 : 1 for d odd rime divisor; : cd/d cd 1 for D d odd rime divisor. But the inverse direction is also true, since we have Lemma 3. The local conditions 1, also imlies the solvability of the Diohantine equation 3.3 under the hyothesis of Proosition. Proof. of the Lemma: By Hasse-Minkovski rincile, it suffices to show that 3.3 is locally solvable everywhere. For cd, this is obvious. For c, this local solvability follows from the hyothesis of Proosition. For odd D, this is just the local conditions 1,. So we just need to show that 3.3 is solvable at Q. Whence it suffices to show that the Hilbert symbol cd, D 1. Let d 0 and d be the odd art of d, D d resectively and r d/d 0. If we use s to denotes the -adic valuation of D, then s s c, D c, d 0 d c c where we have used D c Whence we are reduced to show d, D c that: s r c d d 0 1, d 0 d c c d 0 d D c c c d 0 d d 0 d 1 which follows from the hyothesis of Proosition. r cd 0 d. Note the conditions 1 and imly d 0 d 1. From either d 0 or d 0 is congruent to 1 mod, we 8

9 have d 0, d 0 1. Therefore d, D r d 0, s d 0 d r, s d 0 d d 0, s d 0 d This comletes the roof of the Lemma. r, d 0 d d 0, s d 0, d 0 d 0, d r s d d 0 d d 0 d0 d d 0 r+s d r d 0 c d 0 d d 0 d Thus the exected isomorhism is reduced to show that the local conditions 1 and are equivalent to RX d C. Let X x 1,, x t T F t such that RX C, then for any 1 i t 1 we have [ [ [ j D/ x j + x i c i 3. i i i j i If x i 0, then i d : t l1 x l cd i 1. If l, and equation 3. is equivalent to x i 1, then i d, the equation 3. is equivalent to cd/d i 1. For i t: we may assume that t, whence D 1 t 1mod. Then add all equations in 3. we get t 1 i1 j i [ j x j i t 1 + i1 x i [ D/ i i Then for this equation we have its left hand side is t 1 t i1 j1,j i [ t x t t 1 x t t 1 i1 i [ t i1 i [ j x j i t 1 + i1 x i t 1 j1,j i t 1 [ t t 1 + x i + i1 t 1 + i1 x i i [ i t i1 + x i t t 1 [ c [ j j1,j i i i1 i t 1 [ t + x i i t 1 j1,j i { [ j i i1 { [ j i + + [ i j [ i j } } 3.5 If we use 1 ˆ i t to denote the roduct 1 t with i omitted, then the left hand side of equation 3.5 equals [ t t 1 { [ [ i x t + x i + 1 t 1 t i1 i 1 ˆ i t + [ 1 ˆ i t i } x t [ D/ t t t 1 + where for the last equation we used the quadratic recirocity law and 1 t 3mod, as then one of i and 1 ˆ i t must be congruent to 1 mod. Since D c 1, then 1 t c 1 c 1 c 9 1 t c 1 t i1 [ i x i t

10 [ Hence the right hand side of the equation 3.5 equals c, thus as what we do for t equation 3. we get the local solvability is also true for t. Hence, the local conditions on d is satisfied if and only if RX d C. This finishes the roof rank In this subsection, we will use classical Gauss genus theory and -rank to derive 8-rank h 8 K rank F A[ A of K Q n: this is equivalent to determine those elements in A[ A also lie in A. In this subsection, for the quadratic field, we always assume that n 1 k is a ositive square-free integer with all rime factors i 1 mod. For any r d DK N K/Q K with d n and r 0 or 1 such that θ r d is non-trivial, then from Proosition, 3 we know that the following Diohantine equation r z dx + n d y 3.6 is solvable over Z, and let a, b, c x, y, z be a ositive rimitive integer solution, then c is odd, as else c is even, then a, b must be odd, since a, b, c is a rimitive solution, then modulo equation 3.6 by we get: 0 d + n d mod, since every divisor of n congruent to 1 mod, hence we get a contradiction, which imlies that c is odd. Then [d [c where d r d, α 0 and c is a certain integral ideal over c: From c, D 1 we know that any rime c is unramified in K, moreover slits in K, as else is a rime ideal in K, by rime ideal decomosition we know either α or α since we have r dc Nα with α da+b D O K, but either α or α imlies that a, b, c which is imossible since a, b, c is a rimitive solution. Whence we get any rime divisor of c slits in K. Then Nα, similarly exactly one of, divide α, then α d c vc. Therefore [d [c with c an integral ideal over c. Now we study when [d A: we note that [d [c A if and only if there is a [m A[ with norm m DK such that [c + [m A, which is equivalent to mcz X DY is solvable over Z by Proosition 1. Modulo the equation 3.6 by any rime divisor of c, we get D 1. And c is odd, then by Proosition we know that [d A if and [ [ T only if C ImR where C c 1,, c k. Remark 1. We remark that for a given d as above and another rimitive solution a, b, c of the equation 3.6 there is another C, but we may have C C. For examle K Q , then R, whence h n 1 an3 reresents the only nontrivial element in A[ A, then for the equation z 13x + 17y we have two rimitive solution x, y, z 1,, 9 and, 1, 15, and corresondingly C 0, 0 T, C 1, 0 T, they are not equal but both lies in ImR, hence h 8 n 1. In fact, by Sage software we have the ideal class grou of K is isomorhic to Z/8Z Z/Z. Now if, d DK N K/Q K and C 1, C are given as above, we know d : d DK N K/Q K. Then we have a natural question: does [d, α 0 A have any relation with C 1, C? This is given by: 10

11 Proosition 5. Let K Q n be an imaginary quadratic number field with n 1 k a square-free ositive integer such that all i 1 mod, and r 1, r d DK N K/Q K with d i n and r i { 0, 1 }. Let r d r 1 r d with d n. Assume that a i, b i, c i x, y, z be ositive rimitive integer solution of r i z d i x + n d i y 3.7 [ [ T and C i : ci 1,, ci k, i 1,. If we denote d r d, α 0 and R the Redei matrix of K, then [d A if and only if C 1 + C ImR. Proof. Let α i d i a i + b i n OK, then r i d i c i α iα i, thus we have r 1+r d c 1 c N K/Q α 1 α a + nb 3.8 with a d a 1 a b 1 b n, b b 1 d a + b a 1. Then we want to derive a rimitive solution of r z dx + n d y with z c 1c from equation 3.7, then this will finish our c 0 roof by Proosition. Before roceeding further, we introduce a notation: for a rime and an integer m, the notation r m means that r m but r+1 m. We claim that: If a rime c 1 c, a, b then s c 1 c, a, b, where s : min { v c 1, v c }. Since c 1 c then is odd and we may assume that c 1, hence r 1 c 1 α 1 α but α 1 by the solution a 1, b 1, c 1 is rimitive and c 1 is corime with n. Similar argument as the aragrah in equation 3.6 we get slits in K with and, and exactly one of, divide the rincial ideal α 1, we may assume that α 1, so α 1. Then from ideal version of equation 3.9 we know that vc1 α 1. But also divides a, b, hence α 1 α, whence we have α 1 α since α 1, from this we have α, similarly we have vc α but α. Hence by the rime ideal decomosition of α 1 α, we know their, comonents are vc 1 and vc resectively. From this we get s c 1 c, a, b: From this claim we know there is a ositive integer c 0 such that c 1 c, a, b c 0. By the definition of a, b we can easily get, d d a,, d b. Now we deal with -art of a, b. If r 1 r 0, then from equation 3.7 we know exact one of a i, b i is even for i 1,. Since a a 1 a b 1 b mod, b a 1 b + a b 1 mod 3.10 then exactly one of a, b is even. If exact one of r 1, r is 0, then exact one of a 1, a, b 1, b is even, then a, b are odd by equation If r 1 r 1, then r 0, and all of a 1, a, b 1, b are odd, hence from equation 3.10 we get a, b are even. If a, b, then modulo a, b by resectively we have a 1 a b 1 b mod, a 1 b a b 1 mod Then we get a b a 1a b b 1a b a b mod 11

12 Then a b which is imossible. Thus in any case we have r 1r a, b. So if we denote a a c 0 r 1r dd1, d, b b c 0 r 1r d1, d, c c 1c c 0 then from equation 3.8 we get x, y, z a, b, c is a rimitive ositive integer solution of r z dx + n d y Whence the roof is finished by Proosition. 3.3 Higher Redei matrix In this subsection, we will define a higher Redei matrix R, which is analogous to Redei matrix, for examle we also have a to 1 eimorhism from kerr to A[ A. In this subsection,we let K Q n be an imaginary quadratic number field, where n d k is a square-free ositive integer with all rime factors congruent to 1 mod 8 such that 1 h d i 1, 1 i k; i1 i 1 for any rime divisor ij of d ij with i 1 i. Since all rime divisors of n are congruent to 1 mod 8, then the Redei matrix R is R A 0, A diaga d1,, A dk as n satisfying, where A di denotes the corresonding A-matrix in defining the corresonding Monsky matrix of d i. From h d i 1 and all rime divisor of d i are congruent to 1 mod 8 we get ranka di ωd i 1 by Proosition and 3, where ωd i denotes the number of rime divisors of d i. If we define d k+1 :, then under θ, the image of,, d k 1, d k+1 form a base of A n [ A n by Proosition and 3. Let d i d i, α 0 for 1 i k + 1. Then the roblem of determining whether [d i A is reduced to determine whether C i ImR according [ [ T to the argument before Remark 1 of 3.. Here C i is defined to be ci 1,, ci, ωn where a i, b i, c i x, y, z is a fixed rimitive ositive integer solution of z d i x + n d i y for 1 i k 1, and a k, b k, c k is the rimitive solution derived similarly as in Proosition 5 from those a i, b i, c i chosen above since θd k k 1 i1 θd i, while a k+1, b k+1, c k+1 x, y, z is a fixed rimitive ositive integer solution of z x + ny Since a vector y F ωn lies in ImR if and only if 0,, 0, 1,, 1, 0, 0y 0 }{{} ωd i Then from this and Proosition we know [d i [d i, n A if and only if for any 1 j k. Hence by Proosition 5 we get that any d k+1 1 d x i i 1 [ ci d j 1 contributes to

13 h 8 n if and only if [ k+1 i1 x ci i d j 0 for 1 j k. This motivates us to define a higher Redei matrix R : it is a k k + 1 matrix over F given by R A B [ [ [ with A a ij k k, a ij cj d i and B ck+1 ck+1 T,, d k. Similar to the Redei matrix, the sum of every row elements of A is zero by the choice of c k and Proosition 5. And we also get a to 1 eimorhism as in Redei matrix: { } x F k+1 R x 0 A[ A, x θ k+1 i1 d x i i 3.11 follows from above argument. Thus similar as -rank and Redei matrix we get h 8 K k rankr Remark. It seems as if A deends on the choice of a i, b i, c i, but from Cassels airing we will see that A doesn t deend on the choice, so A is intrinsic. Proof of Main Theorems In this section, we will rove our main theorems according to the strategy exlained in the introduction..1 First Main Theorem For a ositive square-free integer n 1 k 1 mod 8 with all rime factors congruent to 1 mod, the corresonding Monsky matrix of Sel E n and Redei matrix of Q n are of the form A + D D M, R A B D A + D [ where B b 1,, b k T with b i and A is a k k symmetric matrix over F i with all row sum 0, hence all A s column sum are also 0. And we have h n k rankr. According to the strategy in the introduction, we begin with the first ste: relate s n with h n via Monsky matrix and Redei matrix. Lemma. For a ositive square-free integer n 1 k 1 mod 8 with all i 1 mod, then s n if and only if h n 1. And if this is satisfied, then the corresonding ure- Selmer grou Sel E n /Q/E n Q[ is generated by n, n, 1, d, d, dd where d d if ranka k and else d n/d with d x i i, here x x 1,, x k T F k is a non-trivial solution of Ax 0 with x x 0 if ranka k and else x is a solution of Ax B, here x 0 1,, 1 T. Proof. By roerties of Monsky matrix and Redei matrix, this is equivalent to show that the rank of M is k if and only if that of R is k 1. 13

14 If we denote R i to be the k 1 k + 1 matrix obtained from R by deleting the i-th row vector, then by elementary linear transforms, the following matrices have same rank over F : M, M : A D A, M Rk : R1 T where M derives from M by: adding the first k 1 row to the k-th row, then adding the last k 1 column to the k + 1-th column, and then moving the k-th row as the last row. If rankr k 1: from A is symmetric and k i1 b i [ n with n 1mod8 we get the sum of all row vectors of A and B are 0, hence the only non-trivial linear deendence of R is the sum of all row vectors is 0, whence we get rank of R i is also k 1. From this we know that k rankm k 1, but the rank of M and M are equal and rank M must be even since n 1 mod 8 by the last line of.1, hence rankm k. If rankm k, then so is rankm, since R k has only k 1 rows, hence from the rank of M we infers that rankr1 T k 1, but we know that rankr 1 rankr k 1 since the sum of all row vectors of R are 0. This force R has rank k 1. So s n if and only if h n 1. Now assume that h n 1: we suffice to find the corresonding reresentatives of Sel E n /E n Q[. By Monsky matrix, we reduce to find y, z F k such that y A + D D y M 0 z D A + D z From this we have: Ay + D y + z 0, Ay + z 0, thus y + z ker A. Now we divide into two cases according to A s rank: If ranka k, and if y + z 0 then we have Ay 0, thus in this case y z with Ay 0 are the solutions. Hence the following elements generates the ure -Selmer grou Sel E n /E n Q[: d, d, 1, n, n, 1 If ranka k 1, thus y + z 0 or x 0 : 1,, 1 T. If y + z 0, then we have two solutions y z 0 or y z x 0 ; if y + z x 0, then Ay D x 0 B, and B is indeed in ImA, as ranka B ranka k 1 thus {y, z} {x, x 0 x} with Ax B. Hence the following elements generates Sel E n /E n Q[: Hence the Lemma is roved. Now we begin to rove Theorem 1: d, d, dd, n, n, 1 Proof. From Lemma above, we get s n if and only if h n1. Now be begin the second ste. From the following exact sequence: 0 E n [ E n [ we have the corresonding long exact sequence: E n [ 0 0 E n [Q/E n [Q Sel E n Sel E n Sel E n And if we denote ImSel E n to be the image of Sel E n in the last ma of above long exact sequence, then we have rank Z E n Q 0, XE n /Q[ Z/Z if and only if #Sel E n #Sel E n, which is equivalent to #ImSel E n #E n Q[ by 1

15 above long exact sequence. Then by Cassels airing, this holds if and only if the Cassels airing on the ure -Selmer grou Sel E n /E n Q[ is non-degenerate. Hence if we denote Λ d, d, dd, Λ 1, 1, 1, then we reduce to show when note here Λ n, n, 1 + E n Q[. Λ, Λ 1 Now we are in the third ste to comute Λ, Λ according to ranka: I: The rank of A is k : we claim that in this case d 5 mod 8 From h n 1 we get rankr ranka B k 1, but ranka k, this shows that B ImA. Since A is symmetric and ker A is generated by x 0, x which are defined in above Lemma, a vector y F k lies in ImA if and only if xt 0 y 0, xt y 0. But x T 0 B [ n 0, so we must have xt B [ d 0, thus d 5mod8. For Λ d, d, 1 the corresonding genus one curve D Λ is: H 1 : nt + du u 3 0 D Λ H : nt + u 3 du 1 0 H 3 : d t + u 1 u 0 Here d : n/d. According to Cassels airing, we have to chose global oints Q i on H i : for H 3 we chose the global oint Q 3 0, 1, 1, then the tangent lane at Q 3 is L 3 : u 1 u For H 1 we chose the global oint Q 1 b, c, da on H 1, where a, b, c is a rimitive ositive integer solution of c da + d b.1 x The existence of this solution origins from h n 1 and d corresonds to R 0 0 by Proosition, 3. We may assume that a, since else a is odd, b is even and we have a new solution ã, b, c : d a d b da, db da d b, d + d c with v ã and v b v c 1, hence by dividing the greatest common divisor, we get a new rimitive solution with corresonding a even. Then the corresonding tangent lane L 1 at this oint is L 1 : d bt cu + au 3 Hence by Cassels airing we have to comute Λ, Λ L 1 L 3 P, 1 for any local oint P v on D Λ Q, here includes the real lace. By Lemma we only have to comute those n. Note all n are congruent to 1 mod, so 1 is a square in Q, thus by Hilbert symbol we have these L i P, 1 1. Whence we only have to consider local solutions at, we can chose as follows: 15

16 For : we chose t 0, u 1 u 1, u 3 d, then L 1 L 3 P, 1 c + a d, 1 1 For, we chose t, u 1 1, u 1 + 8d, u 3 d + n and we may assume u 3mod8 as u 1 + 8d 9mod16, so L 1 L 3 P, 1 1 u bd cu + au 3, 1, 1 c, 1 c, 1 where we used the fact that au 3 bd mod. Thus in this case we have 1 Λ, Λ c By modulo c of the equation.1 we get n c 1: whence Λ, Λ 1 if and only if c n 1. Now we begin our last ste is this case: use Gauss genus theory to reduce to 8-rank of the ideal class grou of Q n. Since R has rank k 1 and x T 0 R 0, we know a vector y F k lies in ImR if and only if xt 0 y 0. From this we get c n 1 is equivalent to Rz C has a solution z F k, this is equivalent to h 8n 1 by the argument before Remark 1 of 3.. Hence under the condition ranka k we know that the Cassels airing is non-degenerate if and only if h 8 n 1 d 1 mod since d 5mod8. II: if ranka k 1, then d corresonds to the solution of Ax B. Since we have x R Ax + B 0 1 we know that d is a norm. Then d, d, n d, d, 1 + E n Q[, so we still use Λ to denote d, d, 1 since this won t effect Λ, Λ, then the corresonding genus 1 curve D Λ is given by: H 1 : nt + du u 3 0 H : nt + u 3 du 1 0 H 3 : d t + u 1 u 0 For H 3 we chose the global oint Q 3 0, 1, 1, then the tangent lane L 3 of H 3 at Q 3 is L 3 : u 1 u Since d is a norm, there is a ositive rimitive solution of the Diohantine equation c da + d b So the global oint Q 1 : b, c, ad is on H 1, and the tangent lane L 1 of H 1 at Q 1 is L 1 : d bt cu + au 3 With the same reason as ranka k, we only need to consider at. For we chose local solution: P : t 0, u 1 u 1, u 3 d Then L 1 L 3 P, 1 c + a d,

17 For, we chose local solution [ P : t 1, u 1, u d + u d 1, u 3 n + du 1 such that cu 1 mod, 8 bd + au 3, since we have bd au 3 b d a n a du 1 c da d a n a du 1 c d a n a du 1 d n du 1 0mod16 so we may chose u 3 such that: 8 bd + au 3. L 1 L 3 P, 1 u 1 u d b cu + au 3, 1, 1 u 1 c, 1 c u 1, 1 1 d 1 c, 1 Similar argument as above, we know that c, 1 1 if and only if c n 1, this is equivalent to h 8 n 1, so Cassels airing is non-degenerate in this case if and only if h 8 n d 1 mod. Summarize these cases together we get: rank Z E n Q 0, XE n /Q[ Z/Z is equivalent to h 8 n d 1 mod. This comletes the roof of Theorem 1. To show the condition of Li-Tian is also sufficient as claimed in the introduction, we first introduce the quartic residue symbol used in Jung-Yue [11: for a rime congruent to 1 mod, then there are two rimitive Gaussian rimes π, π over with ππ, hence we have two quartic residue symbol π, π over Z[i such that their squares are the Legendre residue symbol over Z. If q Z such that q 1, then q π q π ±1, and we denote by q be either q π or q π. Similarly if d is a ositive integer with all rime divisor 1 mod such that q 1, then q : d q vd Theorem 3. For 1 mod 8 a rime, then there exists ositive integers such that: u + 8v a + 16b x 3y. Then the following are equivalent: 1 v; b; i is not a -adic square with i Q such that i 1; 1 + j is not a -adic square with j Q such that j ; ; 6 x 3mod; 7 h

18 And we define δ 1 if satisfies the above equivalent conditions, else δ 0. For n a square-free ositive integer with all rime factors congruent to 1 mod 8 and h n 1, the following are equivalent: i δ n : n δ ii h 8 n 0 iii rank Z E n Q 0, XE n /Q[ Z/Z. Proof. The existence of u, v, a, b follows from slits in Q and Qi. Now we show the existence of x, y: since slits in Q, there are x 0, y 0 Z such that x 0 y 0 moreover x 0 is odd and y 0 is even as 1 mod 8. If y 0 then we define x x 0, y y 0. Else y 0, we can use the fundamental units 1 + to lift -divisibility. Concretely since has norm 1, then 3x 0 + y 0 x 0 + 3y 0 and x 0 + 3y 0, then we define x 3x 0 + y 0, y x 0+3y 0. Then we get x 3y. The equivalence from 1 to 5 are roved in Li-Tian [3. 5 is equivalent to 6: From x 3y. we get x x y y where we used y 1 by the equation. modulo y. But if we modulo the equation. by x we get x x 1 1 x 1 8 x x since x mod3 by equation. modulo 3. Then by quadratic recirocity law we know x x, from this we know 5 is equivalent to 6. 6 and 7 are equivalent because by considering 1 + similar as above N Q /Q x + 8y + x + y x + 8y x + y.3 then for the field Q, its Redei matrix is the matrix 0 1, so we get is a norm element, and in fact the equation.3 is the corresonding Diohantine equation, see Proosition. Hence by Proosition with c x + y there we get: h 8 0 if and only if x+y 1. But modulo the equation.3 by x + y we get x + y From these we get 6 is equivalent to 7. 1 x + y x + y 1 x x+y 1, whence 18

19 The equivalence of ii and iii follows from Theorem 1. For the equivalence of i and ii: let x i, y i be ositive integers such that i x i 3y i as above, then n 1 k N Q /Q x + y, x + y k x i + y i 1 and x x 1 x k mod. Similarly by considering the fundamental unit 1 +, we have: x + y x + 8y + n Then using Gauss genus theory as above we get: h 8 n 0 if and only if we also have 1, so n x+y x + y n From this we get the equivalence of i and ii. Hence we comlete the roof.. Second Main Theorem n δn x + y x + y x 1 x k x+y n 1, In this subsection,we let n d k be a square-free ositive integer with all rime factors congruent to 1 mod 8, such that 1 h d i 1, 1 i k; i1 i 1 for any rime divisor ij of d ij with i 1 i. Since all rime divisors of n are congruent to 1mod8, hence the corresonding D, D matrix of n are 0, thus M n diag A, A, R n A 0 with A diag A d1,, A dk as n satisfying, where A di denotes the corresonding A- matrix in defining the corresonding Monsky matrix of d i. From h d i 1 and all rime divisor of d i are congruent to 1 mod 8 we get ranka di ωd i 1 by Proosition and 3. Now we get s n k: since s n k ωd i rankm i1 k ωd i ranka di k And the following is a base of ker M n : T 0,, 0, 1,, 1, 0,, 0, 0,, 0, 0,, 0, 0,, 0, 1,, 1, 0,, 0 }{{}}{{}}{{}}{{}}{{}}{{}}{{}}{{} ω d i 1 ωd i ωd i+1 d k ωn ωn ω d i 1 ωd i ωd i+1 d k with 1 i k, consequently Sel E n /E n Q[ has a base consists of i1 Λ i 1, d i, d i, Λ i d i, d i, 1, 1 i k Now we can comute the Cassels airings of this base, see: T 19

20 Proosition 6. Let n, Λ i, Λ i as above, we have the following Cassels airings: ci γ i Λi, Λ j, i j d j Λi, Λ ci cj j, i j d j d i Λi, Λ i 1 δ ci di 1 δ ci d i d i d i Λ ci c i, Λ i j, i j d j Where c i consists a fixed rimitive ositive integer solution of c i d i a i + d ib i. with d i n/d i, and γ i, c i consist rimitive ositive integer solutions of γ i d i α i + d iβ i, c i d i ā i d i b i.5 resectively such that: d i a i γ i + c i α i, a i c i + c i ā i.6 Remark 3. We remark that we can always find solutions of the equations.5 satisfying the conditions.6, we will omit all the subscrits in this remark. If we define t d, aγ + cα, then we have a new solution α, β, γ dαt + d βt + d α, dβt + dαt d β, γdt + d.7 of z dx + d y. Then a γ + c α dt aγ cα + d cβt + aγ + cα By modulo equations. and.5 by d we get d aγ + cαaγ cα. Then for any t d, aγ + cα, we have v a γ + c α and v α 1 as α. For d t, then aγ cα, therefore v a γ + c α 1 and v α 0. Thus we get a solution of z dx + d y satisfying the condition.6 by dividing the greatest common divisors of α and γ in.7. Similarly for ā, b, c we can get a solution satisfying.6. In fact we choose s d, a c + cā, and we get a solution dās + d bs d ā, d bs dās + d b, cds d Then do similarly as above. Now we are ready to rove Proosition 6: Proof. For Λ i 1, d i, d i the corresonding genus one curve D Λi H 1 : nt + d i u d iu 3 0 H : nt + d i u 3 u 1 0 H 3 : nt + u 1 d iu 0 is: 0

21 Then we chose Q 1 0, 1, 1, Q b i, c i, d i a i, Q 3 β i, d i α i, γ i these global oints are on H i follows from equations. and.5. Then the corresonding tangent lanes are L 1 : u u 3 L : d ib i t c i u 3 + a i u 1 L 3 : d iβ i t + α i u 1 γ i u By Lemma, we only need to comute n. Since all d i are bigger than 0 and congruent to 1 mod 8, hence by roerties of Hilbert symbol, they are trivial at,. So we only need to consider those n: We can chose local solutions P D Λi Q as following: For d i : t 0, u u 3 1, u 1 d i such that c i a i u 1, α i u 1 + γ i, as c i a i u 1 c i + a i u 1 d i b i, so we can chose u 1 such that c i a i u 1, thus we also have α i u 1 + γ i follows from condition.6. For di : t 1, u 1 0, u 3 d i, u j u 3 such that d i b i + c i u 3, since we have d i b i + c i u 3 d i b i c i u 3 na i, and j Q satisfying j as in Theorem 3. Now we begin to comute Cassels airings: First we comute Λ i, Λ j with i j, then by Cassels airing we have Λi, Λ j 1, di, d i, 1, d j, d j L L 3 P, d j dj Note that 1 if d j, so this airing is trivial at d j, thus we only need consider at those d j, and for d j : L L 3 P, d j c i + a i u 1 α i u 1 γ i, d j c i γ i, d j ci γ i Thus we have: 1, di, d i, 1, d j, d j ci γ i d j Second we comute Λ i, Λ j with i j, then Cassels airing imlies that Λi, Λ j 1, di, d i, d j, d j, 1 L 1 L P, d j dj Since 1 if d j, this airing is trivial at d j, therefore we suffice to consider at those d j, and for d j : L 1 L P, d j c i + a i u 1, d j c i, d j ci 1

22 Whence 1, di, d i, d j, d j, 1 ci d j Third we comute Λ i, Λ i, from Cassels airing we have Λi, Λ i 1, di, d i, d i, d i, 1 L 1 L P, d i From di 1 if d i we know this airing is trivial at d i, thus we reduce to comute at those d i, and for d i : L 1 L P, d i j 1u 3 d ib i c i u 3, d i c i 1 + j, d i ci 1δ Consequently 1, di, d i, d i, d i, 1 1 δ ci d i d i For Λ i d i, d i, 1, the corresonding D Λ i is given by: H 1 : nt + d i u u 3 0 H : H 3 : nt + u 3 d iu 1 0 nt + d i u 1 d iu 0 From equations. and.5 we have global oints Q i on H i as follows Q 1 b i, c i, d i a i, Q b i, d i ā i, c i, Q 3 0, 1, 1 Then the tangent lanes at these oints are L 1 : d ib i t c i u + a i u 3 L : d i b i t ā i u 3 + c i u 1 L 3 : u 1 u Similarly the airings are trivial outside of n, hence we only have to consider for those n. We can chose local solutions P D Λ i Q as following: For d i : t 0, u u 1 1, u 3 d i such that ci + a i u 3, ci ā i u 3, as c i a i u 3 c i + a i u 3 d i b i, so we can chose u 3 such that c i + a i u 3, thus we also have c i ā i u 3 follows from condition.6. For d i, t 1, u 3 0, u 1 d i, u i u 1 with d i b i c i u 1, since we have d i b i c i u 1 d i b i + c i u 1 nā i, note here we have used i Q such that i 1 as in Theorem 3. Now we begin to comute Cassels airings:

23 First we comute Λ i, Λ j with i j, then by Cassels airing: Λ i, Λ j di, d i, 1, d j, d j, 1 L 1 L P, d j dj Note that 1 if d j, so this airing is also trivial at d j, thus we only need to consider at those d j, and for d j : ci c L 1 L P, d j c i + a i u 3 ā i u 3 c i, d j c i c i, d j i Thus we have: di, d i, 1, d j, d j, 1 ci c i d j Then we comute Λ i, Λ j with i j: then from Cassels airing we have L L 3 P, d j Λ i, Λ j di, d i, 1, 1, d j, d j dj Since 1 if d j, so we only need to consider at those d j, and for d j : L L 3 P, d j ā i u 3 c i, d j c i, d j ci Whence di, d i, 1, 1, d j, d j ci d j Finally we comute the airing Λ i, Λ i, then by Cassels airing L L 3 P, d i Λ i, Λ i di, d i, 1, 1, d i, d i From di 1 if d i, we know this airing is trivial at d i, thus we suffice to comute at those d i, and for d i : L L 3 P, d i 1 + i u 1 d i b i + c i u 1, d i c i 1 + i, d i ci 1δ Cnsequently This comletes the roof. di, d i, 1, 1, d i, d i 1 δ ci d i d i To give the matrix reresentation of Cassels airing under the base Λ 1,, Λ k, Λ 1,, Λ k, we introduce two matrices over F : Ψ ψ ij, D diag1 h 8,, 1 h 8 d k 3

24 where ψ ii [ ci d i and ψ ij [ γj d i if i j. By Theorem 3, we have 1 h 8 d i δ di mod. According to the definition of A is 3.3 and Proosition 6, we know the Cassels airing under the base Λ 1,, Λ k, Λ 1,, Λ k has matrix reresentation of the form A + Ψ A T + D A + D A + A T.8 where we used that Cassels airing is symmetric to derive A + Ψ is symmetric. Then we have: Theorem. Let n d k be a square-free ositive integer with all rime factors congruent to 1 mod 8, satisfying the following ideal class grou conditions: h d i 1, 1 i k; i1 i 1 for any rime divisor ij of d ij with i 1 i ; If A of n satisfying 1 A is symmetric; A + D is non-singular; Then: rank Z E n Q 0, XE n /Q[ Z/Z k Proof. From A symmetric we know A + A T 0, then the Cassels airing has matrix reresentation A T + D A + D by.8. Since A + D is non-singular, then the Cassels airing on Sel E n /E n Q[ is non-degenerate, whence as exlained in the introduction rank Z E n Q 0, XE n /Q[ Z/Z k Now we can rove Theorem : Proof. From h 8 n k or h 8 n k 1 with [, n A we know A 0 by the eimorhism 3.11 and Proosition, hence A is symmetric. From h 8 d i 0 we get D diag 1,, 1 and A + D is non-singular, whence 1 and of Theorem are satisfied in this case. Then from Theorem we have The roof is comleted. rank Z E n Q 0, XE n /Q[ Z/Z k For the case k of Theorem can be characterized by: Corollary 1. Let n d be a square-free ositive integer with all rime factors congruent to 1 mod 8 with h h d 1 such that: i1 i 1 for any rime divisor ij of d ij with i 1 i. Then the conditions 1, on A in Theorem are equivalent to:

25 d1 d d ; Either exact one of h 8, h 8 d is 0 and to 0. d1 d is 1, or both h 8, h 8 d equal Proof. By the definition of A with k, we may chose c 1 c such that then A is symmetric if and only if where b1 c1 c 1 c 1 a 1 + d b 1.9 c1 c1 d. Since d1 a 1 + d b 1 d b1 d 1 follows from equation.9 modulo b 1. Similarly we get whence 1 is equivalent to d1 d c1 d d1 d, d. Then under this condition A has the form [ c If h 8 h 8 d 0 then D diag1, 1 and A + D is non-singular. If h 8 h 8 d 1, then D 0 and A + D is singular. If exact one of h 8 and h 8 d is 0, then A + D is non-singular if and only if c1 1. Hence this corollary is roved. Remark. For k, the condition of Theorem is non-emty. Since from Theorem, we know the 8-rank condition is equivalent to h 8 h 8 d 0 and [ A, where d1 d the latter is equivalent to d 1. By Theorem 3 we know h 8d i 0 is [ [ equivalent to d i 9 di 8 mod, where is defined similarly as additive Legendre di symbol. Then everything reduces to find n satisfying certain residue symbol roerties, then from indeendence of residue symbol roerty over Qi in our coming aer [7, we know there are infinitely many such n, in articular we can get their density. Acknowledgements I am greatly indebted to Professor Ye Tian, my suervisor, for many instructions and suggestions! I would like to thank Li Cai and Zhe Zhang for carefully reading the aer and giving valuable comments. I also thank Professor Qin Yue for instructions on ideal class grou. References [1 K. Heegner, Diohantische analysis und modulfunktionen, Mathematische Zeitschrift, vol [ Y. Tian, Congruent numbers and Heegner oints, Camb. J. Math., vol., no [3 D. Li, Y. Tian, On the Birch-Swinnerton-Dyer conjecture of ellitic curves E D : y x 3 D x, Acta Math. Sin. Engl. Ser., vol

26 [ R. Rhoades, -Selmer grous and the Birch Swinnerton-Dyer Conjecture for the congruent number curves, J. Number Theory, vol. 19, no [5 Y. Ouyang and S. Zhang, On non-congruent numbers with 1 modulo rime factors, Sci. China Math., vol. 57, no [6 J. Cassels, Second descents for ellitic curves, J. Reine Angew. Math., vol [7 Z. Wang, Congruent ellitic curves with non-trivial Shafarevich-Tate grousdistribution art, rerint. [8 D. Heath-Brown, The size of selmer grous for the congruent number roblem II, with aendix by Monsky, Invent. Math., vol [9 E. Hecke, Lectures on the theory of algebraic numbers, Graduate Texts in Mathematics, vol , Sringer-Verlag. xii+39. [10 F. Nemenzo and H. Wada, An elementary roof of Gauss genus theorem, Proc. Jaan Acad. Ser. A Math. Sci., vol. 68, no [11 H. Jung and Q. Yue, 8-ranks of class grous of imaginary quadratic number fields and their densities, J. Korean Math. Soc. vol. 8, no Zhangjie Wang, Yau Mathematical Sciences Center, Tsinghua University, Beijing 10008,China. zjwang@math.tsinghua.edu.cn 6