On the indivisibility of derived Kato's Euler systems and the main conjecture for modular forms

DOI10.1007/S00029-020-00554-WMaRDI QIDQ2174755zbMATH OpenOpenAlexWikidataFDO

Authors Chan-Ho Kim, Myoungil Kim, Hae-Sang Sun

Publication date 27 April 2020

Published in Selecta Mathematica. New Series (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1709.05780

zbMATH Keywords

Euler systemsHida familiesIwasawa main conjecturesIwasawa theoryKato's Euler systemsKolyvagin systemsmodular symbols

Mathematics Subject Classification ID

Special values of automorphic (L)-series, periods of automorphic forms, cohomology, modular symbols (11F67) Iwasawa theory (11R23)

Abstract: We provide a simple and efficient numerical criterion to verify the Iwasawa main conjecture and the indivisibility of derived Kato's Euler systems for modular forms of weight two at any good prime under mild assumptions. In the ordinary case, the criterion works for all members of a Hida family once and for all. The key ingredient is the explicit computation of the integral image of the derived Kato's Euler systems under the dual exponential map. We provide explicit new examples at the end. This work does not appeal to the Eisenstein congruence method at all.

Review text

Let \(p\) be an odd prime. \textit{K. Kato} [in: Cohomologies \(p\)-adiques et applications arithmétiques (III). Paris: Société Mathématique de France. 117--290 (2004; Zbl 1142.11336)] used his Euler systems to prove one divisibility of the Iwasawa main conjecture for modular forms over the cyclotomic \(\mathbb Z_p\)-extension of \(\mathbb Q\). The present article gives a numerical criterion to prove this divisibility is equality by giving a sufficient numerical criterion based on modular symbols for the mod \(p\) non-vanishing of the Kolyvagin derivatives of Mazur-Tate elements. This can be used to verify Iwasawa's main conjecture for many modular forms of weight two. This criterion extends work of \textit{G. Grigorov} [Kato's Euler system and the main conjecture. Harvard (Ph.D. Thesis) (2005)] and \textit{M. Kurihara} [Contrib. Math. Comput. Sci. 7, 317--356 (2014; Zbl 1361.11039)] to modular forms with arbitrary coefficients and to both ordinary and non-ordinary forms. The numerical condition is used to complete some entries in a table given by Grigorov [loc. cit.]. Also, Iwasawa's main conjecture is verified for elliptic curves with good ordinary reduction at \(p = 5\) of conductor less than 1000. The criterion of the present paper allows the verification of the main conjecture for certain Hida families, and this is done for four examples arising from elliptic curves with no semi-stable primes. Also, the criterion is applied to two non-ordinary forms, one with non-rational coefficients.

Recommendations

• Bipartite Euler systems
• The Heegner point Kolyvagin system
• scientific article; zbMATH DE number 5204611
• scientific article; zbMATH DE number 2123616
• Euler system obtained from congruences between Hilbert modular forms
• Iwasawa theory for modular forms
• Indivisibility of Kato's Euler systems and Kurihara numbers
• Hida duality and the Iwasawa main conjecture
• Cyclotomic Fields and Zeta Values
• Main conjectures and modular forms

Cites work

• -adic Kolyvagin systems
• A proof of Perrin-Riou's Heegner point main conjecture
• Arithmetic properties of signed Selmer groups at non-ordinary primes
• Euler Systems
• scientific article; zbMATH DE number 6382814 (Why is no real title available?)
• scientific article; zbMATH DE number 5306920 (Why is no real title available?)
• scientific article; zbMATH DE number 16076 (Why is no real title available?)
• scientific article; zbMATH DE number 16335 (Why is no real title available?)
• scientific article; zbMATH DE number 1302905 (Why is no real title available?)
• scientific article; zbMATH DE number 503128 (Why is no real title available?)
• scientific article; zbMATH DE number 1368944 (Why is no real title available?)
• scientific article; zbMATH DE number 2123616 (Why is no real title available?)
• scientific article; zbMATH DE number 1413020 (Why is no real title available?)
• Integral periods for modular forms
• Iwasawa theory for elliptic curves at supersingular primes
• Iwasawa theory for elliptic curves at supersingular primes: a pair of Main Conjectures
• Iwasawa's main conjecture for elliptic curves over anticyclotonic \(\mathbb Z_p\)-extensions
• Kato's Euler system and the Mazur-Tate refined conjecture of BSD type
• Kolyvagin systems
• Lectures on Serre's conjectures.
• Modular elliptic curves and Fermat's Last Theorem
• Multiplicative reduction and the cyclotomic main conjecture for \(\mathrm{GL}_2\)
• Non-optimal levels of \(\text{mod }l\) modular representations
• On \(L\)-functions of elliptic curves and cyclotomic towers
• On anticyclotomic -invariants of modular forms
• On the \(p\)-adic \(L\)-function of a modular form at a supersingular prime
• On the Iwasawa invariants of elliptic curves
• On the quantitative variation of congruence ideals and integral periods of modular forms
• On the structure of Selmer groups
• On the Tate-Shafarevich groups over cyclotomic fields of an elliptic curve with supersingular reduction. I.
• On the two-variable Iwasawa main conjecture
• Remarks on Kato's Euler systems for elliptic curves with additive reduction
• Selmer groups and the indivisibility of Heegner points
• Tamagawa defect of Euler systems
• The Iwasawa invariants of the plus/minus Selmer groups
• The Iwasawa main conjecture for Hilbert modular forms
• The Iwasawa Main Conjectures for \(\mathrm{GL}_{2}\)
• The main conjecture for CM elliptic curves at supersingular primes
• The structure of Selmer groups of elliptic curves and modular symbols
• Variation of Iwasawa invariants in Hida families

Cited in

(6)

• \(p\)-Selmer group and modular symbols
• Remarks on Kato's Euler systems for elliptic curves with additive reduction
• Kato's Euler system and the Mazur-Tate refined conjecture of BSD type
• Indivisibility of Kato's Euler systems and Kurihara numbers
• The structure of Selmer groups and the Iwasawa main conjecture for elliptic curves
• Euler system obtained from congruences between Hilbert modular forms

Describes a project that uses

Uses Software

• SageMath
• LMFDB

This page was built for publication: On the indivisibility of derived Kato's Euler systems and the main conjecture for modular forms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2174755)