Arxiv:1709.05780V6 [Math.NT] 12 Mar 2020 Evl Nteda Xoeta Optto Fk Ui N[ in Rubin K

arXiv:1709.05780v6 [math.NT] 12 Mar 2020 evl nteda xoeta optto fK ui n[ in Rubin K. of computation exponential dual the over on curves heavily elliptic for map exponential otecneto aosElrssesadteIaaami co main Iwasawa the and systems Euler Kato’s of context the to emrgop.Tekyigein fhspofi fcus th [ Rubin course and of is proof his of ingredient key himself. The groups. Selmer oyai ytm,mdlrsmos iafamilies. Hida symbols, modular systems, Kolyvagin 1.1. rbe ntrso h mod the of terms in problem xesosof extensions yKlvgn[ Kolyvagin by way. direct a in classes oee,i em ihynntiilt hwta uhamod a such that show to non-trivial in highly the seems to equivalent it However, is Kolyvag systems Kolyvagin Λ-adic of Kato’s primitivity of the Λ-primitivity the implies systems Büyükboduk K. that Furthermore, observed than respectively. not structure These o introduced. rigid theory are the the more Λ-primitivity In and a systems. primitivity Euler admit of derived call and we which organized classes, more are they cyclotomic the over forms modular for ohn u h mod the but nothing [ sis [ argument congruence Jochnowitz et.W eakta u okgnrlzsGioo’ thesi Grigorov’s generalizes work our that remark We ments. eeatmi ojcuea h obnto f[ of combination the as conjecture main relevant NTEIDVSBLT FDRVDKT’ UE YTM AND SYSTEMS EULER KATO’S DERIVED OF INDIVISIBILITY THE ON nhsclbae ok[ work celebrated his In h hoyo ue ytm tefi endltri em of terms in later refined is itself systems Euler of theory The e od n phrases. and words Key 2010 Date nteatccooi otx,teidvsblt fderiv of indivisibility the context, anticyclotomic the In nhsupbihdtei [ thesis unpublished his In exact Wil01 Overview. ac 6 2020. 16, March : ahmtc ujc Classification. Subject Mathematics epoieepii e xmlsa h n.Ti okde no does work This und end. systems all. the at Euler at method Kato’s examples ingredie congruence derived key new The the explicit all. of provide for We image and integral once the family Hida of a of members s all Euler Kato’s derived at of two indivisibility the and conjecture Abstract. .Atog h optto nWlim’tei sprl an purely is thesis Williams’ in computation the Although ]. on fSle rusadthe and groups Selmer of bound MR04 H ANCNETR O OUA FORMS MODULAR FOR CONJECTURE MAIN THE any Q Kol91 p odpieudrml supin.I h riaycs,the case, ordinary the In assumptions. mild under prime good h hm fti ril st pl h endntr fKoly of nature refined the apply to is article this of theme The n h oua yblcmuaino .R ilas unpubl Williams’ R. S. of computation symbol modular the and .Klvgnssesaiefo h eiaiepoeso Eu of process derivative the from arise systems Kolyvagin ]. epoieasml n ffiin ueia rtro overif to criterion numerical efficient and simple a provide We ,adpoe yWiZag[ Zhang Wei by proved and ], HNH I,MONI I,ADHESN SUN HAE-SANG AND KIM, MYOUNGIL KIM, CHAN-HO p wsw hoy wsw ancnetrs aosElrsys Euler Kato’s conjectures, main Iwasawa theory, Iwasawa omlTyo xaso fKlvgndrvtvso Mazur– of derivatives Kolyvagin of expansion Taylor formal Kat04 Gri05 p o-aihn fcranmdlrsmosvatemod the via symbols modular certain of non-vanishing ,Kt rvdoedvsblt fteIaaami conjectu main Iwasawa the of divisibility one proved Kato ], ,G rgrvtidt nesadtemod the understand to tried Grigorov G. ], BD05 1. 12 Piay;1F7(Secondary). 11F67 (Primary); 11R23 Introduction ]. Z Q p equality etninof -extension ihgo riayrdcin i okdepends work His reduction. ordinary good with 1 Kat04 Zha14 fteIaaami ojcue` aKato, à la conjecture main Iwasawa the of n [ and ] ne eti assumptions certain under ] sesfrmdlrfrso weight of forms modular for ystems Q iiiiiyo eie ue systems. Euler derived of divisibility h rmtvt fKt’ Kolyvagin Kato’s of primitivity the ospoietecieint obtain to criterion the provide ions nsses lo ttrsotthat out turns it Also, systems. in hc ie nuprbudof bound upper an gives which , SU14 dHenrpit sconjectured is points Heegner ed oyai ytm,teconcepts the systems, Kolyvagin f omdlrfrso egttwo weight of forms modular to s ti h xlctcomputation explicit the is nt rteda xoeta map. exponential dual the er oyai ytm u oMazur to due systems Kolyvagin p ue ytmcntutdby constructed system Euler e pelt h Eisenstein the to appeal t o-aihn fcohomology of non-vanishing jcuefrmdlrforms. modular for njecture n h Bertolini–Darmon– the and ] Rub00 h oyai derivative Kolyvagin the h wsw main Iwasawa the y rtro ok for works criterion , ltc h otn is content the alytic, § .]for 3.5] es ue systems, Euler tems, e ytm,but systems, ler p non-vanishing ai systems vagin unramified se the- ished using aeele- Tate p dual the re with arbitrary Fourier coefficients and deals with ordinary and non-ordinary forms on equal footing. Furthermore, our methodology generalizes to the case of elliptic curves with additive reduction and it is carried out in the work of the first-named author and K. Nakamura [KN20]. Our goal is to provide a numerical criterion for the mod p non-vanishing of the Kolyvagin derivatives of Mazur–Tate elements, which implies the indivisibility of the derived Kato’s Euler systems via the (integral) dual exponential map. As an analytic and cyclotomic analogue of Kolyvagin’s conjecture, the conjecture of Kurihara (Conjecture 1.8) expects that the numerical criterion always works at least for elliptic curves with good ordinary reduction. Indeed, Kuri- hara proved his conjecture (Theorem 1.9) using the main conjecture and the non-degeneracy of the p-adic height pairing for elliptic curves with good ordinary reduction. Although our numerical criterion works under a certain minimal level condition, the results on the main conjecture generalize to modular forms of arbitrary level via congruences following the idea of [GV00], [EPW06], [GIP], and [KLP] under the µ = 0 assumption. Therefore, the criterion checks the equality of the Iwasawa main conjecture for families of modular forms once and for all. In their work [SU14], Skinner and Urban proved the opposite divisibility of the Iwasawa main conjecture for modular forms at good ordinary primes under certain assumptions. Thus, they obtained the equality of the Iwasawa main conjecture for a large class of modular forms. In their argument, they introduced a technical assumption on the ramification of the residual representation. Namely, the residual representation should have a semistable but unstable prime in the tame level. Later, Xin Wan removed the technical asumption in [Wan15] via the base change trick under another assumption on the existence of a certain real quadratic field concerning the period issue. See [Wan15, Theorem 3, Theorem 4, and Remark 5] for detail. Also, note that the character of modular forms is assumed to be trivial in their work. For the recent development of the non-ordinary case, see [Wanb], [Spr], [Wana], and [CÇSS]. See 3.6 for precise statements for the current development of the Iwasawa main conjecture for modular§ forms. We confirm various new examples of the Iwasawa main conjecture for modular forms in 8. § 1.2. The statements. 1.2.1. Main Theorem. Let p > 2 be a prime. Let f = a (f)qn S (Γ (N), ψ) be a n n ∈ 2 1 newform with character ψ and assume (N,p) = 1. Let Qf,λ be the Hecke field of f over Qp, P Zf,λ be its ring of integers, λ be a uniformizer, and Fλ be the residue field. If ap(f) is a λ-adic unit, let α be the unit root of the Hecke polynomial X2 a (f)X ψ(p)p of f at p. Let − p − ρ = ρ : G = Gal(Q/Q) GL (F ) be the residual Galois representation of f with the tame f Q → 2 λ conductor N(ρ) following the cohomological convention as described in 2.4. § Let Q∞ be the cyclotomic Zp-extension of Q. Let n be a square-free product of Kolyvagin primes (Definition 4.1) and a + 1 a/n −a/n := + f(z)dz + f(z)dz Zf,λ n f 2Ω · i∞ i∞ ! ∈ h i f Z Z be the (+)-part of the modular symbol where a Q and Ω+ is the (+)-part of an integral n ∈ f canonical period of f defined in 5.4. Let a + F be the reduction of a + modulo λ. Since § n f ∈ λ n f n is a product of Kolyvagin primes, any prime divisor ℓ of n satisfies ℓ 1 (mod p). For each ≡ log (a) ℓ, we fix a primitive root η mod ℓ and define log (a) Z/(ℓ 1)Z by η Fℓ a (mod ℓ). ℓ Fℓ ∈ − ℓ ≡ Let log (a) Z/pZ be the image of log (a) mod p. Fℓ ∈ Fℓ Theorem 1.1 (Main Theorem). Assume the following conditions: (NA) a (f) 1 (mod λ) and a (f) ψ(p) (mod λ); p 6≡ p 6≡ (Im) the image of ρ contains a conjugate of SL2(Fp); 2 (Tam) N = N(ρ);

(N-imp) p ∤ (q 1) (q + 1) where N := q and N := q.  −  ·   sp ns qY|Nsp qY|Nns qkN(ρY),aq (f)=1 qkN(ρ)Y,aq (f)=−1 If     a + δn := logF (a) = 0 Fλ f ℓ ×  n ·  6 ∈ a∈(ZX/nZ) h i Yℓ|n for some n, then e   (1) the derived Kato’s Euler system does not vanish modulo λ, and (2) the Iwasawa main conjecture àla Kato (Conjecture 3.3) holds for (f, Q∞/Q). The first statement should be viewed as the cyclotomic analogue of the Kolyvagin conjecture on the indivisibility of derived Heegner points ([Kol91, Conjecture A]). The proof of Theorem 1.1 is sketched in 1.3 and the formal proof is given in 7.4. § § We call δn the Kurihara number at n since Kurihara extensively studied the properties of the number δn in the context of Kolyvagin systems of Gauss sum type in [Kur14b]. Theorem 1.1 strengthense [Kur14b, Theorem 4.(2)]. The number δn itself depends on the choices of ηℓ for ℓ n, but thee mod λ non-vanishing property is independent of the choices. In [Gri05, 3.8], | § Grigorov provided the table of the non-vanishing of δn fore almost all (optimal) elliptic curves over Q of conductor < 30, 000 with p 5 such that the p-part of the analytic order of the ≥ Shafarevich–Tate groups is non-trivial. We completee the table in Corollary 8.1 and add several numerical examples in 8. In[Ota18, Theorem 4.9], Kazuto Ota gave a lower bound of the § number of divisors of n to have δn = 0. It should be larger than or equal to the Fλ-rank of the p-strict Selmer group of ρ over Q.6 Note that Ota studied the Mazur–Tate conjecture using the divisibility of higher derivede Kato’s Euler systems. Condition (Tam) is a necessary but a very mild condition. Indeed, if we have δn = 0 for some n, then Condition (Tam) is automatic (Remark 2.3). Note that we can always6 find a newform satisfying Condition (Tam) in the set of congruent forms via level lowering.e Then we can spread the equality of the Iwasawa main conjecture from one form (checked by Theorem 1.1) to all the congruent forms via congruences. Although we consider the ordinary and the non-ordinary cases separately in this article, the application of the congruences can also be studied simultaneously as in [KLP].

1.2.2. Extension of Theorem 1.1 via congruences I. In this subsection, we assume that ap(f) is a λ-adic unit satisfying Condition (NA) in Theorem 1.1. Let f S (Γ (N) Γ (p), ψ) be the p-stabilization of f (defined in 3.2) with the unit α ∈ 2 1 ∩ 0 § Up-eigenvalue α = αp(f). Corollary 1.2 (The ordinary forms of arbitrary weight). As well as the assumptions in Theorem 1.1, we further assume that p> 3, and • the µ-invariant of the p-adic L-function L (Q ,f ) (defined in 3.2) vanishes. • p ∞ α § If δ = 0 F n 6 ∈ λ for some n, then the Iwasawa main conjecture àla Mazur–Greenberg (Conjecture 3.7) holds for all members (without Condition (Tam))e of the Hida family of ρ. Proof. It directly follows from [EPW06, Corollary 1] and the equivalence of the main conjectures of Kato and Mazur–Greenberg ([Kat04, 17.13]). 3§ Remark 1.3. Since [EPW06] depends on [DT94], the p = 3 case is excluded in the statement. It should be emphasized that the Hida family here means not only one tame level branch (“I- adic”) but also all ordinary forms congruent to ρ. Thus, Condition (Tam) is removed in the statement. If we apply [Och06, Corollary 2.7] instead of [EPW06, Corollary 1], then we obtain the two-variable main conjecture [Och06, Conjecture 2.4] over the minimal tame level branch without the µ = 0 assumption. Via [Fou, Theorem 4.1.1 and Corollary 4.1.3], the µ = 0 assumption could be removed and the p = 3 case could be allowed, but we keep them in the statement because it has not been published yet.

1.2.3. Extension of Theorem 1.1 via congruences II. In this subsection, we assume that ap(f)= 0 and ψ is the trivial character, i.e. ψ = 1. Although this part depends on [GIP], which has not been published yet, the result is now more or less well-known to the experts. Notably, the algebraic side of [GIP] is already covered in [Kim09] and [HL19]. Let S2(ρ)[Tp] be the set of newforms of weight two such that their residual representations are isomorphic to ρ, • their p-th Fourier coeﬃcients are zero, and • their characters are trivial. • Corollary 1.4 (The non-ordinary forms of weight two with ap(f) = 0). As well as the assumptions in Theorem 1.1, we further assume that

ap(f) = 0 and ψ is trivial; • the µ-invariants of the -p-adic L-functions of f vanish. • ± If δ = 0 F n 6 ∈ λ for some n, then Kobayashi’s -main conjectures (Conjecture 3.8) hold for all forms in ± e S2(ρ)[Tp] (without Condition (Tam)). Proof. It is a direct application of [GIP] and the equivalence of the main conjectures of Kobayashi and Kato ([Kob03, Theorem 7.4]).

Remark 1.5. The conditions ap(f) = 0 and ψ = 1 are required to use the formulation of -Iwasawa theory although they are not required in Theorem 1.1. As in Remark 1.3, if we ±apply [Fou, Theorem 4.1.1 and Corollary 4.1.3], then the validity of the main conjecture would extend to all modular points in a certain universal Hecke algebra of ρ (with a certain R = T theorem). 1.2.4. Further consequences and the indivisibility of derived Kato’s Euler systems. One of the advantages of Theorem 1.1 is that we can numerically compute the Kurihara numbers. Indeed, as indicated in [Kur14b, Page 320 and 321], the numerical computation of δn is easy and we even can easily find n such that δn =0 in Fλ, at least for elliptic curves over Q with good ordinary reduction. This yields the following6 practical and effective “algorithm”e for the verification of the main conjecture, and thee relevant SAGE code due to Alexandru Ghitza is available at https://github.com/aghitza/kurihara_numbers. See 8 to observe how it yields new examples of the main conjecture. § “Algorithm” 1.6. (1) Check whether a given modular form f satisfies the assumptions of Theorem 1.1. (2) Choose s Kolyvagin primes ℓ1, ,ℓs and let be the set of square-free products of the chosen primes. · · · N × (3) Compute δn for all n until we get δn Fλ . If we get all zeros, then go back to (2) and choose different∈ NKolyvagin primes. ∈ e 4 e (4-1) In the ordinary case, compute ϑ(Q ,f ) (mod λ) for r 1 until we get ϑ(Q ,f ) r α ≥ r α (mod λ) is non-zero in Fλ[Gal(Qr/Q)] where ϑ(Qr,fα) is defined in 3.2. (4-2) In the non-ordinary case, compute θ(Q ,f) (mod λ) for r 1 until§ we get θ(Q ,f) r ≥ r (mod λ) are non-zero in Fλ[Gal(Qr/Q)] for some odd and even r where θ(Qr,f) is defined in 3.2. §

Remark 1.7. We consider the above statement as an algorithm due to the following reasons.

(1) If f does not satisfy Condition (Tam), then we replace f by a congruent form satisfying Condition (Tam) via level lowering. (2) Here, s should be larger than or equal to the Fλ-rank of the p-strict Selmer group of ρ over Q ([Ota18, Theorem 4.9]). (3) This one will terminate if we believe Kurihara’s conjecture (Conjecture 1.8) at least in the ordinary case. (4-1) This one will terminate if we believe Greenberg’s conjecture [Gre99, Conjecture 1.11] on vanishing of µ-invariants. (4-2) See [Pol03, Proposition 6.18] for the relation between θ(Qr,f) and -p-adic L-functions. This one will terminate if we believe Pollack’s conjecture [Pol03±, Conjecture 6.3] on vanishing of µ±-invariants.

It is natural to ask whether it is always possible to ﬁnd a square-free product of Kolyvagin primes n such that δn = 0. The following conjecture predicts that the answer is yes, at least for ordinary forms. 6 e Conjecture 1.8 (Kurihara; [Kur14b, Conjecture 1]). Under the assumptions of Theorem 1.1 with a p-ordinary form f, there always exists an integer n such that δ = 0 in F . n 6 λ e For the application of Kurihara’s conjecture to the structure of Selmer groups, see [Kur14b, Theorem 3]. This conjecture should be viewed as “the cyclotomic Kolyvagin conjecture” because it implies Theorem 1.1.(1). The Kolyvagin conjecture is proved by Wei Zhang [Zha14, Theorem 1.1] by using the main conjecture under certain assumptions. Kurihara himself proved the following theorem toward Conjecture 1.8.

Theorem 1.9 (Kurihara; [Kur14b, Theorem 2]). Assume that ap(f) is a λ-adic unit satisfying Condition (NA) and all the other conditions in Theorem 1.1. If we further assume the main conjecture and the non-degeneracy of the p-adic height pairing, then Conjecture 1.8 holds.

In some sense, our main theorem (Theorem 1.1) can be thought of a partial converse to Theorem 1.9. Ashay Burungale, Francesc Castella and the ﬁrst-named author investigate an anticyclotomic analogue of this aspect in [BCK]. In the process of the proof of Theorem 1.1.(2), it is observed that the numerical criterion implies the indivisibility of derived Kato’s Euler systems (without making any ordinary assumption), i.e. Theorem 1.1.(1).

1.3. The main idea, the reduction of proof, and the organization. We give a rough sketch of the proof of the main theorem (Theorem 1.1). The logical ﬂow towards the main 5 conjectures in this article is as follows:

κ is primitive Proposition 4.19 ∞ δn = 0 +3 +3 κ is Λ-primitive 6 (κn6=0 (mod λ)) (Büyükboduk) e Theorem 4.20 (Mazur–Rubin) non-ordinary Kobayashi’s ±-main conjectures (ap=0) Kato’s main conjecture (Conjecture 3.8) ks +3 (Conjecture 3.3) [Kob03, Theorem 7.4] KS [GIP] and µ±=0 ordinary [Kat04, §17.13] The ±-main conjectures The main conjecture àla Mazur–Greenberg for all congruent forms (Conjecture 3.7) of weight two with ap = 0

[EPW06] and µ=0 The main conjecture àla Mazur–Greenberg for all members of Hida families where κ is Kato’s Kolyvagin system (Theorem 4.12) and κ∞ is Kato’s Λ-adic Kolyvagin system (Theorem 4.13). In 2, we fix the stage we work on. Also, we explain how the assumptions in Theorem 1.1 are used.§ In 3, we review various Iwasawa main conjectures for modular forms and their equivalence: § (1) Kato’s main conjecture (Conjecture 3.3), (2) Iwasawa main conjecture àla Mazur–Greenberg (Conjecture 3.7), and (3) Kobayashi’s -main conjecture (Conjecture 3.8). ± Also, we quickly review the current state of the art toward proving the Iwasawa main conjecture for modular forms. In 4, we recall the necessary material of Kolyvagin systems and explain how Kato’s main conjecture§ can be deduced from the primitivity of Kolyvagin systems. More precisely, Propo- sition 4.19 shows that κ is primitive (κ = 0 (mod λ) for some n) κ∞ is Λ-primitive. n 6 ⇒ More formally, we give the following reduction of proof of Theorem 1.1.

Reduction of Proof of Theorem 1.1. By Proposition 4.19 and Theorem 4.20 ( [MR04, Theorem 5.3.10.(iii)]), it suﬃces to check κ = 0 (mod λ) n 6 for some square-free product of Kolyvagin primes n.

Thus, most content of this article is devoted to prove δ = 0 κ = 0 (mod λ). n 6 ⇒ n 6 In 5, we compute the image of H1(Q (µ ), T (1)) H1(Q (µ ),V (1)) under the composi- § e p n f ⊆ p n f tion of the de Rham pairing ( 5.2) with the dual basis ω∗, which can be detected by the Eichler– § f Shimura isomorphism ( 5.5), and the dual exponential map. Here, Q (µ ) := Q(µ ) and § p n n v Yv|p we also write Zp[µn] := Z[µn]v. We denote the image by Yv|p L := ω∗, exp∗ H1(Q (µ ), T (1)) h f s p n f idR D (Q (1)) = Q Q (µ ), ⊆ dR,Qp(µn) f,λ f,λ ⊗Qp p n 6 which is a Zf,λ Zp[µn]-lattice (Proposition 5.4). The method for the computation is to compute its dual⊗ (= the image of the local points of modular abelian varieties under the logarithm map) and the Tate local duality ( 5.6 and 5.7). In 6, we explicitly construct the “mod p”§ Kolyvagin§ system from Kato’s Euler system and deduce§ the following relation + κn = 0 (mod λ) Dnc = 0 (mod λ) 6 ⇔ Q(µn) 6 where D c+ is the (+)-part of the derived Kato’s Euler system at Q(µ ) (Proposition 6.1). n Q(µn) n In 7, we compute the image of the localization of derived Kato’s Euler systems under the dual exponential§ map and express it as the Kolyvagin derivative of Mazur–Tate elements as in (1.1) below. Note that Mazur–Tate elements naturally appear as the image of localized Kato’s Euler systems under the dual exponential map. Let loc : H1(Q(µ ), T (1)) H1(Q (µ ), T (1)) be the localization map to the semi-local p n f → p n f cohomology. Since locp is Gal(Q(µn)/Q)-equivariant, we have + + + Dnlocpc = locpDnc = 0 (mod λ) Dnc = 0 (mod λ). Q(µn) Q(µn) 6 ⇒ Q(µn) 6 Since the dual exponential map is also Gal(Q(µn)/Q)-equivariant in this setting, we have exp∗ D loc c+ = D exp∗ loc c+ n p Q(µn) n p Q(µn) in L . Also, the de Rham pairing defined in Theorem 5.1 is also Gal(Q(µn)/Q)-equivariant, we have ∗ ∗ + ∗ ∗ + (1.1) ω , Dnexp locpc dR = Dn ω , exp locpc dR h f Q(µn) i h f Q(µn) i in L . In 7.3, we prove that the Kolyvagin derivative of the Mazur–Tate element at Q(µ ) and § n δn, the Kurihara number at n, are congruent modulo λ (Theorem 7.5). In other words, ∗ ∗ + Dn ω , exp locpc dR λL δn = 0 (mod λ). e h f Q(µn) i 6∈ ⇔ 6 To sum up, we have the following implication in 7.4 § e ∗ ∗ + δn = 0 (mod λ) Dn ω , exp locpc dR λL 6 ⇔ h f Q(µn) i 6∈ + Dnc = 0 (mod λ) e ⇒ Q(µn) 6 κ = 0 (mod λ). ⇔ n 6 Therefore, Theorem 1.1 immediately follows. In 8, we examine “Algorithm” 1.6 to confirm various new examples of the main conjecture for elliptic§ curves with good reduction and modular forms at good primes. These examples are not covered by any other former work. As a result, we understand the Kurihara number δn at n as the mod λ localized image of Kolyvagin derivative of the (+)-part of Kato’s Euler system at Q(µn) under the dual exponential map. Since Kurihara obtained δn from hise Euler systems of Gauss sum type, it seems natural to ask the following question. e Question 1.10. What is the explicit relation between Kato’s Euler systems [Kat04] and the Euler systems of Gauss sum type àla Kurihara [Kur14a], [Kur14b]?

2. Setup and remarks on the conditions in Theorem 1.1 , Fixed embeddings. Let p be a prime > 2. Fix embeddings ι : Q ֒ C, ι : Q ֒ Q .2.1 ∞ → p → p and an abstract field isomorphism ι : C Qp such that ι ι∞ = ιp. For a field F , let GF be the absolute Galois group of F . ≃ ◦ 7 2.2. Modular forms. For any ring R, let S2(Γ1(N),R) be the space of cuspforms whose Fourier coefficients lie in R. Let f = a (f)qn S (Γ (N), Q) be a newform with character ψ. Let Q be the Hecke n ∈ 2 1 f field of f over Q, which is totally real or CM depending on ψ, Zf be the ring of integers of Qf . P Let S(f) be a quotient Q-vector space of S2(Γ1(N), Q) corresponding to f following [Kat04, 6.3]. Then S(f) is one-dimensional over Q . § f Let f = a (f)qn S (Γ (N), Q) be the dual modular form of f as in [Kat04, 6.5] where n ∈ 2 1 § a (f) is the complex conjugate of a (f). Then the character of f is ψ = ψ−1. n P n Let λ be the place of Qf dividing p and compatible with ιp. Let Qf,λ be the completion of Qf at λ. Let Zf,λ be the ring of integers of Qf,λ. Then we have

Qf Q Qp = Qf,λ′ ⊗ ′ λY|p ′ where λ runs over the primes of Qf dividing p. Let Fλ := Zf,λ/λZf,λ be the residue ﬁeld of Qf,λ.

2.3. Hecke algebras. Let T be the full Hecke algebra over Zp acting faithfully on S2(Γ1(N), Zp) where Z is the integral closure of Z in Q . Let ℘ T be the ideal generated by T a (f) p p p f ⊆ ℓ − ℓ for all primes ℓ and a for a (Z/NZ)×. Let m T be the maximal ideal generated by ℘ h i ∈ ⊆ f and λ, which corresponds to the residual representation of f. Then T/℘f is an order of Qf,λ and T/m = Fλ. We denote the localization of T at m by Tm.

2.4. Modular Galois representations. Let ρf : GQ GL2(Qf,λ) GL(Vf ) be the λ-adic Galois representation associated to f arising from the ´etale→ cohomology≃ of a modular curve. Then ρ satisﬁes the following properties [Kat04, 14.10]: f § (1) det(ρ )= χ−1 ψ−1 where χ is the cyclotomic character ( 2.5); f cyc · cyc § (2) for any prime ℓ not dividing Np, we have

det 1 ρ Fr−1 u : (V )Iℓ = 1 a (f)u + ψ(ℓ) ℓ u2 − f ℓ · f − ℓ · · where Frℓ is the arithmetic Frobenius at ℓ and Iℓ is the inertia subgroup of GQℓ ; (3) for the prime number p lying under λ, we have det (1 ϕ u : D (V )) = 1 a (f)u + ψ(p) p u2 − · cris f − p · · where ϕ is the Frobenius operator acting on Dcris(Vf ), Fontaine’s crystalline Dieudonn´e

module associated to the restriction of Vf to GQp .

For any Galois module M over Zp, let M(k) := M Zp Zp(k) be the k-th Tate twist of M for k Z. Let Σ=Σ(N) be the finite set of places of⊗Q consisting of p, , the places dividing ∈ ∞ N. Let QΣ be the maximal extension of Q unramified outside Σ. Then ρf factors through Gal(QΣ/Q). Let ρ : GQ GL2(Fλ) be the residual Galois representation of Vf . Due to Condition (Im) in Theorem 1.1→, all the content of this article is independent of the choice of a Galois-stable Zf,λ-lattice Tf of Vf . Let Af := Vf /Tf . Let J1(N)f = J1(N)f,Q be the modular abelian variety over Q attached to f as the quotient of J1(N) by the ideal ℘f in the Hecke algebra TZ over Z. Then it is an abelian variety over Q with endomorphism ring End(J1(N)f ) = TZ/℘f . Note that all Galois conjugates of f define abelian varieties which are isomorphic each other. Let J1(N)f be the Néron model of J1(N)f over Z and J\(N) be the formal group of J (N) . This formal group appears in 5.6. 1 f 1 f § Let Vλ(J1(N)f ) be the Galois representation arising from the λ-adic Tate module of J1(N)f . For a vector space V over a field F , let V ∗ be the F -dual of V . Following [Con01], we have 8 V V (J (N) )∗ and V (1) V (J (N) ). More precisely, we have a (f) = tr(ρ (Fr−1)) = f ≃ λ 1 f f ≃ λ 1 f ℓ f ℓ tr(ρf (1)(Frℓ)). Due to the duality of modular Galois representations [Kat04, (14.10.1)] V (1)∗(1) V (1), f ≃ f we also consider the dual representation ρ (1) : Gal(Q/Q) Aut (V (1)) GL (Q ) f → Qf,λ f ≃ 2 f,λ and denote the corresponding Zf,λ-lattice by Tf (1). i Let R be any p-adic ring including Qf,λ, Zf,λ, and Zf,λ/λ . Then, for any R-module M, we ∗ set M := HomR(M,R). Also, the R-torsion part of M is denoted by Mtors.

2.5. Cyclotomic extensions and Iwasawa algebras. Let Q(µp∞ ) be the full cyclotomic extension of Q with Galois group G∞ := Gal(Q(µp∞ )/Q), and let ≃ / × χcyc : G∞ Zp be the cyclotomic character. For c Z×, let σ G be the unique element such that ∈ p c ∈ ∞ χcyc(σc)= c. Let Q Q(µ ∞ ) be the cyclotomic Z ( 1+pZ )-extension of Q and Γ := Gal(Q /Q) ∞ ⊂ p p ≃ p ∞ ∞ ≃ Zp. Then we have G∞ Γ∞ ∆ × ≃ × where ∆ (Z/pZ) Z/(p 1). Let Qr Q(µpr+1 ) be the cyclic extension of Q in Q(µpr+1 ) ≃r ≃ − × ⊆ of degree p . Also, for a (Z/nZ) , write σ −1 Gal(Q(µ )/Q) as the image of a under the ∈ a ∈ n global Artin map, which behaves like the inverse of the p-adic cyclotomic character. Then σℓ is the arithmetic Frobenius at ℓ in Gal(Q(µn)/Q) with ℓ ∤ n. Let Λ= Zf,λJG∞K be the extended cyclotomic Iwasawa algebra and Λ := Zf,λJGal(Q∞/Q)K be the cyclotomic Iwasawa algebra over Zf,λ. For convenience,e if (n,p) = 1, we always choose p as a uniformizer for Q(µn)v Qp(µn) for any v p since Q(µ ) /Q is unramiﬁed. ⊆ | n v p 2.6. Remarks on the conditions in Theorem 1.1. We brieﬂy review how the conditions in Theorem 1.1 are used in this article.

Remark 2.1 (NA). The non-anomalous assumption ap(f) 1 (mod λ) removes the exceptional zero case, which would harm Theorem 4.15, so it would6≡ also violate Proposition 4.19. The assumption ap(f) ψ(p) (mod λ) is crucially used in 7.4. If ψ(p) 1 (mod λ), then two conditions obviously6≡ coincide. Note that § ≡

ap(f) 1 (mod λ) the Euler factor of L(f,s) at p at s = 0 is not congruent to 0 • mod λ6≡; ⇔ ap(f) ψ(p) (mod λ) p (the Euler factor of L(f,s) at p at s = 1) is not congruent • to 0 mod6≡ λ. ⇔ ·

Note that both conditions ap(f) 1 (mod λ) and ap(f) ψ(p) (mod λ) are observed in the context of the Bloch–Kato conjecture6≡ [BK90, (5.15.1)]. 6≡ Remark 2.2 (Im). The residual image assumption ensures the integrality of p-adic L-functions. See [Kat04, Theorem 12.5.(4) (Page 222) and Theorem 17.4.(3) (Page 273)] for detail. Follow- ing the argument of [Ski16, 2.5], the assumption could be slightly relaxed as the irreducibility of ρ and Assumption 4.2.(H2).§ Also, if the tame conductor of the residual representation has a semi-stable prime, Assumption 4.2.(H2) is always satisfied. Remark 2.3 (Tam). It removes all the Tamagawa defect (Lemma 4.5.(2)). If it is violated, then the Tamagawa defect must happen in the context of the “quantitative level lowering” See [PW11, Conjecture 1.4 and 6.6], [KO] for detail. In this situation, the corresponding Euler system cannot produce a primitive§ Kolyvagin system as in [MR04, Proposition 6.2.6], [Büy09]. 9 Remark 2.4 (N-imp). It removes the discrepancy coming from the difference of the valuations between N-primitive and N-imprimitive L-values. It is observed in [MR04, Theorem 6.2.4] and [Büy11, Proposition 4.3.(E3)]. Note that “N-imprimitive Kato’s Euler systems” are used in this setting. One can compare [Kat04, Theorem 6.6 and Theorem 12.5] for this issue.

3. Iwasawa main conjectures for modular forms 3.1. Selmer groups. Let F be an algebraic extension of Q. Then the Selmer group of Af (1) over F is deﬁned by

H1(F , A (1)) Sel(F, A (1)) := ker H1(F, A (1)) v f f f → H1 (F , A (1)) v f v f ! Y 1 where v runs over all places of F and Hf (Fv, Af (1)) is the image of the local Kummer map at v deﬁned by

Kum : J (N) (F ) Q /Z H1(F , A (1)). v 1 f,λ v ⊗Zf,λ f,λ f,λ → v f This classical deﬁnition is equivalent to the Bloch–Kato Selmer group ([Kat04, 14.1]) using the crystalline period ring `ala Fontaine. See also [Gre99, Page 70]. §

3.1.1. Ordinary forms. Suppose that ap(f) is a λ-adic unit satisfying Condition (NA) in The- orem 1.1. Then our deﬁnition of Selmer groups also coincides with that of Greenberg ordinary Selmer groups for Hida deformation [EPW06, 4.1]. See [EPW06, Page 572]. For the higher weight generalization to apply [EPW06], we replace§ Selmer groups by Greenberg ordinary Selmer groups. Although [EPW06] includes the exceptional zero case by using Greenberg ordinary Selmer groups, we do not allow the exceptional zero case to examine the Λ-primitivity of Kato’s Kolyvagin system.

3.1.2. Non-ordinary forms. Suppose that ap(f)=0 and ψ = 1. Following [Kob03], we deﬁne the Zf,λ-submodules of J1(N)f,λ(Qn,p) by

J (N)+ (Q ) := P J (N) (Q ) : Tr (P ) J (N) (Q ) for even m (0 m

1 ± H (Qn,p, Af (1)) Sel (Qn, Af (1)) := ker Sel(Qn, Af (1)) → J (N)± (Q ) Q /Z 1 f,λ n,p ⊗ f,λ f,λ ! and the -Selmer groups of f over Q by ± ∞ ± ± Sel (Q∞, Af (1)) := lim Sel (Qn, Af (1)), −→n respectively.

3.2. Mazur–Tate elements and p-adic L-functions. We quickly review the Mazur–Tate elements and p-adic L-functions of modular forms of weight two. 10 + 3.2.1. Mazur–Tate elements. Let Q(µn) be the maximal totally real subﬁeld of Q(µn). We + deﬁne Mazur–Tate element of f at Q(µn) by

+ + a + θ (Q(µn),f) := σa Zf,λ[Gal(Q(µn) /Q)], f × n · ∈ a∈(Z/nXZ) /{±1} h i where a ± 1 a/n −a/n := ± f(z)dz f(z)dz Zf,λ n f 2Ω · i∞ ± i∞ ! ∈ h i f Z Z and a a + a − := + n f n f n f h i h i h i where Ω± is the ( )-part of an integral canonical period of f. See 5.4 for the deﬁnition of f ± § the periods.

3.2.2. p-adic L-functions. Suppose that ap(f) is a λ-adic unit satisfying Condition (NA) in 2 Theorem 1.1. Let β be the non-unit root of the Hecke polynomial X ap(f)X ψ(p)p of f at p. Then the p-stabilization f of f is defined by f (z) := f(z) β −f(pz). Let− α α − · r + + π : Z [Gal(Q(µ r ) /Q)] Z [Gal(Q(µ r−1 ) /Q)], r−1 f,λ p → f,λ p r + + ν : Z [Gal(Q(µ r−1 ) /Q)] Z [Gal(Q(µ r ) /Q)] r−1 f,λ p → f,λ p be the natural projection and the norm map defined by σ τ, respectively. Then 7→ πr :τ7→σ r−X1 we define

+ 1 + 1 r + ϑ (Q(µ r ),f ) := θ (Q(µ r ),f) ν θ (Q(µ r−1 ),f) p α αr · p − α · r−1 p + and ϑ(Qr,fα) to be the natural image of ϑ (Q(µpr+1 ),fα) in Zf,λ[Gal(Qpr /Q)]. Then the + sequence (ϑ (Q(µpr ),fα))r forms a projective system and the limit deﬁnes the p-adic L- + functions of f for Q(µp∞ ) /Q

+ + + L (Q(µ ∞ ) ,f ) := lim ϑ (Q(µ r ),f ) Λ p p α p α ∈ ←−r + + e where Λ := Zf,λJGal(Q(µp∞ ) /Q)K. The p-adic L-function of f for the cyclotomic Zp-extension of Q is deﬁned by the image + + of L (Qe(µ ∞ ) ,f ) in Λ under the natural projection Λ Λ. We denote it by L (Q ,f ). p p α → p ∞ α Remark 3.1. For the construction of the p-adic L-functionse of modular forms of higher weight, see [EPW06, 3.2]. Each p-adic L-function can be understood as an integrally coherent weight specialization§ of “two variable” p-adic L-functions as explained in [EPW06, 3.3 and 3.4]. § § 3.2.3. -p-adic L-functions. Suppose that ap(f) = 0. Rather than recalling the construction ± ± of -p-adic L-functions in [Pol03], we recall the characterization of Lp (Q∞,f) Λ by their ± m ∈ interpolation property. Let Φm be the p -th cyclotomic polynomial and

+ + − − ωn = ωn (X) := Φm(1 + X), ωn = ωn (X) := Φm(1 + X). 2≤m≤Yn,m: even 1≤m≤Yn,m: odd e e 11 e e Then we have the following interpolation property [Kob03, (3.4)–(3.7), Page 7], [PR04, (10), (11), and (12)]: −1 + (n+1)/2 τ(χ) L(f,χ , 1) n χ Lp (Q∞,f) = ( 1) + + if χ has order p with n odd − · χ(ωn ) · Ωf −1 − (n/2)+1 τ(χ) L(f,χ , 1) n χ Lp (Q∞,f) = ( 1) e− + if χ has order p > 1 with n even − · χ(ωn ) · Ωf + L(f, 1) 1 Lp (Q∞,f) = (p 1) + e − · Ωf − L(f, 1) 1 Lp (Q∞,f) = 2 + · Ωf where χ is a character on Gal(Q∞/Q) of p-power order, 1 is the trivial character, and τ(χ) is the Gauss sum of χ.

3.3. The Iwasawa main conjecture for modular forms àla Kato. We recall Kato’s reformulation of the Iwasawa main conjecture for T (1) over Q . See [Kat93, Chapter I. 3 (es- f ∞ § pecially Conjecture 3.2.2)] and [PR00, Chapter 4 (especially 4.3.4 and 4.4.5.Examples.(ii))] § § for the background of this formulation. Indeed, Kato’s original formulation is given for Tf in [Kat04] and two formulations are equivalent up to the twist by Teichmüller character. See [Rub00, 6.5]. We write Hi(F/K, M) = Hi(Gal(F/K), M). Consider § H1(Q , T (1)) H1(Q /Q , T (1)) [MR04, Lemma 5.3.1.(iii)] ∞ f ≃ Σ ∞ f lim H1(Q /Q , T (1)) [MR04, Lemma 5.3.1.(i)] ≃ Σ n f ←−n ∞ + 1 and κ := lim c H (Q∞, T (1)) be the Λ-adic Kato’s Kolyvagin system at Q∞ con- 1 n Qn ∈ f structed from←− Kato’s Euler system (Theorem 4.13). Let jn : Spec(Qn) Spec( Qn [1/p]) be the natural map and we define the i-th Iwasawa cohomology by → O Hi(T (1)) := lim Hi (Spec( [1/p]), j T (1)) f ét OQn n,∗ f ←−n i 1 where Hét(Spec( Qn [1/p]), jn,∗Tf (1)) is the étale cohomology group. Then H (Tf (1)) 1 O ≃ H (Q∞, Tf (1)) by [Kob03, Proposition 7.1.(i)]. Theorem 3.2 ([Kat04, Theorem 12.4.(1) and (3)]). 2 (1) H (Tf (1)) is a finitely generated torsion module over Λ. 1 (2) H (Tf (1)) is free of rank one over Λ.

1 (p) Let z H (T (1)) be Kato’s p-adic zeta element, which is “zγ (ζ n ) ” in [Kat04, Kato ∈ f ⊗ p n Theorem 12.5]. The main conjecture `ala Kato is as follows. Conjecture 3.3 ([Kat04, Conjecture 12.10], [Kur02, Conjecture 6.1]).

1 2 charΛ H (Tf (1))/ΛzKato = charΛ H (Tf (1)) .

1 Note that the Λ-torsion property of H (Tf (1))/ΛzKato is due to [Kat04, Theorem 12.5.(2)]. ∞ Indeed, there is an explicit relation between κ1 and zKato via [Kat04, Lemma 13.10 and 13.12] and we have § Λκ∞ Λz 1 ⊆ Kato with finite index via [Kat04, Theorem 12.6]. Thus, we have the following proposition. 12 Proposition 3.4. 1 1 ∞ charΛ H (Tf (1))/ΛzKato = charΛ H (Tf (1))/Λκ1 . Remark 3.5. The statement of Conjecture 3.3 implicitly assumes the canonical choice of Kato’s zeta element since the RHS is independent of the choice of Kato’s zeta element. See [Och, Remark 1.11.(2)] for detail. 3.4. The Iwasawa main conjecture for modular forms àla Mazur–Greenberg. Sup- pose that ap(f) is a λ-adic unit satisfying Condition (NA) in Theorem 1.1. For a Zf,λ-module M, we define the Pontryagin dual by ∨ M := HomZf,λ (M, Qf,λ/Zf,λ). Remark 3.6. In [Kat04, 17.3], Kato took Hom (M( 1), Q /Z ) as the Pontryagin § Zf,λ − f,λ f,λ dual since he formulated the conjecture for Tf not for Tf (1). Due to the work of Kato [Gre99, Theorem 1.5], [Kat04, Theorem 17.4.(1)] and Rohrlich ∨ [Roh84], the finitely generated Λ-module Sel(Q∞, Af (1)) is Λ-torsion.

Conjecture 3.7 (The Iwasawa main conjecture for (Af (1), Q∞/Q); [Gre89, Conjecture 2], [Kat04, Conjecture 17.6]). As ideals of Zf,λJGal(Q∞/Q)K, the following equality holds ∨ (Lp(Q∞,fα)) = charΛ Sel(Q∞, Af (1)) . Following [Kat04, 17.13], Conjecture 3.3 and Conjecture 3.7 are equivalent. § 3.5. The Iwasawa main conjecture for modular forms `ala Kobayashi. Suppose that ± ∨ ap(f)=0 and ψ = 1. Then the ﬁnitely generated Λ-module Sel (Q∞, Af (1)) are Λ-torsion ([Kob03, Theorem 7.3.ii)]).

Conjecture 3.8 ([Kob03, Conjecture in 5]). As ideals of Zf,λJGal(Q∞/Q)K, the following equalities hold § ∓ ± ∨ Lp (Q∞,fα) = charΛ Sel (Q∞, Af (1)) . Following [Kob03, Theorem 7.4], Conjecture 3.3 and each -one of Conjecture 3.8 are equivalent. ± 3.6. Remarks on the current status of the Iwasawa main conjecture for modular forms. As a digression, we quickly review the current status of the Iwasawa main conjecture for modular forms. Theorem 3.9 (Skinner–Urban, X. Wan). Assume that f is good ordinary at p, ψ = 1, and the image of ρ contains a conjugate of SL2(Fp) (Condition (Im) in Theorem 1.1). [SU14] If there exists a prime q N such that ρ is ramified at q, then then Conjecture 3.7 holds. [Wan15] If there exists a real quadratick field F/Q such that – p is unramified in F , – any prime q dividing N such that q 1 (mod p) is inert in F/Q, and any other prime dividing N splits in F/Q, ≡− – the canonical period of f over F is the square of its canonical period over Q up to a p-adic unit, then Conjecture 3.7 holds. In [Wan15, Theorem 4], it is required to find a suitable real quadratic field. It does not seem easy to find it (at least algorithmically). See [Wan15, Remark 5] for this issue. Theorem 3.10 (X. Wan, Sprung, Castella–Çiperiani–Skinner–Sprung). Suppose that f is non-ordinary at p, ψ = 1, and the image of ρ contains a conjugate of SL2(Fp) (Condition (Im) in Theorem 1.1). Then Conjecture 3.3 holds if one of the following assumptions hold: 13 [Wanb] ap(f) = 0, Qf = Q, N is square-free; [Spr] Qf = Q, N is square-free; [Wana] there exists a prime q N such that the local automorphic representation at q is the Steinberg representationk twisted by the character sending q to 1, or N is square-free − and there exist two primes q1 and q2 exactly dividing N such that ρ is ramified at q1 and q2; [CÇSS] N is square-free.

Note that [Wanb], [Spr], [Wana], and [CC¸SS] are not published yet, and our approach is completely diﬀerent from theirs. For the application of the Iwasawa main conjecture to the size of (twisted) Selmer groups, see [Kat04, Theorem in Introduction] and [SU14, Theorem 3.35 and 3.36].

4. A quick review of Kolyvagin systems The goal of this section is to review Kolyvagin systems with a focus on Kolyvagin systems arising from Kato’s Euler systems for the dual Galois representation and to explain κ is primitive κ∞ is Λ-primitive Kato’s main conjecture, ⇒ ⇒ via Proposition 4.19 and Theorem 4.20. See [MR04] and [B¨uy11] for detail.

4.1. Local preliminaries. Let ρ (1) be the dual representation deﬁned in 2.4. Then ρ (1) f § f also factors through Gal(Q /Q). For any prime ℓ Σ, we deﬁne P (x) Z [x] by Σ 6∈ ℓ ∈ f,λ P (x) := det(Id ρ (1)(Fr )x : T (1)) ℓ − f ℓ f = 1 a (f)ℓ−1x + ψ(ℓ)ℓ−1x2 − ℓ where Fr Gal(Q /Q) is the arithmetic Frobenius at ℓ as in [Kat04, Example 13.3]. ℓ ∈ Σ

4.2. Selmer structures. Following [MR04, 2.1], we define the Selmer structure on T (1) § F f by 1 HF (F, Tf (1)) = Sel(F, Tf (1)) where Sel(F, Tf (1)) is the compact Selmer group (defined in terms of the orthogonal local conditions via the Tate local duality) and F is an algebraic extension of Q as in [MR04, 6.2] with help of 3.1. We also recall the “canonical” Selmer structure on T (1) as in [MR04§ , § Fcan f Definition 3.2.1]. The canonical structure can is obtained from by relaxing the condition at p; in other words, F F

1 H (Qp, T (1)) if ℓ = p H1 (Q , T (1)) = f Fcan ℓ f H1 (Q , T (1)) if ℓ = p. F ℓ f 6

Deﬁnition 4.1 (Kolyvagin primes). A rational prime ℓ is a Kolyvagin prime (for ρf (1)) if it satisﬁes the following properties:

(1) ρf (1) is unramified at ℓ, (2) ℓ 1 (mod λ), ≡ (3) a (f) ℓ +1 (mod λ), and ℓ ≡ (4) ψ(ℓ) 1 (mod λ). ≡ 14 From now on, we further assume that ℓ is a Kolyvagin prime. Let Iℓ Zf,λ be the ideal generated by ℓ 1 and P (1). Then I λZ . Let I = I Z ⊂. Then the finite- − ℓ ℓ ⊆ f,λ n ℓ|n ℓ ⊆ f,λ singular map φfs is defined by the commutative diagram ℓ P φfs 1 ℓ / 1 Hfin(Qℓ, Tf (1)/InℓTf (1)) Hsing(Qℓ, Tf (1)/InℓTf (1)) Gℓ O ⊗ ≃ ≃ −1 Q(Fr ) Frℓ−1 Tf (1)/InℓTf (1) ℓ / T (1)/InℓT (1) (Frℓ−1)Tf (1)/InℓTf (1) f f where H1 = H1 is the unramified cohomology group, H1 = H1/H1 , Q(x)= P (x)/(x 1), fin ur sing fin ℓ − and Gℓ := Gal(Q(µℓ)/Q). Let (n) be the Selmer structure defined by and the transverse local condition at primes dividingF n defined in [MR04, Example 2.1.8].F We compare different Selmer structures as follows: loc H1 (Q, T (1)/I T (1)) G ℓ / H1 (Q , T (1)/I T (1)) G F(n) f n f ⊗ n fin ℓ f nℓ f ⊗ n fs φℓ ⊗1 loc H1 (Q, T (1)/I T (1)) G ℓ / H1 (Q , T (1)/I T (1)) G . F(nℓ) f nℓ f ⊗ nℓ sing ℓ f nℓ f ⊗ nℓ where G := G . n ⊗ℓ|n ℓ 4.3. Selmer triples. Let be the set of Kolyvagin primes for T (1) and be the set of P f N square-free product of primes in . Then we call (T (1), , ) a Selmer triple and recall P f Fcan P the basic assumptions on the triple as in [MR04, 3.5] and [Büy11, 2.2]. § § Assumption 4.2.

(H.1) Tf (1)/λTf (1) is absolutely irreducible. (H.2) There is a τ Gal(Q/Q) such that τ = 1 on µ ∞ and the Z -module T (1)/(τ ∈ p f,λ f − 1)Tf (1) is free of rank one. 1 1 (H.3) H (Q(Tf (1),µp∞ )/Q, Tf (1)/λTf (1)) = H (Q(Tf (1),µp∞ )/Q, Af (1)[λ]) = 0. Here Q(Tf (1)) is the smallest extension of Q such that the GQ-action on Tf (1) factors through Gal(Q(Tf (1))/Q) and Q(Tf (1),µp∞ )= Q(Tf (1))(µp∞ ).

(H.4) Either HomFλJGQK Tf (1)/λTf (1), Af (1)[λ] or p> 4. Lemma 4.3 ([MR04, Lemma 6.2.3]). Condition (Im) in Theorem 1.1 implies all the conditions of Assumption 4.2. Assumption 4.4. (H.T) Tamagawa condition : H0(I ,V (1)/T (1)) is divisible for every ℓ = p where I is the ℓ f f 6 ℓ inertia subgroup at ℓ. 0 (H.sEZ) Strong exceptional zero-like condition : H (Qp, Af (1)) = 0. 0 (H.EZ) exceptional zero-like condition : H (Qp, Af (1)) is ﬁnite. Lemma 4.5.

(1) Condition (NA) in Theorem 1.1 (ap(f) 1 (mod λ)) implies Assumption 4.4.(H.sEZ). (2) Condition (Tam) in Theorem 1.1 implies6≡ Assumption 4.4.(H.T). Proof. The first statement is obvious. See [EPW06, Lemma 4.1.2] for the second statement. Lemma 4.6. The set satisfies the following properties. P (1) T (1)/(Fr 1)T (1) is a cyclic Z -module for every ℓ . f ℓ − f f,λ ∈ P 15 k (2) Frp 1 is injective on T (1) for every ℓ and every k 0. ℓ − f ∈ P ≥ Proof. See [Rub00, Lemma 4.1.3] with “ Q,p” in [Rub00, Definition 4.1.1] with help of As- sumption 4.2.(H.2). Note that AssumptionR 4.2.(H.2) comes from Condition (Im) in Theorem 1.1. 4.4. Kolyvagin systems and generalized Kolyvagin systems. Definition 4.7 (Kolyvagin systems; [MR04, Definition 3.1.3]). A Kolyvagin system for the 1 Selmer triple (T (1), can, ) is a collection of cohomology classes κn H (Q, T (1)/InT (1)) f F P ∈ Fcan(n) f f ⊗ G such that if ℓ is a prime and nℓ , then n ∈N fs (κnℓ)ℓ,s = φℓ (κn) in H1 (Q , T (1)/I T (1)) G . sing ℓ f nℓ f ⊗ nℓ Let KS(T (1), , ) be the Z -module of Kolyvagin systems and an element of KS(T (1), , ) f Fcan P f,λ f Fcan P is denoted by κ = (κ ) where n runs over all square-free products of primes in , i.e. n . n n P ∈N Definition 4.8 (generalized Kolyvagin systems; [MR04, Definition 3.1.6]). Let k N and k be the set of places ℓ Σ( ) such that ∈ P 6∈ Fcan T (1)/ λkT (1) + (Fr 1) T (1) is free of rank one over Z /λk, and • f f ℓ − f f,λ I λkZ . • ℓ ⊂ f,λ Then we have a decreasing filtration . ···⊂P4 ⊂ P3 ⊂ P2 ⊂ P1 We define the Z -module of generalized Kolyvagin system for (T (1), , ) by f,λ f Fcan P

KS(T (1), , ) := lim lim KS(T (1)/λkT (1), , ) f Fcan P f f Fcan P ∩ Pj ←−k −→j ! with respect to the functorial maps given in [MR04, Remark 3.1.4]. Let χ(T (1), ) be the core rank for the pair (T (1), ) deﬁned in [MR04, Deﬁnition f Fcan f Fcan 4.1.11]. Proposition 4.9 ([MR04, Proposition 6.2.2]). χ(T (1), ) = 1. f Fcan In our setting, the core rank χ(T (1), ) is equal to the rank of the minus part of f Fcan Tf (1) under the complex conjugation over Zf,λ, not over Zp. See [MR04, Theorem 5.2.15] and [Kat04, 6.3]. § Proposition 4.10 ([MR04, Proposition 5.2.9]). If the core rank χ(T (1), ) = 1, then the f Fcan canonical map KS(T (1), , ) KS(T (1), , ) f Fcan P → f Fcan P is an isomorphism.

Thus, we do not distinguish KS and KS for Tf (1). 4.5. From Euler systems to Kolyvagin systems and Λ-adic Kolyvagin systems. We recall the Euler system to Kolyvagin system map and the Euler system to Λ-adic Kolyvagin system map. Due to Lemma 4.6, we can omit the conditions on in [MR04, Theorem 3.2.4 and Theorem 5.3.3]. P Let ES(T (1), , Qab) be the Z JGal(Q/Q)K-module of Euler systems as in [MR04, 3.2.2] f P f,λ § where Qab is the maximal abelian extension of Q in Q. Let c = (c ) ES(T (1), , Qab) be F F ∈ f P 16 Kato’s Euler system (Definition 7.1) with c H1(F, T (1)) where F runs over finite abelian F ∈ f extensions of Q. Note that we follow the convention of Euler systems in [MR04] not in [Rub00]. In other words, the collection of the cohomology classes satisfy the following relation. For F ′/F finite extensions of Q in Qab,

−1 Nm ′ (c ′ )= P σ c F /F F  ℓ ℓ  · F ℓ∈S′\S Y   −1 −1 −1 −2 = 1 aℓ(f)ℓ σℓ + ψ(ℓ)ℓ σℓ cF  ′ −  · ℓ∈YS \S  ′  where σℓ Gal(F/Q) is the arithmetic Frobenius at ℓ, and S and S are the finite sets of finite places which∈ are ramified in F/Q and F ′/Q, respectively. Here, we are assuming that S and S′ are disjoint from a finite set of finite places including ones dividing Np. Remark 4.11. Let c H1(F, T (1)) be the complex conjugation of c . Then we define F ∈ f F 1 c± := (c c ) , F 2 · F ± F + − respectively. All the construction and the argument below also work with cF and cF . Let κ = (κ ) KS(T (1), , ) be the Kato’s Kolyvagin system as the image of c+ n n ∈ f Fcan P under the map below where κ H1 (Q, T (1)). n ∈ F(n) f Theorem 4.12 ([MR04, Theorem 3.2.4]). There is a canonical Galois equivariant morphism ES(T (1), , Qab) KS(T (1), , ) f P → f Fcan P such that if c+ κ 7→ then + κ1 = cQ = cQ. Furthermore, under Assumption 4.4.(sEZ), the statement holds not only with KS but also with KS. Let be the Selmer structure for T (1) Λ such that FΛ f ⊗Zf,λ H1 (Q, T (1) Λ) = H1(Q, T (1) Λ) FΛ f ⊗Zf,λ f ⊗Zf,λ defined in [MR04, Definition 5.3.2]. Let KS(T (1) Λ, , ) be the Z -module of f ⊗Zf,λ FΛ P f,λ generalized Λ-adic Kolyvagin systems and κ∞ = (κ∞) KS(T (1) Λ, , ) be the n n ∈ f ⊗Zf,λ FΛ P Kato’s Λ-adic Kolyvagin system for Tf (1) Zf,λ Λ as the image of the map below where ∞ 1 ⊗ κ H (Q, T (1) Z Λ). n ∈ FΛ(n) f ⊗ f,λ Theorem 4.13 ([MR04, Theorem 5.3.3]). There is a canonical homomorphism ES(T (1), , Qab) KS(T (1) Λ, , ) f P → f ⊗Zf,λ FΛ P such that if c+ κ∞ 7→ then ∞ + 1 1 κ = lim c = lim cQ lim H (Qr, T (1)) = H (Q, T (1) Z Λ). 1 Qr r ∈ f f ⊗ f,λ ←−r ←−r ←−r κ∞ ∞ The non-triviality of , in fact, κ1 = 0, is due to the result of Rohrlich on non-vanishing of twisted L-values [Roh84] and the dual6 exponential map. 17 Remark 4.14. By [Büy11, Remark 3.24], two Selmer structures Λ and can induce the same module of generalized Kolyvagin systems for T (1) Λ. F F f ⊗Zf,λ Theorem 4.15 ([Büy11, Theorem 3.23]). Under Assumption 4.2 and Assumption 4.4, we have the following statements. (1) The module KS(T (1) Λ, , ) is free of rank one over Λ. f ⊗Zf,λ Fcan P (2) The specialization map is surjective and forms the following commutative diagram KS / / KS (Tf (1) ⊗Zf,λ Λ, Fcan, P) (Tf (1), Fcan, P)

≃ ≃ Λ / / Λ/(γ − 1) ≃ Zf,λ To sum up, we have the following commutative diagram

KS(T (1) ⊗ Λ, F , P) κ∞ f Zf,λ can @ ❴ ❦5 ✁✁ ❦❦❦❦ ✁ ❦❦❦❦ ✁✁ ❦❦❦ ✁✁ ❦❦❦ ❆✁ ES ab / KS c ✁✤ / κ (Tf (1), P, Q ) (Tf (1), Fcan, P) 4.6. Primitivity and Λ-primitivity. For any subquotient M of T (1) Λ, set KS(M) := f ⊗Zf,λ KS(M, , ) and KS(M) := KS(M, , ). Let κ KS(T (1)) be the Kato’s Kolyvagin Fcan P Fcan P ∈ f system for Tf (1). Deﬁnition 4.16 ([MR04, Deﬁnition 4.5.5]). We call κ primitive if the image of κ in

KS(Tf (1)/λTf (1)) is non-zero. Let κ∞ KS(T (1) Λ) be the Λ-adic Kato’s Kolyvagin system. ∈ f ⊗Zf,λ Definition 4.17 ([MR04, 3.1]). The blind spot of κ∞ is the set of ideals I Λ such that the image of κ∞ under the§ natural map ⊂ KS(T (1) Λ) KS(T (1) (Λ/I)) f ⊗Zf,λ → f ⊗Zf,λ is zero. Definition 4.18 ([MR04, Definition 5.3.9]). We call κ∞ Λ-primitive if the blind spot of κ∞ contains no height-one primes of Λ. The following proposition is a slight variant of [Büy11, Proposition 4.1 and Proposition 4.2]. Proposition 4.19 (Büyükboduk). Under the assumptions in Theorem 1.1, if κ is primitive, then κ∞ is Λ-primitive. Proof. Let p Λ be a height one prime ideal. Consider the commutative diagram ⊂ KS(T (1) ⊗ Λ) / KS(T (1) ⊗ Λ/p) κ∞ ✤ / κ∞ (mod p) f Zf,λ f Zf,λ ❴ ❘❘ ❘❘ ✒ ❘❘❘ ❴ ❘❘❘ ❘❘❘ ❘❘❘ ❘❘❘ ❘❘❘ ❘❘❘ ❘❘❘) ❘❘❘) KS / KS κ κ∞ ✤ / κ κ∞ (Tf (1)) (Tf (1)/λTf (1)) = (mod (γ − 1)) (mod λ)= . Since κ is primitive, κ (mod λ) is non-zero. Thus, the residual image κ∞ is also non-zero. Thus, κ∞ (mod p) cannot be zero for any height one prime ideal p Λ. ⊆ Considering Proposition 3.4, we have the following statement. Theorem 4.20 ([MR04, Theorem 5.3.10.(iii)]). If κ∞ is Λ-primitive, then the equality of Kato’s main conjecture (Conjecture 3.3) holds for (Tf (1), Q∞/Q). The following theorem directly follows from Theorem 4.20 and [Kat04, 17.13]. 18 § Theorem 4.21 ([MR04, Theorem 6.2.7]). If ap(f) is a λ-adic unit with ap(f) 1 (mod λ) and κ∞ is Λ-primitive, then the equality of the Iwasawa main conjecture àla Mazur–Greenberg6≡ (Conjecture 3.7) holds for (Af (1), Q∞/Q).

5. The image of the dual exponential map for unramified extensions The goal of this section is to explain the following diagram

HomQf,λ (J1(N)f,λ(Qp(µn)) ⊗Zf,λ Qf,λ, Qf,λ)

Kummer map ≃ 1 HomQf,λ (Hf (Qp(µn), Vf (1)), Qf,λ)

Tate duality ≃ [Rub00, §3.5.(3.14)] 1 _ 1 Hs(Qp(µn), V (1)) o ? Hs(Qp(µn), T (1)) f [Rub00, Lemma 1.2.2.(ii)] f ∗ exp ≃ (Theorem 5.1) ∗ ∗ hω ,exp (−)idR S(f) ⊗Qf Qf,λ ⊗Qp Qp(µn) f ≃ ∗ hω ,−idR ≃ f o _L Qf,λ ⊗Qp Qp(µn) ? and determine the image L of the Z Z [µ ]-lattice H1(Q (µ ), T (1)) in Q Q (µ ). f,λ ⊗ p n s p n f f,λ ⊗Qp p n In order to do this, we compute the image of J1(N)f,λ(Qp(µn)) under the composition of the de Rham pairing with ωf and the logarithm map and use Kato’s explicit formula (Theorem 5.1) via the Tate local duality. It is an explicit description of the integral structure of [BK90, Example 3.11]. Since the de Rham pairing and the period integral are closely related via the Eichler–Shimura isomorphism, we also explain this comparison and the integral canonical periods. This section can be regarded as a generalization of [Rub00, Proposition 3.5.1] to modular abelian varieties of GL2-type and an explicit description of [Kat04, Lemma 14.18.(ii)] for Qp(µn). Note that we crucially use the residual irreducibility of ρ and the good reduction property of f at p in this section.

1 5.1. The local condition at p. The local condition Hf (Qp(µn),Vf (1)) at p is deﬁned by the image of the Kummer map

. ((H1 (Q (µ ),V (1)) := Im J (N) (Q (µ )) Q ֒ H1(Q (µ ),V (1 f p n f 1 f,λ p n ⊗ p → p n f 1 1 Then Hf (Qp(µn),Vf (1)) and Hf (Qp(µn),Vf (1)) are orthogonal complements with respect to the local Tate pairing.

5.2. Kato’s explicit formula. Let K be a finite extension of Qp. For a de Rham rep- GK resentation V of GK , we recall Fontaine’s de Rham functor DdR,K(V ) := V Qp BdR G ⊗ and Di (V ) := V tiB+ K where B is the de Rham period ring àla Fontaine, dR,K ⊗Qp dR dR B+ B is the valuation ring of B , and t is a uniformizer of B . For finite exten- dR dR dR dR sions ⊆K /K of Q , we have an isomorphism D (V ) D (V ) K preserving the 1 2 p dR,K1 ≃ dR,K2 ⊗K2 1 de Rham filtration. if K1/K2 is Galois, then it is also Gal(K1/K2)-equivariant. We write

DdR,n(V )= DdR,Qp(µn)(V ) and DdR(V )= DdR,Qp (V ). Since our representation is crystalline, these DdR’s admit the natural action of Frobenius ϕ. Following [Kat93, Chapter II, Theorem 1.4.1.(4)] and [Kat04, (11.3.4) and Theorem 12.5], we have the following formula. Theorem 5.1 (Kato’s explicit formula). The Bloch–Kato dual exponential map exp∗ : H1(Q (µ ),V (1)) D (V (1)) p n f → dR,n f 19 coincides with the composition of maps

M7→M(−1) 1 D0 D1 Hs(Qp(µn), V ) (V (1)) / (V ) f dR,n O f ≃ dR,n f de Rham-´etale local duality ≃ ≃ Tr◦h−,−idR(1) comparison ≃ [Kat04, (11.3.4)] Hom exp,Q Qf,λ ( f,λ) 1 / D D0 HomQf,λ Hf (Qp(µn), Vf (1)), Qf,λ HomQf,λ dR,n(Vf (1))/ dR,n(Vf (1)), Qf,λ S(f) ⊗Qf Qf,λ ⊗Qp Qp(µn) where

D (V (1)) h−,−idR Tr Tr ◦ h−, −i : dR,n f × D0 (V (1)) / D (Q (1)) ≃ Q ⊗ Q (µ ) / Q dR D0 dR,n f dR,n f,λ f,λ p n f,λ dR,n(Vf (1)) is the composition of the trace map and the Qf,λ-sesqui-linear de Rham pairing, i.e. the pairing is Qf,λ-conjugate-linear for the second term.

An explicit description of the paring , dR is explored by comparing with the local duality and the period integral in (5.2). Seeh− (−i5.4) for an explicit formula for the pairing.

5.3. Tangent spaces, cotangent spaces, and their integral lattices. Following [BK90, Example 3.11] and [Kur02, 2.2.2], we recall the notion of the tangent spaces in terms of D . § dR We deﬁne the tangent space of J1(N)f,λ(K) by Qf,λ-vector space

0 DdR,K(Vf (1))/DdR,K(Vf (1)).

If K/Qp is Galois, then it admits the natural action of Gal(K/Qp). Consider the Lie group exponential map

D (V (1))/D0 (V (1)) ≃ / J (N) (Q (µ )) Q . dR,n f dR,n f 1 f,λ p n ⊗Zf,λ f,λ Also, with the Kummer map, we have the Bloch–Kato exponential map, which yields the following isomorphism of Qf,λ[Gal(Qp(µn)/Qp)]-modules

0 ≃ / 1 exp : DdR,n(Vf (1))/DdR,n(Vf (1)) Hf (Qp(µn),Vf (1)).

Deﬁnition 5.2. We deﬁne the canonical integral lattice

D (T (1))/D0 (T (1)) D (V (1))/D0 (V (1)) dR,n f dR,n f ⊆ dR,n f dR,n f 1 by the inverse image of the torsion-free part of Hf (Qp(µn), Tf (1)) under the Bloch–Kato exponential map.

The canonical integral lattice coincides with the Zf,λ-component of the integral tangent space of the Qp(µn)-points of the N´eron model of J1(N)f since Tf (1) is naturally isormorphic to the λ-adic Tate module of J1(N)f,λ. By the interpretation of modular forms in terms of p-adic Hodge theory as in [Kat04, (11.3.4)], we deﬁne the cotangent space and normalize its integral one by

D0 (V (1)) D1 (V ) S(f) Q , D0 (T (1)) D1 (T ) Z ω Z . dR f ≃ dR f ≃ ⊗Qf f,λ dR f ≃ dR f ≃ f · f ⊗Zf f,λ 0 More explicitly, the integral lattice DdR,Q (Tf (1))/D (Tf (1)) Z Zp[µn] is generated by p dR,Qp ⊗ p the dual basis ω∗ D (V (1))/D0 (V (1)) to ω := f(z)dz over Z Z [µ ] such that f ∈ dR,n f dR,n f f f,λ ⊗ p n ω∗,ω = 1. We will explain later in 5.5 that the dual basis is explicitly described in h f f idR § terms of integral canonical periods. 20 5.4. Mod p multiplicity one and integral canonical periods. We recall the notion of integral canonical periods following [Vat13, 3]. The existence of integral canonical periods requires a mod p multiplicity one result established§ by Mazur, Wiles, and others, under the residual irreducibility assumption. For a module M, let M ± be the submodule of M on which the complex conjugation acts by 1, respectively, and m be the maximal ideal of T corresponding to ρ as in 2.3. By± [Wil95, Theorem 2.1.(i)] with Condition (Im) in Theorem 1.1 and (N,p§ ) = 1, the ± ± Hecke module H1(X1(N), Zp)m is free of rank one over Tm and let γ be a generator of ± H1(X1(N), Zp)m over Tm, respectively. Multiplying by a unit if necessary, we may assume that γ± H (X (N), Z)± following [Vat13, 3.1]. Then the pairing via the period integral ∈ 1 1 §

H (X (N), Z)± S (Γ (N), C) / C 1 1 × 2 1 ± ✤ / (γ ,f) γ± ωf R yields the values

± × Ωf := ωf C ± ∈ Zγ and we call them the ( )-part of the integral canonical periods of f if ℘ m. The ± f ⊆ periods Ω± are defined up to multiplication by Q× Z× , i.e. λ-adic units. If we define f f ∩ f,λ the periods with f S2(Γ1(N), Qp), the periods depend on the identification ι : C Qp. Furthermore, the integral∈ canonical periods vary integrally in Hida families ([EPW06, ≃3]). It is the essence of simultaneous vanishing of µ-invariants in Hida families ([EPW06, Theorem§ 1]). Let γ± be the generator of the free Z -module H (X (N), Z )± Z of rank one, f f,λ 1 1 p m ⊗Tm f,λ which is induced from the chosen generator γ±. Then the period integral naturally induces the pairing between one-dimensional C-vector spaces

± H (X (N), Z ) Z −1 C S(f) C / C. 1 1 p m ⊗Tm f,λ ⊗Zf,λ,ι × ⊗Qf

a a + a − Due to the irreducibility of ρ, it is easy to see that the values , , and lie in n f n f n f Zf,λ for any integer a and n with (n, N) = 1. h i h i h i

5.5. The de Rham pairing, the period integral, and Eichler–Shimura. In order to utilize Kato’s explicit formula (Theorem 5.1), we need to work on the de Rham side. Thus, we need to compare the Betti homology of modular curves (appeared in 5.4) and the dual space to the de Rham cohomology of modular curves (appeared in 5.2)§ via the Betti–de Rham comparison (Eichler–Shimura isomorphism). § From now on, we only cover the (+)-part because we focus on the totally real extension Q∞/Q. We summarize the comparison between the Betti side and the de Rham side in the 21 following diagram.

+ + H1(X1(N), Zp) γ ❴ + + H1(X1(N), Zp) ⊗T Qf,λ γf ❴ ⊗Q C f,λ + H1(X1(N), Zp) ⊗T Qf,λ ⊗Qf,λ C

Betti–de Rham comparison (Eichler-Shimura) ≃ 0 1 + + ∗ HomQ (H (X1(N)Q , Ω ) ⊗T Qf,λ, Qf,λ) ⊗Q C γ =Ω · ω f,λ p X1(N)Q /Qp f,λ f f f O p O ⊗ C (5.1) Qf,λ 0 1 HomQ (H (X1(N)Q , Ω ) ⊗T Q , Q ) f,λ p X1(N)Q /Qp f,λ f,λ O p ≃

HomQ (S(f) ⊗Q Qf,λ, Qf,λ) f,λ O f de Rham–´etale comparison, [Kat04, (11.3.4)] ≃

1 HomQ (D (V ), Qf,λ) f,λ dRO f M7→M(−1) ≃

0 ❴∗ HomQ (D (V (1)), Q ) ω f,λ dR f f,λ f

We can also easily obtain the ( )-part by looking at the whole ﬁrst de Rham cohomology. The cup product, the de Rham pairing− and the period integral can be also compared as follows.

1 1 ∪ 2 H (Qp, Vf (1)) Hs(Qp, V (1)) / H (Qp, Qf,λ(1)) Qf,λ f b × f ≃ log ≃ exp ≃ exp∗ ≃

$ h−,−idR 0 0 / (5.2) DdR(Vf (1))/DdR(Vf (1)) DdR(Vf (1)) DdR(Qf,λ(1)) Qf,λ ✤O × ≃ ± Eichler–Shimura ✤ ≃ Ωf × ≃ ✤ ± ω ± γ ± H1(X1(N), Zp) T Qf,λ S(f) Q Qf,λ R / Ω Qf,λ ⊗ × ⊗ f f · where exp is the Bloch–Kato exponential map deﬁned in [Kat93, Chapter II, 1.3.4]. Then we can ﬁnd a Q -basis ω∗ of D (V (1))/D0 (V (1)) by equality § f,λ f dR f dR f

∗ 1 ωf ,ωf dR = + ωf = 1. h i Ω · γ+ f Z f

Note that the period of f not of f occurs due to the complex conjugation on the second term and ω∗ also becomes a Q Q (µ )-basis of D (V (1))/D0 (V (1)). For a more reﬁned f f,λ ⊗ p n dR,n f dR,n f description of the de Rham pairing and the integral canonical periods, see [Och06, 6]. §

5.6. The logarithm map and formal groups. Let J1(N)f,1(Qp(µn)) be the kernel of the re- \ duction of J1(N)f (Qp(µn)) modulo mQp(µn). Since Qp(µn)/Qp is unramiﬁed, J1(N)f (mQp(µn)) has no torsion. Due to the non-existence of the torsion, we are able to make a precise connec- tion between the logarithm map and the formal logarithm map. Also, in order to single out f among its Galois conjugates, we take the Zf,λ-component. Then we have the the following 22 commutative diagram

log / 0 J1(N)f,λ(Qp(µn)) Zp Qp DdR,Qp (Vf (1))/DdR,Q (Vf (1)) Qp Qp(µn) O ⊗ p ⊗

0 (5.3) J1(N)f,1,λ(Qp(µn)) DdR,Qp (Tf (1))/DdR,Q (Tf (1)) Zp Qp(µn) O O p ⊗ ≃ ? \ log 0 J1(N) (m ) / DdR,Q (Tf (1))/D (Tf (1)) Z Ga(m ) f,λ Qp(µn) c≃ p dR,Qp ⊗ p Qp(µn) where mQp(µn) = pZp[µn]. b 5.7. Computing the size of the image. Using the local Tate pairing, we identify the integral structures

1 ≃ / Hs(Qp(µn),Vf (1)) HomQf,λ (J1(N)f,λ(Qp(µn)) Zp Qp, Qf,λ) O O ⊗

? ? 1 ≃ / Hs(Qp(µn), Tf (1)) HomZf,λ (J1(N)f,λ(Qp(µn)), Zf,λ). The horizontal map has an explicit formula due to Theorem 5.1. In other words, for z 1 ∈ Hs(Qp(µn), Tf (1)), we assign the map ∗ (5.4) x Tr ( log(x), exp (z) dR) . 7→ Qf,λ⊗Qp Qp(µn)/Qf,λ⊗Qp Qp h i Therefore, in order to compute the lattice

L := ω∗, exp∗ H1(Q (µ ), T (1)) , h f s p n f idR it suﬃces to compute the (conjugate) reciprocal lattice

log J (N) (Q (µ )) ,ω . h 1 f,λ p n f idR Because of (5.3) and Ga(mQp(µn))= mQp(µn) = pZp[µn], the image of the formal group under the formal logarithm map is \b log J1(N)f,λ(mQp(µn)) ,ωf = Zf,λ pZp[µn] Qf,λ Qp(µn). dR ⊗ ⊆ ⊗ D E Let J1(N)f,λ(Fcp(µn)) be the Zf,λ-component of the Gal(Fp/Fp(µn))-invariant of the reduction of J1(N)f at p and we have an exact sequence

/ \ / / / (5.5) 0 J1(N)f,λ(mQp(µn)) J1(N)f,λ(Qp(µn)) J1(N)f,λ(Fp(µn)) 0. Considering the logarithm maps from the above sequence (5.5), we have the following diagram:

0 hlog(−),ωf idR J\ m / 1(N)f,λ( Qp(µn)) c ≃ Zf,λ ⊗Qp pZp[µn]

hlog(−),ωf idR / / / J1(N)f,λ(Qp(µn))tors J1(N)f,λ(Qp(µn)) Im(log) ⊆ Qf,λ ⊗Qp Qp(µn)

≃ hlog(−),ω i f dR / J / / ker(log) 1(N)f,λ(Fp(µn)) Im(log)/ Zf,λ ⊗Qp pZp[µn] 0 23 By the Eichler–Shimura relation ([Con01, Corollary 5.15 and Theorem 5.16]), we have

np J (N) (F (µ )) = ker Frobp Id : J (N) (F ) J (N) (F ) 1 f,λ p n − 1 f,λ p → 1 f,λ p np = ker (1 α np )(1 β ) : J (N) (F ) J (N) (F ) − p − p 1 f,λ p → 1 f,λ p n where n = [F (µ ) : F ]. Thus, (1 α np )(1 β p ) exactly annihilates J (N) (F (µ )) p p n p − p − p 1 f,λ p n and we deﬁne en by the λ-valuation of a generator of AnnZf,λ⊗Zp[µn] J1(N)f,λ(Qp(µn))tors . Then we have λen log (J1(N)f,λ(Qp(µn))) ,ωf dR = np Zf,λ Qp pZp[µn] h i (1 α np )(1 β ) ⊗ − p − p Q Q (µ ). ⊆ f,λ ⊗ p n n Remark 5.3. Both (1 α np )(1 β p ) and λen are non-zero due to the identity elements of − p − p J1(N)f,λ(Fp(µn)) and of J1(N)f,λ(Qp(µn))tors, respectively. By the duality via the de Rham pairing, we have the following statement. Proposition 5.4.

np np L ∗ ∗ 1 1 (1 αp )(1 βp ) := ω , exp Hs(Qp(µn), T (1)) dR = − − Zf,λ Qp Zp[µn] h f f i p · λen · ⊗ and it becomes a Z Z [µ ]-lattice in Q Q (µ ). f,λ ⊗Zp p n f,λ ⊗Qp p n 0 Remark 5.5. Since J1(N)f,λ(Qp(µn))tors = H (Qp(µn), Af (1)) and ker(log) are isomorphic, np np (1 αp )(1 βp ) the value − − is λ-integral. λen

Remark 5.6. In order to cover the full cyclotomic extension Q(µp∞ ), not just Q∞, it seems that one needs to generalize the computation in this section to Qp(µnp). However, since Qp(µnp)/Qp is a ramiﬁed extension, the formal group argument (or the Fontaine–Laﬀaille theory as in [BK90, 4]) does not seem to work neatly. §

6. Explicit description of (residual) Kolyvagin systems from Euler systems We explicitly describe the map from Kato’s Euler systems to Kato’s Kolyvagin systems modulo λ as the mod λ version of Theorem 4.12. See [MR04, Appendix A] for detail.

+ 1 6.1. Kolyvagin derivatives. Let n be a product of Kolyvagin primes. Let c H (Q(µn), T (1)) Q(µn) ∈ f be the (+)-part of Kato’s Euler system at Q(µn) as in Remark 4.11. × For each ℓ, fix a primitive root ηℓ and the corresponding generator σηℓ (Z/ℓZ) . Following [Rub00, Definition 4.4.1], we define the Kolyvagin derivative operator at∈ℓ by

ℓ−2 ℓ−2 i i Dℓ := iσηℓ (= iσηℓ ). Xi=0 Xi=1 ℓ−1 ℓ−2 Then it satisﬁes relation (σ 1)D = ℓ 1 Tr where Tr := σi (= σi ). We deﬁne ηℓ − ℓ − − ℓ ℓ ηℓ ηℓ i=1 i=0 the Kolyvagin derivative (at n) by X X

Dn := Dℓ. Yℓ|n 24 6.2. Derived Euler systems and Kolyvagin systems. We deﬁne weak Kolyvagin system wκn modulo λ by the following diagram

1 + H (Q(µn), T (1)) c Euler systems f Q(µn) ❴ D n 1 + H (Q(µn), T (1)) Dnc derived Euler systems f Q(µn) ❴ mod λ Gal(Q(µ )/Q) 1 1 n + H (Q(µn), Tf (1))/λH (Q(µn), Tf (1)) dn [Rub00, Lemma 4.4.2] _ ❴ Gal(Q(µ )/Q) 1 n H (Q(µn), Tf (1)/λTf (1)) ✤ −1 ✤ res 1 H (Q, Tf (1)/λTf (1)) wκn (mod λ) weak Kolyvagin systems modulo λ O ❴O Equation (6.1) below and Proposition 6.1 O 1 H (Q, Tf (1)/λTf (1)) ⊗ Gn κn (mod λ) Kolyvagin systems modulo λ where res−1 is the inverse of the restriction map in the Hochschild–Serre spectral sequence defined on the image of the Kolyvagin derivative classes. For the well-definedness of res−1, see [Rub00, 4.4]. We recall§ the explicit formula for the construction of Kolyvagin systems from weak Koly- vagin systems. See [MR04, Appendix A] for detail. Let ℓ be a Kolyvagin prime. Let be the augmentation ideal of group ring (Z /I ) [G Aℓ f,λ ℓ ℓ ⊗ (Zf,λ/Iℓ)]. Then there exists a canonical isomorphism of Zf,λ/Iℓ-modules defined by ρ : / 2 ≃ / G (Z /I ) ℓ Aℓ Aℓ ℓ ⊗ f,λ ℓ σ 1 ✤ / σ 1 − ⊗ Let n and S(n) be the set of permutations of the primes dividing n. For π S(n), ∈ N ∈ let dπ := ℓ. Then we define Kolyvagin system κn by π(Yℓ)=ℓ

(6.1) κ := sign(π) (wκ ) ρ (P (Fr−1 )) H1(Q, T (1)/I T (1)) G n  dπ ⊗ ℓ ℓ π(ℓ)  ∈ f n f ⊗ n π∈XS(n) ℓ|(On/dπ)   following [MR04, (33), Page 80], and κn : n satisfies all the axioms of Kolyvagin systems. From Equation (6.1), the following{ proposition∈ N } is straightforward and shows that the indivisibility of derived Euler systems is equivalent to the primitivity of the corresponding Kolyvagin systems. Proposition 6.1. A derived Euler system D c+ at Q(µ ) is non-zero modulo λ if and n Q(µn) n only if the corresponding Kolyvagin system κn is non-zero modulo λ. 7. From Kato’s Euler systems to modular symbols 7.1. Kato’s Euler systems and the interpolation formula. We first fix the convention of Kato’s Euler system. Let δ± H1(X (N), Z) T/℘ be the dual of γ± defined in 5.5, f ∈ 1 ⊗ f f § respectively. Definition 7.1 (Kato’s Euler systems). We define c := b z(p)(f, 1, 1, α , prime(nNp))− + b z(p)(f, 1, 1, α , prime(nNp))+ Q(µn) 1 · c,d n 1 2 · c,d n 2 H1 (Spec(Z[1/p,ζ ]), j T (1)) ∈ ét n ∗ f where 25 c and d are positive integers with (cd, nNp)=1 and p ∤ (c 1)(d 1), • b , b Q such that δ+ = b δ (f, 1, α )+(= 0) and δ− =−b δ (−f, 1, α )−(= 0), and • 1 2 ∈ f,λ f 1 · 1 1 6 f 2 · 1 2 6 (p) ± c,dzn (f, 1, 1, α, prime(nNp)) is the element defined in [Kat04, (8.1.3) and Example • 13.3].

Remark 7.2. (1) The condition p ∤ (c 1)(d 1) is noticed by Rubin in [Rub98, Corollary 7.2]. The − − cohomology class cQ(µn) is independent of α1, α2, b1, and b2, but it depends on c and d. (2) Since δ+ + δ− H1(X (N), Z) T/℘ , we have the map f f ∈ 1 ⊗ f

H1(X (N), Z) Z T/℘ ≃ / H1 (X (N), Z ) T/℘ = T / H1 (Spec(Z[1/p,ζ ]), j T (1)) 1 ⊗Z p ⊗ f ´et 1 p ⊗ f f ´et n ∗ f + − ✤ / δf + δf cQ(µn)

where the first isomorphism is the comparison between Betti and étale cohomologies 1 as in [Kat04, 8.3] and the second map is an analogue of the map Tf H (Tf ) § (p) → defined by γ zγ in [Kat04, Theorem 12.5.(1) and (4)]. Since we do not invert 7→ any element in the group ring for our convention of cQ(µn), our case is much simpler than Kato’s case, which inverts the elements in the completed group ring arising from the choice of c and d and the bad Euler factors. See [Kat04, 13.9–13.14] for details and [Del08, Appendix A] for the generalization of [Kat04, §13.9–13.12] from Q to § Q(µn). See also [KN20, Appendix A] for a slightly different choice of Kato’s Euler systems. (3) Since δ± H1(X (N), Z) T/℘ is dual to γ± and γ± =Ω± ω∗ as in (5.1), we have f ∈ 1 ⊗ f f f f · f the values of the paring

γ±, δ± = 1, γ±,ω = Ω± ω∗,ω =Ω± h f f i h f f i h f · f f i f

where the pairing is induced from the identiﬁcations in (5.2). Since we have

± 1 δf = ± ωf , Ωf ·

the integral canonical periods naturally appear in the interpolation formula for Kato’s Euler system (Theorem 7.3) below.

Theorem 7.3 ([Kat04, Theorem 6.6 and Theorem 9.7]). Let χ be a Dirichlet character mod n. Then Kato’s Euler system c H1(F, T (1)) satisﬁes the following interpolation formula F ∈ f

(Np) ∗ ∗ σb L (f,χ, 1) (7.1) χ(b) ω , exp locp cQ(µ ) = c d (c χ(c)) (d χ(d)) · f n dR · · − · − · χ(−1) b∈(Z/nZ)× ( 2πi)Ωf X D E − where c and d are positive integers with (cd, nNp) = 1 and p ∤ (c 1)(d 1) chosen in Deﬁnition − − 7.1 and L(Np)(f,χ, 1) is the Np-imprimitive L-value of f at s = 1 twisted by χ. 26 Theorem 7.3 can be reﬁned via the -decomposition of the Euler systems as in Remark 4.11: ±

σb χ(b) ω∗, exp∗ cχ(−1) f Q(µn) dR × · b∈(ZX/nZ) D E a (f) χ(p) χ(p)2 =c d (c χ(c)) (d χ(d)) 1 p · + ψ(p) (7.2) · · − · − · − p p L(f,χ, 1) (1 q−1χ(q)) (1 + q−1χ(q)) . ·  −  ·   · ( 2πi)Ωχ(−1) qY|Nsp qY|Nns − f     We rewrite the last term in Equation (7.2) in terms of modular symbols. Expanding the Gauss sum in the interpolation formula of Mazur–Tate elements, we have

L(f,χ, 1) 1 a χ(−1) χ( 1) = χ(b) σ ζa − . χ(−1) n b n n − · ( 2πi)Ω · × · ·  × · f  − f b∈(ZX/nZ) a∈(ZX/nZ)   We deﬁne the values

1 a ± can,± := ± ζa − Z Z [µ ] Q(µn) n f,λ p n n ·  × · n f  ∈ ⊗ a∈(ZX/nZ)   in order to have L(f,χ, 1) σ can,χ(−1) χ(b)= . b Q(µn) χ(−1) × · ( 2πi)Ω b∈(ZX/nZ) − f From now on, we “extract” the Euler factor at p from can,± . Since we have Q(µn)

L(f,χ, 1) = ( 2πi) Ωχ(−1) σ can,χ(−1) χ(b), f b Q(µn) × − · · · b∈(ZX/nZ) the value

1 + an,+ − an,− L(f, b (mod n), 1) := ( 2πi) Ω σb c + ( 2πi) Ω σb c 2 − · f · Q(µn) − · f · Q(µn) is the value of the analytic continuation of a suitable partial L-series as follows.

Lemma 7.4. The value

L(p)(f, b (mod n), 1) := 1 a (f) σ−1 p−1 + ψ(p) σ−2 p−1 L(f, b (mod n), 1) − p · p · · p · · is the value of the analytic continuation of the prime-to-Np partial L-series at s = 1 a (f) m . ms m≡b (mod n) (Np,mX)=1 Proof. One can write

L(p)(f, b (mod n), 1) = L(f, b (mod n), 1) L(f,ep (mod np), 1) − where e Z/nZ satisﬁes ep b (mod n). Since f is a Hecke eigenform (at p), the straightforward computation∈ yields the≡ conclusion. 27 This lemma shows that

−1 −1 −2 −2 an,χ(−1) σb 1 ap(f) σ p + ψ(p)p σ p c χ(b) − · p · · p · · Q(µn) · b∈(Z/nZ)× (7.3) X a (f) χ(p) χ(p)2 L(f,χ, 1) = 1 p · + ψ(p) . − p p · ( 2πi)Ωχ(−1) − f

7.2. Lifting to group rings. Combining Equation (7.2) and Equation (7.3), we have

σb χ(b) ω∗, exp∗ cχ(−1) f Q(µn) dR × · b∈(ZX/nZ) D E

=c d (c χ(c)) (d χ(d)) (1 q−1χ(q)) (1 + q−1χ(q)) (7.4) · · − · − ·  −  ·   · qY|Nsp qY|Nns     −1 −1 −1 −2 an,χ(−1) 1 ap(f) σ p + ψ(p) p σ σb c χ(b) − · p · · · p ·  · Q(µn) ·  b∈(Z/nZ)× X   in Z [χ] for all characters χ on Gal(Q(µ )/Q) where 1 a (f) σ−1 p−1 + ψ(p) p−1 σ−2 f,λ n − p · p · · · p acts on can,χ(−1). In order to lift Equality (7.4) to group ring Z [Gal(Q(µ )/Q)], it suﬃces Q(µn) f,λ n to check that σ ∗ ∗ χ(−1) b an,χ(−1) χ(b) ω , exp c , σb c χ(b) f Q(µn) dR Q(µn) × · × · · b∈(ZX/nZ) D E b∈(ZX/nZ)

(c χ(c)) (d χ(d)), (1 q−1χ(q)) (1 + q−1χ(q)) , and − · −  −  ·   qY|Nsp qY|Nns a (f) χ(p)  χ(p)2    1 p · + ψ(p) − p p for all χ lift to

σ −1 ∗ ∗ χ(−1) b an,χ(−1) −1 σb ω , exp c , σb c σb f Q(µn) dR Q(µn) × · × · · b∈(ZX/nZ) D E b∈(ZX/nZ) (7.5) (c σ−1) (d σ−1), (1 q−1σ−1) (1 + q−1σ−1) , and − c · − d  − q  ·  q  qY|Nsp qY|Nns 1 a (f) σ−1 p−1 + ψ(p)p σ−2 p−2 ,   − p · p · · p · respectively. We follow the idea of [Ota18, Corollary 5.13]. Since

Q Q(µ )[Gal(Q(µ )/Q)] Q Q(µ )[Imξ] f,λ ⊗ n n ≃ f,λ ⊗ n Yξ where ξ runs over all characters on Gal(Q(µn)/Q), the equalities for all ξ imply the equality in Qf,λ Q(µn)[Gal(Q(µn)/Q)]. Since all the above elements in (7.5) lie in Zf,λ[Gal(Q(µn)/Q)], ⊗ 28 the lifting to the group ring works well. To sum up, we have equality σ −1 ∗ ∗ χ(−1) b σb ω , exp c f Q(µn) dR × · b∈(ZX/nZ) D E

=c d (c σ−1) (d σ−1) (1 q−1σ−1) (1 + q−1σ−1) (7.6) · · − c · − d ·  − q  ·  q  · qY|Nsp qY|Nns     −1 −1 −2 −2 an,χ(−1) −1 1 ap(f) σ p + ψ(p)p σ p σb c σ − · p · · p · ·  · Q(µn) · b  b∈(Z/nZ)× X   in Zf,λ[Gal(Q(µn)/Q)].

7.3. Kolyvagin derivatives on modular symbols and Kurihara numbers.

Theorem 7.5 (Kurihara, Williams; [Kur14a, two lines above (21) (page 190)]). Let n = ℓ ℓ be a square-free product of Kolyvagin primes. We have the following equalities in 1 ····· s Fλ

± ± a′ a a Dn ζn logF (a) (mod λ) f ℓ f  × n  ≡ ×   · n a∈(ZX/nZ) h i a∈(ZX/nZ) Yℓ|n h i     where a′ = a. ± s a ± Proof. Here is a sketch of the main idea. First, expand σa at σηℓ 1 . f i × n − a∈(ZX/nZ) h i Yi=1 s Taking Kolyvagin derivative Dn on the expansion, all but the term ση 1 vanish. i=1 ℓi − The higher degree term (for each ση 1 ) vanishes after taking QDn due to the relation ℓi − (ση 1)Dℓ = ℓi 1 Trℓ . Also, the lower degree term vanishes using Hecke operators at ℓi − i − − i ℓi. In other words, we have

a ± a ± Dn σa (Dℓ(ηℓ 1)) (mod λ) f f  × n  ≡ × n · − a∈(ZX/nZ) h i a∈(ZX/nZ) h i Yℓ|n   a ± logF (a) ( Trℓ) (mod λ). ≡ n f · ℓ · − a∈(Z/nZ)× ℓ|n X h i Y ±1 Considering the action of both sides on ζn , we have

± ±1 a ± a ±1 Dn σa ζn logF (a) ( Trℓ) ζn (mod λ).  n f  · ≡ n f · ℓ · − · a∈(Z/nZ)× a∈(Z/nZ)× ℓ|n X h i X h i Y   Thus, the conclusion immediately follows.

Remark 7.6. This theorem is also observed in [Wil01, Theorem 9.5] via a purely analytic computation. Kurihara found the importance of δn and derived it from Mazur–Tate elements via the mod p Taylor expansion of σ at (σ 1). See [Kur14a, (21) (page 190) and a ℓ|n ηℓ − (65)] and [Kur14b, (2) and (31), (32) (page 346)]e for detail. For the expansion of higher Q degree terms, see [Ota18]. 29 7.4. Proof of Theorem 1.1. We give a proof of Theorem 1.1. Here we only work with c+ Q(µn) and the result with c+ is enough to imply the main conjecture for (A (1), Q /Q) since Q(µn) f ∞ Q∞ is totally real. The following diagram exactly shows what we compute.

∗ ∗ ω ,exp (locp−) Dn f dR 1 / 1 D E / L H (Q(µn), Tf (1)) H (Q(µn), Tf (1))

mod λ ∗ ∗ mod λ ω ,exp (locp−) Gal(Q(µ )/Q) f dR 1 1 n / L L H (Q(µn), Tf (1))/λH (Q(µn), Tf (1)) /λ ≃ Fλ

+ + ∗ ∗ + c ✤ / Dnc ✤ / hω ,Dnexp (locpc )i Q(µn) Q(µn) f Q(µn) dR ❴ ❴ + ∗ ∗ + dn ✤ / hω ,Dnexp (locpc )idR (mod λ) f Q(µn)

∗ ∗ ∗ ∗ where ω , exp (locp ) is the induced reduction of ω , exp (locp ) modulo λ. At f − dR f − dR the end,D we use TheoremE 7.5 to show that D E ∗ ∗ + ω , Dnexp (locpc ) dR (mod λ)= u δn h f Q(µn) i · where u F×. ∈ λ e Proof of Theorem 1.1. Due to the reduction of proof in 1.3, it suﬃces to prove κn (mod λ) = 0. Suppose that κ (mod λ) = 0 in H1 (Q, T (1)/λT §(1)) G . Then 6 n F(n) f f ⊗ n d+ = 0 H1(Q(µ ), T (1))/λH1 (Q(µ ), T (1)). n ∈ n f F(n) n f + 1 Thus, Dnc λH (Q(µn), T (1)). Taking the dual exponential map and the pairing with Q(µn) ∈ f ω∗, we have f

∗ ∗ + ω , Dnexp locpc λL f Q(µn) dR ∈ D an,+ E Cp Dnc λL (7.5) ⇒ · Q(µn) ∈ np np an,+ (1 αp )(1 βp ) p Cp Dnc λ − − Zf,λ Zp[µn] Proposition 5.4 ⇒ · · Q(µn) ∈ · λen · ⊗ where

p C =c d (c σ−1) (d σ−1) (1 q−1σ−1) (1 + q−1σ−1) · p · · − c · − d ·  − q  ·  q  qY|Nsp qY|Nns p a (f) σ−1 + ψ(p) σ−2 .    · − p · p · p np np (1−αp )(1−βp ) Since λen is λ-integral (Remark 5.5), we have an,+ p Cp Dnc (mod λ) = 0 Fλ Fp(µn). · · Q(µn) ∈ ⊗ Due to Theorem 7.5, it is equivalent to (7.7) p C δ (mod λ) = 0 F F (µ ), · p · n ∈ λ ⊗ p n and indeed, δn Fλ; thus, the Galoise action on δn becomes trivial. (This triviality is the analytic incarnation∈ of [Rub00, Lemma 4.4.2].) Thus, (7.7) is equivalent to e e p Cp δn = 0 Fλ · · 30 ∈ e where

p C = c d (c 1) (d 1) (1 q−1) (1 + q−1) (p a (f)+ ψ(p)) . · p · · − · − ·  −  ·   · − p qY|Nsp qY|Nns     Then we have

c d (c 1) (d 1) F× Deﬁnition 7.1 · · − · − ∈ λ

(1 q−1) (1 + q−1) F× Condition (N-imp)  −  ·   ∈ λ qY|Nsp qY|Nns (p a (f)+ ψ(p)) F×.  Condition (NA) − p ∈ λ Thus, it implies δ = 0 F . n ∈ λ e

8. Examples In this section, we describe (new) explicit examples of the Iwasawa main conjecture of modular forms over the cyclotomic Zp-extension.

8.1. Elliptic curves of conductor < 30,000 with non-trivial Shafarevich–Tate groups. The following corollary completes the validity of the main conjecture for elliptic curves of conductor < 30, 000 with non-trivial p-part of the analytic order of the Shafarevich–Tate groups and p 5. Note that all such elliptic curves have rank zero and see [Gri05, 3.8] for the table. ≥ § Corollary 8.1. Under the assumptions of Theorem 1.1,

δ = 0 n 6 for some n for all (optimal) elliptic curves overe Q of conductor < 30, 000 with p 5 such that the p-part of the analytic order of the Shafarevich–Tate groups is non-trivial. ≥

Proof. It suﬃces to compute the “computation failed” cases in Grigorov’s table in [Gri05, 3.8]. The index of elliptic curves follows that of [LMF], not of Cremona’s table. §

Elliptic curve p Theorem 1.1 [LMF, 6432.n1] 5 Condition (Tam) breaks [LMF, 13790.c1] 11 δ = 0 2663·2707 6 [LMF, 15953.b2] 5 δ = 0 191·1021 6 [LMF, 16698.i1] 5 eδ = 0 31·131 6 [LMF, 17262.f4] 5 eδ = 0 71·181 6 [LMF, 18832.c1] 7 δe113·379 = 0 [LMF, 22678.j2] 5 Conditione (N-imp)6 breaks [LMF, 23826.k1] 5 δe = 0 181·401 6 [LMF, 24642.a1] 5 δ = 0 31·61 6 [LMF, 28644.h2] 5 δe131·161 = 0 e 6 e 31 8.2. Elliptic curves of conductor < 1,000 of rank 1 with p = 5. We also confirm the Iwasawa main conjecture for elliptic curves of conductor≥< 1, 000 having no square-free part of rank 1 with p = 5. Note that the Iwasawa main conjecture for elliptic curves with good ordinary≥ reduction of conductor having square-free part holds due to [SU14]. Corollary 8.2. Under the assumptions of Theorem 1.1, δ = 0 n 6 for some n for all (optimal) elliptic curves over Q of conductor < 1, 000 having no square-free e part with p = 5 of rank 1. Especially, the Iwasawa main conjecture for elliptic curves with good ordinary reduction≥ at p = 5 of conductor < 1, 000 is confirmed. Proof. It suffices to confirm the following examples. Indeed, all the elliptic curves below have rank one. Elliptic curve Theorem 1.1 Elliptic curve Theorem 1.1 [LMF, 196.a2] δ = 0 [LMF, 648.c1] δ = 0 11 6 41 6 [LMF, 288.b3] δ = 0 [LMF, 784.a1] δ = 0 151 6 101 6 [LMF, 289.a4] δe = 0 [LMF, 784.b5] δe = 0 181 6 151 6 [LMF, 324.a2] eδ = 0 [LMF, 784.g2] δe = 0 11 6 691 6 [LMF, 392.a1] eδ = 0 [LMF, 784.h1] eδ = 0 61 6 11 6 [LMF, 392.c1] δe = 0 [LMF, 864.b1] eδ = 0 401 6 11 6 [LMF, 392.d4] δe = 0 [LMF, 864.c1] δe = 0 31 6 41 6 [LMF, 432.b3] eδ = 0 [LMF, 864.d1] δe = 0 11 6 41 6 [LMF, 432.c1] δe = 0 [LMF, 864.e1] δe = 0 31 6 241 6 [LMF, 441.a2] δe = 0 [LMF, 864.g1] δe = 0 11 6 11 6 [LMF, 441.f6] δe = 0 [LMF, 864.i1] δe = 0 41 6 241 6 [LMF, 484.a2] δe = 0 [LMF, 968.a1] δe = 0 101 6 131 6 [LMF, 576.b5] δe = 0 [LMF, 968.b1] eδ = 0 31 6 61 6 [LMF, 648.a1] eδ61 = 0 [LMF, 968.d1] eδ41 = 0 e 6 e 6 e e Remark 8.3. The above list contains elliptic curves with supersingular reduction at p = 5. Note that [LMF, 648.b1] does not satisfy the assumptions in Theorem 1.1 since its mod p representation has exceptional image S4. 8.3. Elliptic curves with good ordinary reduction of square-full conductors. We consider four elliptic curves over Q found from [LMF] as examples and use [Dev19] for computation. Since all the elliptic curves here have no semistable prime in their conductors, Skinner–Urban’s work [SU14] does not apply to these examples. X. Wan’s work [Wan15] could apply only if one can find suitable real quadratic fields. From now on, λ means Iwa- sawa λ-invariants, not a place dividing p. All four elliptic curves Ei (i = 1, , 4) share the following properties: · · · E is ordinary and non-anomalous at p. • i Ei[p] is surjective. • The product of all the Tamagawa factors are not divisible by p. • The µ-invariant is zero and the λ-invariant is 2. • Furthermore, by the last condition, their Iwasawa main conjectures do not follow immediately from Kato’s Euler system divisibility. For the first three elliptic curves, the (analytic) order of the p-part of their Shafarevich–Tate groups are non-trivial (with rank zero), i.e. λ = λX = 2. For the last elliptic curve, the rank of the elliptic curve is two, i.e. λ = λMW = 2. 32 8.3.1. An elliptic curve of conductor 3364 with p = 7. Let E : y2 = x3 4062871x 3152083138 1 − − be an elliptic curve of conductor 3364 = 22 292 as in [LMF, Elliptic Curve 3364.c1]. Then we · have δℓ = 0 for the first 5 Kolyvagin primes ℓ = 1289, 1471, 2549, 2591, and 2689, but δ = 0. e 1289·1471 6 Thus, the main conjectures for all members of the Hida family of E1[p] follow. e 8.3.2. An elliptic curve of conductor 10800 with p = 7. Let E : y2 = x3 1795500x 926032500 2 − − be an elliptic curve of conductor 10800 = 24 33 52 as in [LMF, Elliptic Curve 10800.dl1]. · · Then we have δℓ = 0 for the first 5 Kolyvagin primes ℓ = 71, 113, 491, 967, and 1163, but δ = 0. e 71·113 6 Thus, the main conjectures for all members of the Hida family of E2[p] follow. e 8.3.3. An elliptic curve of conductor 38088 with p = 11. Let E : y2 = x3 937309179x 11045170357450 3 − − be an elliptic curve of conductor 38088 = 23 32 232 as in [LMF, Elliptic Curve 38088.x1]. · · Then we have δℓ = 0 for the first 5 Kolyvagin primes ℓ = 463, 727, 881, 2707, and 2927, but δ = 0. e 463·727 6 Thus, the main conjectures for all members of the Hida family of E3[p] follow. e 8.3.4. An elliptic curve of conductor 3456 with p = 5. Let E : y2 = x3 84x + 304 4 − be an elliptic curve of conductor 3456 = 27 33 as in [LMF, Elliptic Curve 3456.a1]. Then we · have δℓ = 0 for all the 5 Kolyvagin primes ℓ = 191, 211, 311, 401, and 811, but δ = 0. e 191·211 6 Thus, the main conjectures for all members of the Hida family of E4[p] follow. e 8.4. Non-ordinary modular forms. These examples shows how Theorem 1.1 applies to the non-ordinary setting without considering any - or ♯/♭-Iwasawa theory. Since their L-values ± are units, we can easily see δ1 = 0 for these examples. Indeed, the second example is not genuinely new due to [Kur02, Proposition6 6.2]. e 8.4.1. A non-ordinary modular form with p dividing 3. This example is taken from [Fou, 5, A 3-adic example, 4.1.2]. Let § f = q + √6q3 + q5 + 2q7 + 3q9 + ( 2+ √6)q11 q13 + √6q15 + (2 2√6)q17 + − − − · · · in S2(Γ0(520)). Then f is a modular form (of finite slope) which is non-ordinary at p = (3+√6) above 3 in Q(√6). Since a3(f) = 0 and the Hecke field is not Q, neither [Wanb] nor [Spr] applies to this example. If we6 can verify certain automorphic assumptions of [Wana, Theorem 1.4], which should be always true, then [Wana] would apply. 3 Since 520 = 2 5 13, and a5(f)=1 and a13(f)= 1, we have 3 ∤ (5 1) (13 + 1) = 4 14. L(f,1) · · − − · · Since p ∤ + , we have δ1 = 0. Thus, Kato’s main conjecture (Conjecture 3.3) for f at Ωf 6 p = (3+ √6) holds. e 33 8.4.2. An elliptic curve with good supersingular reduction with p = 3. This example is taken from [Fou, 6, A 3-adic example, 4.1.2]. Let E be the elliptic curve over Q defined by § y2 = x3 67x + 926 − with conductor 760 = 23 5 19 as in [LMF, Elliptic Curve 760.e1]. Then we know that the · · L(E,1) residual representation is surjective, a3(E) = 3(= 0), a5(E) = 1, a19(E)= 1, and + = 2. 6 − ΩE Since 3 ∤ (5 1) (19 + 1) = 80 and δ F×, Kato’s main conjecture for E with p = 3 holds. − · 1 ∈ 3 Acknowledgemente This project grew out from C.K.’s year-long discussion with Karl Rubin when he was at UC Irvine. C.K. heartily thanks Liang Xiao and Kâzim Büyükboduk for guiding him to study Kato’s Euler systems and for extremely helpful suggestions and strong encouragement, respectively. C.K. learned many details of Kato’s Euler systems from Kentaro Nakamura and Shanwen Wang during “an explicit week” at KIAS. C.K. also greatly appreciates Masato Kurihara’s constant encouragement and thanks him for pointing out the relation of this work with [Kur14b] and valuable comments. C.K. thanks Ashay Burungale pointing out the anal- ogy with Heegner points; Keunyoung Jeong for figuring out some computation in 5 together; Kazuto Ota for pointing out the non-ordinary generalization; Olivier Fouquet,§ Minhyong Kim, Robert Pollack, Tadashi Ochiai, and Haining Wang for the helpful discussion and encouragement. C.K. appreciates the generous hospitality of Ulsan National Institute of Science and Technology (UNIST), Keio University, and Shanghai Center for Mathematical Sciences during visits. C.K. was partially supported by a KIAS Individual Grant (SP054102) via the Center for Mathematical Challenges at Korea Institute for Advanced Study, by “Over- seas Research Program for Young Scientists” through Korea Institute for Advanced Study, by “the 10th MSJ-Seasonal Institute 2017” through Mathematical Society of Japan, and by Basic Science Research Program through the National Research Foundation of Korea (NRF- 2018R1C1B6007009). M.K. thanks to Kentaro Nakamura and Shanwen Wang for giving nice lectures about Euler Systems at KIAS. With their lectures, M.K. got a better picture of the subject. M.K. appreciates Robert Pollack for the useful discussion and encouragement. M.K. also thanks to Byungheup Jeon, Jungyun Lee, and Peter J. Cho for general support and constant encouragement. H.S. thanks to Ashay Burungale for helpful conversations and comments about modular symbols. H.S. is supported by Basic Science Research Program through the National Research Foundation of Korea (NRF-2017R1A2B4012408). All we deeply thank the organizers of Iwasawa 2017 for providing us with the intensive atmosphere, which makes it possible for us to finish the first draft during the conference. All we deeply thank the referee for his or her extremely careful reading and comments. A number of inaccuracies are corrected and the exposition is improved a lot due to the comments.

References [BCK] Ashay Burungale, Francesc Castella, and Chan-Ho Kim, A proof of Perrin-Riou’s Heegner point main conjecture, submitted, arXiv:1908.09512. [BD05] Massimo Bertolini and Henri Darmon, Iwasawa’s main conjectures for elliptic curves over anticyclotomic Zp-extensions, Ann. of Math. (2) 162 (2005), no. 1, 1–64. [BK90] Spencer Bloch and Kazuya Kato, L-functions and Tamagawa numbers of motives, The Grothendieck Festschrift Volume I (Pierre Cartier, Luc Illusie, Nicholas M. Katz, Gerard Laumon, Yuri Manin, and Kenneth A. Ribet, eds.), Progr. Math., vol. 86, Birkhäuser Boston, 1990, pp. 333–400. [Büy09] Kâzim Büyükboduk, Tamagawa defect of Euler systems, J. Number Theory 129 (2009), no. 2, 402– 417. [Büy11] , Λ-adic Kolyvagin systems, Int. Math. Res. Not. IMRN (2011), no. 14, 3141–3206. 34 [CÇSS] Francesc Castella, Mirela Çiperiani, Christopher Skinner, and Florian Sprung, On the Iwasawa main conjectures for modular forms at non-ordinary primes, preprint, arXiv:1804.10993. [Con01] Brian Conrad, Chapter 5. Appendix by Brian Conrad: The Shimura construction in weight 2, Arith- metic Algebraic Geometry (Brian Conrad and Karl Rubin, eds.), IAS/Park City Math. Ser., vol. 9, AMS, 2001, Appendix to [RS01], pp. 205–221. [Del08] Daniel Delbourgo, Elliptic curves and big Galois representations, London Math. Soc. Lecture Note Ser., vol. 356, Cambridge University Press, 2008. [Dev19] The Sage Developers, SageMath, the Sage Mathematics Software System (Version 8.7), 2019, http://www.sagemath.org. [DT94] Fred Diamond and Richard Taylor, Non-optimal levels of mod ℓ modular representations, Invent. Math. 115 (1994), 435–462. [EPW06] Matthew Emerton, Robert Pollack, and Tom Weston, Variation of Iwasawa invariants in Hida families, Invent. Math. 163 (2006), no. 3, 523–580. [Fou] Olivier Fouquet, The equivariant Tamagawa number conjecture for modular motives with coefficients in Hecke algebras, preprint, arXiv:1604.06411. [GIP] Ralph Greenberg, Adrian Iovita, and Robert Pollack, On the Iwasawa invariants for elliptic curves with supersingular reduction, in preparation, July 2008. [Gre89] Ralph Greenberg, Iwasawa theory for p-adic representations, Algebraic Number Theory – in honor of Kenkichi Iwasawa (John Coates, Ralph Greenberg, Barry Mazur, and Ichiro Satake, eds.), Adv. Stud. Pure Math., Academic Press, 1989, pp. 97–137. [Gre99] , Iwasawa theory for elliptic curves, Arithmetic theory of elliptic curves (Cetraro, 1997) (Berlin) (C. Viola, ed.), Lecture Notes in Math., vol. 1716, Centro Internazionale Matematico Estivo (C.I.M.E.), Florence, Springer-Verlag, 1999, Lectures from the 3rd C.I.M.E. Session held in Cetraro, July 12-19, 1997, pp. 51–144. [Gri05] Grigor Tsankov Grigorov, Kato’s Euler Systems and the Main Conjecture, Ph.D. thesis, Harvard, May 2005, under the supervision of Richard Taylor. [GV00] Ralph Greenberg and Vinayak Vatsal, On the Iwasawa invariants of elliptic curves, Invent. Math. 142 (2000), no. 1, 17–63. [HL19] Jeffrey Hatley and Antonio Lei, Arithmetic properties of signed Selmer groups at non-ordinary primes, Ann. Inst. Fourier (Grenoble) 69 (2019), no. 3, 1259–1294. [Kat93] Kazuya Kato, Lectures on the approach to Iwasawa theory for Hasse–Weil L-functions via BdR. Part I, Arithmetic Algebraic Geometry (Heidelberg) (Edoardo Ballico, ed.), Lecture Notes in Math., vol. 1553, Centro Internazionale Matematico Estivo (C.I.M.E.), Florence, Springer-Verlag, 1993, Lectures given at the 2nd Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Trento, Italy, June 24-July 2, 1991, pp. 50–163. [Kat04] , p-adic Hodge theory and values of zeta functions of modular forms, Astérisque 295 (2004), 117–290. [Kim09] Byoung Du Kim, The Iwasawa invariants of the plus/minus Selmer groups, Asian J. Math. 13 (2009), no. 2, 181–190. [KLP] Chan-Ho Kim, Jaehoon Lee, and Gautier Ponsinet, On the Iwasawa invariants of Kato’s zeta elements for modular forms, submitted, arXiv:1909.01764. [KN20] Chan-Ho Kim and Kentaro Nakamura, Remarks on Kato’s Euler systems for elliptic curves with additive reduction, J. Number Theory 210 (2020), 249–279. [KO] Chan-Ho Kim and Kazuto Ota, On the quantitative variation of congruence ideals and integral periods of modular forms, submitted, arXiv:1905.02926. [Kob03] Shinichi Kobayashi, Iwasawa theory for elliptic curves at supersingular primes, Invent. Math. 152 (2003), no. 1, 1–36. [Kol91] Victor Kolyvagin, On the structure of Selmer groups, Math. Ann. 291 (1991), no. 2, 253–259. [Kur02] Masato Kurihara, On the Tate Shafarevich groups over cyclotomic fields of an elliptic curve with supersingular reduction I, Invent. Math. 149 (2002), 195–224. [Kur14a] , Refined Iwasawa theory for p-adic representations and the structure of Selmer groups, Münster J. of Math. 7 (2014), no. 1, 149–223. [Kur14b] , The structure of Selmer groups of elliptic curves and modular symbols, Iwasawa Theory 2012: State of the Art and Recent Advances (Thanasis Bouganis and Otmar Venjakob, eds.), Contrib. Math. Comput. Sci., vol. 7, Springer, 2014, pp. 317–356. [LMF] The LMFDB Collaboration, The L-functions and modular forms database, http://www.lmfdb.org. [MR04] Barry Mazur and Karl Rubin, Kolyvagin Systems, Mem. Amer. Math. Soc., vol. 168, American Mathematical Society, March 2004. [Och] Tadashi Ochiai, Iwasawa main conjecture for p-adic families of elliptic modular cuspforms, preprint, arXiv:1802.06427.

35 [Och06] , On the two-variable Iwasawa main conjecture, Compos. Math. 142 (2006), 1157–1200. [Ota18] Kazuto Ota, Kato’s Euler system and the Mazur–Tate refined conjecture of BSD type, Amer. J. Math. 140 (2018), no. 2, 495–542. [Pol03] Robert Pollack, On the p-adic L-function of a modular form at a supersingular prime, Duke Math. J. 118 (2003), no. 3, 523–558. [PR00] Bernadette Perrin-Riou, p-adic L-Functions and p-adic Representations, SMF/AMS Texts and Mono- graphs, vol. 3, American Mathematical Society, 2000, Translated by Leila Schneps. [PR04] Robert Pollack and Karl Rubin, The main conjecture for CM elliptic curves at supersingular primes, Ann. of Math. (2) 159 (2004), no. 1, 447–464. [PW11] Robert Pollack and Tom Weston, On anticyclotomic µ-invariants of modular forms, Compos. Math. 147 (2011), 1353–1381. [Roh84] David Rohrlich, On L-functions of elliptic curves and cyclotomic towers, Invent. Math. 75 (1984), 409–423. [RS01] Kenneth Ribet and William Stein, Lectures on Serre’s conjectures, Arithmetic Algebraic Geometry (Brian Conrad and Karl Rubin, eds.), IAS/Park City Math. Ser., vol. 9, AMS, 2001, pp. 143–232. [Rub98] Karl Rubin, Euler systems and modular elliptic curves, Galois representations in arithmetic algebraic geometry (Durham, 1996) (Anthony Scholl and Richard Taylor, eds.), London Math. Soc. Lecture Note Ser., vol. 254, Cambridge University Press, 1998, pp. 351–367. [Rub00] , Euler Systems, Ann. of Math. Stud., vol. 147, Princeton University Press, 2000. [Ski16] Christopher Skinner, Multiplicative reduction and the cyclotomic main conjecture for GL2, Pacific J. Math. 283 (2016), no. 1, 171–200. [Spr] Florian Sprung, The Iwasawa main conjecture for elliptic curves at odd supersingular primes, preprint, arXiv:1610.10017. [SU14] Christopher Skinner and Eric Urban, The Iwasawa main conjectures for GL2, Invent. Math. 195 (2014), no. 1, 1–277. [Vat13] Vinayak Vatsal, Integral periods for modular forms, Ann. Math. Québec 37 (2013), 109–128. [Wana] Xin Wan, Iwasawa main conjecture for non-ordinary modular forms, preprint, February 2020, arXiv:1607.07729. [Wanb] , Iwasawa main conjecture for supersingular elliptic curves and BSD conjecture, preprint, October 2019, arXiv:1411.6352. [Wan15] , The Iwasawa main conjecture for Hilbert modular forms, Forum Math. Sigma 3 (2015), e18 (95 pages). [Wil95] Andrew Wiles, Modular elliptic curves and Fermat’s last theorem, Ann. of Math. (2) 141 (1995), 443–551. [Wil01] Samuel Rufus Williams, Mod p L-functions and analytic Kolyvagin systems, Ph.D. thesis, Harvard, May 2001, under the supervision of Richard Taylor. [Zha14] Wei Zhang, Selmer groups and the indivisibility of Heegner points, Camb. J. Math. 2 (2014), no. 2, 191–253.

(C.-H. Kim) Korea Institute for Advanced Study, 85 Hoegiro, Dongdaemun-gu, Seoul 02455, Republic of Korea E-mail address: [email protected]

(M. Kim) Department of Mathematical Sciences, Ulsan National Institute of Science and Technology, Ulsan, Korea E-mail address: [email protected]

(H.-S. Sun) Department of Mathematical Sciences, Ulsan National Institute of Science and Technology, Ulsan, Korea E-mail address: [email protected]