SHADOW LINES IN THE ARITHMETIC OF ELLIPTIC CURVES
|
|
- Zoe Jordan
- 5 years ago
- Views:
Transcription
1 SHADOW LINES IN THE ARITHMETIC OF ELLIPTIC CURVES J. S. BALAKRISHNAN, M. ÇIPERIANI, J. LANG, B. MIRZA, AND R. NEWTON Abstract. Let E/Q be an elliptic curve and p a rational prime of good ordinary reduction. For every imaginary quadratic field K/Q satisfying the Heegner hypothesis for E we have a corresponding line in EK) Q p, known as a shadow line. When E/Q has analytic rank 2 and E/K has analytic rank 3, shadow lines are expected to lie in EQ) Q p. If, in addition, p splits in K/Q, then shadow lines can be determined using the anticyclotomic p-adic height pairing. We develop an algorithm to compute anticyclotomic p-adic heights which we then use to provide an algorithm to compute shadow lines. We conclude by illustrating these algorithms in a collection of examples. Introduction Fix an elliptic curve E/Q of analytic rank 2 and an odd prime p of good ordinary reduction. Assume that the p-primary part of the Tate-Shafarevich group of E/Q is finite. Let K be an imaginary quadratic field such that the analytic rank of E/K is 3 and the Heegner hypothesis holds for E, i.e., all primes dividing the conductor of E/Q split in K. We are interested in computing the subspace of EK) Q p generated by the anticyclotomic universal norms. To define this space, let K be the anticyclotomic Z p -extension of K and K n denote the subfield of K whose Galois group over K is isomorphic to Z/p n Z. The module of universal norms is defined by U = n 0 N Kn/KEK n ) Z p ), where N Kn/K is the norm map induced by the map EK n ) EK) given by P Consider L K := U Q p EK) Q p. σ GalK n/k) By work of Cornut [Co02], and Vatsal [Va03] our assumptions on the analytic ranks of E/Q and E/K together with the assumed finiteness of the p-primary part of the Tate-Shafarevich group of E/Q imply that dim L K 1. Bertolini [Be95] showed that dim L K = 1 under certain conditions on the prime p. Wiles and Çiperiani [ÇW08], [Çi09] have shown that Bertolini s result is valid whenever GalQE p )/Q) is not solvable; here E p denotes the full p-torsion of E and QE p ) is its field of definition. The 1-dimensional Q p -vector space L K is known as the shadow line associated to the triple E, K, p). Complex conjugation acts on EK) Q p, and we consider its two eigenspaces EK) + Q p and EK) Q p. Observe that EK) + Q p = EQ) Q p. By work of Skinner-Urban [SU14], Nekovář [Ne01], Gross-Zagier [GZ], and Kolyvagin [Ko90] we know that dim EK) + Q p 2 and dim EK) Q p = 1. P σ. Date: September 23, Mathematics Subject Classification. 11G05, 11G50, 11Y40. Key words and phrases. Elliptic Curve, Universal Norm, Anticyclotomic p-adic Height, Shadow Line. The authors are grateful to the organizers of the conference WIN3: Women in Numbers 3 for facilitating this collaboration and acknowledge the hospitality and support provided by the Banff International Research Station. During the preparation of this manuscript: the second author was partially supported by NSA grant H and NSF grant DMS ; the third author was partially supported by NSF grant DGE
2 2 J. S. BALAKRISHNAN, M. ÇIPERIANI, J. LANG, B. MIRZA, AND R. NEWTON Then by the Sign Conjecture [MR03] we expect that Our main motivating question is the following: L K EQ) Q p. Question Mazur, Rubin). As K varies, we presumably get different shadow lines L K what are these lines, and how are they distributed in EQ) Q p? In order to gather data about this question one can add the assumption that p splits in K/Q and then make use of the anticyclotomic p-adic height pairing on EK) Q p. It is known that U is contained in the kernel of this pairing [MT83]. In fact, in our situation we expect that U equals the kernel of the anticyclotomic p-adic height pairing. Indeed we have dim EK) Q p = 1 and the weak Birch and Swinnerton-Dyer Conjecture for E/Q predicts that dim EQ) Q p = 2 from which the statement about U follows by the properties of the anticyclotomic p-adic height pairing and its expected non-triviality. This is discussed in 3 in further detail.) Thus computing the anticyclotomic p-adic height pairing allows us to determine the shadow line L K. Let ΓK) be the Galois group of the maximal Z p -power extension of K, and let IK) = ΓK) Zp Q p. Identifying ΓK) with an appropriate quotient of the idele class group of K, Mazur, Stein, and Tate [MST06, 2.6] gave an explicit description of the universal p-adic height pairing, ) : EK) EK) IK). One obtains various Q p -valued height pairings on E by composing this universal pairing with Q p -linear maps IK) Q p. The kernel of such a non-zero) Q p -linear map corresponds to a Z p -extension of K. In particular, the anticyclotomic Z p -extension of K corresponds to a Q p -linear map ρ : IK) Q p such that ρ c = ρ, where c denotes complex conjugation. The resulting anticyclotomic p-adic height pairing is denoted by, ) ρ. One key step of our work is an explicit description of the map ρ, see 1. As in [MST06], for P EK) we define the anticyclotomic p-adic height of P to be h ρ P ) = 1 2 P, P ) ρ. Mazur, Stein, and Tate [MST06, 2.9] provide the following formula 1 for the anticyclotomic p-adic height of a point P EK): h ρ P ) = ρ π σ π P )) ρ π σ π P c )) + ρ w d w P )), where π is one of the prime divisors of p in K and the remaining notation is defined in 2. An algorithm for computing σ π was given in [MST06]. Using our explicit description of ρ, in 2 we find a computationally feasible way of determining the contribution of finite primes w which do not divide p. This enables us to compute anticyclotomic p-adic height pairings. We then proceed with a general discussion of shadow lines and their identification in EQ) Q p, see 3. In 4 we present the algorithms that we use to compute anticyclotomic p-adic heights and shadow lines. We conclude by displaying in 5 two examples of the computation of shadow lines L K on the elliptic curve 389.a1 with the prime p = 5 and listing the results of several additional shadow line computations. 1. Anticyclotomic character Let K be an imaginary quadratic field with ring of integers O K in which p splits as po K = ππ c, where c denotes complex conjugation on K. Let A be the group of ideles of K. We also use c to denote the involution of A induced by complex conjugation on K. For any finite place v of K, denote by K v the completion of K at v, O v the ring of integers of K v, and µ v the group of roots of unity in O v. Let ΓK) be the Galois group of the maximal Z p -power extension of K. As in [MST06], we consider the idele class Q p -vector space IK) = ΓK) Zp Q p. By class field theory ΓK) is a quotient of J := A /K C w p O w by its finite torsion subgroup T, see the proof of Theorem 13.4 in [Wa97]. The bar in the definition of J 1 The formula appearing in [MST06, 2.9] contains a sign error which is corrected here.
3 SHADOW LINES IN THE ARITHMETIC OF ELLIPTIC CURVES 3 denotes closure in the idelic topology, and the subgroup T is the kernel of the N-th power map on J where N is the order of the finite group A /K C w p O w1 + πo π )1 + π c O π c). Thus we have 1) IK) = J /T Zp Q p. We shall use this idelic description of ΓK) in what follows. Definition 1.1 Anticyclotomic p-adic idele class character). An anticyclotomic p-adic idele class character is a continuous homomorphism ρ : A /K Z p such that ρ c = ρ. Lemma 1.2. Every p-adic idele class character ρ : A /K Z p factors via the natural projection A /K A / K C O w w p µ v ). Proof. This is an immediate consequence of the fact that Z p is a torsion-free pro-p group. v p The aim of this section is to define a non-trivial anticyclotomic p-adic idele class character. By the identification 1), such a character will give rise to a Q p -linear map IK) Q p which cuts out the anticyclotomic Z p -extension of K The class number one case. We now explicitly construct an anticyclotomic p-adic idele class character ρ in the case when the class number of K is 1. Recall our assumption that p splits in K/Q as po K = ππ c and let Define a continuous homomorphism U π = 1 + πo π and U π c = 1 + π c O π c. ϕ : A U π U π c as follows. Let x v ) v A. Under our assumption that K has class number 1, we can find α K such that αx v O v for all finite v. Indeed, the ideal a v corresponding to the place v is principal, say generated by ϖ v O K. Then take α = v ϖ ordvxv) v, where the product is taken over all finite places v of K. We define 2) ϕx v ) v ) = αx π ) p 1, αx π c) p 1 ). Note that since p is split in K we have O π = Z p = µ p 1 U π, and similarly for π c. To see that ϕ is independent of the choice of α, we note that any other choice α K differs from α by an element of O K. Since K is an imaginary quadratic field, O K consists entirely of roots of unity. In particular, under the embedding K K π we see that O K µ p 1. Thus, any ambiguity about α is killed when we raise α to the p 1)-power. Therefore, ϕ is well-defined. The continuity of ϕ is easily verified.
4 4 J. S. BALAKRISHNAN, M. ÇIPERIANI, J. LANG, B. MIRZA, AND R. NEWTON Proposition 1.3. Suppose that K has class number 1. Then the map ϕ defined in 2) induces an isomorphism of topological groups A / K C ) O w µ v U π U π c. w p v p Proof. For v {π, π c }, the p-adic logarithm gives an isomorphism U v = 1 + pzp pz p. Hence, raising to the power p 1) is an automorphism on U v for v {π, π c } and consequently ϕ is surjective. It is easy to see that K C w p O w ker ϕ. Since µ v = F p for v {π, π c }, we have v p µ v ker ϕ. We claim that ker ϕ = K C w p O w v p µ v. Let x v ) v ker ϕ and let α K be such that αx v O v for all finite v. It suffices to show that αx v ) v C w p O w v p µ v. This is clear: since x v ) v ker ϕ, we have αx v µ v for v {π, π c }. Finally, since ϕ is a continuous open map, it follows that ϕ induces the desired homeomorphism. By Lemma 1.2 we have reduced the problem of constructing an anticyclotomic p-adic idele class character to the problem of constructing a character 3) χ : U π U π c Z p satisfying χ c = χ. Note that this last condition implies that χx, y) = χx/y c, 1). Explicitly: 4) χx, y) = χ cx, y) = χy c, x c ) = χy c, 1) χ1, x c ) = χy c, 1) + χx, 1) = χx/y c, 1). In other words, χ factors via the surjection f π : U π U π c U π x, y) x/y c. Therefore, it is enough to define a character U π Z p. Fixing an isomorphism of valued fields ψ : K π Q p gives an identification U π = 1 + pzp. Now, up to scaling, there is only one choice of character, namely log p : 1 + pz p pz p. We write log p for the unique group homomorphism log p : Q p Q p, +) with log p p) = 0 extending log p : 1 + pz p pz p. The extension to Z p of the map log p is explicitly given by log p u) = 1 p 1 log pu p 1 ). We choose the normalization ρ = 1 pp 1) log p ψ f π ϕ. We summarize our construction of the anticyclotomic p-adic idele class character ρ in the following proposition. Proposition 1.4. Suppose that K has class number 1. Fix a choice of isomorphism ψ : K π Q p. Consider the map ρ : A /K Z p such that ρx v ) v ) = 1 ) p log αxπ p ψ α c x c π c where α K is such that αx v O v for all finite v. Then ρ is the unique up to scaling) non-trivial anticyclotomic p-adic idele class character. Proof. Let α K be such that αx v O v for all finite v. By our earlier discussion and the definition of the extension of log p to Z p, we have 1 ρx v ) v ) = pp 1) log αxπ ) p 1 ) p ψ α c x c π c)p 1 = 1 ) p log αxπ p ψ α c x c. π c
5 SHADOW LINES IN THE ARITHMETIC OF ELLIPTIC CURVES The general case. There is a simple generalization of the construction of ρ to the case when the class number of K may be greater than one. Let h be the class number of K. We can no longer define the homomorphism ϕ of 2) on the whole of A because O K is no longer assumed to be a principal ideal domain. However, we can define ϕ h : A ) h U π U π c in a similar way, as follows. Let a v be the ideal of K corresponding to the place v. Then a h v is principal, say generated by ϖ v O K. For x v ) v A ord we set αv) = ϖ vx v) v. Then αv)x h v O v and αv) O w for all w v. Note that αv) = 1 for all but finitely many v. Set α = v αv) and observe that αxh v O v for all v. Then we define ϕ h by 5) ϕ h x v ) h v) = αx h π) p 1, αx h π c)p 1 ). Fix an isomorphism ψ : K π Q p. As before, we can now use the p-adic logarithm to define an anticyclotomic character ρ : A ) h Z p by setting ρ = 1 pp 1) log p ψ f π ϕ h. We extend the definition of ρ to the whole of A by setting ρx v ) v ) = 1 h ρx v) h v). As in Proposition 1.4, we now summarize our construction of the anticyclotomic p-adic idele class character in this more general setting. Proposition 1.5. Let h be the class number of K. Fix a choice of isomorphism ψ : K π Q p. Consider the map ρ : A /K 1 h Z p such that ρx v ) v ) = 1 ) αx h hp log p ψ π α c x ch π c where α K is such that αx h v O v for all finite v. Then ρ is the unique up to scaling) non-trivial anticyclotomic p-adic idele class character. Remark 1.6. Note that ρ : A /K 1 h Z p, so if p h then ρ is not strictly an anticyclotomic idele class character in the sense of Definition 1.1. However, the choice of scaling of ρ is of no great importance since our purpose is to use ρ to define an anticyclotomic height pairing on EK) and compute the kernel of this pairing. Remark 1.7. The ideal ordvxv) v a h v is principal and a generator of this ideal is the element α K that we use when evaluating the character ρ defined in Proposition Anticyclotomic p-adic height pairing We wish to compute the anticyclotomic p-adic height h ρ using our explicit description of the anticyclotomic idele class character ρ given in Proposition 1.5. For any finite prime w of K, the natural inclusion K w A induces a map ι w : K w IK), and we write ρ w = ρ ι w. For every finite place w of K and every non-zero point P EK) we can find d w P ) O w and a w P ), b w P ) O w, each relatively prime to d w P ), such that ) aw P ) 6) ι w xp )), ι w yp ))) = d w P ) 2, b w P ) d w P ) 3. We refer to d w P ) as a local denominator of P at w. The existence of d w P ) follows from the Weierstrass equation for E and the fact that O w is a principal ideal domain. Finally, we let σ π denote the π-adic σ-function of E. Given a non-torsion point P EK) such that P reduces to 0 modulo primes dividing p, and
6 6 J. S. BALAKRISHNAN, M. ÇIPERIANI, J. LANG, B. MIRZA, AND R. NEWTON P reduces to the connected component of all special fibers of the Neron model of E, we can compute its anticyclotomic p-adic height using the following formula 2 [MST06, 2.9] : 7) h ρ P ) = ρ π σ π P )) ρ π σ π P c )) + ρ w d w P )). In the following lemmas, we make some observations which simplify the computation of h ρ P ). Lemma 2.1. Let w be a finite prime such that w p. Let x w K w. Then ρ w x w ) only depends on ord w x w ). In particular, if x w O w, then ρ w x w ) = 0. Proof. This follows immediately from Lemma 1.2. Alternatively, note that the auxiliary element α used in the definition of ρ only depends on the valuation of x w. Lemma 2.2. Let w be a finite prime of K. Then ρ w c = ρ w c. In particular, if w = w c, then ρ w = 0. Proof. This is an immediate consequence of the relations ρ c = ρ and c ι λ c = ι λ c. Lemma 2.2 allows us to write the formula 7) for the anticyclotomic p-adic height as follows: ) + ) dλ P ) ρ λ d λ cp ) c. 8) h ρ P ) = ρ π σπ P ) σ π P c ) Remark 2.3. In order to implement an algorithm for calculating the anticyclotomic p-adic height h ρ, we must determine a finite set of primes which includes all the split primes l = λλ c p for which ρ λ dλ P ) d λ c P ) c ) 0. Let k λ be the residue field of K at λ and set DP ) = λ p #k λ) ord λd λ P )). It turns out that DP ) can be computed easily from the leading coefficient of the minimal polynomial of the x-coordinate of P [BÇS, Proposition 4.2]. Observe that ρ λ dλ P ) d λ c P ) c ) 0 implies that ord λ d λ P )) 0 or ord λ cd λ cp )) 0. Hence, the only primes l p which contribute to the sum in 8) are those that are split in K/Q and divide DP ). However, in the examples that we have attempted, factoring DP ) is difficult due to its size. We now package together the contribution to the anticyclotomic p-adic height coming from primes not dividing p. Consider the ideal xp )O K and denote by δp ) O K its denominator ideal. Observe that by 6) we know that all prime factors of δp ) appear with even powers. Fix d h P ) O K as follows: l=λλ c l p 9) d h P )O K = q h ordqδp ))/2 q where h is the class number of K, and the product is over all prime ideals q in O K. Proposition 2.4. Let P EK) be a non-torsion point which reduces to 0 modulo primes dividing p, and to the connected component of all special fibers of the Neron model of E. Then the anticyclotomic p-adic height of P is h ρ P ) = 1 p log p where ψ : K π Q p is the fixed isomorphism. σπ P ) ψ σ π P c ) )) + 1 hp log Proof. By 7) we have ) σπ P ) 10) h ρ P ) = ρ π σ π P c + ) dh P ) c ρ w d w P )). d h P ) )), 2 The formula appearing in [MST06, 2.9] contains a sign error which is corrected here.
7 SHADOW LINES IN THE ARITHMETIC OF ELLIPTIC CURVES 7 Let P = x, y) EK). Since P reduces to the identity modulo π and π c, we have ord π x) = 2e π, ord π y) = 3e π, ord π cx) = 2e π c, ord π cy) = 3e π c, for positive integers e π and e π c. Since the p-adic σ function has the form σt) = t + tz p [[t]], we see that )) ) x x ord π σ π P )) = ord π σ π = ord π = e π y y and similarly ) x ord π σ π P c c )) = ord π = ord π c Thus, ) σπ P ) 11) ord π σ π P c ) y c = e π e π c. ) x = e π c. y Let α K generate the principal ideal π h. By 11) and the definition of the anticyclotomic p-adic idele class character, we have ) σπ P ) ρ π σ π P c = 1 α e ) hp log π c e π σ π P ) h ) p ψ α c ) e π c eπ σ π P c ) h = 1 )) p log σπ P ) σ π P c + 1 α ) ) ) hp log eπ c e π α c. Now it remains to show that 12) By the definition of ρ, we have 13) ρ w d w P )) = 1 hp log p ψ dh P ) c d h P ) ρ w d w P )) = 1 h )) 1 α ) ) hp log eπ c e π α c. ρ w d w P ) h ). Since ord w d w P ) h ) = ord w d h P )), Lemma 2.1 gives ρ w d w P ) h ) = ρ w d h P )) for every w p. Substituting this into 13) gives ρ w d w P )) = 1 ρ w d h P )) h = 1 h = 1 h ρ ρ ι w d h P )) ) ι w d h P )). Now ι wd h P )) is the idele with entry d h P ) at every place w p and entry 1 at all other places. Define β O K by d h P ) = α eπ α c ) e π c β. Thus, by Proposition 1.5 and Remark 1.7, we get 1 h ρ ) ι w d h P )) = 1 )) β c hp log β = 1 hp log dh P ) c )) 1 α ) ) d h P ) hp log eπ c e π α c
8 8 J. S. BALAKRISHNAN, M. ÇIPERIANI, J. LANG, B. MIRZA, AND R. NEWTON as required. This concludes the proof. In [MST06], the authors describe the universal p-adic height pairing P, Q) IK) of two points P, Q EK). Composition of the universal height pairing with any Q p -linear map ρ : IK) Q p gives rise to a canonical symmetric bilinear pairing, ) ρ : EK) EK) Q p called the ρ-height pairing. The ρ-height of a point P EK) is defined to be 1 2 P, P ) ρ. Henceforth, we fix ρ to be the anticyclotomic p-adic idele class character defined in 1. The corresponding ρ-height pairing is referred to as the anticyclotomic p-adic height pairing, and it is denoted as follows: Observe that, =, ) ρ : EK) EK) Q p P, Q = h ρ P ) + h ρ Q) h ρ P + Q). Let EK) + and EK) denote the +1-eigenspace and the 1-eigenspace, respectively, for the action of complex conjugation on EK). Since σ π is an odd function, using 8) we see that the anticyclotomic height satisfies h ρ P ) = 0 for all P EK) + EK). Therefore, the anticyclotomic p-adic height pairing satisfies 14) EK) +, EK) + = EK), EK) = 0. Consequently, if P EK) + and Q EK), then 15) P, Q = h ρ P ) + h ρ Q) h ρ P + Q) = 1 2 P, P 1 2 Q, Q h ρp + Q) = h ρ P + Q). 3. The shadow line Let E be an elliptic curve defined over Q and p an odd prime of good ordinary reduction. Fix an imaginary quadratic extension K/Q satisfying the Heegner hypothesis for E/Q i.e., all primes dividing the conductor of E/Q split in K). Consider the anticyclotomic Z p -extension K of K. Let K n denote the subfield of K whose Galois group over K is isomorphic to Z/p n Z. The module of universal norms for this Z p -extension is defined as follows: U := n 0 N Kn/KEK n ) Z p ) EK) Z p, where N Kn/K is the norm map induced by the map EK n ) EK) given by P σ GalK n/k) By work of Cornut [Co02] and Vatsal [Va03] we know that for n large enough, we have a non-torsion Heegner point in EK n ). Since p is a prime of good ordinary reduction, the trace down to K n 1 of the Heegner points defined over K n is related to Heegner points defined over K n 1, see [BÇS, 2] for further details. Due to this relation among Heegner points defined over the different layers of K, if the p-primary part of the Tate-Shafarevich group of E/K is finite then these points give rise to non-trivial universal norms. Hence, if the p-primary part of the Tate-Shafarevich group of E/K is finite then U is non-trivial whenever the Heegner hypothesis holds. By [Be95], [ÇW08], and [Çi09] we know that if GalQE p )/Q) is not solvable then U Z p. Consider L K := U Q p. P σ.
9 SHADOW LINES IN THE ARITHMETIC OF ELLIPTIC CURVES 9 If the p-primary part of the Tate-Shafarevich group of E/K is finite then L K is a line in the vector space EK) Q p known as the shadow line associated to the triple E, K, p). The space EK) Q p splits as the direct sum of two eigenspaces under the action of complex conjugation Observe that EK) Q p = EK) + Q p EK) Q p. EK) + Q p = EQ) Q p and EK) Q p E K Q) Q p, where E K denotes the quadratic twist of E with respect to K. Since the module U is fixed by complex conjugation, the shadow line L K lies in one of the eigenspaces: L K EQ) Q p or L K EK) Q p. The assumption of the Heegner hypothesis forces the analytic rank of E/K to be odd, and hence the dimension of EK) Q p is odd by the Parity Conjecture [Ne01] and our assumption of the finiteness of the p-primary part of the Tate-Shafarevich group of E/K. Hence, dim EK) Q p dim EQ) Q p. The Sign Conjecture states that L K is expected to lie in the eigenspace of higher dimension [MR03]. Our main motivating question is the following: Question 3.1 Mazur, Rubin). Consider an elliptic curve E/Q of positive even analytic rank r, an imaginary quadratic field K such that E/K has analytic rank r + 1, and a prime p of good ordinary reduction such that the p-primary part of the Tate-Shafarevich group of E/Q is finite. By the Sign Conjecture, we expect L K to lie in EQ) Q p. As K varies, we presumably get different shadow lines L K. What are these lines and how are they distributed in EQ) Q p? Note that in the statement of the above question we make use of the following results: 1) Since E/Q has positive even analytic rank we know that dim EQ) Q p 2 by work of Skinner- Urban [SU14, Theorem 2] and work of Nekovar [Ne01] on the Parity Conjecture. 2) Since our assumptions on the analytic ranks of E/Q and E/K imply that the analytic rank of E K /Q is 1, by work of Gross-Zagier [GZ] and Kolyvagin [Ko90] we know that a) dim EK) Q p = 1; b) the p-primary part of the Tate-Shafarevich group of E K /Q is finite, and hence the finiteness of the p-primary part of the Tate-Shafarevich group of E/K follows from the finiteness of the p-primary part of the Tate-Shafarevich group of E/Q. Thus by 2b) we know that L K EK) Q p, while 1) and 2a) are the input to the Sign Conjecture. It is natural to start the study of Question 3.1 by considering elliptic curves E/Q of analytic rank 2. In this case, assuming that 16) rank Z EQ) = 2, we identify L K in EQ) Q p by making use of the anticyclotomic p-adic height pairing, viewing it as a pairing on EK) Z p. This method forces us to restrict our attention to quadratic fields K where p splits. It is known that U is contained in the kernel of the anticyclotomic p-adic height pairing [MT83, Proposition 4.5.2]. In fact, in our situation, the properties of this pairing and 16) together with the fact that dim EK) Q p = 1 imply that either U is the kernel of the pairing or the pairing is trivial. Thus computing the anticyclotomic p-adic height pairing allows us to verify the Sign Conjecture and determine the shadow line L K. In order to describe the lines L K for multiple quadratic fields K, we fix two independent generators P 1, P 2 of EQ) Q p with E given by its reduced minimal model) and compute the slope of L K Q p in the corresponding coordinate system. For each quadratic field K we compute a non-torsion point R EK) on the reduced minimal model of E). The kernel of the anticyclotomic p-adic height pairing on EK) Z p is generated by ap 1 + bp 2 for a, b Z p such that ap 1 + bp 2, R = 0. Then by 15) the shadow line L K Q p
10 10 J. S. BALAKRISHNAN, M. ÇIPERIANI, J. LANG, B. MIRZA, AND R. NEWTON in EQ) Q p is generated by h ρ P 2 + R)P 1 h ρ P 1 + R)P 2 and its slope with respect to the coordinate system induced by {P 1, P 2 } equals h ρ P 1 + R)/h ρ P 2 + R). 4. Algorithms Let E/Q be an elliptic curve of analytic rank 2; see [Br00, Chapter 4] for an algorithm that can provably verify the non-triviality of the second derivative of the L-function. Our aim is to compute shadow lines on the elliptic curve E. In order to do this using the method described in 3 we need to verify that rank Z EQ) = 2, and compute two Z-independent points P 1, P 2 EQ). By work of Kato [Ka04, Theorem 17.4], computing the l-adic analytic rank of E/Q for any prime l of good ordinary reduction gives an upper bound on rank Z EQ) see [SW13, Proposition 10.1]). Using the techniques in [SW13, 3], which have been implemented in Sage, one can compute an upper bound on the l-adic analytic rank using an approximation of the l-adic L-series, thereby obtaining an upper bound on rank Z EQ). Since the analytic rank of E/Q is 2, barring the failure of standard conjectures we find that rank Z EQ) 2. Then using work of Cremona [Cr97, Section 3.5] implemented in Sage, we search for points of bounded height, increasing the height until we find two Z-independent points P 1, P 2 EQ). We have thus computed a basis of EQ) Q p. We will now proceed to describe the algorithms that allow us to compute shadow lines on the elliptic curve E/Q. Algorithm 4.1. Generator of EK) Q p. Input: an elliptic curve E/Q given by its reduced minimal model) of analytic rank 2, an odd prime p of good ordinary reduction; an imaginary quadratic field K such that the analytic rank of E/K equals 3, and all rational primes dividing the conductor of E/Q split in K. Output: A generator of EK) Q p given as a point on the reduced minimal model of E/Q). 1) Let d Z such that K = Q d). Compute a short model of E K, of the form y 2 = x 3 + ad 2 x + bd 3. 2) Our assumption on the analytic ranks of E/Q and E/K implies that the analytic rank of E K /Q is 1. Compute a non-torsion point 3 of E K Q) and denote it x 0, y 0 ). Then x0 of EK) on the model y 2 = x 3 + ax + b. 3) Output the image of x0 d, y0 d d ) on the reduced minimal model of E. 2 d, y0 d d 2 ) is an element Algorithm 4.2. Computing the anticyclotomic p-adic height associated to E, K, p). Input: elliptic curve E/Q given by its reduced minimal model); an odd prime p of good ordinary reduction; 3 Note that by [GZ] and [Ko90] the analytic rank of E K /Q being 1 implies that the algebraic rank of E K /Q is 1 and the Tate-Shafarevich group of E K /Q is finite. Furthermore, in this case, computing a non-torsion point in E K Q) can be done by choosing an auxiliary imaginary quadratic field F satisfying the Heegner hypothesis for E K /Q such that the analytic rank of E K /F is 1 and computing the corresponding basic Heegner point in E K F ).
11 SHADOW LINES IN THE ARITHMETIC OF ELLIPTIC CURVES 11 an imaginary quadratic field K such that p splits in K/Q; a non-torsion point P EK). Output: The anticyclotomic p-adic height of P. 1) Let po K = ππ c. Fix an identification ψ : K π Q p. In particular, v π)) = 1. 2) Let m 0 = lcm{c l }, where l runs through the primes of bad reduction for E/Q and c l is the Tamagawa number at l. Compute 4 R = m 0 P. 3) Determine the smallest positive integer n such that nr and nr c reduce to 0 EF p ) modulo π. Note that n is a divisor of #EF p ). Compute T = nr. 4) Compute d h R) O K defined in 9) as a generator of the ideal q q h ordqδr))/2 where h is the class number of K, the product is over all prime ideals q of O K, and δr) is the denominator ideal of xr)o K. 5) Let f n denote the nth division polynomial associated to E. Compute d h T ) = d h nr) = f n R) h d h R) n2. Note that by Step 2) and Proposition 1 of Wuthrich [Wu04] we see that f n R) h d h R) n2 O K since d h T ) is an element of K that is integral at every finite prime. 6) Compute σ π t) := σ p t) as a formal power series in tz p [[t]] with sufficient precision. This equality holds since our elliptic curve E is defined over Q. 7) We use Proposition 2.4 to determine the anticyclotomic p-adic height of T : compute h ρ T ) = 1 )) p log σπ T ) σ π T c + 1 ) hp log dh T ) c )) d h T ) ) = 1 p log p ψ σ xt ) p yt ) ) + 1 σ xt ) c hp log dh T ) c )) d h T ) p yt ) c )) = 1 p log σ xt ) yt ) p )) + σ p ψ 1 xt ) c hp log dh T ) c )). d h T ) yt ) c 8) Output the anticyclotomic p-adic height of P : compute 5 h ρ P ) = 1 n 2 m 2 h ρ T ). 0 Algorithm 4.3. Shadow line attached to E, K, p). Input: an elliptic curve E/Q given by its reduced minimal model) of analytic rank 2 such that rank Z EQ) = 2; an odd prime p of good ordinary reduction such that the p-primary part of the Tate-Shafarevich group of E/Q is finite; two Z-independent points P 1, P 2 EQ); an imaginary quadratic field K such that 4 Note that Step 2 and Step 3 are needed to ensure that the point whose anticyclotomic p-adic height we will compute using formula 7) satisfies the required conditions. 5 As a consistency check we compute the height of np and verify that hρnp ) = 1 n 2 h ρp ) for positive integers n 5.
12 12 J. S. BALAKRISHNAN, M. ÇIPERIANI, J. LANG, B. MIRZA, AND R. NEWTON the analytic rank of E/K equals 3, and p and all rational primes dividing the conductor of E/Q split in K. Output: The slope of the shadow line L K EQ) Q p with respect to the coordinate system induced by {P 1, P 2 }. 1) Use Algorithm 4.1 to compute a non-torsion point S EK). We then have generators P 1, P 2, S of EK) Q p such that P 1, P 2 EQ) and S EK) given as points on the reduced minimal model of E/Q). 2) Compute P 1 + S and P 2 + S. 3) Use Algorithm 4.2 to compute 6 the anticyclotomic p-adic heights: h ρ P 1 +S) and h ρ P 2 +S). Finding that at least one of these heights is non-trivial implies that the shadow line associated to E, K, p) lies in EQ) Q p, i.e., the Sign Conjecture holds for E, K, p). 4) The point h ρ P 2 + S)P 1 h ρ P 1 + S)P 2 is a generator of the shadow line associated to E, K, p). Output the slope of the shadow line L K EQ) Q p with respect to the coordinate system induced by {P 1, P 2 }: compute h ρ P 1 + S)/h ρ P 2 + S) Q p. 5. Examples Let E be the elliptic curve 389.a1 [L, Elliptic Curve 389.a1] given by the model y 2 + y = x 3 + x 2 2x. We know that the analytic rank of E/Q equals 2 [Br00, 6.1] and rank Z EQ) = 2, see [Cr97]. In addition, 5 and 7 are good ordinary primes for E. We find two Z-independent points P 1 = 1, 1), P 2 = 0, 0) EQ). We will now use the algorithms described in 4 to compute the slopes of two shadow lines on EQ) Q 5 with respect to the coordinate system induced by {P 1, P 2 } Shadow line attached to 389.a1, Q 11), 5 ). The imaginary quadratic field K = Q 11) satisfies the Heegner hypothesis for E and the quadratic twist E K has analytic rank 1. Moreover, the prime 5 splits in K. We use Algorithm 4.1 to find a non-torsion point S = 1 4, ) EK). We now proceed to compute the anticyclotomic p-adic heights of P 1 + S and P 2 + S which are needed to determine the slope of the shadow line associated to the triple 389.a1, Q 11), 5 ). We begin by computing A 1 := P 1 + S = , 62 ) , A 2 := P 2 + S = 2 11, ). We carry out the steps of Algorithm 4.2 to compute h ρ A 1 ): 1) Let 5O K = ππ c, where π = ) and πc = 1 2 identification ψ : K π Q 5 that sends ). This allows us to fix an O5 10 ). 6 We compute the height of P1 + P 2 + S as a consistency check.
13 SHADOW LINES IN THE ARITHMETIC OF ELLIPTIC CURVES 13 2) Since the Tamagawa number at 389 is trivial, i.e., c 389 = 1, we have m 0 = 1. Thus R = A 1. 3) We find that n = 9 is the smallest multiple of R and R c such that both points reduce to 0 in EO K /π). Set T = 9R. 4) Note that the class number of K is h = 1. We find d h R) = ) Let f 9 denote the 9th division polynomial associated to E. We compute 6) We compute d h T ) = d h 9R) σ π t) : = σ 5 t) = f 9 R)d h R) 92 = = t O5 8 ) ) t O5 7 ) ) t O5 6 ) ) t O5 5 ) ) t O5 4 ) ) t O5 3 ) ) t O5 2 ) ) t O5)) t 10 + Ot 11 ). 7) We use Proposition 2.4 to determine the anticyclotomic p-adic height of T : we compute h ρ T ) = 1 )) p log σπ T ) σ π T c + 1 ) hp log dh T ) c )) d h T ) )) = 1 p log σ xt ) yt ) p )) + σ p ψ 1 xt ) c hp log dh T ) c )) d h T ) yt ) c = O5 10 ). 8) We output the anticyclotomic p-adic height of A 1 : h ρ A 1 ) = h ρt ) Repeating Steps 1) 8) for A 2 yields = O5 10 ). h ρ A 2 ) = O5 10 ). As a consistency check, we also compute h ρ P 1 + P 2 + S) = O5 10 ). Observe that, numerically, we have h ρ P 1 + P 2 + S) = h ρ P 1 + S) + h ρ P 2 + S). The slope of the shadow line L K EQ) Q p with respect to the coordinate system induced by {P 1, P 2 } is thus h ρp 1 + S) h ρ P 2 + S) = O5 10 ).
14 14 J. S. BALAKRISHNAN, M. ÇIPERIANI, J. LANG, B. MIRZA, AND R. NEWTON 5.2. Shadow line attached to 389.a1, Q 24), 5 ). Consider the imaginary quadratic field K = Q 24). Note that K satisfies the Heegner hypothesis for E, the twist E K has analytic rank 1, and the prime 5 splits in K. Using Algorithm 4.1 we find a non-torsion point S = 1 2, 1 8 P 1 + S = , 5 18 P 2 + S = , 6 ) ) EK). We then compute ) 24 1 Many of the steps taken to compute h ρ P 1 + S) and h ρ P 2 + S) are quite similar to those in 5.1. One notable difference is that in this example the class number h of K is equal to 2. We find that h ρ P 1 + S) = O5 10 ), h ρ P 2 + S) = O5 10 ). In addition, we compute h ρ P 1 + P 2 + S) and verify that h ρ P 1 + P 2 + S) = O5 10 ) = h ρ P 1 + S) + h ρ P 2 + S). This gives that the slope of the shadow line L K EQ) Q p with respect to the coordinate system induced by {P 1, P 2 } is h ρp 1 + S) h ρ P 2 + S) = O5 10 ) Summary of results of additional computations of shadow lines. The algorithms developed in 4 enable us to compute shadow lines in many examples which is what is needed to initiate a study of Question 3.1. We will now list some results of additional computations of slopes of shadow lines on the elliptic curve 389.a1. In the following two tables we fix the prime p = 5, 7 respectively, and vary the quadratic field. Table 1. Slopes of shadow lines for 389.a1, K, 5 ) K slope Q 11) O5 10 ) Q 19) O5 10 ) Q 24) O5 10 ) Q 59) O5 10 ) Q 79) O5 10 ) Q 91) O5 10 ) Q 111) O5 10 ) Q 119) O5 10 ) Q 159) O5 10 ) Q 164) O5 10 )
15 SHADOW LINES IN THE ARITHMETIC OF ELLIPTIC CURVES 15 Table 2. Slopes of shadow lines for 389.a1, K, 7 ) K slope Q 19) O7 10 ) Q 20) O7 10 ) Q 24) O7 10 ) Q 52) O7 10 ) Q 55) O7 10 ) Q 59) O7 10 ) Q 68) O7 10 ) Q 87) O7 10 ) Q 111) O7 10 ) Q 143) O7 10 ) References [BÇS] J. S. Balakrishnan, M. Çiperiani, and W. Stein, p-adic heights of Heegner points and Λ-adic regulators, Math. Comp ), no. 292, [Be95] M. Bertolini, Selmer groups and Heegner points in anticyclotomic Z p-extensions, Compositio Math ), no. 2, [Br00] R.W. Bradshaw, Provable computation of motivic L-functions, Thesis Ph.D.)University of Washington [ÇW08] M. Çiperiani and A. Wiles, Solvable points on genus one curves, Duke Math. J ), [Çi09] M. Çiperiani Tate-Shafarevich groups in anticyclotomic Z p-extensions at supersingular primes, Compositio Mathematica ), [Co02] C. Cornut, Mazur s conjecture on higher Heegner points, Invent. Math ), [Cr97] J.E. Cremona, Algorithms for modular elliptic curves, Second edition, Cambridge University Press, Cambridge, [GZ] B. Gross and D. Zagier, Heegner points and derivatives of L-series, Invent. Math ), no. 2, [Ka04] K. Kato, p-adic Hodge theory and values of zeta functions of modular forms, Cohomologies p-adiques et application arithmétiques. III, Astérisque, vol. 295, Société Mathématique de France, Paris, [Ko90] V.A. Kolyvagin, Euler systems, The Grothendieck Festschrift, Vol. II, Progr. Math., 87, Birkhauser Boston, Boston, MA, 1990, [L] The LMFDB Collaboration, The L-functions and Modular Forms Database, , [Online; accessed 14 October 2014]. [MR03] B. Mazur and K. Rubin, Studying the growth of Mordell-Weil, Doc. Math. 2003, Extra Vol., [MST06] B. Mazur, W. Stein, and J. Tate. Computation of p-adic heights and log convergence, Doc. Math. 2006, Extra Vol., [MT83] B. Mazur and J. Tate, Canonical height pairings via biextensions, Arithmetic and geometry, Vol. I, , Progr. Math., 35, Birkhuser Boston, Boston, MA, [Ne01] J. Nekovář, On the parity of ranks of Selmer groups. II, C. R. Acad. Sci. Paris Ser. I Math ), no. 2, [SU14] C. Skinner and E. Urban, The Iwasawa main conjectures for GL 2, Invent. Math ), no. 1, [SW13] W. Stein and C. Wuthrich, Algorithms for the arithmetic of elliptic curves using Iwasawa theory, Math. Comp ), no. 283, [Va03] V. Vatsal, Special values of anticyclotomic L-functions, Duke Math. J ), [Wa97] L. C. Washington, Introduction to cyclotomic fields, Second edition, Graduate Texts in Mathematics, 83. Springer- Verlag, New York, [Wu04] C. Wuthrich, On p-adic heights in families of elliptic curves, J. London Math. Soc. 2) ), no. 1,
16 16 J. S. BALAKRISHNAN, M. ÇIPERIANI, J. LANG, B. MIRZA, AND R. NEWTON J. S. Balakrishnan, Mathematical Institute, University of Oxford, Woodstock Road, Oxford OX2 6GG, UK address: M. Çiperiani, Department of Mathematics, The University of Texas at Austin, 1 University Station, C1200 Austin, Texas 78712, USA address: mirela@math.utexas.edu J. Lang, UCLA Mathematics Department, Box , Los Angeles, CA , USA address: jaclynlang@math.ucla.edu B. Mirza, Department of Mathematics and Statistics, McGill University, 805 Sherbrooke Street West, Montreal, Quebec, Canada, H3A 0B9 address: mirza@math.mcgill.ca R. Newton, Max Planck Institute for Mathematics, Vivatsgasse 7, Bonn, Germany address: rachel@mpim-bonn.mpg.de
Rank-one Twists of a Certain Elliptic Curve
Rank-one Twists of a Certain Elliptic Curve V. Vatsal University of Toronto 100 St. George Street Toronto M5S 1A1, Canada vatsal@math.toronto.edu June 18, 1999 Abstract The purpose of this note is to give
More informationAbstracts of papers. Amod Agashe
Abstracts of papers Amod Agashe In this document, I have assembled the abstracts of my work so far. All of the papers mentioned below are available at http://www.math.fsu.edu/~agashe/math.html 1) On invisible
More informationThe Birch & Swinnerton-Dyer conjecture. Karl Rubin MSRI, January
The Birch & Swinnerton-Dyer conjecture Karl Rubin MSRI, January 18 2006 Outline Statement of the conjectures Definitions Results Methods Birch & Swinnerton-Dyer conjecture Suppose that A is an abelian
More informationVisibility and the Birch and Swinnerton-Dyer conjecture for analytic rank one
Visibility and the Birch and Swinnerton-Dyer conjecture for analytic rank one Amod Agashe February 20, 2009 Abstract Let E be an optimal elliptic curve over Q of conductor N having analytic rank one, i.e.,
More informationVerification of the Birch and Swinnerton-Dyer Conjecture for Specific Elliptic Curves
Verification of the Birch and Swinnerton-Dyer Conjecture for Specific Elliptic Curves William Stein University of California, San Diego http://modular.fas.harvard.edu/ Bremen: July 2005 1 This talk reports
More informationFORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS
Sairaiji, F. Osaka J. Math. 39 (00), 3 43 FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS FUMIO SAIRAIJI (Received March 4, 000) 1. Introduction Let be an elliptic curve over Q. We denote by ˆ
More informationComputing a Lower Bound for the Canonical Height on Elliptic Curves over Q
Computing a Lower Bound for the Canonical Height on Elliptic Curves over Q John Cremona 1 and Samir Siksek 2 1 School of Mathematical Sciences, University of Nottingham, University Park, Nottingham NG7
More informationTORSION AND TAMAGAWA NUMBERS
TORSION AND TAMAGAWA NUMBERS DINO LORENZINI Abstract. Let K be a number field, and let A/K be an abelian variety. Let c denote the product of the Tamagawa numbers of A/K, and let A(K) tors denote the finite
More informationPacific Journal of Mathematics
Pacific Journal of Mathematics MOD p REPRESENTATIONS ON ELLIPTIC CURVES FRANK CALEGARI Volume 225 No. 1 May 2006 PACIFIC JOURNAL OF MATHEMATICS Vol. 225, No. 1, 2006 MOD p REPRESENTATIONS ON ELLIPTIC
More informationClass groups and Galois representations
and Galois representations UC Berkeley ENS February 15, 2008 For the J. Herbrand centennaire, I will revisit a subject that I studied when I first came to Paris as a mathematician, in 1975 1976. At the
More informationA Version of the Grothendieck Conjecture for p-adic Local Fields
A Version of the Grothendieck Conjecture for p-adic Local Fields by Shinichi MOCHIZUKI* Section 0: Introduction The purpose of this paper is to prove an absolute version of the Grothendieck Conjecture
More informationANTICYCLOTOMIC IWASAWA THEORY OF CM ELLIPTIC CURVES II. 1. Introduction
ANTICYCLOTOMIC IWASAWA THEORY OF CM ELLIPTIC CURVES II ADEBISI AGBOOLA AND BENJAMIN HOWARD Abstract. We study the Iwasawa theory of a CM elliptic curve E in the anticyclotomic Z p- extension D of the CM
More informationA p-adic Birch and Swinnerton-Dyer conjecture for modular abelian varieties
A p-adic Birch and Swinnerton-Dyer conjecture for modular abelian varieties Steffen Müller Universität Hamburg joint with Jennifer Balakrishnan and William Stein Rational points on curves: A p-adic and
More informationModern Number Theory: Rank of Elliptic Curves
Modern Number Theory: Rank of Elliptic Curves Department of Mathematics University of California, Irvine October 24, 2007 Rank of Outline 1 Introduction Basics Algebraic Structure 2 The Problem Relation
More informationL-functions and Arithmetic. Conference Program. Title: On the conjecture of Birch and Swinnerton-Dyer for elliptic curves with complex multiplication
Monday, June 13 9:15-9:30am Barry Mazur, Harvard University Welcoming remarks 9:30-10:30am John Coates, University of Cambridge Title: On the conjecture of Birch and Swinnerton-Dyer for elliptic curves
More informationTwists of elliptic curves of rank at least four
1 Twists of elliptic curves of rank at least four K. Rubin 1 Department of Mathematics, University of California at Irvine, Irvine, CA 92697, USA A. Silverberg 2 Department of Mathematics, University of
More informationPAIRINGS IN THE ARITHMETIC OF ELLIPTIC CURVES
PAIRINGS IN THE ARITHMETIC OF ELLIPTIC CURVES BARRY MAZUR AND KARL RUBIN Introduction The recent work of Cornut, Vatsal, Bertolini, Darmon, Nekovár and others on the Mordell-Weil and Shafarevich-Tate groups
More informationTAMAGAWA NUMBERS OF ELLIPTIC CURVES WITH C 13 TORSION OVER QUADRATIC FIELDS
TAMAGAWA NUMBERS OF ELLIPTIC CURVES WITH C 13 TORSION OVER QUADRATIC FIELDS FILIP NAJMAN Abstract. Let E be an elliptic curve over a number field K c v the Tamagawa number of E at v and let c E = v cv.
More informationVISIBILITY FOR ANALYTIC RANK ONE or A VISIBLE FACTOR OF THE HEEGNER INDEX
VISIBILITY FOR ANALYTIC RANK ONE or A VISIBLE FACTOR OF THE HEEGNER INDEX Amod Agashe April 17, 2009 Abstract Let E be an optimal elliptic curve over Q of conductor N, such that the L-function of E vanishes
More informationElliptic curves and modularity
Elliptic curves and modularity For background and (most) proofs, we refer to [1]. 1 Weierstrass models Let K be any field. For any a 1, a 2, a 3, a 4, a 6 K consider the plane projective curve C given
More informationA MOD-p ARTIN-TATE CONJECTURE, AND GENERALIZED HERBRAND-RIBET. March 7, 2017
A MOD-p ARTIN-TATE CONJECTURE, AND GENERALIZED HERBRAND-RIBET DIPENDRA PRASAD March 7, 2017 Abstract. Following the natural instinct that when a group operates on a number field then every term in the
More informationThe GL 2 main conjecture for elliptic curves without complex multiplication. by Otmar Venjakob
The GL 2 main conjecture for elliptic curves without complex multiplication by Otmar Venjakob Arithmetic of elliptic curves E elliptic curve over Q : E : y 2 + A 1 xy + A 3 y = x 3 + A 2 x 2 + A 4 x +
More informationComputing the image of Galois
Computing the image of Galois Andrew V. Sutherland Massachusetts Institute of Technology October 9, 2014 Andrew Sutherland (MIT) Computing the image of Galois 1 of 25 Elliptic curves Let E be an elliptic
More informationQuestion 1: Are there any non-anomalous eigenforms φ of weight different from 2 such that L χ (φ) = 0?
May 12, 2003 Anomalous eigenforms and the two-variable p-adic L-function (B Mazur) A p-ordinary p-adic modular (cuspidal) eigenform (for almost all Hecke operators T l with l p and for the Atkin-Lehner
More information1. Introduction Let E be an elliptic curve over Q. We recall that the Tate-Shafarevich group of E/Q is defined by
Bull. Korean Math. Soc. 50 (2013), No. 2, pp. 407 416 http://dx.doi.org/10.4134/bkms.2013.50.2.407 ON THE p-primary PART OF TATE-SHAFAREVICH GROUP OF ELLIPTIC CURVES OVER Q WHEN p IS SUPERSINGULAR Dohyeong
More informationIntroduction to Elliptic Curves
IAS/Park City Mathematics Series Volume XX, XXXX Introduction to Elliptic Curves Alice Silverberg Introduction Why study elliptic curves? Solving equations is a classical problem with a long history. Starting
More information1.6.1 What are Néron Models?
18 1. Abelian Varieties: 10/20/03 notes by W. Stein 1.6.1 What are Néron Models? Suppose E is an elliptic curve over Q. If is the minimal discriminant of E, then E has good reduction at p for all p, in
More informationLaval University, Québec September 2010
Conférence Québec-Maine Laval University, Québec September 2010 The Birch and Swinnerton-Dyer conjecture for Q-curves and Oda s period relations... Joint work in progress with Victor Rotger (Barcelona),
More informationTHERE ARE NO ELLIPTIC CURVES DEFINED OVER Q WITH POINTS OF ORDER 11
THERE ARE NO ELLIPTIC CURVES DEFINED OVER Q WITH POINTS OF ORDER 11 ALLAN LACY 1. Introduction If E is an elliptic curve over Q, the set of rational points E(Q), form a group of finite type (Mordell-Weil
More informationMA 162B LECTURE NOTES: THURSDAY, FEBRUARY 26
MA 162B LECTURE NOTES: THURSDAY, FEBRUARY 26 1. Abelian Varieties of GL 2 -Type 1.1. Modularity Criteria. Here s what we ve shown so far: Fix a continuous residual representation : G Q GLV, where V is
More informationUp to twist, there are only finitely many potentially p-ordinary abelian varieties over. conductor
Up to twist, there are only finitely many potentially p-ordinary abelian varieties over Q of GL(2)-type with fixed prime-to-p conductor Haruzo Hida Department of Mathematics, UCLA, Los Angeles, CA 90095-1555,
More informationThe complexity of Diophantine equations
The complexity of Diophantine equations Colloquium McMaster University Hamilton, Ontario April 2005 The basic question A Diophantine equation is a polynomial equation f(x 1,..., x n ) = 0 with integer
More informationTHE NUMBER OF TWISTS WITH LARGE TORSION OF AN ELLITPIC CURVE
THE NUMBER OF TWISTS WITH LARGE TORSION OF AN ELLITPIC CURVE FILIP NAJMAN Abstract. For an elliptic curve E/Q, we determine the maximum number of twists E d /Q it can have such that E d (Q) tors E(Q)[2].
More informationReciprocity maps with restricted ramification
Reciprocity maps with restricted ramification Romyar Sharifi UCLA January 6, 2016 1 / 19 Iwasawa theory for modular forms Let be an p odd prime and f a newform of level N. Suppose that f is ordinary at
More informationOn the notion of visibility of torsors
On the notion of visibility of torsors Amod Agashe Abstract Let J be an abelian variety and A be an abelian subvariety of J, both defined over Q. Let x be an element of H 1 (Q, A). Then there are at least
More informationOn the generation of the coefficient field of a newform by a single Hecke eigenvalue
On the generation of the coefficient field of a newform by a single Hecke eigenvalue Koopa Tak-Lun Koo and William Stein and Gabor Wiese November 2, 27 Abstract Let f be a non-cm newform of weight k 2
More informationNotes on p-divisible Groups
Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete
More informationMod-p reducibility, the torsion subgroup, and the Shafarevich-Tate group
Mod-p reducibility, the torsion subgroup, and the Shafarevich-Tate group Amod Agashe May 26, 2009 Abstract Let E be an optimal elliptic curve over Q of prime conductor N. We show that if for an odd prime
More informationModularity of Abelian Varieties
1 Modularity of Abelian Varieties This is page 1 Printer: Opaque this 1.1 Modularity Over Q Definition 1.1.1 (Modular Abelian Variety). Let A be an abelian variety over Q. Then A is modular if there exists
More informationRing theoretic properties of Hecke algebras and Cyclicity in Iwasawa theory
Ring theoretic properties of Hecke algebras and Cyclicity in Iwasawa theory Haruzo Hida Department of Mathematics, UCLA, Los Angeles, CA 90095-1555, U.S.A. A talk in June, 2016 at Banff conference center.
More informationCLASS FIELD THEORY WEEK Motivation
CLASS FIELD THEORY WEEK 1 JAVIER FRESÁN 1. Motivation In a 1640 letter to Mersenne, Fermat proved the following: Theorem 1.1 (Fermat). A prime number p distinct from 2 is a sum of two squares if and only
More information15 Elliptic curves and Fermat s last theorem
15 Elliptic curves and Fermat s last theorem Let q > 3 be a prime (and later p will be a prime which has no relation which q). Suppose that there exists a non-trivial integral solution to the Diophantine
More informationElliptic curves over function fields 1
Elliptic curves over function fields 1 Douglas Ulmer and July 6, 2009 Goals for this lecture series: Explain old results of Tate and others on the BSD conjecture over function fields Show how certain classes
More informationPossibilities for Shafarevich-Tate Groups of Modular Abelian Varieties
Possibilities for Shafarevich-Tate Groups of Modular Abelian Varieties William Stein Harvard University August 22, 2003 for Microsoft Research Overview of Talk 1. Abelian Varieties 2. Shafarevich-Tate
More informationTriple product p-adic L-functions for balanced weights and arithmetic properties
Triple product p-adic L-functions for balanced weights and arithmetic properties Marco A. Seveso, joint with Massimo Bertolini, Matthew Greenberg and Rodolfo Venerucci 2013 Workshop on Iwasawa theory and
More informationNon CM p-adic analytic families of modular forms
Non CM p-adic analytic families of modular forms Haruzo Hida Department of Mathematics, UCLA, Los Angeles, CA 90095-1555, U.S.A. The author is partially supported by the NSF grant: DMS 1464106. Abstract:
More informationIndependence of Heegner Points Joseph H. Silverman (Joint work with Michael Rosen)
Independence of Heegner Points Joseph H. Silverman (Joint work with Michael Rosen) Brown University Cambridge University Number Theory Seminar Thursday, February 22, 2007 0 Modular Curves and Heegner Points
More informationOLIVIA BECKWITH. 3 g+2
CLASS NUMBER DIVISIBILITY FOR IMAGINARY QUADRATIC FIELDS arxiv:809.05750v [math.nt] 5 Sep 208 OLIVIA BECKWITH Abstract. In this note we revisit classic work of Soundararajan on class groups of imaginary
More informationGalois groups with restricted ramification
Galois groups with restricted ramification Romyar Sharifi Harvard University 1 Unique factorization: Let K be a number field, a finite extension of the rational numbers Q. The ring of integers O K of K
More informationCHUNG PANG MOK. The correct form of Proposition 2.2 of [M1] should be stated as follows:
CORRIGENDUM AND ADDENDUM TO SPECIAL VALUES OF L-FUNCTIONS OF ELLIPTIC CURVES OVER Q AND THEIR BASE CHANGE TO REAL QUADRATIC FIELDS [J. NUMBER THEORY 130 (2010), NO. 2, 431 438] CHUNG PANG MOK Abstract.
More informationStark-Heegner points
Stark-Heegner points Course and Student Project description Arizona Winter School 011 Henri Darmon and Victor Rotger 1. Background: Elliptic curves, modular forms, and Heegner points Let E /Q be an elliptic
More informationSome algebraic number theory and the reciprocity map
Some algebraic number theory and the reciprocity map Ervin Thiagalingam September 28, 2015 Motivation In Weinstein s paper, the main problem is to find a rule (reciprocity law) for when an irreducible
More informationHONDA-TATE THEOREM FOR ELLIPTIC CURVES
HONDA-TATE THEOREM FOR ELLIPTIC CURVES MIHRAN PAPIKIAN 1. Introduction These are the notes from a reading seminar for graduate students that I organised at Penn State during the 2011-12 academic year.
More informationMappings of elliptic curves
Mappings of elliptic curves Benjamin Smith INRIA Saclay Île-de-France & Laboratoire d Informatique de l École polytechnique (LIX) Eindhoven, September 2008 Smith (INRIA & LIX) Isogenies of Elliptic Curves
More informationLocal root numbers of elliptic curves over dyadic fields
Local root numbers of elliptic curves over dyadic fields Naoki Imai Abstract We consider an elliptic curve over a dyadic field with additive, potentially good reduction. We study the finite Galois extension
More informationNUNO FREITAS AND ALAIN KRAUS
ON THE DEGREE OF THE p-torsion FIELD OF ELLIPTIC CURVES OVER Q l FOR l p NUNO FREITAS AND ALAIN KRAUS Abstract. Let l and p be distinct prime numbers with p 3. Let E/Q l be an elliptic curve with p-torsion
More informationIntroduction to Kolyvagin systems
Contemporary Mathematics Introduction to Kolyvagin systems Barry Mazur and Karl Rubin Introduction Since their introduction by Kolyvagin in [Ko], Euler systems have been used in several important applications
More informationA p-adic Birch and Swinnerton-Dyer conjecture for modular abelian varieties
A p-adic Birch and Swinnerton-Dyer conjecture for modular abelian varieties Steffen Müller Universität Hamburg joint with Jennifer Balakrishnan (Harvard) and William Stein (U Washington) Forschungsseminar
More informationOn some modules associated with Galois orbits by Victor Alexandru (1), Marian Vâjâitu (2), Alexandru Zaharescu (3)
Bull. Math. Soc. Sci. Math. Roumanie Tome 61 (109) No. 1, 2018, 3 11 On some modules associated with Galois orbits by Victor Alexandru (1), Marian Vâjâitu (2), Alexandru Zaharescu (3) Dedicated to the
More informationComputations with Coleman integrals
Computations with Coleman integrals Jennifer Balakrishnan Harvard University, Department of Mathematics AWM 40 Years and Counting (Number Theory Session) Saturday, September 17, 2011 Outline 1 Introduction
More informationTHE ARITHMETIC OF ELLIPTIC CURVES AN UPDATE
AJSE Mathematics Volume 1, Number 1, June 2009, Pages 97 106 THE ARITHMETIC OF ELLIPTIC CURVES AN UPDATE BENEDICT H. GROSS Abstract. We survey the progress that has been made on the arithmetic of elliptic
More informationRAMIFIED PRIMES IN THE FIELD OF DEFINITION FOR THE MORDELL-WEIL GROUP OF AN ELLIPTIC SURFACE
PROCEEDINGS of the AMERICAN MATHEMATICAL SOCIETY Volume 116. Number 4, December 1992 RAMIFIED PRIMES IN THE FIELD OF DEFINITION FOR THE MORDELL-WEIL GROUP OF AN ELLIPTIC SURFACE MASATO KUWATA (Communicated
More informationAWS 2018, Problem Session (Algebraic aspects of Iwasawa theory)
AWS 2018, Problem Session (Algebraic aspects of Iwasawa theory) Kâzım Büyükboduk March 3-7, 2018 Contents 1 Commutative Algebra 1 2 Classical Iwasawa Theory (of Tate motives) 2 3 Galois cohomology and
More informationOn elliptic curves in characteristic 2 with wild additive reduction
ACTA ARITHMETICA XCI.2 (1999) On elliptic curves in characteristic 2 with wild additive reduction by Andreas Schweizer (Montreal) Introduction. In [Ge1] Gekeler classified all elliptic curves over F 2
More informationInfinite rank of elliptic curves over Q ab and quadratic twists with positive rank
Infinite rank of elliptic curves over Q ab and quadratic twists with positive rank Bo-Hae Im Chung-Ang University The 3rd East Asian Number Theory Conference National Taiwan University, Taipei January
More informationTwisted L-Functions and Complex Multiplication
Journal of umber Theory 88, 104113 (2001) doi:10.1006jnth.2000.2613, available online at http:www.idealibrary.com on Twisted L-Functions and Complex Multiplication Abdellah Sebbar Department of Mathematics
More informationIsogeny invariance of the BSD conjecture
Isogeny invariance of the BSD conjecture Akshay Venkatesh October 30, 2015 1 Examples The BSD conjecture predicts that for an elliptic curve E over Q with E(Q) of rank r 0, where L (r) (1, E) r! = ( p
More informationRAMIFICATION IN THE DIVISION FIELDS OF ELLIPTIC CURVES WITH POTENTIAL SUPERSINGULAR REDUCTION
RAMIFICATION IN THE DIVISION FIELDS OF ELLIPTIC CURVES WITH POTENTIAL SUPERSINGULAR REDUCTION ÁLVARO LOZANO-ROBLEDO Abstract. Let d 1 be fixed. Let F be a number field of degree d, and let E/F be an elliptic
More informationarxiv: v2 [math.nt] 12 Dec 2018
LANGLANDS LAMBDA UNCTION OR QUADRATIC TAMELY RAMIIED EXTENSIONS SAZZAD ALI BISWAS Abstract. Let K/ be a quadratic tamely ramified extension of a non-archimedean local field of characteristic zero. In this
More informationBSD and the Gross-Zagier Formula
BSD and the Gross-Zagier Formula Dylan Yott July 23, 2014 1 Birch and Swinnerton-Dyer Conjecture Consider E : y 2 x 3 +ax+b/q, an elliptic curve over Q. By the Mordell-Weil theorem, the group E(Q) is finitely
More informationUniversität Regensburg Mathematik
Universität Regensburg Mathematik On projective linear groups over finite fields as Galois groups over the rational numbers Gabor Wiese Preprint Nr. 14/2006 On projective linear groups over finite fields
More informationTables of elliptic curves over number fields
Tables of elliptic curves over number fields John Cremona University of Warwick 10 March 2014 Overview 1 Why make tables? What is a table? 2 Simple enumeration 3 Using modularity 4 Curves with prescribed
More informationAVERAGE RECIPROCALS OF THE ORDER OF a MODULO n
AVERAGE RECIPROCALS OF THE ORDER OF a MODULO n KIM, SUNGJIN Abstract Let a > be an integer Denote by l an the multiplicative order of a modulo integers n We prove that l = an Oa ep 2 + o log log, n,n,a=
More informationSolving Cubic Equations: An Introduction to the Birch and Swinnerton-Dyer Conjecture
Solving Cubic Equations: An Introduction to the Birch and Swinnerton-Dyer Conjecture William Stein (http://modular.ucsd.edu/talks) December 1, 2005, UCLA Colloquium 1 The Pythagorean Theorem c a 2 + b
More informationc ij x i x j c ij x i y j
Math 48A. Class groups for imaginary quadratic fields In general it is a very difficult problem to determine the class number of a number field, let alone the structure of its class group. However, in
More informationThe arithmetic of elliptic curves An update. Benedict H. Gross. In 1974, John Tate published The arithmetic of elliptic curves in
The arithmetic of elliptic curves An update Benedict H. Gross In 1974, John Tate published The arithmetic of elliptic curves in Inventiones. In this paper [Ta], he surveyed the work that had been done
More informationProblems on Growth of Hecke fields
Problems on Growth of Hecke fields Haruzo Hida Department of Mathematics, UCLA, Los Angeles, CA 90095-1555, U.S.A. A list of conjectures/problems related to my talk in Simons Conference in January 2014
More informationComputation of p-adic Heights and Log Convergence
1 Computation of p-adic Heights and Log Convergence In celebration of John Coates 60th birthday Barry Mazur William Stein John Tate Abstract. This paper is about computational questions regarding p-adic
More informationp-adic iterated integrals, modular forms of weight one, and Stark-Heegner points.
Stark s Conjecture and related topics p-adic iterated integrals, modular forms of weight one, and Stark-Heegner points. Henri Darmon San Diego, September 20-22, 2013 (Joint with Alan Lauder and Victor
More informationAn Introduction to Supersingular Elliptic Curves and Supersingular Primes
An Introduction to Supersingular Elliptic Curves and Supersingular Primes Anh Huynh Abstract In this article, we introduce supersingular elliptic curves over a finite field and relevant concepts, such
More informationGalois Theory and Diophantine geometry ±11
Galois Theory and Diophantine geometry ±11 Minhyong Kim Bordeaux, January, 2010 1 1. Some Examples 1.1 A Diophantine finiteness theorem: Let a, b, c, n Z and n 4. Then the equation ax n + by n = c has
More informationarxiv: v1 [math.nt] 15 Mar 2012
ON ZAGIER S CONJECTURE FOR L(E, 2): A NUMBER FIELD EXAMPLE arxiv:1203.3429v1 [math.nt] 15 Mar 2012 JEFFREY STOPPLE ABSTRACT. We work out an example, for a CM elliptic curve E defined over a real quadratic
More informationTATE-SHAFAREVICH GROUPS OF THE CONGRUENT NUMBER ELLIPTIC CURVES. Ken Ono. X(E N ) is a simple
TATE-SHAFAREVICH GROUPS OF THE CONGRUENT NUMBER ELLIPTIC CURVES Ken Ono Abstract. Using elliptic modular functions, Kronecker proved a number of recurrence relations for suitable class numbers of positive
More informationTHE TATE MODULE. Seminar: Elliptic curves and the Weil conjecture. Yassin Mousa. Z p
THE TATE MODULE Seminar: Elliptic curves and the Weil conjecture Yassin Mousa Abstract This paper refers to the 10th talk in the seminar Elliptic curves and the Weil conjecture supervised by Prof. Dr.
More informationVARIATION OF IWASAWA INVARIANTS IN HIDA FAMILIES
VARIATION OF IWASAWA INVARIANTS IN HIDA FAMILIES MATTHEW EMERTON, ROBERT POLLACK AND TOM WESTON 1. Introduction Let ρ : G Q GL 2 (k) be an absolutely irreducible modular Galois representation over a finite
More informationA BRIEF INTRODUCTION TO LOCAL FIELDS
A BRIEF INTRODUCTION TO LOCAL FIELDS TOM WESTON The purpose of these notes is to give a survey of the basic Galois theory of local fields and number fields. We cover much of the same material as [2, Chapters
More informationFinding all elliptic curves with good reduction outside a given set of primes
Finding all elliptic curves with good reduction outside a given set of primes J. E. Cremona and M. P. Lingham Abstract We describe an algorithm for determining elliptic curves defined over a given number
More informationA refined conjecture of Mazur-Tate type for Heegner points
A refined conjecture of Mazur-Tate type for Heegner points Henri Darmon September 9, 2007 Contents 1 Preliminaries 2 2 Statement of the results 3 2.1 The conjecture of Mazur Tate type............... 3
More informationAn analogue of the Weierstrass ζ-function in characteristic p. José Felipe Voloch
An analogue of the Weierstrass ζ-function in characteristic p José Felipe Voloch To J.W.S. Cassels on the occasion of his 75th birthday. 0. Introduction Cassels, in [C], has noticed a remarkable analogy
More informationWiles theorem and the arithmetic of elliptic curves
Wiles theorem and the arithmetic of elliptic curves H. Darmon September 9, 2007 Contents 1 Prelude: plane conics, Fermat and Gauss 2 2 Elliptic curves and Wiles theorem 6 2.1 Wiles theorem and L(E/Q, s)..................
More informationThe special L-value of the winding quotient of level a product of two distinct primes
The special L-value of the winding quotient of level a product of two distinct primes Amod Agashe Abstract Let p and q be two distinct primes and let J e denote the winding quotient at level pq. We give
More informationON THE KERNELS OF THE PRO-l OUTER GALOIS REPRESENTATIONS ASSOCIATED TO HYPERBOLIC CURVES OVER NUMBER FIELDS
Hoshi, Y. Osaka J. Math. 52 (205), 647 675 ON THE KERNELS OF THE PRO-l OUTER GALOIS REPRESENTATIONS ASSOCIATED TO HYPERBOLIC CURVES OVER NUMBER FIELDS YUICHIRO HOSHI (Received May 28, 203, revised March
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #24 12/03/2013
18.78 Introduction to Arithmetic Geometry Fall 013 Lecture #4 1/03/013 4.1 Isogenies of elliptic curves Definition 4.1. Let E 1 /k and E /k be elliptic curves with distinguished rational points O 1 and
More information14 Ordinary and supersingular elliptic curves
18.783 Elliptic Curves Spring 2015 Lecture #14 03/31/2015 14 Ordinary and supersingular elliptic curves Let E/k be an elliptic curve over a field of positive characteristic p. In Lecture 7 we proved that
More informationImaginary Quadratic Fields With Isomorphic Abelian Galois Groups
Imaginary Quadratic Fields With Isomorphic Abelian Galois Groups Universiteit Leiden, Université Bordeaux 1 July 12, 2012 - UCSD - X - a Question Let K be a number field and G K = Gal(K/K) the absolute
More informationHeegner points, Heegner cycles, and congruences
Heegner points, Heegner cycles, and congruences Henri Darmon September 9, 2007 Contents 1 Heegner objects 2 1.1 Modular elliptic curves...................... 2 1.2 Binary quadratic forms......................
More informationM ath. Res. Lett. 15 (2008), no. 6, c International Press 2008
M ath. Res. Lett. 15 (2008), no. 6, 1223 1231 c International Press 2008 A FINITENESS CONJECTURE ON ABELIAN VARIETIES WITH CONSTRAINED PRIME POWER TORSION Christopher Rasmussen and Akio Tamagawa Abstract.
More informationTernary Diophantine Equations via Galois Representations and Modular Forms
Canad. J. Math. Vol. 56 (1), 2004 pp. 23 54 Ternary Diophantine Equations via Galois Representations and Modular Forms Michael A. Bennett and Chris M. Skinner Abstract. In this paper, we develop techniques
More informationOn the equality case of the Ramanujan Conjecture for Hilbert modular forms
On the equality case of the Ramanujan Conjecture for Hilbert modular forms Liubomir Chiriac Abstract The generalized Ramanujan Conjecture for unitary cuspidal automorphic representations π on GL 2 posits
More informationKIDA S FORMULA AND CONGRUENCES
KIDA S FORMULA AND CONGRUENCES ROBERT POLLACK AND TOM WESTON 1. Introduction Let f be a modular eigenform of weight at least two and let F be a finite abelian extension of Q. Fix an odd prime p at which
More information