birch-swinnerton-dyer conjecture importance of the selmer ... · birch-swinnerton-dyer conjecture...

1
On the Selmer group associated to a modular form Yara Elias Ph.D advisor : Prof. Henri Darmon Birch-Swinnerton-Dyer conjecture Mordell-Weil: Let E be an elliptic curve over a number field K . Then E(K ) Z r + E(K ) tor where r = the algebraic rank of E E(K ) tors = the finite torsion subgroup of E(K ). Questions arising: When is E(K ) finite? How do we compute r? Could we produce a set of generators for E(K )/E(K ) tors ? Modularity (Wiles-BCDT): For K = Q, L(E/K, s) has analytic continuation to all of C and satisfies L * (E/K, 2 - s)= w(E/K )L * (E/K, s). The analytic rank of E/K is defined as r an = ord s=1 L(E/K, s). Birch and Swinnerton-Dyer conjecture: r = r an . Exact sequence of G K modules: Consider the short exact sequence 0 // E p // E p // E // 0. Local cohomology: For a place v of K = Q( -D), K, K v induces Gal( K v /K v ) -→ Gal( K/K ). 0 // E(K )/pE(K ) δ // H 1 (K, E p ) // ρ (( H 1 (K, E) p // h 0 0 // Q v E(K v )/pE(K v ) δ // Q v H 1 (K v ,E p ) // Q v H 1 (K v ,E) p // 0 Definition Sel p (E/K )= ker(ρ) (E/K ) p = ker(h) Importance of the Selmer group Information on the algebraic rank r: 0 // E(K )/pE(K ) δ // Sel p (E/K ) // (E/K ) p // 0 relates r to the size of Sel p (E/K ). Shafarevich-Tate conjecture: The Shafarevich group (E/K ) is finite. In particular, Sel p (E/K )= δ (E(K )/pE(K )) for all but finitely many p. Gross-Zagier: L 0 (E/K, 1) = * height(y K ), where y K E(K ) Heegner point of conductor 1. Hence, r an =1 = r 1. Kolyvagin: If y K is of infinite order in E(K ) then Sel p (E/K ) has rank 1 and so does E(K ). Hence, r an =1 = r =1. Combined with results of Kumar and Ram Murty, this can be used to show r an =0 = r =0. Generalization: E f, T p (E) T p (f ) f normalized newform of level N 5 and even weight 2r. T p (f )= p-adic Galois representation associated to f , higher-weight analogue of the Tate module T p (E) K = Q( -D) imaginary quadratic field (with odd discriminant) satisfying the Heegner hypothesis with |O × K | =2. Beilinson-Bloch conjecture Definition: The Selmer group Sel p H 1 (K, T p (f )) consists of the cohomology classes whose localizations at a prime v of K lie in H 1 (K ur v /K v ,T p (f )) for v not dividing Np H 1 f (K v ,T p (f )) for v dividing p where K v is the completion of K at v and H 1 f (K v ,T p (f )) is the finite part of H 1 (K v ,T p (f )). p-adic Abel-Jacobi map: W r = Kuga-Sato variety of dimension 2r - 2. T p (f ) is realized in the middle cohomology H 2r-1 et (W r Q, Z p ) of W r . E(K ) CH r (W r /K ) 0 = r-th Chow group of W r over K. transition map δ p-adic Abel Jacobi map φ CH r (W r /K ) 0 H 1 (K, H 2r-1 et (W r Q, Z p (r))) H 1 (K, T p (f )) Beilinson-Bloch conjectures: dim Qp (Im(φ) Q p )= ord s=r L(f,s) Ker(Φ) = 0 & Im(Φ) Q p = Sel p . Heegner point of conductor 1: there is an ideal N of O K with O K /N’ Z/N Z point x 1 of X 0 (N ) = modular curve with Γ 0 (N ) level structure x 1 is defined over the Hilbert class field K 1 of K y 1 = φ(x 1 ), for φ : X 0 (N ) E modular parametrization Kolyvagin: If Tr K 1 /K (y 1 ) is of infinite order in E(K ) then Sel p (E/K ) has rank 1 and so does E(K ). Modular forms of higher even weight. Consider the elliptic curve E corresponding to x 1 Heegner cycle of conductor 1: Δ 1 = e r graph( -D) r-1 Δ 1 belongs to CH r (W r /K 1 ) 0 . Nekovar: Assuming Φ(Δ 1 ) is not torsion, rank(Im(Φ)) = 1. Results Modular forms twisted by a ring class character H = ring class field of conductor c for some c, and e = exponent of G = Gal(H/K ) F = Q(a 1 ,a 2 , ··· e ) where the a i ’s are the coefficients of f ˆ G = Hom(G, μ e ) the group of characters of G e χ = 1 |G| gG χ -1 (g)g the projector onto the χ-eigenspace Theorem 1 Let χ ˆ G be such that e χ Φ(Δ c ) is not divisible by p. Then the χ-eigenspace of the Selmer group Sel χ p is of rank 1 over O F,℘ /p. Modular forms twisted by an algebraic Hecke character ψ : A × K -→ C × unramified Hecke character of K of infinity type (2r - 2, 0) A elliptic curve defined over the Hilbert class field K 1 of K with CM by O K F = Q(a 1 ,a 2 , ··· ,b 1 ,b 2 , ··· ), where the a i ’s and b i ’s are the coefficients of f and θ ψ . Galois representation associated to f and ψ V = V f O F Zp V ψ (2r - 1). Generalized Heegner cycle of conductor 1: Consider (ϕ 1 ,A 1 ) where A 1 is an elliptic curve defined over K 1 with level N structure and CM by O K and ϕ 1 : A -→ A 1 is an isogeny over K . GHC e r Υ ϕ 1 = Graph(ϕ 1 ) 2r-2 (A × A 1 ) 2r-2 (A 1 ) 2r-2 × A 2r-2 . p-adic Abel-Jacobi map φ : CH 2r-1 (X/K ) 0 -→ H 1 (K, V ) where X = W 2r-2 × A 2r-2 and CH 2r-1 (X/K ) 0 =2r - 1-th Chow group of X over K. Theorem 2 Under certain technical assumptions, if Φ(Δ ϕ 1 ) 6=0, then the Selmer group Sel p has rank 1 over O F,℘ 1 /p, the localization of O F at 1 mod p. 2015 Max Planck Institute for Mathematics, Bonn, Germany [email protected]

Upload: others

Post on 12-Jun-2020

3 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Birch-Swinnerton-Dyer conjecture Importance of the Selmer ... · Birch-Swinnerton-Dyer conjecture Mordell-Weil: Let Ebe an elliptic curve over a number eld K. Then E(K) ’Zr+ E(K)

On the Selmer groupassociated to a modular form

Yara Elias

Ph.D advisor : Prof. Henri Darmon

Birch-Swinnerton-Dyer conjecture

Mordell-Weil: Let E be an elliptic curve over a number field K. Then

E(K) ' Zr + E(K)tor

where

• r = the algebraic rank of E

• E(K)tors = the finite torsion subgroup of E(K).

Questions arising:

• When is E(K) finite?

• How do we compute r?

• Could we produce a set of generators for E(K)/E(K)tors?

Modularity (Wiles-BCDT): For K = Q, L(E/K, s) has analytic continuation to all of C and satisfies

L∗(E/K, 2− s) = w(E/K)L∗(E/K, s).

The analytic rank of E/K is defined as

ran = ords=1L(E/K, s).

Birch and Swinnerton-Dyer conjecture:r = ran.

Exact sequence of GK modules: Consider the short exact sequence

0 // Ep // Ep // E // 0.

Local cohomology: For a place v of K = Q(√−D), K ↪→ Kv induces Gal(Kv/Kv) −→ Gal(K/K).

0 // E(K)/pE(K) δ //

��

H1(K,Ep) //

��

ρ

((

H1(K,E)p //

h��

0

0 //∏

v E(Kv)/pE(Kv)δ //∏

vH1(Kv, Ep) //

∏vH

1(Kv, E)p // 0

Definition

• Selp(E/K) = ker(ρ)

• Ø(E/K)p = ker(h)

Importance of the Selmer group

Information on the algebraic rank r:

0 // E(K)/pE(K) δ // Selp(E/K) //Ø(E/K)p // 0

relates r to the size of Selp(E/K).

Shafarevich-Tate conjecture: The Shafarevich groupØ(E/K) is finite. In particular,

Selp(E/K) = δ(E(K)/pE(K))

for all but finitely many p.

Gross-Zagier:L′(E/K, 1) = ∗ height(yK),

where yK ∈ E(K) ; Heegner point of conductor 1. Hence,

ran = 1 =⇒ r ≥ 1.

Kolyvagin: If yK is of infinite order in E(K) then Selp(E/K) has rank 1 and so does E(K). Hence,

ran = 1 =⇒ r = 1.

Combined with results of Kumar and Ram Murty, this can be used to show

ran = 0 =⇒ r = 0.

Generalization:E ; f, Tp(E) ; Tp(f)

• f normalized newform of level N ≥ 5 and even weight 2r.

• Tp(f) = p-adic Galois representation associated to f , higher-weight analogue of the Tate module Tp(E)

• K = Q(√−D) imaginary quadratic field (with odd discriminant) satisfying the Heegner hypothesis

with |O×K | = 2.

Beilinson-Bloch conjecture

Definition: The Selmer groupSelp ⊆ H1(K,Tp(f))

consists of the cohomology classes whose localizations at a prime v of K lie in{H1(Kur

v /Kv, Tp(f)) for v not dividing NpH1f (Kv, Tp(f)) for v dividing p

where

• Kv is the completion of K at v

• and H1f (Kv, Tp(f)) is the finite part of H1(Kv, Tp(f)).

p-adic Abel-Jacobi map:

• Wr = Kuga-Sato variety of dimension 2r − 2.

• Tp(f) is realized in the middle cohomology H2r−1et (Wr ⊗Q,Zp) of Wr.

• E(K) ; CHr(Wr/K)0 = r-th Chow group of Wr over K.

• transition map δ ; p-adic Abel Jacobi map φ

CHr(Wr/K)0 → H1(K,H2r−1et (Wr ⊗Q,Zp(r)))→ H1(K,Tp(f))

Beilinson-Bloch conjectures:

dimQp(Im(φ)⊗Qp) = ords=rL(f, s)

Ker(Φ) = 0 & Im(Φ)⊗Qp = Selp.

Heegner point of conductor 1:

• ; there is an ideal N of OK with OK/N ' Z/NZ

• ; point x1 of X0(N) = modular curve with Γ0(N) level structure

• ; x1 is defined over the Hilbert class field K1 of K

• ; y1 = φ(x1), for φ : X0(N)→ E modular parametrization

Kolyvagin: If TrK1/K(y1) is of infinite order in E(K) then Selp(E/K) has rank 1 and so does E(K).

Modular forms of higher even weight. Consider the elliptic curve E corresponding to x1

• ; Heegner cycle of conductor 1: ∆1 = er graph(√−D)r−1

• ; ∆1 belongs to CHr(Wr/K1)0.

Nekovar: Assuming Φ(∆1) is not torsion,

rank(Im(Φ)) = 1.

Results

Modular forms twisted by a ring class character

• H = ring class field of conductor c for some c, and e = exponent of G = Gal(H/K)

• F = Q(a1, a2, · · · , µe) where the ai’s are the coefficients of f

• G = Hom(G, µe) the group of characters of G

• eχ =1

|G|∑

g∈G χ−1(g)g the projector onto the χ-eigenspace

Theorem 1 Let χ ∈ G be such that eχΦ(∆c) is not divisible by p. Then the χ-eigenspace of the Selmergroup Selχp is of rank 1 over OF,℘/p.

Modular forms twisted by an algebraic Hecke character

• ψ : A×K −→ C× unramified Hecke character of K of infinity type (2r − 2, 0)

• A elliptic curve defined over the Hilbert class field K1 of K with CM by OK

• F = Q(a1, a2, · · · , b1, b2, · · · ), where the ai’s and bi’s are the coefficients of f and θψ.

Galois representation associated to f and ψ

V = Vf ⊗OF⊗Zp Vψ(2r − 1).

Generalized Heegner cycle of conductor 1: Consider (ϕ1, A1) where

• A1 is an elliptic curve defined over K1 with level N structure and CM by OK and

• ϕ1 : A −→ A1 is an isogeny over K.

; GHC erΥϕ1 = Graph(ϕ1)2r−2 ⊂ (A× A1)

2r−2 ' (A1)2r−2 × A2r−2.

p-adic Abel-Jacobi mapφ : CH2r−1(X/K)0 −→ H1(K,V )

where

• X = W2r−2 × A2r−2 and CH2r−1(X/K)0 = 2r − 1-th Chow group of X over K.

Theorem 2 Under certain technical assumptions, if

Φ(∆ϕ1) 6= 0,

then the Selmer group Selp has rank 1 over OF,℘1/p, the localization of OF at ℘1 mod p.

2015 Max Planck Institute for Mathematics, Bonn, [email protected]