Analytic construction of points on modular elliptic curves Number Theory Study Group University of York Xavier Guitart 1 Marc Masdeu 2 Mehmet Haluk Sengun 3 1 Universitat de Barcelona 2 University of Warwick 3 University of Sheffield May 26, 2015 Marc Masdeu Analytic construction of pointson modular elliptic curves May 26, 2015 0 / 23
25
Embed
Analytic construction of points on modular elliptic curves
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Analytic construction of pointson modular elliptic curves
Number Theory Study GroupUniversity of York
Xavier Guitart 1 Marc Masdeu 2 Mehmet Haluk Sengun 3
1Universitat de Barcelona
2University of Warwick
3University of Sheffield
May 26, 2015
Marc Masdeu Analytic construction of pointson modular elliptic curves May 26, 2015 0 / 23
Elliptic Curves
Let E be an elliptic curve defined over Q:
Y 2 + a1Y + a3XY = X3 + a2X2 + a4X + a6, ai ∈ Z
Let K/Q be a number field, and consider the abelian group
Theorem (Mordell–Weil)E(K) is finitely generated: E(K) ∼= (Torsion)⊕ Zr.
The integer r = rkZE(K) is called the algebraic rank of E(K).I Open problem: Given E and K, find r.
Theorem (Weierstrass Uniformization)There exists a computable complex-analytic group isomorphism
η : C/ΛE → E(C), ΛE = lattice of rank 2.Marc Masdeu Analytic construction of pointson modular elliptic curves May 26, 2015 1 / 23
The Hasse-Weil L-function
Suppose that K = Q(√D) is quadratic.
Can reduce the coefficients a1, . . . , a6 modulo primes p.I For almost all primes, the reduction is an elliptic curve (nonsingular).I Obviously E(Fp) is finite.
The conductor of E is an integer N encoding the shape of E whenthis reduction is singular.
I Assume that N is square-free, coprime to disc(K/Q).
I Analytic continuation of L(E/K, s) to C.I Functional equation relating s↔ 2− s.
Marc Masdeu Analytic construction of pointson modular elliptic curves May 26, 2015 2 / 23
The BSD conjecture
Bryan Birch Sir Peter Swinnerton-Dyer
BSD conjecture (coarse version)
ords=1 L(E/K, s) = rkZE(K).
So L(E/K, 1) = 0BSD=⇒ ∃PK ∈ E(K) of infinite order.
Open problem: construct such PK .Marc Masdeu Analytic construction of pointson modular elliptic curves May 26, 2015 3 / 23
Modular forms
Let N > 0 be an integer and consider
Γ0(N) = (a bc d
)∈ SL2(Z) : N | c.
Recall the upper-half plane H = z ∈ C : Im(z) > 0.I Γ0(N) acts on H via
(a bc d
)· z = az+b
cz+d .A cusp form of level N is a holomorphic map f : H→ C such that:
1 f(γz) = (cz + d)2f(z) for all γ =(a bc d
)∈ Γ0(N).
2 Cuspidal: limz→i∞ f(z) = 0.Since ( 1 1
0 1 ) ∈ Γ0(N), have Fourier expansions
f(z) =∞∑n=1
an(f)e2πinz.
The (finite) vector space of all cusp forms is denoted by S2(Γ0(N)).There is a family of commuting linear operators (Hecke algebra)acting on S2(Γ0(N)), indexed by integers coprime to N .
I A newform is a simultaneous eigenvector for the Hecke algebra.
Marc Masdeu Analytic construction of pointson modular elliptic curves May 26, 2015 4 / 23
Modularity
Theorem (Modularity, automorphic version)Given an elliptic curve E, there exists a newform fE ∈ S2(Γ0(N)) s.t.
ap(fE) = 1 + p−#E(Fp), for all p - N.
The complex manifold Y0(N)(C) = Γ0(N)\H can be compactified byadding a finite set of points (cusps), yielding X0(N)(C).Shimura proved that X0(N)(C) is the set of C-points of an algebraic(projective) curve X0(N) defined over Q.
Theorem (Modularity, geometric version)Given an elliptic curve E, there exists a surjective morphism
φE : X0(N)/Q→ E.
Marc Masdeu Analytic construction of pointson modular elliptic curves May 26, 2015 5 / 23
The main tool for BSD: Heegner points
Kurt Heegner
Only available when K = Q(√D) is imaginary: D < 0.
I will define Heegner points under the additional condition:I Heegner hypothesis: p | N =⇒ p split in K.
This ensures that ords=1 L(E/K, s) is odd (so ≥ 1).Modularity is crucial in the construction.
Marc Masdeu Analytic construction of pointson modular elliptic curves May 26, 2015 6 / 23
Heegner Points (K/Q imaginary quadratic)
Modularity =⇒ modular form fE attached to E.
ωE = 2πifE(z)dz = 2πi∑n≥1
an(f)e2πinzdz ∈ Ω1Γ0(N)\H.
I Can be obtained simply by counting points of E(Fp) (very efficient).
Given τ ∈ K ∩H, set Jτ =
∫ τ
i∞ωE ∈ C.
Well-defined up to ΛE =∫
γ ωE | γ ∈ H1 (X0(N),Z)
.
Set Pτ = η(Jτ ) ∈ E(C).Fact: Pτ ∈ E(Hτ ), where Hτ/K is a ring class field attached to τ .
Theorem (Gross–Zagier, Kolyvagin)1 PK = TrHτ/K(Pτ ) is nontorsion ⇐⇒ L′(E/K, 1) 6= 0.2 If ords=1 L(E/Q, s) ≤ 1 then BSD holds for E(Q).
Marc Masdeu Analytic construction of pointson modular elliptic curves May 26, 2015 7 / 23
Computing in practice: an example of Mark WatkinsLet E be the elliptic curve of conductor NE = 66157667:
E : Y 2 + Y = X3 − 5115523309X − 140826120488927.
Watkins worked with 460 digits of precision and 600M terms of theL-series. Took less than a day (in 2006). The x-coordinate of the pointhas numerator:367770537186677506614005642341827170087932269492285584726218770061653546349271015805365134370326743061141306464500052886704651998399766478840791915307861741507273933802628157325092479708268760217101755385871816780548765478502284415627682847192752681899094962659937870630036760359293577021806237483971074931228416346507852381696883227650072039964481597215995993299744934117106289850389364006552497835877740257534533113775202882210048356163645919345794812074571029660897173224370337701056165735008590640297090298709121506266697266461993201825397369999550868142294312756322177410730532828064759604975369242350993568030726937049911607264109782746847951283794119298941214490794330902986582991229569401523519938742746376107190770204010513818349012786637889254711059455555173810904911927619899031855149292325338589831979737026402711049742594116000380601480839982975557506035851728035645241044229165029649347049289119188596869401159325131363345962579503132339847275422440094553824705189225653677459512863117911721838552934309124508134493366437408093924362039749911907416973504142322111757058584200725022632116164720164998641729522677460525999499077942125820428879526063735692685991018516862938796047597323986537154171248316943796373217191993996993714654629536884396057924790938647656663281596178145722116098216500930333824321806726937018190136190556573208807048355335567078793126656928657859036779350593274598717379730880724034301867739443749841809456715884193720328901461552659882628405842209756757167816662139945081864642108533595989975716259259240152834050940654479617147685922500856944449822045386092122409096978544817218847897640513477806598329177604246380812377739049184475550777341620985976570393037880282764967019552408400730754822676441481715385344001979832232652414888335865567377214360456003296961668177481944809066257442596772347829664126972931904101685281128944780074646796760942430959617022257479874089403564965038885379817866920048929814520268493677507059073765902671638087366488496702836326268574593123245107420348878101763123893347657020275591248824247800594270862052082185973393290009189867677259458080676065098703453539525576975639543700507625640729872340789406314394468400584455920683361976200121834430751233901473228497490561998078486251074993528871318797403348087370426900997556442577081254910572185107856605139877331015042842121106080690743578173268489400499056898312621953947967012358414547752897081097091795744203697684046066255663201242292760126759871266004516377432961917272040217147083563399987612420595275792033855676991823368254862159558450043808051481533297270035287382247038279293223946385070118082306958987268603396924054403103857444058848605587415400517670032631121206127732481340391088277796488544415738156553014768406246154666005139690428085145098272500791416214774673484501826722500527091164944262537169595848931680754096774712860490572746224094031187043204526107239201079603468297522895106598567437015083348797875364162797693968819804139548885751282687152237078260358705230284426203064493684250614282879918107733796207067250003823959412935677624093236047038637365577326399589008804507786011973155927731073034706536557461443806622707622411087809371872157210456836892493613836792026761820382217165481998924123604782787923229739171920575447007099501678380795077013113325989801385729993920818301654424251339564606876820121928372246213399859213282792511168043953443839793901139974194479300297566097664539199384651908436188732428818373302383046388859427937893841888014266685177616605644783704135794931830750265686335934066565240944049448213005591997128985560760260399214278635912634351586762354869354021530746189992899582554597632108309638569296964800046983072736238483149014714600896056552029642747991419063454749142059564274298254654925893866404955146903330024475746163543714996249652420171171054231726336493541586971431778944051481059633738399411418574323811770949729726843612672925000631355659834164200554441315451003433452466204707123811663623662837296862948061758759928631763661985185615801886205770721032006304144867787347058316392295671580091655872087209485913286930128858640442589125454268580397484571921012318872311624898317615607628176460097441336323549031828235965636277950827328087547939511112374216436584203379248450122647406094035171130740663723547675939885959363881135893035102018389444212746146250328348242610673524022378994978392020098814721974502062692815736689229759065822093942795318705345275598989426335235935505605311411301560321192269430861733743544402908586497305353600909431214933202522528717109214492959330016065810287623144179288466664888540622702346704213752456372574449563979215782406566937885352945871994541770838871930542220307771671498466518108722622109421676741544945695403509866953167277628280232464839215003474048896968037544660029755740065581270139083249903212572230417942249795467100700393944310325009677179182109970943346807335014446839612282508824324073679584122851208360459166315484891952299449340025896509298935939357721723543933108743241997387447018395925320167637640328407957069845439501381234605867495003402016724626400855369636521155009147176245904149069225438646928549072337653348704931901764847439772432025275648964681387210234070849306330191790380412396115446240832583481366372132300849060835262136832315311052903367503857437920508931305283143379423930601369154572530677278862066638884250221791647123563828956462530983567929499493346622977494903591722345188975062941907415400740881
Marc Masdeu Analytic construction of pointson modular elliptic curves May 26, 2015 8 / 23
Heegner Points: revealing the trick
Why did this work?
1 The Riemann surface Γ0(N)\H has an algebraic model X0(N)/Q.
2 Existence of the morphism φE defined over Q:
φE : X0(N)→ E. (geometric modularity)
3 CM theory shows that τ ∈ Γ0(N)\H are defined in X0(N)(Hτ ).An explicit description of φ shows that:
Pτ = φ(τ) ∈ E(Hτ ).
Marc Masdeu Analytic construction of pointson modular elliptic curves May 26, 2015 9 / 23
Generalization
One can replace Q with any totally real field F , m = [F : Q].I i.e. the defining polynomial of F factors completely over R.
Consider an elliptic curve E defined over F , of conductor NE .The field K/F needs then to be a CM extension.
I i.e. the defining polynomial for K over Q has no linear terms over R.
Suppose that NE is coprime to the discriminant of K/F .Let Sf (E,K) = p | NE : p inert in K.The Heegner hypothesis can be relaxed to:
(new) Heegner Hypothesis: m+ #Sf (E,K) is odd.
I This still ensures that ords=1 L(E/K, s) is odd.I Old Heegner hypothesis is equivalent to Sf (E,K) = ∅ (and m = 1).
Marc Masdeu Analytic construction of pointson modular elliptic curves May 26, 2015 10 / 23
Darmon’s Idea
Henri Darmon
What if K/F is not CM?
I Simplest case: F = Q, K real quadratic.
I Or what if F is not totally real?
Marc Masdeu Analytic construction of pointson modular elliptic curves May 26, 2015 11 / 23
However. . .
. . . this will get us in trouble!
1 Algebraic model X/F .
2 Geometric modularity: φE : X → E.
3 CM points τ ∈ X(Hτ ).
Marc Masdeu Analytic construction of pointson modular elliptic curves May 26, 2015 12 / 23
History
Henri Darmon Adam Logan Xevi Guitart Jerome Gartner
H. Darmon (2000): F totally real, Sf (E,K) = ∅.I Darmon-Logan (2003): F quadratic norm-euclidean, NE trivial.I Guitart-M. (2011): F quadratic norm-euclidean, NE trivial.I Guitart-M. (2012): F quadratic norm-euclidean, NE trivial.
J. Gartner (2010): F totally real, Sf (E,K) 6= ∅.I ?
Marc Masdeu Analytic construction of pointson modular elliptic curves May 26, 2015 13 / 23
Notation
Let E be an elliptic curve over a number field F .I If v is an infinite real place of F , then:
1 It may extend to two real places of K (splits), or2 It may extend to one complex place of K (ramifies).
I If v is complex, then it extends to two complex places of K (splits).
n = #v | ∞F : v splits in K.
K/F is CM ⇐⇒ n = 0.Can compute only n ≤ 1, although construction works in general.
S(E,K) =v | NE∞F : v not split in K
.
Sign of functional equation for L(E/K, s) should be (−1)#S(E,K).I All constructions assume that #S(E,K) is odd.I In this talk: assume that S(E,K) = ν, with ν an infinite place.
Marc Masdeu Analytic construction of pointson modular elliptic curves May 26, 2015 14 / 23
Darmon’s quadratic ATR points
Let E be defined over a real quadratic F (with h+F = 1).
Suppose that K/F is an ATR extension:I The 1st embedding v1 of F extends to one complex place of K.I The 2nd embedding v2 of F extends to two real places of K.
Suppose that p | NE =⇒ p is split in K ( =⇒ S(E,K) = v1).Let τ ∈ K \ F . One has StabΓ0(NE)(v1(τ)) = 〈γτ 〉.Given τ2 ∈ H, consider the geodesic path joining τ2 with τ ′2 = γττ2.
×H H
τ1τ2
τ ′2
γτ
Γ0(NE)
X0(NE)
Fact: τ1 × γτ in Z1(Γ0(NE)\(H×H),Z) is null-homologous.; ∆τ a 2-chain such that ∂∆τ = τ1 × γτ .
I ∆τ is well-defined up to H2(X0(NE),Z).Marc Masdeu Analytic construction of pointson modular elliptic curves May 26, 2015 15 / 23
Darmon’s quadratic ATR points (II)
DefinitionA Hilbert modular form (HMF) of level N is a holomorphic functionf : H×H→ C, such that