Arxiv:1411.6352V2 [Math.NT] 23 Jun 2015 Aiiso H Leri at Ftecrepnigspecia Corresponding the of Parts Algebraic the of Families Ealtefruaino 3] Let [31]

Home , Christopher Skinner, Eric Urban

arXiv:1411.6352v2 [math.NT] 23 Jun 2015 aiiso h leri at ftecrepnigspecia corresponding the of parts algebraic the of families ealtefruaino 3] Let [31]. of formulation the recall where aiiso emrgop sgnrtdb h ocalled so the by generated is groups Selmer of families rtmtcojcssc scasnmeso ubrfilso m or fields number of numbers class as such objects arithmetic rtclvle fthe of values critical httesz o oepeieytecaatrsi da)o conjec ideal) main characteristic Iwasawa the precisely the more is (or study size the this that for problem central The eoe as denoted o oua om,adtercn oko ao[0 n Skinne and [10] Kato of curves work elliptic recent ordinary for the conjecture and main Iwasawa forms, modular for the using fields real totally of characters Hecke of families ale oko wsw ancnetr nldstewr of work the includes conjecture main Iwasawa on work Birch-Swinnerton-Dy Earlier refined the proving in tool useful a also on over Let Introduction 1 iaTlun o niyltmccaatr fgnrlCM general Eul square of using symmetric characters fields anticyclotomic imaginary for quadratic Hida-Tilouine for characters for [27] ojcuesae that states conjecture Sel T p E E Λ ruetue na seta a h eetsuyo explici on study Kings-Loeffler-Zerbes. recent by the way elements essential an in uses argument tt nte wsw-rebr ancnetr hc smo is which conjecture the main corollary Iwasawa-Greenberg another to it ihspriglrrdcinat reduction supersingular with ea d rm.Iaaater tde eain ewe sp between relations studies theory Iwasawa prime. odd an be W SW anCnetr o Supersingular for Conjecture Main IWASAWA /T Q T lim : E −→ + E sgnrtdby generated is nti ae epoethe prove we paper this In + n h ulSle group Selmer dual The . sarn n umdl of submodule one rank a is Γ ker Q Write . { H p L 1 pr fteBDfruaa uesnua rmswe h ana the when primes supersingular at formula BSD the of -part ( Q ucin,tewr fBroiiDro 2 o anticycloto for [2] Bertolini-Darmon of work the functions, L n fnto for -function X T , Λ E Q L E E satorsion a is := ⊗ nfc aopoe n iiiiiyb osrciga Eul an constructing by divisibility one proves Kato fact In . Q Z p p / [[Γ Z Q ± litccurves Elliptic p Q E p ) mi ojcuefruae yKbysifrelpi curv elliptic for Kobayashi by formulated conjecture -main ∞ ]] edfieteSle ru by group Selmer the define We . X → uhthat such hr sa is There . Λ etecyclotomic the be T E Y Q E v ∤ en h otygnda of dual Pontryagin the being mdl n h hrceitcielof ideal characteristic the and -module p tbeunder stable i Wan Xin H Abstract 1 ( a I p 1 v T , 0 = p E/ E -adic sn opeeynwie freducing of idea new completely a using , ⊗ p Q -adic eti oueprmtrzn the parameterizing module certain f G Q adti iti o opee.W briefly We complete). not is list this (and Z v L p l rsseso litcuis h okof work the units, elliptic of systems er p / ed 9,tewr fEUbn[2 on [32] E.Urban of work the [9], fields -function iesencnrec on congruence Eisenstein uhta the that such L eirct a o Beilinson-Flach for law reciprocity t Z au-ie 1] ie 3]for [38] Wiles [19], Mazur-Wiles curves. elliptic for formula (BSD) er xeso of extension L vle.Iaaami ojcueis conjecture main Iwasawa -values. p eacsil.W lopoea a as prove also We accessible. re fnto,wihinterpolates which -function, ) r generally ore ue hc ogl paig says speaking, roughly which ture, × Y v -ra 3]wihpoe the proves which [31] r-Urban | ca ausof values ecial p L H E 1 Sel ( Q nepltn h central the interpolating Q G yi akis rank lytic E v ihteGli group Galois the with v p T , h wsw main Iwasawa The . ato sunramified is -action ai emrgroups. Selmer -adic i anconjecture main mic E /T X L E + E fntosand -functions ⊗ samodule a as GL 0 The . Q rsystem er 2 p / Rubin , es Z p p p p -adic -adic -adic ) } while Skinner-Urban ([31]) proves the other divisibility using Eisenstein congruences on the larger unitary group U(2, 2).

Now let us turn to the supersingular elliptic curve case. By Taniyama-Shimura conjecture proved by Wiles [39] and Breuil-Conrad-Diamond-Taylor [1] we know there is a normalized cuspidal eigenform f = ∞ a qn associated to E. Suppose a = 0. (This is automatically true if p 5). For a n=1 n p ≥ supersingularP elliptic curve E/Q, Kobayashi ([16]) reformulated Kato’s result in terms of the ± p-adic L-functions ± and -Selmer groups (we recall in the text). The Iwasawa main conjecture LE ± for supersingular elliptic curves is Conjecture 1.1. The -dual Selmer group X± is torsion over Λ and the characteristic ideal of ± E Q X± is generated by ± as ideals of Λ . E LE Q Here we define the characteristic ideal as follows Definition 1.2. Let A be a Noetherian normal domain and M a finitely generated A-module. Then the characteristic ideal charA(M) of M is defined to be

x A ord (x) Length M , for any height one prime P of A . { ∈ | P ≥ AP P } If M is not A-torsion then we deﬁne it to be zero. Before this work the only result for -main conjecture is due to Pollack-Rubin ([25]) for CM elliptic ± curves. However the proof in loc.cit does not generalize to all supersingular elliptic curves. It is also a natural attempt to adapt the argument of [31] to the supersingular case. To make this work we similarly take an auxiliary quadratic imaginary ﬁeld such that p splits as v v¯ . However K 0 0 this turns out to be quite hard since we do not see any ways to pick up the -part of the Selmer ± groups from Skinner-Urban’s construction. Another possibility would be trying to prove the for- muation of the main conjecture of Pottharst [23], which, instead of using the theory, studies one ± (unbounded) p-adic L-function for an Up-eigenvector and the corresponding Selmer group. Then it is reasonable to believe that one needs to construct families of triangulations for the family of Galois representations on the eigenvariety of U(2, 2). However it is not clear whether there are such families of triangulations at all points we need to study (see [20]). Moreover it seems hard to get the main conjecture before inverting p by this method. Finally the construction of the Eisenstein families and the study of the Fourier-Jacobi expansion in this case both require completely new ideas.

After some unsuccessful tries, a different idea inspired by the study of Beilinson-Flach elements came into our consideration. There is another kind of main conjecture for Rankin-Selberg p-adic L-functions of a modular form f and a CM form g with respect to /Q such that g has higher weight K than f. No matter whether f is ordinary, this main conjecture is in a “Greenberg type” (since this Rankin-Selberg product satisfies the “Panchishkin” condition of [5]) and is hopefully more accessible to proof. We call the -main conjecture (as extended by B.D. Kim to a two variable one) case one ± and the “Greenberg type” main conjectures case two. A surprising fact is, these ostensibly different main conjectures are actually equivalent (note that conjecture two does not involve any theory ± at all)! The Beilinson-Flach elements can be used to build a bridge between case one and case two. In fact the explicit reciprocity law (studied by Kings-Loeffler-Zerbes and Bertolini-Darmon-Rotger) enables us to reformulate the main conjectures in both cases in terms of Beilinson-Flach elements and in fact the new formulations for the two cases are the same. This means we can reduce the proof

2 of one case to the other one. We note here that unlike Kato’s zeta elements which are by definition in the bounded Iwasawa cohomology group, the Beilinson-Flach elements form an unbounded family in the non-ordinary case. Therefore we need to construct a bounded “+” Beilinson-Flach element from the unbounded Beilinson-Flach classes constructed by Lei-Loeffler-Zerbes, in the similar flavor as Pollack’s work on constructing the p-adic L-functions. This is the very reason why a -type ± ± main conjecture can be equivalent to a Greenberg type one. Finally we succeeded in proving one divisibility of the main conjecture in case two ([34], [35]). This finishes the proof of the lower bound for Selmer group in B.D. Kim’s main conjecture. The conjecture of Kobayashi (cyclotomic main conjecture) follows from B.D. Kim’s via an easy control theorem of Selmer groups. Our main result is

Theorem 1.3. Suppose E has square-free conductor N, supersingular reduction at p and ap = 0. Then Conjecture 1.1 is true. The square-free conductor assumption is put in [35] (can be removed if we would like to do some technical triple product computations). The assumption for ap = 0 is primarily made for simplicity and we expect the same idea to work to prove the conjecture by F. Sprung [30] when a = 0. We p 6 also remark that although we work with supersingular case, however, even in the ordinary case, with the same idea we can deduce new cases of the two variable main conjectures considered in [31] (there the global sign is assumed to be +1 while we no longer need this assumption). Finally in the two variable case the upper bound for Selmer group is still missing since there are some technical obstacles (about level raising) to construct the Beilinson-Flach element Euler system in our context. Luckily such upper bound in one variable case is already provided by the work of Kato and Kobayashi.

In the text we will also prove the p-part of the reﬁned BSD formula in the analytic rank 0 case as a corollary (Corollary 4.8). Therefore our result combined with the results in [31] and [29] gives the full reﬁned BSD formula up to powers of 2, for a large class of semi-stable elliptic curves (when analytic rank is 0). The two-variable main conjecture we prove can also be used to deduce the anti-cyclotomic main conjecture of Darmon-Iovita ([3]). We leave this to industrious reader.

In the argument we prove the result for the +-main conjecture since the -main conjecture is equiv- − alent. This paper is organized as follows: in section 2 we develop some local theory and recall the precise formulation of the B.D. Kim’s two variable main conjecture and the main conjecture proved in [35]. In section 3 we recall the work of D. Loeﬄer et al on Beilinson-Flach elements, especially the explicit reciprocity law. We reinterpret these reciprocity laws in terms of the local theory in section 2. In secion 4 we put everything together and prove the main result using Poitou-Tate exact sequence. To treat powers of p we use a trick which appeals to Rubin’s work on main conjecture for CM ﬁelds, and Hida-Tilouine’s idea of constructing anti-cyclotomic Selmer group from congruence modules.

Notations: We let E be an elliptic curve over Q and let f be the weight two cuspidal normalized eigenform associated to it by the Shimura-Taniyama conjecture of conductor N. Write ∞ n f = anq Xi=1

3 with a = 0. Let T be the Tate module of E and V = T Q . Let α = √ p. Then there p ⊗Zp p − are two eigenforms fα,f−α of level Np for Up-operator in the automorphic representation of f with eigenvalues α, α. Let be a quadratic imaginary field in which p splits as v v¯ . We fix once for − K 0 0 all an isomorphism ι : C C and suppose v is induced by ι . p ≃ p 0 p Let be the unique Z2-extension of with Gal( / ) denoted as Γ . Let Λ = Λ = K∞ p K K∞ K K K Z [[Γ ]]. We assume v splits into pt different primes in . Let be the cyclotomic Z p K 0 K∞ Kcyc p extension of . We write Γ for the Galois group of the cyclotomic Z -extension of Q and U the K p p Galois group of the unramified Zp-extension of Qp. We fix topological generators γ and u of them n m with u being the arithmetic Frobenius. Let Γn = Γ/p Γ and Um = U/p U. Let Γp ΓK be the t ⊆ v0 decomposition group of v0 in ΓK. Then [ΓK :Γp]= p . We also define the maximal sub-extension v¯0 K of ∞,v0 such that v¯0 is unramified and define similarly but switching the roles played by v0 and K v¯0 K v0 v¯0. We define Γv0 as Gal( ∞/ ) and Γv¯0 as Gal( ∞/ ). Let γv0 and γv¯0 be their topological K K K K − generator. We also identify U = Uv0 = Uv¯0 = Gal( ∞,v0 / cyc,v0 ). Let Γ = Gal( ∞/ cyc) and − K K × K K γ be a topological generator. Let Ψ be the character GK ΓK ΛK and let be Ψ composed → → E ∗ with the reciprocity map in class field theory (normalized by the geometric Frobenius). Define ΛK ûr as the Pontryagin dual of ΛK. Define Zp as the completion of the Zp-unramified extension of Zp. (In the literature it usually means the completion of the maximal unramified extension of Zp. But the Zp is enough for our purposes). p−1 pm−1i m We write Φm(X)= i=1 X for the p -th cyclotomic polynomial. Our α, β will be denoting any elements in the setP √ p . Sometimes we will precisely indicate that α = √ p, β = √ p. {± − } p − − ×− Fix a compatible system of roots of unity ζpn such that ζpn = ζpn−1 . For a character ω of Qp we define a ε factor of it as in [18, Page 8]: we define ε(ω) = 1 if it is unramified and

ε(ω)= ω(x−1)λ(x)dx × ZQp

1 n otherwise. Here λ is an additive character of Qp such that the kernel is Zp and λ( pn ) = ζp . We can also define the ε factors for Galois characters via class field theory (p is mapped to the geometric Frobenius). For a primitive character of Γ/Γn we also define the Gauss sum g(ω) := γ n γ∈Γ/Γn ω(γ)ζp . P Acknowledgement We thank Christopher Skinner, Eric Urban, Henri Darmon, David Loeffler, Richard Taylor, Toby Gee, Ruochuan Liu and Wei Zhang for helpful communications.

2 The Two Variable Main Conjectures

2.1 Local Theory and Two-Variable Main Conjecture In this subsection we develop some local theory. The main goal is to construct two-variable regulator maps Col+ and LOG+ which are important for our argument. The Col+ is essentially constructed by Kim [11] and the LOG+ is not in literature.

We note that for any prime v above p the field is the composition of the maximal unramified Z Kv p extension of Qp and the cyclotomic Zp-extension. So it is necessary to study the Galois cohomology of this composed extension. We have an isomorphism Zp[[Γ]] Zp[[X]] sending γ to (1 + X). De- + − ≃ fine ωn (X) := X 2≤m≤n,2|m Φm(X) and ωn (X) := 1≤m≤n,2∤m Φm(X) (our definition is slightly Q Q 4 different from [16]). We recall some notions from [11] with some modifications. For k/Qp an unramified extension of degree d let be its integer ring, consider the field k(ζ n+1 ) and let m k p k(ζpn+1 ) O n be the maximal ideal of its valuation ring k(ζ ). Let kn be the Z/p Z sub-extension of k(ζ n+1 ) O pn+1 p with mk,n the maximal ideal of its integer ring. We define

+ E [k(µpn+1 )] = x E(k(µpn+1 )) trk(µ )/k(µ )(x) E(k(µpℓ+1 )), 0 ℓ

ˆ+ ˆ ˆ E [mk(µ )]= x E(mk(µ )) trk(µ )/k(µ )(x) E(mk(µ )), 0 ℓ

Lemma 2.1. trk(ζ )/k(ζ )cn+2,z = cn,z. pn+2 pn+1 − m We also use the same notation cn,z for trk(ζpn )/kn−1 cn,z mk,n−1 as well. Let k = k be m ∈ unramiﬁed Z/p Z-extension of Qp. We sometimes write kn,m for the above deﬁned kn with this m k = k . Let Λn,m = Zp[Gal(kn,m/Qp)]. Lemma 2.2. For even n’s one can choose a system c for c Eˆ+[m ] such that { n,m}n,m n,m ∈ kn,m

trkn,m+1/kn,m cn,m+1 = cn,m,

tr c = c . kn,m/kn−2,m n,m − n−2,m Proof. This can be done in the following way: choose d := d lim m where the transition { m}m ∈ m Ok is given by the trace map such that d generates this inverse limit over Z←−p[[U]] (existence is guaranteed by the normal basis theorem). If d = a ζ where ζ are roots of unity and a Z . Deﬁne m j m,j j j m,j ∈ p cn,m = am,jcn,ζj . We prove the ﬁrstP identity and the second one is a consequence of the above lemma. P For any z = ζj a root of unity whose conductor is prime to p, we have

ϕ−n ϕ−n ϕ2k−n−1 ϕ2k−n−2 ϕ−n ϕ−n f (z (ζ n 1)) = f f f (z (ζ n 1)) z p − z ◦ z ◦···◦ z p − ϕ2k−n−1 ϕ2k−n−2 ϕ1−n ϕ−n ϕ−n = f f f (z (z (ζ n−1 1)) z ◦ z ◦···◦ z p − = · · · ϕ2k−n = z (ζ n−2k 1) p −

5 if 2m

= logEˆ cn,m−1.

Definition 2.3. Let n be an even number. Define + + Λn,m = Λn,m/ωn (X), − − Λn,m = Λn,m/Xωn (X). Lemma 2.4. We have the following exact sequence + − + 0 Eˆ(p m ) Λ c Λ c Eˆ (m ) 0. → Ok → n,m n,m ⊕ n,m n−1,m → kn,m → The middle term is isomorphic to Λ+ Λ− . The c generates Eˆ[m ] as a Λ+ -module. n,m ⊕ n,m n,m kn,m n,m ˆ+ Proof. The surjectivity to E (mkn,m ) is essentially proved in [11, Proposition 2.6] (compare also to the computations in the previous lemma). The other parts are easily proven (compare also with [16, Proposition 8.12]). Now we define the two-variable +-Coleman maps H1(k , T )/H1 (k , T ) Λ+ n,m + n,m ≃ m,n 1 + where H+(kn,m, T ) is the exact annihilator of E (kn,m) Qp/Zp under the Tate pairing. We define + ⊗ Pcn,m by z (cσ , z) σ. 7→ n,m m,n σ∈Gal(Xkn,m/Qp) + − As is seen in [16, Proposition 8.19] the image of Pcn,m is contained in ωn (X)Λm,n if we identify + + − Zp[Γn] with Zp[X]/ωn(X) by sending γ to 1+ X. We define Λm,n := Λm,n/ωn (X) ωn (X)Λm,n. + ≃ The + Coleman map Coln,m is defined to make the following diagram commutative.

Col+ H1(k , T ) n,m Λ+ n,m −−−−→ n,m − ×ωn   +  Pc  H1(k , T )y/H1 (k , T ) n,m Λy n,m + n,m −−−−→ n,m 6 + As is seen in the proof of [11, Theorem 2.7, 2.8] the Colm,n is an isomorphism and they group together to deﬁne the following isomorphism.

Deﬁnition 2.5. H1(k , T ) Col+ : lim lim n,m Λ. H1 (k , T ) ≃ ←−n ←−m + n,m The ++-Selmer group is deﬁned by

1 ∞ lim H (kn,m, E[p ]) Sel++(E/ ) := ker lim H1(K′, E[p∞]) lim H1(I , E[p∞]) ∞ −→ + v K { ′ → lim E (kn,m) Qp/Zp × } −→K Yv|p ⊗ Yv∤p −→ −→ and X++ its Pontryagin dual.

As noted at the end of [11] there are p-adic L-functions constructed by Loeﬄer, which are elements in Λ. L L L + L L++ := p,α,α − p,α,β − p,β,α p,β,β f,p 2 − − 4α logv0 logv¯0

+− Lp,α,α + Lp,α,β Lp,β,α Lp,β,β Lf,p := −− + − 4α logv0 logv¯0

−+ Lp,α,α Lp,α,β + Lp,β,α Lp,β,β Lf,p := − + − − 4α logv0 logv¯0

−− Lp,α,α + Lp,α,β + Lp,β,α + Lp,β,β Lf,p := + + 4 logv0 logv¯0 for Lp,α,α interpolating −ord f −ord f L(E,χ, 1) α v0 χ α v¯0 χ g(χ) f Ω+Ω− · | χ| · E E for χ a character of Gal( / ) and f its conductor and similarly for the other three. (Here the K∞ K χ roles played by are switched from [11] and is compatible with [16]). The log− and log− will be ± v0 v¯0 deﬁned at the beginning of subsection 3.3. Now we are ready to formulate the two-variable “++” main conjecture.

++ Conjecture 2.6. The two variable ++- main conjecture states that X is a torsion ΛK-module ++ ++ and the characteristic ideal of X is generated by Lf,p as an ideal of ΛK. We also refer to the weak version of the above conjecture by requiring that for any height one − − prime P of Λ = Zp[[Γ Γ ]] which is not a pullback of a height one prime of Zp[[Γ ]], the length ++ × ++ of XP over ΛP is equal to ordP Lp . Now we record a useful lemma.

Lemma 2.7. The lim lim H1(k , T ) is a free of rank two module over Λ and H1(k , T ) is a n m n,m n,m free rank two module←− over←−Λn,m.

7 Proof. We ﬁrst note that T/pT is an irreducible module over GQp [4]. Then it follows from the Eu- 1 ler characteristic formula that H (Qp, T/pT ) is a rank two Fp vector space. On the other hand one can prove that the inverse limit in the lemma has generic rank two over Λ (see e.g. in [22, appendix A]). Thus the ﬁrst statement is true. The other statement is seen by noting that H1(k , T ) = lim lim H1(k , T )/(γn 1, um 1) lim lim H1(k , T ), which again follows n,m n m n,m − − n m n,m from the irreducibility←− ←− of T/pT as a GQp -module and the←− Galois←− cohomology long exact sequence. For the purpose of later argument we need one more regulator map LOG+. We construct it in an 1 + explicit way. By the freeness of H (kn,m, T ) over Λn,m and that ω (X)cn,m = 0, we see that for 1 − n+2 any even n there is b H (k , T ) such that ω (X) b = ( 1) 2 c . It is easily seen that n,m ∈ n,m n · n,m − n,m one can choose the bn,m’s such that trkn,m/kn−1,m bn,m = bn−1,m and trkn,m/kn,m−1 bn,m = bn,m−1.

1 Lemma 2.8. H+(kn,m, T ) is a free Λn,m-module of rank one generated by bn,m. Proof. For y E(k ) Q /Z and x H1 (k , T ) we can show that ∈ n,m ⊗ p p ∈ + n,m ω−(X) x,y = 0 h n · i from [11, Proposition 2.6] and [16, (8.29)]. Moreover we have for any n′ > 0,

′ ′ ( E(k )/pn E(k ) ֒ H1(k ,T/pn T n,m n,m → n,m n′ n′ has Zp/p Zp-torsion-free cokernel since each term is free Zp/p Zp-module of finite rank. So E(kn,m) and E(k ) Q /Z are orthogonal complements of each other under local Tate pairing. So n,m ⊗ p p ω−(X) x ω−(X)H1(k , T ) Im(E(k ) H1(k , T )). n · ∈ n n,m ∩ n,m → n,m By Lemma 2.4 we have ω−(X)x Λ c . This proves the lemma. n ∈ n,m n,m Let x = lim lim x lim lim H1 (k , T ). If x = f b for f Λ then n m n,m ∈ n m + n,m n,m n,m · n,m ∈ n,m xτ←− τ←−= f ←−bτ ←−τ. τ∈Γn×Um n,m · n,m · τ n,m · P P Definition 2.9. We define LOG+ : lim lim H1 (k , T ) Λ by x lim lim f . n m + n,m ≃ → n m n,m ←− ←− ←− ←− t Now recall that v splits into p primes in / . We take a representative γ , , γ t be a 0 K∞ K 1 · · · p representative of ΓK/Γp. Write

H1( , T Λ )= H1( , T Z [[Γ ]]) γ . Kv0 ⊗ K ⊕i Kv0 ⊗ p p · i We define Col+x = γ (Col+x ) Λ . i · i ∈ K Xi We define LOG+ similarly on H1 ( , T Λ ). The following proposition will be useful. + Kv0 ⊗ K Proposition 2.10. Let φ be a finite order character of Γ U such that φ(γ) and φ(u) are primitive × pn, pm-th roots of unity. Then for integer m and even n,

σ n+2 φ(fn,m) log ˆ cn,mφ(σ) σ 2 E logEˆ xn,m φ(σ) = ( 1) − . (1) · − · Pωn (φ) σ∈ΓXn×Um

8 σ n ′ u′ logEˆ(cn,m) φ(σ)= g(φ Γ) φ(u) φ(u )dm. (2) | · · ′ σ∈ΓXn×Um uX∈Um P + (z) = ( log (cσ ) σ)( exp∗(zσ) σ−1). (3) cn,m Eˆ n,m · · Xσ Xσ Proof. Straightforward computation. The third identity used the description of the Tate pairing in [18, Page 5].

2.2 The One Variable Main Conjecture of Kobayashi Now we brieﬂy recall Kobayashi’s one variable (cyclotomic) main conjecture. On the analytic side there is a + p-adic L-function + which is just our ++ evaluated at γ− = 1. On the other hand LE,Q Lf,p we deﬁne the +-Selmer group

1 ∞ + 1 ∞ H (Qp,n, E[p ]) 1 ∞ SelE,Q,n := ker H (Qp,n, E[p ]) + H (Iv, E[p ]) . { → E (Qp,n) Qp/Zp × } Yv|p ⊗ Yv∤p

Define X+ := (lim Sel+ )∗. This is a module over Λ . E,Q n E,Q,n Q −→ + Conjecture 2.11. Kobayashi’s main conjecture states that XE,Q is a torsion ΛQ-module and the characteristic ideal of X+ is generated by + as ideals of Λ . E,Q LE,Q Q Kobayashi proved one containment ( + ) char (X+ ) in [16], using results of Kato [10]. LE,Q ⊆ ΛQ E,Q 2.3 A Greenberg-Type Main Conjecture As mentioned in the introduction we have proved ([34], [35]) an Iwasawa main conjecture for Rankin- Selberg p-adic L-function for f and a CM form g of weight higher than f. We first recall how the Selmer group in this case is defined.

Deﬁnition 2.12.

Sel2 = ker H1( , T Λ∗(Ψ)) H1( , T Λ∗(Ψ)) H1( , T Λ∗(Ψ)). K,f { K ⊗ → Kv ⊗ × Kv¯0 ⊗ Yv∤p

2 2 ∗ XK,f := (SelK,f ) . On the analytic side there is a corresponding p-adic L-function 2 Frac(W (F¯ ))[[Γ ]]) with Lf,K ∈ p K the following interpolation property ([35, Section 4]). For a Zariski dense set of arithmetic points φ SpecΛ such that ξ := φ Ψ is the avatar of a Hecke character of inﬁnite type ( κ , κ ) with ∈ φ ◦ 2 − 2 κ 6 we have ≥ p(κ−3)tξ−2χ−1χ−1(p−t)g(ξ 1χ−1)g(ξ−1χ−1)LΣ( ,π , ξ¯c , κ 1 )(κ 1)!(κ 2)!Ω2κ 2 2,p 1,p 2,p 2,p− 1,p 2,p 2,p K f φ 2 − 2 − − p φ( f,K)= C 2κ−1 2κ . L (2πi) Ω∞ Here Ω and Ω are the CM periods and p-adic periods for . The C is a constant in Q¯ ×, χ ,χ ∞ p K p 1,p 2,p is such that the unitary representation π π(χ ,χ ) with val (χ (p)) = 1 , val(χ (p)) = 1 . fφ ≃ 1,p 2,p p 1,p − 2 2,p 2 This p-adic L-function can also be constructed by Rankin-Selberg method as in [7]. See [34, Remark

9 7.2] for a detailed discussion. In fact Hida’s construction gives an element in Frac(ΛK) and the above is obtained by multiplying Hida’s by a Katz p-adic L-function Katz Zˆ ur[[Γ ]] and the class Lf,K LK ∈ p K number h of . The Katz interpolates algebraic part of special L-values L(0,χ χ−c) where χ K K LK φ φ φ are CM characters of ΓK (see [8]). × Recall we have chosen d = lim d lim m where the transition map is the trace map. We m m ∈ Ok ûr ←− ←− define Fd,2 Zp [[U]] as ∈ u 2 lim dm u . m m · ←− u∈UXv/p Uv Then the discussion in [18, Section 6.4] on Katz p-adic L-functions (see also the discussion in Section 3.2 of loc.cit) implies that Katz/F is actually an element in Z [[Γ ]] 0 (Note the coefficients. LK d,2 p K \{ } Also the square comes from the fact that χ χχ−c induces square map on anticyclotomic charac- 7→ ters). So there is an ′ FracΛ such that Lf,K ∈ K ′ F = 2 . Lf,K · d,2 Lf,K We have the following [35]

Theorem 2.13. Assume E has square-free conductor N and there is at least one prime ℓ N where | is non-split. Suppose moreover that E[p] is absolutely irreducible. Then the characteristic K |GK ideal of X2 is contained in the fractional ideal generated by ′ as ideals of Λ Q . K,f Lf,K ⊗Zp p We similarly have a weak version of this theorem by requiring the inequality for any height one − prime P of ΛK which is not a pullback of a height one prime of Zp[[Γ ]] instead of for all height one primes.

Remark 2.14. The proof of Theorem 2.13 uses Eisenstein congruences on the unitary group U(3, 1). The Galois representations studied there satisfy the so called “Panchishkin condition” in [5]. As a result the formulation is very similar to the ordinary case. This is the reason why the diﬃculties mentioned in the introduction disappear in this U(3, 1) argument.

3 Beilinson-Flach Elements

3.1 Some Preliminaries We write Z [[Γ−]] = Z [[T ]], γ− 1+T . Let g be the Hida family of normalized CM forms attached p p 7→ to characters of Γ with the coefficient ring Λg := Z [[T ]]. We write g for the fraction ring of Λg. K p L As in [13] let M(f)∗ (M(g)∗) be the part of the cohomology of the modular curves which is the Galois representation associated to f (g). The corresponding coefficients for M(f)∗ and M(g)∗ is Q and g. (Note that the Hida family g is not quite a Hida family considered in loc.cit. It plays the p L role of a branch a there). Note also that g is cuspidal (which is called “generically non-Eisenstein” ∗ in an earlier version) in the sense of [15]. We have M(g) is a rank two g vector space and, there L is a short exact sequence of g vector spaces with G action: L Qp 0 F − M(g)∗ F + 0 → g → → g → ± − with F being rank one g vector spaces such that the Galois action on F is unramified. Since g g L g is a CM family with p splits in , the above exact sequence in fact splits as G . For an arithmetic K Qp

10 ∗ ∗ specialization gφ of g the Galois representation M(f) M(gφ) is the induced representation ∗ ⊗ from GK to GQ of M(f) ξgφ where ξgφ is the Hecke character corresponding to gφ. This ⊗ ∗ GQ identiﬁcation will be used implicitly later. We also write DdR(f) = (M(f) BdR) p . We will 1 1 ′ ⊗ write H ( ∞, ) := lim ′ H ( , ). The transition map is given by co-restriction. For f Iw K − K⊆K ⊆K∞ K − ←− ∗ ∨ 0 ∨ let DdR(f) be the Dieudonne module for M(f) and let ηf be any basis of Fil DdR(f). Let ωf be DdR(f) ∨ a basis of 0 such that ωf ,ωf = 1. Fil DdR(f) h i 3.2 Yager modules

We mainly follow [18] to present the theory of Yager modules. Let K/Qp be a finite unramified σ extension. For x K we define yK/Qp (x) = σ∈Gal(K/Qp) x [σ] K[Gal(K/Qp)] (note our ∈ O ur ∈ O convention is slightly different from [18]). Let QpP/Qp be an unramified Zp-extension with Galois group U. Then the above map induces an isomorphism of ΛOF (U)-modules

ur u ur ˆ yF∞/F : lim F Qp /Qp = f Zp [[U]] : f = [u]f ur O ≃ S { ∈ } Qp⊆←−K⊆Qp for any u U a topological generator. Here the superscript means u acting on the coefficient ring ∈ −1 ur while [u] means multiplying by the group-like element u . The module SQp /Qp is called the Yager module. It is explained in loc.cit that the S ur is a free rank one module over Z . Let be Qp /Qp p F a representation of U then they defined a map ρ : Zûr[[U]] Aut( Zˆ ur) by mapping u to its p → F ⊗ p action on and extend linearly. As is noted in loc.cit the image of elements in the Yager module F is in ( Zûr)GQp . Recall also that F ⊗ p × d := lim d lim m m ∈ Ok ←−m ←−m defined in the proof of Lemma 2.2 is a generator of the Yager module for Qp. Then we can define ∨ ur σ −1 ρ(d) and let ρ(d) be the element in Zˆ [[U]] which is the inverse of lim m d σ . We p m σ∈U/p U m · have the following ←− P Lemma 3.1. (1) 1 σ −1 ∞. lim m d σ ∈ S m σ∈U/p U m · ←− P (2) lim dσ σ2 (lim dσ σ)2 Z [[U]]×. m · ∈ m · · p ←−m σ∈U/pXmU ←−m σ∈U/pXmU Proof. Straightforward computation on the Galois action.

3.3 Beilinson-Flach elements Unlike Kato’s zeta element, the Beilinson-Flach elements constructed in [13] are not in the Iwasawa cohomology (in fact they are unbounded classes). So we need to construct from them a bounded family of classes. Our construction can be viewed as a Galois cohomology analogue of Pollack’s construction of the p-adic L-function. ±

11 We first define ∞ 1 Φ (1 + X) log−(X) := 2m−1 , p p p mY=1 ∞ 1 Φ (1 + X) log+(X) := 2m . p p p mY=1 Write X = γ 1 and X = γ 1. We write log± for log±(X ) and log± for log±(X ) as v0 v0 − v¯0 v¯0 − v¯0 p v¯0 v0 p v0 elements of Λ= Q [[Γ U]] = Q [[Γ U]]. We use Z [[U]] Z [[Y ]] mapping u to 1+ Y . p v0 × p v¯0 × p ≃ p 1 1 2 Definition 3.2. Let r = 2 and define r(X) to be power serie in Qp[[X]] of growth O(logp ) consist- ∞ n −[ 1 Hℓ(n)] ing of n=0 anX such that max p 2 an p n < where ℓ(n) is the smallest integer m such that m { | | } ∞ ∞ n −[ 1 ℓ(n)] p >nP(see [18]). This is equipped with a norm on it: a X has norm max p 2 a . n=0 n { | n|p}n Our r is the Mellin Transform P H (1 + X)tdµ Zt∈Zp of r-admissible distributions dµ defined in loc.cit. Let := Z [[Y ]] (X ). We also define Hr,0 p ⊗Hr v0 to be the completed tensor product Z [[Y ]] ˆ (X ) with respect to the obvious norm on Z [[X]] H0,r p ⊗Hr v¯0 p and the norm of mentioned above (note that the definitions for and are not symmetric). Hr Hr,0 H0,r We see that log− and log− . In [17] the authors defined Beilinson-Flach elements v0 ∈Hr,0 v¯0 ∈H0,r BF and BF for f and f , as elements in H1 (Q , M(f)∗ M(g)∗). α −α α −α Hr,0 ⊗ Iw ∞ ⊗ Now we recall some notations in [21]. Let ES (D ) := lim H1(X (D pr) Q¯ , Z ) and p K r 1 K ⊗ p GES (D ) := lim H1(Y (D pr) Q¯ , Z ) which are modules equipped←− with Galois action of G . p K r 1 K p Q r r ⊗ Here X1(DKp )←−and Y1( Kp ) are corresponding compact and non-compact modular curves. Recall D ∗ in loc.cit there is an ordinary idempotent e associated to the covariant Hecke operator Up. Let ∗ ∗ Ip ∗ Ip ∗ ˜ ∗ A∞ = e ESp(DK) = e GESp(DK) (see the Theorem in loc.cit). Let B∞ (B∞) be the quotient ∗ ∗ ∗ of e ESp(DK) (e GESp(DK)) over A∞. In an earlier version of [15] the authors defined elements ω∨ (F +(χ−1) Zûr)GQp and η∨ g ∈ g g ⊗ p g ∈ − ur GQ (F Zˆ ) p . Here the χg is the central character for g. We briefly recall the definitions since g ⊗ p they are more convenient for our use (these notions are replaced by their dual in the current version of [15]). In the nature isomorphism

∗ ˆ ur ord ûr ûr A∞ Zp[[T ]] Zp [[T ]] Homûr (S (DK,χK, Zp [[T ]]), Zp [[T ]]) ⊗ ≃ Zp ∨ above, the ωg is corresponds to the functional which maps each normalized eigenform to 1. On the ∨ ∗ other hand ηg is defined to be the element in B∞ which, under the pairing in [21, Theorem 2.3.5], ∨ pairs with ωg to the product of local root numbers at primes to p places of g. This product moves p-adic analytically and is a unit. 1 ∗ Let v1, v2 be a Λ basis of H ( ∞,v¯ , M(f) Λ( Ψ)). Then there are f1,f2 r(Xv ) Z [[X ]] K 0 ⊗ − ∈H 0 ⊗ p v0 Z [[X , T ]] and some f Frac(Z [[T ]]) 0 such that BF BF = α f (f v + f v ). Let p v0 0 ∈ p \{ } α − −α · 0 1 1 2 2 t = G : H1(G , M(f)∗ Λ( Ψ)) p ( D (V )) γ L LVf Qp ⊗ − →⊕i=1 H0,r ⊗ cris f · i be the regulator map defined in [18, Theorem 4.7]. (We know (v ) by [18, Proposition L i ∈ H0,r 4.8]). We write Prα and Pr−α for the projection map from D (V ) to the α or α eigenspace cris f −

12 for Frobenius action ϕ (as numbers, with respect to the basis given by the image of the Neron diﬀerential ω in the α-eigenspaces of D (V )). Let E ± cris f Prα Pr−α Prα + Pr−α + = − , + = . L 2α ◦L L 2 ◦L Then by Proposition 3.4 in the following, we have

f f +(v )+ f f +(v ) = log− log− L++, 0 1L 1 0 2L 2 v0 v¯0 f,p f f −(v )+ f f −(v ) = log− log+ L+−, 0 1L 1 0 2L 2 v0 v¯0 f,p We have the following

Lemma 3.3. We have f ,f log− Frac(Z [[X , T ]]). 1 2 ∈ v0 · p v0 + + (v1) (v2) Proof. We first claim that det L− L− is not identically zero. Suppose it is not the case. (v1) (v2) Then we have L L log− L++ −(v ) log+ L+− +(v ) = 0, v¯0 f,p ·L 1 − v¯0 f,p ·L 1 log− L++ −(v ) log+ L+− +(v ) = 0. v¯0 f,p ·L 2 − v¯0 f,p ·L 2 Let ζ , ,ζ be the zeros of log− such that X ζ is a divisor of L+− (easily seen to be a finite 1 · · · s p v¯0 − i f,p set since L+− is not identically zero). Then for any other root ζ of log−, +(v ) restricts to the zero f,p p L 1 function at the line X = ζ. If we expand +(v ) as a power series in X and U, then by Weierstrass v¯0 L 1 v¯0 preparation theorem (see [37, Theorem 7.3]), the coefficient for U m (any m) is log− / (X ζ ) v¯0 v¯0 − i times some element in Zp[[Xv¯ ]] Zp Qp whose coefficients are uniformly boundedQ (bound also 0 ⊗ independent of m). (See [24, Proof of Theorem 5.1]). Thus +(v ) log− Frac(Z [[X ,U]]) We L 1 ∈ v¯0 · p v¯0 can apply the same argument to all ±(v ) and get L i +(v ) log− Frac(Z [[X ,U]]), L i ∈ v¯0 · p v¯0 −(v ) log+ Frac(Z [[X ,U]]). L i ∈ v¯0 · p v¯0 + + (v1) (v2) But det L− L− = 0. This contradicts the fact that is injective, which is proved in (v1) (v2) L L L [18, Proposition 4.11].

Now let us return to the proof of the lemma. Fix k = 1 or 2. If fk is identically 0 then nothing is needed. If not, recall we ﬁxed representatives γ , , γ t of Γ /Γ . Then from the claim there is 1 · · · p K p an a C , a < 1 such that ∈ p | |p pt − 0 = fk X =a log Frac(Zp[[Xv ]]) γi. (4) 6 | v¯0 ∈⊕i=1 v0 · 0 ·

It is possible to write fk = fkj(Xv0 ) gkj(Xv0 , T ) (ﬁnite sum) where fkj(Xv0 ) r(Xv0 ) Z [[X ]] j · ∈H ⊗ p v0 Frac(Z [[X ]]) and g (XP), T ) Z [[X , T ]] such that either f (X ) log− Frac(Z [[X ]]) p v0 kj v0 ∈ p v0 k1 v0 ∈ v0 · p v0 or log− f forms a linearly independent set over Frac(Z [[X ]]). Then (4) implies we must { v0 } ∪ { kj} p v0 have j = 1 and f (X ) log− Frac(Z [[X ]]). Thus the lemma is true. k1 v0 ∈ v0 · p v0

13 So there is an element 0 = h Z [[X ,Y ]] such that h f log− Λ. We define the bounded 6 ∈ p v0 · i ∈ v0 · cohomology class + f1h f2h 1 ∗ BF := − v1 + − v2 HIw( ∞, M(f) ) (5) 2 logv0 2 logv0 ∈ K It follows from that the Galois cohomology image of Beilinson-Flach element is geometric that the + 1 ∗ 1 ∗ BF maps to H+(Gv0 , M(f) Λ( Ψ)) H (Gv0 , M(f) Λ( Ψ)), since for any arithmetic point − ⊗ − ⊆ 1 ⊗ − φ such that logv0 φ = 0, the class is in the finite part Hf (Gv0 , ). | ±6 F ± ∨ −∨ ∨ + − We take basis v of g with respect to which ωg and ηg are ρ(d) v and ρ(d)v (see the ∗ discussion for Yager Modules). We use this basis to give Λg-integral structure for M(g) . With this integral structure we can talk about specializing BF + to arithmetic points φ, provided we remove the set of φ’s in a lower dimensional subspace (the zeroes of the denominator for BF + with respect to the basis). The following propositions are proved in [13]. In the following we define φ in a generic set of arithmetic points corresponding to a finite order character of ΓK to mean all such φ outside a proper closed sub-scheme of SpecΛ. Proposition 3.4. For some H Q¯ × and φ in a generic set of arithmetic points corresponding 0 ∈ p to a primitive character of Γ U with n an even number (as local Galois group at v¯ ), for any n × m 0 α, β √ p , ∈ {± − } −1 + φ(Lp,α,β)ε(χ ) Fg β ∗ φ ∨ ∨ H0 Pr Pr (expv¯0 (φ(BFα))) = n ηf,β φ(ωg ). · ( p) 2 ⊗ − β ∨ ∗ Here Pr and ηf,β denote projecting to the β-eigenspace of DdR(f), exp is the Bloch-Kato dual exponential map. The χφ means composing Ψ with φ. By class field theory the χφ can be considered F + × g ∗ F + F − as a character of Qp . For the Pr , we recall that M(g) is split as the direct sum of g and g as Galois modules which are rank one vector spaces over g. So if we exclude the set of φ’s in a lower L dimensional space it makes sense to talk about projection to (F − Zˆ ur)GQp or (F +(χ−1) Zˆ ur)GQp g ⊗ p g g ⊗ p components at φ. Proof. It follows from the explicit reciprocity law in [13, Theorem 7.1.4, Theorem 7.1.5] together n n n with the interpolation property of the big regulator map. Note that α = β = ( p) 2 and that the n − −1 βg in loc.cit corresponds to the χφ(u) part (u being the arithmetic Frobenius) of ε(χφ ). The proposition has the following corollary using Proposition 2.10. Corollary 3.5. For some H Q× we have 1 ∈ p Col+ (BF +)= h H L++. v¯0 · 1 · p (the h is defined in (5)). ∨ ∨ + ± Proof. First recall that ωg is the ρ(d) v for the basis v we have chosen. If we take H1 to be − Ω+Ω E E ¯ × ∨ hf,fi times some element in Qp (recall ηf is defined up to a scalar). Then the corollary follows.

Proposition 3.6. There is a non-zero element 0 = H Zˆ ur[[T ]], such that for φ in a generic set 6 2 ∈ p of arithmetic points corresponding to a primitive character of Γ U (as Galois group at v ) with n × m 0 n an even number and for α √ p , ∈ {± − } − Fg 1 2 −1 ∨ ∨ φ(H2)Pr logv0 φ(BFα)= n φ( f,K) ε(χφ )ωf φ(ηg ). α ( p) 2 L · ⊗ · − 14 Here logv0 is the Bloch-Kato logarithm map at v0. Proof. This again follows from [13, Theorem 7.1.4, Theorem 7.1.5]. Note that the arithmetic points at which the interpolation formulas are proved there are not quite the φ’s considered here. In fact those points in loc.cit correspond to the product of a finite order character of Γ and some character of U which is not of finite order. However the proof there carries out in the completely same way). We also need to compare the p-adic L-function in loc.cit with the one in [35]. In [35] we used the Σ- primitive p-adic L-function which is in Λ for Σ a finite set of primes. The original p-adic L-function is obtained by putting back the Euler factors at Σ. We only know a priory it is in the fraction field Urban of Λ. There is another construction of this p-adic L-function Λ g by E.Urban [33] Lf,K ∈ ⊗Λg L using Rankin-Selberg method. This is the p-adic L-function used in [13]. However the period there is the Petersson inner product of the normalized eigenforms in g instead of the CM period. The ratio of these periods is given by h Katz Zûr[[T ]] (see the discussion after Definition 2.12. So K ·LK ∈ p we may choose h Katz times some constant in Q¯ × as the H . The proposition follows. K ·LK p 2 Corollary 3.7. For some 0 = H FracΛg we have 6 3 ∈ LOG+ (BF +)= h H ( 2 ). v0 · 3 · Lf,K 1 Proof. Take H3 as and use Proposition 2.10. − H2 4 Proof of Main Results

In this section we first prove a weak version of the two-variable ++ main conjecture, which can be used to deduce the one variable main conjecture of Kobayashi after inverting p. To take care of ∨ c·ωg powers of p, we need to study the ratio ∨ (c GQ is the complex conjugation, will make precise ηg ∈ definition for the c-action later on), which boils down to studying certain congruence modules. Our idea is appeal to the main conjecture for CM fields proved by Rubin, and an argument of Hida-Tilouine [9] constructing elements in certain anticyclotomic Selmer groups from congruence modules.

4.1 The Two Variable Main Conjecture We ﬁrst prove the weak version of one side (lower bound for Selmer groups) of Conjecture 2.6. We deﬁne a couple of Selmer groups

H1( , M(f)∗ Λ ( Ψ)) := 3 K ⊗ K − 1 ∗ 1 ∗ 1 ∗ H (Gv0 , M(f) ΛK( Ψ)) ker H ( , M(f) ΛK( Ψ)) H (Iv, M(f) ΛK( Ψ)) 1 ∗ ⊗ − , { K ⊗ − → ⊗ − × H (Gv , M(f) ΛK( Ψ))} Yv∤p + 0 ⊗ − and

1 ′ ∗ ∗ 1 ∗ ∗ Selv0,+ := lim ker H ( , M(f) ΛK(Ψ) (ΛK) ) H (Iv, M(f) ΛK(Ψ) (ΛK) ) ′ { K ⊗ ⊗ → ⊗ ⊗ K⊆K−→⊆K∞ Yv∤p H1(G , M(f)∗ Λ (Ψ) (Λ )∗) v0 ⊗ K ⊗ K H1(G , M(f)∗ Λ (Ψ) (Λ )∗) , × E+( ′ ) Q /Z × v¯0 × K ⊗ K } Kv0 ⊗ p p

15 ∗ Xv0,+ := Selv0,+. Recall that BF + is in H1( , M(f) Λ ). 3 K ⊗ K Conjecture 4.1. For any height one prime P of ΛK we have the length of H1( , M(f) Λ )/Λ BF + 3 K ⊗ K K · at ΛP is the same as that of Xv0,+. We also make the weak version and “one divisibility” version of the above conjecture. (We will see in the proof of next theorem that H1( , M(f) Λ ) is a torsion 3 K ⊗ K free rank one ΛK-module). Theorem 4.2. The weak version of both Conjecture 2.6 and the main conjecture in [35] are equivalent to the conjecture above. Moreover the inequality length X+ ord L++ is true under the P f,K ≥ P f,p assumption of Theorem 2.13. Proof. Note that H1(G , T Λ ( Ψ)) is torsion-free of rank one over Λ . This can be seen as 3 K f ⊗ K − K follows: the torsion-freeness is obvious. If the rank is at least two, then the kernel of the map from H1(G ,T ⊗ΛK(−Ψ)) H1(G , T Λ ( Ψ)) to v¯0 f has rank at least one, thus not torsion. Specialize to 3 K f K H1 (G ,T ⊗ΛK(−Ψ)) ⊗ − + v¯0 f the cyclotomic line γ− 1 = 0, we see this is impossible by [16, Theorem 7.3 (i)]. So the rank has − + + to be at most one. Now recall that by Corollaries 3.5 and 3.7, the image of BF by Colv¯0 and + LOGv0 are certain p-adic L-functions which are not identically zero. It then follows that the kernels H1(G ,T ⊗ΛK(−Ψ)) of H1(G , T Λ ( Ψ)) v¯0 f and H1 (G , T Λ ( Ψ)) X must be 0. 3 K f K H1 (G ,T ⊗ΛK(−Ψ)) + v0 f K v0 ⊗ − → + v¯0 f ⊗ − → The above discussion gives the following exact sequences (Poitou-Tate long exact sequence): H1(G , T Λ ( Ψ)) 0 H1(G , T Λ ( Ψ)) v¯0 f ⊗ K − X++ X 0 → 3 K f ⊗ K − → H1 (G , T Λ ( Ψ)) → → v0,+ → + v¯0 f ⊗ K − and 0 H1(G , T Λ ( Ψ)) H1 (G , T Λ ( Ψ)) X X 0. → 3 K f ⊗ K − → + v0 f ⊗ K − → v0 → v0,+ → + We know XE,Q is torsion by [16]. So the control theorem Proposition 4.7 in the following implies that X++ is torsion over Λ . So the rank of H1( , M(f) Λ ) must be one. Then the argument K 3 K ⊗ K is the same as [16, Theorem 7.4], using Corollaries 3.5 and 3.7 and the above exact sequences.

In fact we can prove the strong version of Conjecture 2.6 by applying Rubin’s work on the main conjecture for . We ﬁrst study certain Eisenstein components of the modular curve cohomology. K Let T be the Hecke algebra generated by T ’s for ℓ ∤ pD and U ’s for ℓ pD , acting on the space ℓ K ℓ | K of ordinary cuspidal forms with tame level group Γ1(DK). Let Tmg be the localization of T at the maximal ideal corresponding to g. These Hecke algebras are reduced since cond(χK)= DK and the nebentypus of forms congruent to g must be congruent to χK modulo p and thus conductor must be as well. Then the family g is a component of it. We write the non-CM component T for DK NCM the quotient of Tmg corresponding to Spec(Tmg ) with all irreducible components corresponding to families of -CM forms deleted. Let T be the congruence ideal generated by t tg ’s K CCM ⊂ NCM { − }t for t running over all Hecke operators (including the Up operator) and tg is the Hecke eigenvalue for t on g. Then the map Λg T /C is surjective. We let I be the kernel of this map. → NCM CM CM Katz Proposition 4.3. We have ord Length (Λg/I ) for any height one prime P of Λ , P LK ≥ P CM K unless P is the pullback to Λ = Z [[Γ Γ−]] of the augmentation ideal (γ 1)Z [[Γ−]] of Z [[Γ−]] K p × − p p (we call these primes “exceptional”).

16 Proof. We note that each irreducible component B of T the Galois representation ρ : G NCM B Q → GL2(Frac(B)) has irreducible restriction to GK. This is because there exists classical specialization at that component which is not a CM form with respect to . Let K 1 −c ∗ ∗ X := H ( , Λg(χgχ ) Λ ) CM f K g ⊗Λg g where χg denotes the family of CM character corresponding to the family of CM form g. The Selmer condition “f” is deﬁned by restricting trivially to H1(I , ) at all primes v = v . Then the v − 6 0 “lattice construction” (see [9, Corollary 3.3.6], and see [36] for the construction in the situation here) gives that for any non-exceptional height one prime P of Λg,

length (Λg/I ) ord X . Λg,P CM P ≤ P CM This construction works unless P corresponds to the pullback of the augmentation ideal in the anticyclotomic line (these cases do not satisfy the [9, (SEP.P)] on page 32 of loc.cit). On the other Katz hand, Rubin [27], [28] proved that we have ( K /Fd) = char(XCM ) (note that Fd is a unit in ûr L Zp [[T ]]). In fact Rubin proved a two-variable main conjecture and we easily have that the two variable dual Selmer group specializes exactly to the one variable anticyclotomic dual Selmer group here. These together imply the proposition. ± F ± Recall we defined basis v of g . Let c be the complex conjugation in GQ. Recall that ω∨ = ρ(d)∨ v+. If c G is the complex conjugation we define g · ∈ Q c ω∨ = ρ(d)∨(c v+) (F − Zˆ ur)GQp . · g · ∈ g ⊗ p We have the following

Lemma 4.4. We have c ω∨ Katz · g ordP K + ordP ∨ 0 L ηg ≥ for any height one prime P which is not (p) and not “exceptional” as deﬁned in Proposition 4.3. (Note that we have to exclude the prime (p) due to CM components other than g.)

Proof. There is a Hecke operator 1g in T F , the non-integral Hecke operator which cuts off mg ⊗Λg Λg the g-part of any Hida family (See [31, 12.2] for details. Note also that g is generically non-Eisentein meaning that the generic specialization of it is cuspidal). From [21, Theorem and Corollary 2.3.6] ∗ ûr ord ûr ˆ ur we know B∞ Zp S (Γ1(DK), Zp [[T ]]) (the space of Zp [[T ]]-coefficient ordinary families ⊗ ≃ ∨ with tame level DK) as Hecke modules under which ηg maps to the normalized eigenform g (See the choice for them in [15, Theorem 7.4.10]). Note that ρ(d) and ρ(d)∨ are invertible elements in ûr ∨ ∗ ˆ ur ˆ ∗ ûr Zp [[T ]]. Note also that c ωg is in the cuspidal part B∞ Zp B∞ Zp of the cohomology. So · ord ⊗ ⊂ ⊗ we just need to prove that for any F S (Γ (D ), Λg), ∈ 1 K 1g F ord Katz + ord · 0 (6) P LK P g ≥ for any non-exceptional primes P = (p). This follows from Proposition 4.3: first of all, the -CM 6 K components other than g corresponds to characters of the Hilbert class group of . So it is easy K to see that there is a t T such that t g = a g for a being the product of an element 1 ∈ mg 1 t1 · t1

17 in Q¯ × and an element of Z [[T ]]×, and such that t kills -CM components of T other than g. p p 1 K mg Proposition 4.3 implies that there is an ℓg Tmg such that t1ℓg F = ag for a Λ and ℓg g = bg Katz ∈ · ∈ 1gF · with ord ord b. But t ℓgF = t ℓg1gF = t b1gF = a ag. So ord b + ord 0 and we LK ≥ P 1 1 1 t1 P P g ≥ get (6).

Now we are ready to prove our theorem.

Theorem 4.5. For any height one prime P = (p) of Λ which is not exceptional, we have 6 K length X++ ord L++. (7) P f,K ≥ P f,p Proof. Completely the same as the proof of Theorem 4.2 except that we also take Lemma 4.4 into consideration (see proof of Proposition 3.6 for where Katz plays a role). LK To take care of the prime (p) we use the following proposition of Pollack-Weston.

Proposition 4.6. Suppose N is square-free, ap = 0. Suppose moreover that any prime divisor of N either splits in or is inert. Assume for any such inert prime q we have ρ¯ is ramiﬁed and K |Gq there are odd number of such inert primes. Then

++ ord(p)Lf,p = 0.

++ Proof. By [26] the anticyclotomic µ-invariant for the specialization of Lf,p to anticyclotomic line is 0. Note that in loc.cit they assumed moreover that

Im(G ) = Aut(T ). • Q E The anticyclotomic Z -extension of is totally ramiﬁed at p. • p K But these assumptions are not necessary: the surjectivity of the Galois representation can be replaced by irreducibility (See [12]). The second assumption is needed only for the vanishing of the algebraic µ-invariant and not needed for the analytic µ-invariant. (We thank Chan-Ho Kim for discussing these with us).

Now we prove the lower bound for Selmer groups in Conjecture 2.6. Note that the pullback of ++ the augmentation ideal of the anticyclotomic line also does not contain Lf,p since the specialization of the latter to the cyclotomic line is not identically zero. We conclude that under the assumption of Theorem 4.5 and Proposition 4.6 the full one-side inequality for (7) is true.

4.2 Kobayashi’s Main Conjecture Now we prove a control theorem for Selmer groups and deduce Kobayashi’s one-variable main conjecture from the two variable one.

Proposition 4.7. Let P be the prime of Λ generated by T 1 then K − X++ Λ /P X+ ⊗ K ≃ E,Kcyc where the last term is the + dual Selmer group of E over deﬁned similar as X++. Kcyc

18 Proof. This theorem is proved in the same way as [16, Theorem 9.3]. One ﬁrst proves that Eˆ(mm,n) has no p-power torsion points as in [16, Proposition 8.7]. This implies that

lim lim H1(k , T ) H1(k , T ) m,n → m0,n0 ←−m ←−n is surjective. Then the control theorem follows in the same way as Proposition 9.2 of loc.cit.

Proof. (of Theorem 1.3) The above proposition implies the cyclotomic main conjecture over under K the assumption of Proposition 4.6. Note that since N is square-free, there must be a prime q such that E[p] is ramiﬁed (since otherwise by Ribet’s level lowering there will be a weight two cuspidal |Gq eigenform with level 1, which can not exist). To prove Theorem 1.3, we just need to choose the auxiliary . We take such that p and all prime divisors of N except q are split in while q is inert. K K K This main conjecture over together with one divisibility over Q proved in [16] gives the proof of K the main Theorem. Note that in [10] it is assumed that the image of GQ is Aut(TE) = GL2(Zp). However under our assumption that N is square-free it is enough to assume E[p] is absolutely |GQ irreducible, as explained in [29, Page 15-16]. The irreducibility of E[p] is proved in [4]. |GQp Finally we prove the following reﬁned BSD formula.

Corollary 4.8. Suppose E is an elliptic curve with square-free conductor N and supersingular reduction at p such that a = 0. If L(E, 1) = 0 then we have the following reﬁned BSD formula p 6 L(E, 1) X = ♯ E/Q cℓ ΩE · Yℓ|N up to a p-adic unit. Here cℓ is the Tamagawa number of E at ℓ. Note that by irreducibility of the Galois representation we know the p-part of the Mordell-Weil group is trivial.

Proof. This is proved as in [6, Theorem 4.1], replacing the argument for the prime p by [16, Propo- sition 9.2] for + . (In fact, all we need to do is to show that the p-adic component of the map g LE,Q n in the commutative diagram on top of [16, Page 27] is injective, which follows from that (9.33) of loc.cit is injective. This is nothing but the Pontryagin dual of Proposition 9.2 there). We use the interpolation formula [16, (3.6)] on the analytic side. Note also the fact that the Iwasawa module of dual Selmer group has no non-trivial subgroup of ﬁnite cardinality is also deduced within the proof of [6, Theorem 4.1] and can be obtained in the same way in our situation.

References

[1] Breuil, C., Conrad, B., Diamond, F., and Taylor, R. (2001). On the modularity of elliptic curves over Q: wild 3-adic exercises. Journal of the American Mathematical Society, 843-939.

[2] Bertolini, Massimo, and Henri Darmon. “Iwasawa’s main conjecture for elliptic curves over anticyclotomic Zp-extensions.” Annals of mathematics (2005): 1-64.

[3] Darmon, Henri, and Adrian Iovita. "The anticyclotomic Main Conjecture for elliptic curves at supersingular primes." Journal of the Institute of Mathematics of Jussieu 7.02 (2008): 291-325.

19 [4] Edixhoven, Bas. The weight in Serre’s conjectures on modular forms. Inventiones mathematicae 109.1 (1992): 563-594.

[5] R. Greenberg, Iwasawa theory and p-adic Deformations of Motives, Proc. on Motives held at Seattle, 1994.

[6] Greenberg, Ralph. “Iwasawa theory for elliptic curves.” Arithmetic theory of elliptic curves. Springer Berlin Heidelberg, 1999. 51-144.

[7] Hida, H.: On p-adic L-functions of GL(2) GL(2) over totally real ﬁelds. Ann. Inst. Fourier 40, × 311-391 (1991).

[8] Hida, Haruzo, and Jacques Tilouine. “Anti-cyclotomic Katz p-adic L-functions and congruence modules.” Annales scientiﬁques de l’Ecole normale superieure. Vol. 26. No. 2. Societe mathema- tique de France, 1993.

[9] Hida, Haruzo, and Jaques Tilouine. “On the anticyclotomic main conjecture for CM ﬁelds.” Inventiones mathematicae 117.1 (1994): 89-147.

[10] K. Kato, p-adic Hodge theory and values of zeta functions of modular forms, Cohomologies p-adiques et applications arithmetiques. III. Asterisque No. 295 (2004), ix, p. 117-290.

2 [11] Kim, Byoung Du. “Signed-Selmer Groups over the Zp-extension of an Imaginary Quadratic Field.” Canadian Journal of Mathematics, 66.4 (2014): 826-843.

[12] Kim, Chan Ho, Anticyclotomic Iwasawa invariants and congruences of modular forms, preprint.

[13] David Loeﬄer, and Sarah Livia Zerbes, Rankin-Eisenstein classes in Coleman families, preprint, arXiv: 1506.06703 (2015).

[14] Kings, Guido, David Loeﬄer, and Sarah Livia Zerbes. “Rankin-Eisenstein classes for modular forms.” arXiv preprint arXiv:1501.03289 (2015).

[15] Kings, Guido, David Loeﬄer, and Sarah Livia Zerbes. “Rankin–Eisenstein classes and explicit reciprocity laws.” arXiv preprint arXiv:1503.02888 (2015).

[16] Kobayashi, Shin-ichi. “Iwasawa theory for elliptic curves at supersingular primes.” Inventiones mathematicae 152.1 (2003): 1-36.

[17] Lei, Antonio, David Loeﬄer, and Sarah Livia Zerbes. “Euler systems for Rankin-Selberg con- volutions of modular forms.” Annals of Mathematics, Vol 180(2), 653-771.

2 [18] Loeﬄer, David, and Sarah Livia Zerbes. “Iwasawa theory and p-adic L-functions over Zp- extensions.” arXiv preprint arXiv:1108.5954 (2011).

[19] B. Mazur and A. Wiles, Class ﬁelds of abelian extensions of Q, Invent. Math. 76, p. 179- 330,1984.

[20] Liu, Ruochuan. “Triangulation of reﬁned families.” arXiv preprint arXiv:1202.2188 (2012).

[21] Ohta, Masami. “Ordinary p-adic etale cohomology groups attached to towers of elliptic modular curves. II.” Mathematische Annalen 318.3 (2000): 557-583.

20 [22] Perrin-Riou, Bernadette. p-adic L-Functions and p-Adic Representations. American Mathe- matical Society, 2000.

[23] J.Pottharst, Cyclotomic Iwasawa theory of motives, preprint. (http://vbrt.org/jay/math/).

[24] Pollack, Robert. “On the p-adic L-function of a modular form at a supersingular prime.” Duke Mathematical Journal 118.3 (2003): 523-558.

[25] Pollack, Robert, and Karl Rubin. “The main conjecture for CM elliptic curves at supersingular primes.” Annals of mathematics (2004): 447-464.

[26] Pollack, Robert, and Tom Weston. “On anticyclotomic Îĳ-invariants of modular forms.” Com- positio Mathematica 147.05 (2011): 1353-1381.

[27] Rubin, Karl. “The “main conjectures” of Iwasawa theory for imaginary quadratic ﬁelds.” Inven- tiones mathematicae 103.1 (1991): 25-68.

[28] Rubin, Karl. “More “main conjectures” for imaginary quadratic ﬁelds.” Centre de Recherches Mathematiques 4 (1994): 23-28.

[29] Christopher Skinner, “Multiplicative reduction and the cyclotomic main conjecture for GL2”, arXiv:1407.1093.

[30] Florian Sprung, Iwasawa theory for elliptic curves at supersingular primes: A pair of main conjectures, Journal of Number Theory, Volume 132, Issue 7, July 2012, Pages 1483-1506.

[31] Skinner, Christopher, and Eric Urban. “The Iwasawa main conjectures for GL2.” Inventiones mathematicae 195.1 (2014): 1-277.

[32] Eric Urban, Groupes de Selmer et Fonctions L p-adiques pour les representations modulaires adjointes (E. Urban), preprint (2006).

[33] Eric Urban, Nearly overconvergent modular forms, Proceedings of the Conference “Iwasawa 2012”, to appear, 2013.

[34] X. Wan, Iwasawa Main Conjecture for Rankin-Selberg p-adic L-functions, preprint, arXiv:1408.4044, 2014.

[35] X. Wan, Iwasawa Main Conjecture for Rankin-Selberg p-adic L-functions (non-ordinary Case), submitted, arXiv:1412.1767, 2014.

[36] X. Wan, Introduction to Skinner-Urban’s Work on Iwasawa Main Conjecture, to appear in Proceedings of Iwasawa 2012 conference, Heidelberg, Germany.

[37] Washington, Lawrence C. Introduction to cyclotomic ﬁelds. Vol. 83. Springer Science and Busi- ness Media, 1997.

[38] A. Wiles, The Iwasawa conjecture for totally real ﬁelds, Ann. of Math. 131, 1990.

[39] A. Wiles, Elliptic curves and Fermat’s Last Theorem Ann. of Math. 141, p. 443-551, 1995.

21 Xin Wan, Department of Mathematics, Columbia University, New York, NY 10027, USA E-mail Address: [email protected]