Pith. sign in

REVIEW 2 major objections 4 minor 56 references

The Equivariant Tamagawa Number Conjectures for modular motives with coefficients in Hecke algebra

T0 review · 2 major / 4 minor · reviewed 2026-08-10 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Under explicit ramification assumptions, the universal Iwasawa Main Conjecture for modular motives with Hecke-algebra coefficients is proved equivalent to the classical Iwasawa Main Conjecture at a single motivic point.

desk verdict A substantial equivariant Iwasawa conjecture paper whose main theorem hinges on a real, likely repairable gap in the Taylor-Wiles-Kisin patching lemma. read the letter →

arxiv 2501.07105 v1 pith:YJD5QOLR submitted 2025-01-13 math.NT

Olivier Fouquet This is my paper · ORCID
classification math.NT MSC 11R2311F8011F6711G40
keywords equivariantTamagawanumberconjectureIwasawamainmodularmotivesHeckealgebraszetamorphismsTaylor-Wiles-KisinpatchingGaloisdeformationsp-adiccongruences
topics Birch and Swinnerton-Dyer
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper works with the equivariant philosophy that special values of $L$-functions of modular forms should vary coherently across $\mathrm{GL}_2$-type congruences, not just individually. It proves, under broad ramification conditions on a residual Galois representation $\bar{\rho}$, that the universal Iwasawa Main Conjecture with coefficients in the Hecke algebra is equivalent to the classical Iwasawa Main Conjecture holding at a single motivic point. Once one point is known, every congruent motivic point satisfies the classical main conjecture, and the Tamagawa Number Conjecture holds at $p$ whenever the relevant $L$-value is non-zero. The proof constructs a Taylor-Wiles-Kisin patching system over local universal framed deformation rings and shows its irreducible components are regular, allowing a universal zeta morphism on fundamental lines to descend to the Hecke algebra. A reader should care because this turns a single computation (one Kolyvagin class, one known main conjecture) into unconditional statements about $L$-values and Galois cohomology for whole families of forms, including forms for which no $p$-adic $L$-function is known.

What carries the argument

The load-bearing object is the universal zeta morphism $z_\Sigma$ acting on the universal fundamental line $\Delta_\Sigma = \Det^{-1}_{\mathbb{T}^m_\Sigma} R\Gamma_{\mathrm{et}}(\mathbb{Z}[1/\Sigma],T_\Sigma) \otimes \Det^{-1}_{\mathbb{T}^m_\Sigma} T_\Sigma(-1)^+$. It is supplied by a theorem building on the $p$-adic Langlands correspondence, and the paper then shows it induces a rational isomorphism. To descend that rational isomorphism to an integral inclusion into the Hecke algebra, the paper uses a Taylor-Wiles-Kisin patching system whose patched ring is the completed tensor product $B=\widehat{\bigotimes}_{\ell\in\Sigma} R_\ell$ of local universal framed deformation rings; Assumption 3.4 is precisely what makes every irreducible component of $B$ a regular local ring, so patched modules have maximal depth and the patched zeta morphism can be pushed down through level-raising specializations.

What would settle it

Produce a pair of motivic points on one deformation space satisfying Assumptions 2.9 and 3.4 such that the classical Iwasawa Main Conjecture holds at the first point and fails at the second; Theorem 4.1 asserts this combination is impossible, so a verified example would refute the universal conjecture.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is Theorem 4.1. Let $\bar{\rho}:G_{\mathbb{Q},\Sigma}\to \mathrm{GL}_2(k)$ be an odd residual Galois representation whose image contains a conjugate of $\mathrm{SL}_2(\mathbb{F}_p)$ and whose local behaviour at $p$ avoids the two degenerate character-extension cases, and assume the auxiliary primes outside the ramification set satisfy the local deformation-type conditions of Assumption 3.4. Then the universal zeta morphism $$z_\Sigma:\Delta_\Sigma(T_\Sigma)\otimes Q(\mathbb{T}^m_\Sigma)\xrightarrow{\sim} Q(\mathbb{T}^m_\Sigma)$$ induces an inclusion $\Delta_\Sigma(T_\Sigma)^{-1}\hookrightarrow \mathbb{T}^m_\Sigma$, and the following are equivalent: (1) the classical Iwasawa Main Conjecture holds for one motivic specialization $\lambda$; (2) it holds for every motivic specialization, and the Tamagawa Number Conjecture for the associated motive holds at $p$ whenever $L(f,\chi,r)\neq 0$; (3) the universal Iwasawa Main Conjecture holds for $T_\Sigma$. The word 'universal' means that a single zeta element and a single fundamental line over the Hecke algebra interpolate the zeta morphisms at all classical points of the deformation space.

Load-bearing premise

The proof assumes that at every auxiliary prime outside the ramification set, the chosen local deformation condition keeps all irreducible components of the completed tensor product of local universal framed deformation rings regular (smooth); if that regularity fails at a single prime, the Taylor-Wiles-Kisin patching construction does not go through.

Editorial extensions

If this is right

  • If the universal Iwasawa Main Conjecture holds for one residual representation, the classical Iwasawa Main Conjecture holds at every motivic point, and the $p$-part of the Tamagawa Number Conjecture holds at those points with non-vanishing $L$-value.
  • A single verified case propagates: one motivic point with the classical main conjecture forces the universal conjecture and hence all other motivic points.
  • Congruences between eigencuspforms become a tool for Iwasawa theory: knowing the main conjecture for $f$ determines the structure of $\mathrm{H}^2_{\mathrm{et}}(\mathbb{Z}[1/p],T(g)_{\mathrm{Iw}})$ for a congruent form $g$, even when $g$ has non-ordinary or irregular local behaviour and no $p$-adic $L$-function.
  • The method yields a divisibility of characteristic ideals relating $\mathrm{H}^2_{\mathrm{et}}(\mathbb{Z}[1/p],T(f)_{\mathrm{Iw}})$ to the quotient of $\mathrm{H}^1_{\mathrm{et}}(\mathbb{Z}[1/p],T(f)_{\mathrm{Iw}})$ by the zeta class, extending results previously unavailable for some ordinary-without-potential-good-reduction cases.
  • In the numerical examples, the universal conjecture gives new predictions such as non-trivial, pseudo-null-free $\Lambda$-modules $\mathrm{H}^2$ and explicit valuations of Tamagawa numbers, for instance the Tamagawa number at 23 for a concrete elliptic curve at $p=5$.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • A natural testable extension is to use the equivalence backward: verify the universal conjecture computationally at one residual representation by checking the classical main conjecture at a single convenient point, then read off arithmetic information at all congruent forms; the paper's examples already do this for two primes, so the strategy appears algorithmic.
  • The regularity assumption on local deformation rings is probably not merely technical: the proof needs every irreducible component of $B$ to be regular to run the patching, which suggests that genuinely singular points of the deformation space are exactly where congruence-compatible Iwasawa theory could break down.
  • Because the argument operates on fundamental lines rather than characteristic ideals of Selmer groups, it suggests that analogous control theorems for Selmer characteristic ideals, which the paper says are false in general, are the wrong object; determinant-line formulations may be the correct congruence-compatible invariant.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 4 minor

Summary. The paper proves an equivariant form of the Tamagawa Number Conjecture / Iwasawa Main Conjecture for modular motives with coefficients in a big local Hecke algebra. Under Assumptions 2.9 and 3.4 on the residual representation and local deformation types, Theorem 4.1 asserts that Nakamura--Colmez--Wang's universal zeta morphism induces an inclusion of the inverse universal fundamental line into the Hecke algebra, and that the classical Iwasawa Main Conjecture at one motivic point, the same conjecture at all motivic points, and the universal Iwasawa Main Conjecture are equivalent. The proof combines Kato's Euler system results, Nakamura/Colmez--Wang's zeta morphism, and Taylor--Wiles--Kisin patching. Consequences include new divisibilities, a corollary on nontrivial second Iwasawa cohomology of congruent forms, and two numerical examples (p=3 and p=5) in settings where previous methods do not apply.

Significance. If the proof is correct, the theorem is a substantial advance: it formulates and proves a coefficient-wise, congruence-compatible Iwasawa main conjecture in the universal deformation ring, deriving the classical Iwasawa Main Conjecture and the TNC at p for modular motives at nonvanishing motivic points from a single universal zeta element. The paper is honest about its hypotheses and gives explicit numerical applications, including a supersingular elliptic curve and an additive-reduction example where no p-adic L-function is available. The reliance on deep published inputs is clear and there is no circularity: the universal conjecture is not assumed in proving the pointwise statements. The main weakness is a load-bearing commutative-algebra gap in Lemma 3.3, discussed below, which currently prevents the patching argument from closing.

major comments (2)
  1. [Lemma 4.5] The proof of Lemma 3.3 uses the assertion 'The depth of a finitely generated module is invariant by change of local noetherian rings' to conclude depth_{O[[y_1,...,y_{h+j}]]}(L_infty) = depth_{R_infty}(L_infty). This statement is false without additional hypotheses. For example, let S = k[[t]], R = S[[u]], and let M = S be viewed as an R-module via the augmentation R -> S sending u to 0; then depth_S(M)=1 while depth_R(M)=0, since u is a zerodivisor for M. Definition 3.1 does not require R_infty to be finite or flat over S=O[[y_1,...,y_{h+j}]], and Proposition 3.5 does not prove such a property. This equality is load-bearing: it yields h+j+1 <= dim R_infty and hence dim R_infty/a_infty = dim B/a, which is exactly the step that upgrades regularity of the local factors R_ell to regularity of R_infty/a_infty. Without a corrected proof, for instance by adding and verifying a finite-flatness or faithful maximal-Cohen-Macaulay condition in Definition 3.1, the Taylor--Wiles--Kisin descent in Theorem 4.1 and its corollaries is not established.
  2. [§4, Lemma 4.5] The final paragraph of the proof of Lemma 4.5 asserts that the union of SIw-valued points where z_Sigma(psi) is a zero-divisor, or H^2(G_{Q_p},T_psi) is infinite, or psi factors through several irreducible components is contained in a subscheme of codimension greater than 1, and that the failure of the inclusion statement is open. No proof or reference is given for either assertion. This is not a formal consequence of the preceding construction of S0. Since the existence of a specialization psi satisfying conditions 1--4 is essential for the contradiction in the proof of Theorem 4.1, this generic-point passage needs a precise argument.
minor comments (4)
  1. [§3, Definition 3.1] The symbol B is reused for the ring B and for the power-series ring B[[x_1,...,x_{h+j-d}]], which is confusing in Lemma 3.3 where quotients B/a and B/a appear; a different letter for the power-series extension would help.
  2. [§4.2.1] In the p=3 example, the verification of Assumption 3.4(3b) at ell=41 only notes that the ratio of Frobenius eigenvalues is -1; the required alternative that every motivic specialization rho_lambda|G_{Q_41} is reducible is not demonstrated in the text, although it may be true for the two listed motivic points.
  3. [§2.4.2] The notation Delta_Sigma(T_Sigma)^{-1} is used in Theorem 4.1 and Corollary 4.2 without an explicit definition; the reader must infer that it denotes the inverse of the fundamental line as a fractional ideal of the total quotient ring. A short definition or remark would remove ambiguity.
  4. [§4.2] The numerical examples rely on computations of Kolyvagin classes and p-adic valuations that are reported but not shown; a short reproducible script or a precise reference for each computation would strengthen the evidence for the examples.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found: the universal Iwasawa Main Conjecture is proved from external inputs, not assumed as an input.

full rationale

Tracing the derivation chain, the central Theorem 4.1 is not circular. The universal zeta morphism zSigma is supplied by the external theorem of Nakamura ([40], Theorem 1.1), the pointwise zeta morphisms by Kato ([29]), and the descent mechanism by Taylor-Wiles-Kisin patching with regularity inputs from Boeckle, Diamond-Flach-Guo, Ramakrishna, Skinner-Wiles, and Shotton. The Universal Iwasawa Main Conjecture (Conjecture 2.13) appears only as the target conclusion, i.e. assertion 3 of Theorem 4.1, and is never used as a hypothesis to prove the inclusion Delta_Sigma(T_Sigma)^{-1} into T_Sigma^m. The equivalences (1) implies (2) and (2) implies (3) are derived only after that inclusion is established. The self-citations to [13], [14], [15], and [16] occur in corollaries and auxiliary bookkeeping, not in the proof of the main equivalence; [16] is an independently submitted manuscript, and none of these citations is the sole justification for a premise whose content equals the conclusion. The numerical predictions in Section 4.2 are consequences of the proved theorem together with external computations, not fitted inputs. One non-circularity concern is explicitly flagged: the proof of Lemma 3.3 asserts that 'The depth of a finitely generated module is invariant by change of local noetherian rings', which is false in general and is not justified by Definition 3.1; this is a potential correctness gap in the Taylor-Wiles-Kisin patching argument, but it is not an input-output circularity. Accordingly, the circularity score is 0.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The central theorem rests on the external results listed above; none is proved in this manuscript, and none is replaced by a new postulate. The paper introduces no free parameters or new entities. The most fragile input is the regularity of local deformation rings under Assumption 3.4, which is checked by reference to several published computations.

assumptions (5)
  • domain assumption Kato's theorem 2.6: existence of S-partial zeta morphisms for T(f)_Iw and strictly critical twists.
    Invoked in Section 2.3 to define the classical Iwasawa Main Conjecture and to prove torsion properties in Proposition 2.12; cited from [29, Theorems 12.4 and 12.5].
  • domain assumption Nakamura-Colmez-Wang universal zeta morphism (Theorem 2.10): zSigma from TSigma(-1)^+ to H^1_et(Z[1/Sigma],TSigma) compatible with motivic specializations.
    Invoked in Section 2.4.2 as the input to the Universal Iwasawa Main Conjecture; relies on the full p-adic Langlands correspondence [8,43].
  • domain assumption Taylor-Wiles-Kisin patching produces the ring B and modules with the required freeness and depth properties (Proposition 3.5).
    Used in Section 3 and in the proof of Theorem 4.1; based on Kisin's patching theorem [31] and Fujiwara's freeness criterion [17,53].
  • domain assumption Local deformation rings R_l for primes in Sigma have regular irreducible components under Assumption 3.4.
    Used in Lemma 3.3 and Proposition 3.5 to conclude that every irreducible component of B is a regular local ring; calculations cited from [46,5,50,10,49].
  • domain assumption Kato's Euler system theorem [28, Theorem 0.8] applies to the specializations in Lemma 4.5.
    Used in the final contradiction step of Theorem 4.1 to force the inclusion zSigma from DeltaSigma(Tpsi)^{-1} into S_Iw.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The Equivariant Tamagawa Number Conjectures for modular motives with coefficients in Hecke algebra." pith.science (2026). https://pith.science/paper/YJD5QOLR

@misc{pith2026250107105,
  author       = {Pith},
  title        = {Pith review of: The Equivariant Tamagawa Number Conjectures for modular motives with coefficients in Hecke algebra},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/YJD5QOLR}},
  note         = {Machine review of arXiv:2501.07105}
}
abstract

Modular motives have coefficients in Hecke algebras. According to the equivariant philosophy, special values of $L$-functions of eigencuspforms should therefore exhibit equivariant properties with respect to various Hecke actions. This manuscript shows that this is indeed the case at least under broad conditions on ramification and deduce from them new properties of the Iwasawa Main Conjecture for modular forms. This manuscript is dedicated to the memory of Jo\"el Bella\"iche.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

56 extracted references · 55 canonical work pages

  1. [1]

    Critical p-adic L-functions

    Joël Bellaïche. Critical p-adic L-functions. Invent. Math. , 189(1):1–60, 2012

    work page 2012

  2. [2]

    Ranks of Selmer groups in an analytic fam ily

    Joël Bellaïche. Ranks of Selmer groups in an analytic fam ily. Trans. Amer. Math. Soc. , 364(9):4735–4761, 2012

    work page 2012

  3. [3]

    Families of Galois representations and Selmer groups

    Joël Bellaïche and Gaëtan Chenevier. Families of Galois representations and Selmer groups. Astérisque, (324):xii+314, 2009. 34

    work page 2009

  4. [4]

    L-functions and Tamagawa numbers of mo- tives

    Spencer Bloch and Kazuya Kato. L-functions and Tamagawa numbers of mo- tives. In The Grothendieck Festschrift, Vol. I , volume 86 of Progr. Math., pages 333–400. Birkhäuser Boston, Boston, MA, 1990

    work page 1990

  5. [5]

    Demuškin groups with group actions and a pplications to de- formations of Galois representations

    Gebhard Böckle. Demuškin groups with group actions and a pplications to de- formations of Galois representations. Compositio Math., 121(2):109–154, 2000

    work page 2000

  6. [6]

    Motivic L-functions and Galois module struc- tures

    David Burns and Matthias Flach. Motivic L-functions and Galois module struc- tures. Math. Annalen , 305:65–102, 1996

    work page 1996

  7. [7]

    La conjecture de Birch et Swinnerton-Dye rp-adique

    Pierre Colmez. La conjecture de Birch et Swinnerton-Dye rp-adique. Astérisque, (294):ix, 251–319, 2004

    work page 2004

  8. [8]

    Représentations de GL2(Qp) et (φ, Γ) -modules

    Pierre Colmez. Représentations de GL2(Qp) et (φ, Γ) -modules. Astérisque, (330):281–509, 2010

    work page 2010

Show all 56 references
  1. [9]

    Valeurs de fonctions L et périodes d’intégrales

    Pierre Deligne. Valeurs de fonctions L et périodes d’intégrales. In Automorphic forms, representations and L-functions (Proc. Sympos. Pure Math., Oregon State Univ., Corvallis, Ore., 1977), Part 2 , Proc. Sympos. Pure Math., XXXIII, pages 313–346. Amer. Math. Soc., Providence,...

    1977

  2. [10]

    The Tamagawa n umber conjecture of adjoint motives of modular forms

    Fred Diamond, Matthias Flach, and Li Guo. The Tamagawa n umber conjecture of adjoint motives of modular forms. Ann. Sci. École Norm. Sup. (4) , 37(5):663– 727, 2004

    2004

  3. [11]

    Varia tion of Iwasawa invariants in Hida families

    Matthew Emerton, Robert Pollack, and Tom Weston. Varia tion of Iwasawa invariants in Hida families. Invent. Math. , 163(3):523–580, 2006

    2006

  4. [12]

    Valeurs spéciales des fonctions L des motifs

    Jean-Marc Fontaine. Valeurs spéciales des fonctions L des motifs. Astérisque, (206):Exp. No. 751, 4, 205–249, 1992. Séminaire Bourbaki, V ol. 1991/92

    1992

  5. [13]

    p-adic properties of motivic fundamental lines

    Olivier Fouquet. p-adic properties of motivic fundamental lines. J. Éc. polytech. Math., 4:37–86, 2017

    2017

  6. [14]

    Congruences and the Iwasawa Main Conj ecture for modular forms

    Olivier Fouquet. Congruences and the Iwasawa Main Conj ecture for modular forms. In Algèbre et théorie des nombres. , Publ. Math. Univ. Franche-Comté Besançon Algèbr. Theor. Nr., page 17. Lab. Math. Besançon, B esançon, 2024. to appear

    2024

  7. [15]

    Control theorems f or Selmer groups of nearly ordinary deformations

    Olivier Fouquet and Tadashi Ochiai. Control theorems f or Selmer groups of nearly ordinary deformations. J. reine angew. Math. , 666:163–187, 2012

    2012

  8. [16]

    The Iwasawa Main Conjectur e for modular motives

    Olivier Fouquet and Xin Wan. The Iwasawa Main Conjectur e for modular motives. soumis, disponible sur arxiv 2107.13726, 2022

    2022 arXiv

  9. [17]

    Deformation rings and Hecke algebr as in the totally real case, 1999

    Kazuhiro Fujiwara. Deformation rings and Hecke algebr as in the totally real case, 1999. Preprint, 99pp

    1999

  10. [18]

    A formulation of conject ures on p-adic zeta functions in noncommutative Iwasawa theory

    Takako Fukaya and Kazuya Kato. A formulation of conject ures on p-adic zeta functions in noncommutative Iwasawa theory. In Proceedings of the St. Peters- burg Mathematical Society. Vol. XII , volume 219 of Amer. Math. Soc. Transl. Ser. 2 , pages 1–85, Providence, RI, 2006. Ame...

    2006

  11. [19]

    Gouvêa and Barry Mazur

    Fernando Q. Gouvêa and Barry Mazur. On the density of mod ular represen- tations. In Computational perspectives on number theory (Chicago, IL, 199 5), volume 7 of AMS/IP Stud. Adv. Math. , pages 127–142. Amer. Math. Soc., Providence, RI, 1998

    1998

  12. [20]

    Galois theory for the Selmer group of a n abelian variety

    Ralph Greenberg. Galois theory for the Selmer group of a n abelian variety. Compositio Math., 136(3):255–297, 2003

    2003

  13. [21]

    Gross and Don B

    Benedict H. Gross and Don B. Zagier. Heegner points and d erivatives of L- series. Invent. Math. , 84(2):225–320, 1986

    1986

  14. [22]

    Galois representations into GL2(Zp[[X]]) attached to ordinary cusp forms

    Haruzo Hida. Galois representations into GL2(Zp[[X]]) attached to ordinary cusp forms. Invent. Math. , 85(3):545–613, 1986. 35

    1986

  15. [23]

    On nearly ordinary Hecke algebras for GL(2) over totally real fields

    Haruzo Hida. On nearly ordinary Hecke algebras for GL(2) over totally real fields. In Algebraic number theory , volume 17 of Adv. Stud. Pure Math. , pages 139–169. Academic Press, Boston, MA, 1989

    1989

  16. [24]

    Analogies between number fields and f unction fields

    Kenkichi Iwasawa. Analogies between number fields and f unction fields. In Some Recent Advances in the Basic Sciences, Vol. 2 (Proc. Ann ual Sci. Conf., Belfer Grad. School Sci., Yeshiva Univ., New York, 1965-1966 ), pages 203–208. Belfer Graduate School of Science, Yeshiva Univ...

    1965

  17. [25]

    The Birch and Swinnerton-Dyer formula for elliptic curves of analytic ra nk one

    Dimitar Jetchev, Christopher Skinner, and Xin Wan. The Birch and Swinnerton-Dyer formula for elliptic curves of analytic ra nk one. Camb. J. Math., 5(3):369–434, 2017

    2017

  18. [26]

    Iwasawa theory and p-adic Hodge theory

    Kazuya Kato. Iwasawa theory and p-adic Hodge theory. Kodai Math. J. , 16(1):1–31, 1993

    1993

  19. [27]

    Lectures on the approach to Iwasawa theory for Hasse-Weil L- functions via BdR

    Kazuya Kato. Lectures on the approach to Iwasawa theory for Hasse-Weil L- functions via BdR. I. In Arithmetic algebraic geometry (Trento, 1991) , volume 1553 of Lecture Notes in Math. , pages 50–163. Springer, Berlin, 1993

    1991

  20. [28]

    Euler systems, Iwasawa theory, and Selmer groups

    Kazuya Kato. Euler systems, Iwasawa theory, and Selmer groups. Kodai Math. J., 22(3):313–372, 1999

    1999

  21. [29]

    p-adic Hodge theory and values of zeta functions of modular forms

    Kazuya Kato. p-adic Hodge theory and values of zeta functions of modular forms. Astérisque, (295):ix, 117–290, 2004. Cohomologies p-adiques et applica- tions arithmétiques. III

    2004

  22. [30]

    Iwasawa theory and generalizations

    Kazuya Kato. Iwasawa theory and generalizations. In International Congress of Mathematicians. Vol. I , pages 335–357. Eur. Math. Soc., Zürich, 2007

    2007

  23. [31]

    Moduli of finite flat group schemes, and modul arity

    Mark Kisin. Moduli of finite flat group schemes, and modul arity. Ann. of Math. (2), 170(3):1085–1180, 2009

    2009

  24. [32]

    Iwasawa theory for elliptic curv es at supersingular primes

    Shin-ichi Kobayashi. Iwasawa theory for elliptic curv es at supersingular primes. Invent. Math. , 152(1):1–36, 2003

    2003

  25. [33]

    Euler systems

    Viktor Kolyvagin. Euler systems. In The Grothendieck Festschrift, Vol. II , volume 87 of Progr. Math. , pages 435–483. Birkhäuser Boston, Boston, MA, 1990

    1990

  26. [34]

    Eine p-adische Theorie der Zetawerte

    Tomio Kubota and Heinrich-Wolfgang Leopoldt. Eine p-adische Theorie der Zetawerte. I. Einführung der p-adischen Dirichletschen L-Funktionen. J. reine angew. Math. , 214/215:328–339, 1964

    1964

  27. [35]

    Ju. I. Manin. Non-Archimedean integration and p-adic Jacquet-Langlands L- functions. Uspehi Mat. Nauk , 31(1(187)):5–54, 1976

    1976

  28. [36]

    On the arithmetic of special values of L functions

    Barry Mazur. On the arithmetic of special values of L functions. Invent. Math., 55(3):207–240, 1979

    1979

  29. [37]

    Arithmetic of W eil curves

    Barry Mazur and Peter Swinnerton-Dyer. Arithmetic of W eil curves. Invent. Math., 25:1–61, 1974

    1974

  30. [38]

    Tate, and J

    Barry Mazur, J. Tate, and J. Teitelbaum. On p-adic analogues of the conjectures of Birch and Swinnerton-Dyer. Invent. Math. , 84(1):1–48, 1986

    1986

  31. [39]

    Class fields of abelian ext ensions of Q

    Barry Mazur and Andrew Wiles. Class fields of abelian ext ensions of Q. Invent. Math., 76(2):179–330, 1984

    1984

  32. [40]

    Zeta morphisms for rank two universa l deformations

    Kentaro Nakamura. Zeta morphisms for rank two universa l deformations. In- vent. Math. , 234(1):171–290, 2023

    2023

  33. [41]

    Selmer complexes

    Jan Nekovář. Selmer complexes. Astérisque, (310):559, 2006

    2006

  34. [42]

    On the two-variable Iwasawa main conje cture

    Tadashi Ochiai. On the two-variable Iwasawa main conje cture. Compos. Math., 142(5):1157–1200, 2006. 36

    2006

  35. [43]

    The image of Colmez’s Montreal functor

    Vytautas Pašk¯ unas. The image of Colmez’s Montreal functor. Publ. Math. Inst. Hautes Études Sci. , 118:1–191, 2013

    2013

  36. [44]

    Fonctions L p-adiques des représentations p-adiques

    Bernadette Perrin-Riou. Fonctions L p-adiques des représentations p-adiques. Astérisque, (229):198, 1995

    1995

  37. [45]

    On the p-adicL-function of a modular form at a supersingular prime

    Robert Pollack. On the p-adicL-function of a modular form at a supersingular prime. Duke Math. J. , 118(3):523–558, 2003

    2003

  38. [46]

    On a variation of Mazur’s deformatio n functor

    Ravi Ramakrishna. On a variation of Mazur’s deformatio n functor. Compositio Math., 87(3):269–286, 1993

    1993

  39. [47]

    Rohrlich

    David E. Rohrlich. Nonvanishing of L-functions for GL(2). Invent. Math. , 97(2):381–403, 1989

    1989

  40. [48]

    Anthony J. Scholl. Motives for modular forms. Invent. Math. , 100(2):419–430, 1990

    1990

  41. [49]

    Local deformation rings for GL2 and a Breuil-Mézard conjecture when ℓ ⁄=p

    Jack Shotton. Local deformation rings for GL2 and a Breuil-Mézard conjecture when ℓ ⁄=p. Algebra Number Theory , 10(7):1437–1475, 2016

    2016

  42. [50]

    C. M. Skinner and A. J. Wiles. Residually reducible repr esentations and mod- ular forms. Inst. Hautes Études Sci. Publ. Math. , (89):5–126 (2000), 1999

    2000

  43. [51]

    The Iwasawa main co njectures for GL2

    Christopher Skinner and Eric Urban. The Iwasawa main co njectures for GL2. Invent. Math. , 195(1):1–277, 2014

    2014

  44. [52]

    Iwasawa theory for elliptic curves at s upersingular primes: a pair of main conjectures

    Florian Sprung. Iwasawa theory for elliptic curves at s upersingular primes: a pair of main conjectures. J. Number Theory , 132(7):1483–1506, 2012

    2012

  45. [53]

    Ring-theoretic prope rties of certain Hecke algebras

    Richard Taylor and Andrew Wiles. Ring-theoretic prope rties of certain Hecke algebras. Ann. of Math. (2) , 141(3):553–572, 1995

    1995

  46. [54]

    Bordeaux

    The PARI Group, Univ. Bordeaux. PARI/GP version 2.17.0, 2024

    2024

  47. [55]

    From the Birch and Swinnerton-Dyer Con jecture to non- commutative Iwasa theory via the Equivariant Tamagawa Number Conjecture-a survey

    Otmar Venjakob. From the Birch and Swinnerton-Dyer Con jecture to non- commutative Iwasa theory via the Equivariant Tamagawa Number Conjecture-a survey. In L-functions and Galois representations (Durham, July 2004) , vol- ume 320 of London Math. Soc. Lecture Note Ser. , pages ...

    2004

  48. [56]

    M.M. Visik. Non-Archimedean measures connected with D irichlet series. Math. USSR, Sb. , 28:216–228, 1976. Olivier Fouquet Labora toire de ma théma tiques de Besançon 16, route de Gra y 25000 Besançon France E-mail address : olivier.fouquet@univ-fcomte.fr 37

    1976

Pith tools

Reviewed August 10, 2026 · model on record in the stance chip above.