Pith. sign in

REVIEW 2 major objections 2 minor 63 references

On the $\mathbb{Z}_p$-extensions of a totally $p$-adic imaginary quadratic field -- With an appendix by Jean-Fran\c{c}ois Jaulent

T0 review · 2 major / 2 minor · reviewed 2026-05-24 · grok-4.3

Challenge this review Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The p-valuation of a Fermat quotient of the fundamental p-unit governs the Z_p-extensions and logarithmic class groups of totally p-adic imaginary quadratic fields.

desk verdict The paper states new relations for class-group filtrations in Z_p-extensions using Fermat quotient valuations but invokes the logarithmic class group linkage without deriving it internally. read the letter →

arxiv 2403.16603 v6 submitted 2024-03-25 math.NT

Georges Gras (LMB) This is my paper · ORCID
classification math.NT
keywords Z_p-extensionsimaginaryquadraticfieldslogarithmicclassgroupFermatquotientp-classanti-cyclotomicextensioncapitulationIwasawainvariants
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

The paper shows that in an imaginary quadratic field k where an odd prime p splits completely, the p-adic valuation of the Fermat quotient associated to its fundamental p-unit determines the order of the logarithmic class group of k. This same valuation controls the structure of the non-cyclotomic Z_p-extensions of k, including the indices in the filtration of p-class groups along the tower, and it generalizes the Gold-Sands criterion without needing assumptions of total ramification or trivial class group. The results provide explicit relations for the first two layers of the filtration and for capitulation in the anti-cyclotomic extension, all derived from this single invariant. These findings offer new ways to compute class group behavior in infinite towers using only base field data.

What carries the argument

the p-valuation δ_p(k) of the Fermat quotient of the fundamental p-unit x of k, which serves as the governing arithmetic invariant linking units to class group filtrations in the extensions

What would settle it

Finding a specific imaginary quadratic field k and prime p splitting in k where the computed order of the logarithmic class group does not match the value predicted from the Fermat quotient valuation of its fundamental p-unit.

Watch

Extended reading notes

Core claim

The central discovery is that the p-valuation δ_p(k) of a Fermat quotient of the fundamental p-unit x of k determines the order of the logarithmic class group H_k and the ratios #(H_{K_n}^2 / H_{K_n}^1) = #~H_k for large n in the Z_p-extension K/k, while also generalizing criteria for the p-class groups in these extensions and in the anti-cyclotomic subextension, without assuming total ramification or trivial p-class group.

Load-bearing premise

The logarithmic class group H_k and the filtrations H_{K_n}^i are assumed to satisfy the stated relations with the Fermat quotient valuation from the beginning.

Editorial extensions

If this is right

  • The order of the logarithmic class group is given explicitly in terms of δ_p(k).
  • The filtration quotients in the tower stabilize to a value determined by the base invariant for sufficiently large layers.
  • The Gold-Sands criterion is generalized to cases without total ramification.
  • Capitulation of suitable classes occurs in the first layer of the anti-cyclotomic Z_p-extension for p=3.
  • Large λ-invariants are realized in certain Z_p-extensions by choosing appropriate base fields.

Reading between the lines

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

  • If δ_p(k) can be computed algorithmically for many k, then the class group behavior in the entire tower becomes predictable from finite data.
  • The appendix suggests similar control may hold for abelian extensions of higher degree.
  • Conjecture 7.10 on further capitulation could be tested by extending the computations in Section 9 to more fields.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 2 minor

Summary. The manuscript claims to establish new properties of the non-cyclotomic ℤ_p-extensions K/k of an imaginary quadratic field k=ℚ(√−m) with p≥3 splitting in k. These properties are governed by the p-valuation δ_p(k) of the Fermat quotient of the fundamental p-unit x of k. Specifically, δ_p(k) determines the order of the logarithmic class group #ℋ_k (Theorem 4.2, extended in the appendix to imaginary abelian fields of prime-to-p degree), generalizes the Gold-Sands criterion, and controls the relation #(ℋ_{K_n}^2 / ℋ_{K_n}^1) = #~ℋ_k for sufficiently large n (Theorem 7.1). The results are obtained without assuming total ramification of K/k or triviality of the p-class group of k, and without employing Iwasawa theory. Additional results include a generalization of a theorem of Kundu-Washington on the anti-cyclotomic extension (Theorem 7.8), explicit computations for p=3 using the Log_p function (Theorems 9.2, 9.4), and generalizations of Ozaki's results on large λ-invariants (Theorems 10.1, 10.7).

Significance. If the claimed linkages between δ_p(k) and the logarithmic class group filtrations hold, the paper would provide a novel approach to studying p-class groups in ℤ_p-extensions that bypasses standard Iwasawa-theoretic machinery, offering explicit criteria based on Fermat quotients and computational verifiability through the programs in Appendix C. This could be significant for understanding capitulation phenomena and class number growth in such extensions. The inclusion of an appendix by Jaulent extending one of the main theorems adds credibility to the abelian case generalization.

major comments (2)
  1. [§4, Theorem 4.2] §4, Theorem 4.2: The theorem asserts that δ_p(k) yields #ℋ_k, but the manuscript invokes the existence, basic properties, and precise linkage of the logarithmic class group ℋ_k to the Fermat quotient valuation δ_p(k) without deriving this connection internally; the proof of the theorem is not visible in the text.
  2. [§7, Theorem 7.1] §7, Theorem 7.1: The claim that #(ℋ_{K_n}^2 / ℋ_{K_n}^1) = #~ℋ_k for n large enough is presented as following from δ_p(k), yet the relation between the filtration quotients and the logarithmic class group is presupposed rather than established within the paper, particularly the avoidance of Iwasawa theory arguments.
minor comments (2)
  1. Notation for the logarithmic class group alternates between ℋ_k, H_k, and ~ℋ_k; consistent use throughout would improve clarity.
  2. [Appendix C] Appendix C mentions programs and calculations but does not specify the programming language or software environment used.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and the detailed comments on our manuscript. The points raised concern the visibility and internal derivation of key linkages in Theorems 4.2 and 7.1. We address each below and indicate the revisions that will be incorporated.

read point-by-point responses

  1. Referee: [§4, Theorem 4.2] §4, Theorem 4.2: The theorem asserts that δ_p(k) yields #ℋ_k, but the manuscript invokes the existence, basic properties, and precise linkage of the logarithmic class group ℋ_k to the Fermat quotient valuation δ_p(k) without deriving this connection internally; the proof of the theorem is not visible in the text.

    Authors: We agree that the step-by-step derivation linking δ_p(k) to #ℋ_k should be made fully explicit and self-contained within Section 4. The current text relies on the definition of the logarithmic class group and the Fermat quotient but does not spell out every intermediate equality. In the revised version we will expand the proof of Theorem 4.2 with a detailed chain of equalities showing how the p-valuation of the Fermat quotient determines the order, without external appeals for the core linkage. revision: yes

  2. Referee: [§7, Theorem 7.1] §7, Theorem 7.1: The claim that #(ℋ_{K_n}^2 / ℋ_{K_n}^1) = #~ℋ_k for n large enough is presented as following from δ_p(k), yet the relation between the filtration quotients and the logarithmic class group is presupposed rather than established within the paper, particularly the avoidance of Iwasawa theory arguments.

    Authors: The manuscript intends to derive the equality #(ℋ_{K_n}^2 / ℋ_{K_n}^1) = #~ℋ_k directly from the value of δ_p(k) and the explicit definition of the filtration on the p-class groups of the layers K_n, without Iwasawa theory. We acknowledge that the passage from the logarithmic class group to the filtration quotients is not written out with sufficient intermediate steps. The revised proof of Theorem 7.1 will insert these steps, showing how the relation follows from the earlier results on δ_p(k) and the filtration definitions while preserving the non-Iwasawa approach. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: central claims derive from δ_p(k) valuation applied to standard class-field objects

full rationale

The paper states Thm. 4.2 and Thm. 7.1 as consequences of the p-valuation δ_p(k) of the Fermat quotient of the fundamental p-unit, together with the existence of the logarithmic class group H_k and the filtrations H_{K_n}^i. These objects and their linkage are treated as given inputs from class-field theory rather than being redefined or fitted inside the paper; the theorems then compute orders and equalities from that valuation. No step reduces a prediction to a fitted parameter by construction, no self-citation chain is load-bearing for the governance claim, and no ansatz is smuggled via prior work of the same author. The derivation chain therefore remains self-contained against external benchmarks once the standard objects are granted.

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

The central claims rest on the existence of the logarithmic class group H_k, the definition of the Fermat quotient valuation δ_p(k), and the standard properties of Z_p-extensions and p-class group filtrations in algebraic number theory; no new entities are postulated and no numerical parameters are fitted.

assumptions (2)
  • domain assumption Existence and basic functoriality of the logarithmic class group H_k for imaginary quadratic fields
    Invoked in Thm. 4.2 and extended in App. A; treated as background from prior literature.
  • domain assumption Standard properties of Z_p-extensions and the filtration of p-class groups H_{K_n}^i
    Used throughout Sec. 7 and Thm. 7.1 without re-derivation.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On the $\mathbb{Z}_p$-extensions of a totally $p$-adic imaginary quadratic field -- With an appendix by Jean-Fran\c{c}ois Jaulent." pith.science (2026). https://pith.science/paper/2403.16603

@misc{pith2026240316603,
  author       = {Pith},
  title        = {Pith review of: On the $\mathbbZ_p$-extensions of a totally $p$-adic imaginary quadratic field -- With an appendix by Jean-Fran\ccois Jaulent},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2403.16603}},
  note         = {Machine review of arXiv:2403.16603}
}
abstract

Let $k = \mathbb{Q}(\sqrt {-m})$ and $p \geq 3$ split in $k$. We prove new properties of the $\mathbb{Z}_p$-extensions $K/k$, distinct from the cyclotomic one; we do not assume $K/k$ totally ramified, nor the triviality of the $p$-class group of $k$. These properties are governed by the $p$-valuation $\delta_p(k)$ of a Fermat quotient of the fundamental $p$-unit $x$ of $k$, which also yields the order of the logarithmic class group $\# \mathcal{H}_k$ (Thm. 4.2 extended in App.A to the case of imaginary abelian fields of prime-to-$p$ degree), and allows to generalize the Gold-Sands criterion (Sec. 7). These results are related to the first two elements, $\mathcal{H}_{K_n}^1$ and $\mathcal{H}_{K_n}^2$, of the filtrations of the $p$-class groups in $K = \cup_n K_n$, without any argument of Iwasawa's theory, and provide new perspectives since $\# ( \mathcal{H}_{K_n}^2/ \mathcal{H}_{K_n}^1) = \# \widetilde {\mathcal{H}}_k$ for $n$ large enough (Thm 7.1). We give a short proof generalizing a result of Kundu-Washington (Thm. 7.8) on the $p$-class groups in the anti-cyclotomic $\mathbb{Z}_p$-extension $k^{\rm ac}$. We compute, Sec. 9, for $p = 3$, the first layer $k_1^{\rm ac}$ of $k^{\rm ac}$, using the Log$_p$-function, and show (Thms. 9.2,9.4) that capitulation of suitable ``classes'' is possible in $k^{\rm ac}$, suggesting Conjecture 7.10. Finally, we generalize (Thms.10.1,10.7) a result of Ozaki giving large $\lambda$'s invariants. Calculations and programs are gathered App. C.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

63 extracted references · 63 canonical work pages

  1. [1]

    Belabas and J.-F

    K. Belabas and J.-F. Jaulent, The logarithmic class group package in PARI/GP, Pub. Math. Besan con, Alg\`ebre et Th\'eorie des nombres (2016), 5--18. \\ https://doi.org/10.5802/pmb.o-1

    work page doi:10.5802/pmb.o-1 2016

  2. [2]

    Brink, Prime decomposition in the anti-cyclotomic extension, Math

    D. Brink, Prime decomposition in the anti-cyclotomic extension, Math. Comp. 76 (260) (2007), 2127--2138. https://doi.org/10.1090/S0025-5718-07-01964-3

    work page doi:10.1090/s0025-5718-07-01964-3 2007

  3. [3]

    Chevalley, Sur la th\'eorie du corps de classes dans les corps finis et les corps locaux, Th\`ese no

    C. Chevalley, Sur la th\'eorie du corps de classes dans les corps finis et les corps locaux, Th\`ese no. 155, J. of the Faculty of Sciences Tokyo 2 (1933), 365--476. \\ http://archive.numdam.org/item/THESE_1934__155__365_0/

    work page 1933

  4. [4]

    Carroll and H

    J.E. Carroll and H. Kisilevsky, Initial layers of _ -extensions of complex quadratic fields, Compositio Math. 32 (2) (1976), 157--168. \\ http://www.numdam.org/item/CM_1976__32_2_157_0/

    work page 1976

  5. [5]

    Dummit, D

    D. Dummit, D. Ford, H. Kisilevsky and J. Sands, Computation of Iwasawa lambda invariants for imaginary quadratic fields, J. Number Theory 37 (1991), 100--121. \\ https://doi.org/10.1016/S0022-314X(05)80027-7

    work page doi:10.1016/s0022-314x(05)80027-7 1991

  6. [6]

    Ellenberg, S

    J. Ellenberg, S. Jain and A. Venkatesh, Modeling -invariants by p -adic random matrices, Comm. Pure Appl. Math. 64 (9) (2011), 1243--1262. \\ https://www.math.ias.edu/ akshay/research/ejv.pdf

    work page 2011

  7. [7]

    Federer and B.H

    L.J. Federer and B.H. Gross (Appendix by W. Sinnott), Regulators and Iwasawa modules, Invent. Math. 62 (1981), 443--457. https://doi.org/10.1007/BF01394254

    work page doi:10.1007/bf01394254 1981

  8. [8]

    Fujii, On a bound of and the vanishing of of _p -extensions of an imaginary quadratic field, J

    S. Fujii, On a bound of and the vanishing of of _p -extensions of an imaginary quadratic field, J. Math. Soc. Japan 65 (1) (2013), 277--298. \\ https://doi.org/10.2969/jmsj/06510277

    work page doi:10.2969/jmsj/06510277 2013

Show all 63 references
  1. [9]

    Gillard, Fonctions L p -adiques des corps quadratiques imaginaires et de leurs extensions ab\'eliennes, J

    R. Gillard, Fonctions L p -adiques des corps quadratiques imaginaires et de leurs extensions ab\'eliennes, J. Reine Angew. Math. 358 (1985), 76--91. \\ http://eudml.org/doc/152722

    1985

  2. [10]

    Gold, The non triviality of certain _ -extensions, J

    R. Gold, The non triviality of certain _ -extensions, J. Number Theory 6 (1974), 369--373. https://doi.org/10.1016/0022-314X(74)90034-1

    1974 doi

  3. [11]

    Gras, Sur les _2 -extensions d'un corps quadratique imaginaire, Annales de l'Institut Fourier 33 (4) (1983), 1--18

    G. Gras, Sur les _2 -extensions d'un corps quadratique imaginaire, Annales de l'Institut Fourier 33 (4) (1983), 1--18. https://doi.org/10.5802/aif.939

    1983 doi

  4. [12]

    Gras, Plongements Kumm\'eriens dans les _p -extensions, Compositio Math

    G. Gras, Plongements Kumm\'eriens dans les _p -extensions, Compositio Math. 55 (3) (1985), 383--396. http://www.numdam.org/item/?id=CM_1985__55_3_383_0

    1985

  5. [13]

    Gras, Class Field Theory: from theory to practice, corr

    G. Gras, Class Field Theory: from theory to practice, corr. 2nd ed. Springer Monographs in Mathematics, Springer, xiii+507 pages (2005)

    2005

  6. [14]

    Gras, Les -r\'egulateurs locaux d'un nombre alg\'ebrique : Conjectures p -adiques, Canad

    G. Gras, Les -r\'egulateurs locaux d'un nombre alg\'ebrique : Conjectures p -adiques, Canad. J. Math. 68 (3) (2016), 571--624. English translation: \\ https://arxiv.org/abs/1701.02618 https://doi.org/10.4153/CJM-2015-026-3

    2016 doi

  7. [15]

    Gras, Invariant generalized ideal classes -- Structure theorems for p -class groups in p -extensions, Proc

    G. Gras, Invariant generalized ideal classes -- Structure theorems for p -class groups in p -extensions, Proc. Indian Acad. Sci. (Math. Sci.) 127 (1) (2017), 1--34. \\ https://doi.org/10.1007/s12044-016-0324-1

    2017 doi

  8. [16]

    Gras, Approche p -adique de la conjecture de Greenberg pour les corps totalement r\'eels, Annales Math\'ematiques Blaise Pascal 24 (2) (2017), 235--291

    G. Gras, Approche p -adique de la conjecture de Greenberg pour les corps totalement r\'eels, Annales Math\'ematiques Blaise Pascal 24 (2) (2017), 235--291. \\ https://doi.org/10.5802/ambp.370

    2017 doi

  9. [17]

    Gras, The p -adic Kummer--Leopoldt Constant: Normalized p -adic Regulator, Int

    G. Gras, The p -adic Kummer--Leopoldt Constant: Normalized p -adic Regulator, Int. J. Number Theory 14 (2) (2018), 329--337. \\ https://doi.org/10.1142/S1793042118500203

    2018 doi

  10. [18]

    Gras, Heuristics and conjectures in direction of a p -adic Brauer--Siegel theorem, Math

    G. Gras, Heuristics and conjectures in direction of a p -adic Brauer--Siegel theorem, Math. Comp. 88 (318) (2019), 1929--1965. https://doi.org/10.1090/mcom/3395

    2019 doi

  11. [19]

    Gras, Normes d'id\'eaux dans la tour cyclotomique et conjecture de Greenberg, Ann

    G. Gras, Normes d'id\'eaux dans la tour cyclotomique et conjecture de Greenberg, Ann. Math. Qu\'ebec 43 (2019), 249--280. https://doi.org/10.1007/s40316-018-0108-3

    2019 doi

  12. [20]

    Gras, Practice of the Incomplete p -Ramification Over a Number Field -- History of Abelian p -Ramification, Communications in Advanced Mathematical Sciences 2 (4) (2019), 251--280

    G. Gras, Practice of the Incomplete p -Ramification Over a Number Field -- History of Abelian p -Ramification, Communications in Advanced Mathematical Sciences 2 (4) (2019), 251--280. https://doi.org/10.33434/cams.573729

    2019 doi

  13. [21]

    Gras, Algorithmic complexity of Greenberg's conjecture, Arch

    G. Gras, Algorithmic complexity of Greenberg's conjecture, Arch. Math. 117 (2021), 277--289. https://doi.org/10.1007/s00013-021-01618-9

    2021 doi

  14. [22]

    Gras, On the -stability of p -class groups along cyclic p -towers of a number field, Int

    G. Gras, On the -stability of p -class groups along cyclic p -towers of a number field, Int. J. Number Theory 18 (10) (2022), 2241--2263. https://doi.org/10.1142/S1793042122501147

    2022 doi

  15. [23]

    Gras, Algebraic norm and p -class group capitulations in totally ramified cyclic p -extensions, Math

    G. Gras, Algebraic norm and p -class group capitulations in totally ramified cyclic p -extensions, Math. Comp. (2024) (to appear). \\ https://doi.org/10.1090/mcom/3920

    2024 doi

  16. [24]

    Greenberg, On the Iwasawa invariants of totally real number fields, Amer

    R. Greenberg, On the Iwasawa invariants of totally real number fields, Amer. J. Math. 98(1) (1976), 263--284. https://doi.org/10.2307/2373625

    1976 doi

  17. [26]

    Grandet and J-F

    M. Grandet and J-F. Jaulent, Sur la capitulation dans une _ -extension, J. reine angew. Math. 362 (1985), 213--217. http://eudml.org/doc/152777

    1985

  18. [27]

    Hajir and C

    F. Hajir and C. Maire, Prime decomposition and the Iwasawa -invariant, Mathematical Proceedings of the Cambridge Philosophical Society 166 (3) (2019), 599--617. \\ https://doi.org/10.1017/S0305004118000191

    2019 doi

  19. [28]

    Horie, A note on basic Iwasawa -invariant of imaginary quadratic fields, Invent

    K. Horie, A note on basic Iwasawa -invariant of imaginary quadratic fields, Invent. Math. 88 (1987), 31--38. https://doi.org/10.1007/BF01405089

    1987 doi

  20. [29]

    Hubbard and L.C

    D. Hubbard and L.C. Washington, Kummer generators and lambda invariants, J. Number Theory 130 (1) (2010), 61--81. https://doi.org/10.1016/j.jnt.2009.06.001

    2010 doi

  21. [30]

    Hubbard and L.C

    D. Hubbard and L.C. Washington, Iwasawa invariants of some non-cyclotomic _p -extensions, J. Number Theory 188 (2018), 18--47. \\ https://doi.org/10.1016/j.jnt.2018.01.009

    2018 doi

  22. [31]

    Iwasawa, On the -invariant of _ -extensions, Number theory, algebraic geometry and commutative algebra, in honor of Yasuo Akizuki, pp

    K. Iwasawa, On the -invariant of _ -extensions, Number theory, algebraic geometry and commutative algebra, in honor of Yasuo Akizuki, pp. 1--11, Kinokuniya, Tokyo 1973

    1973

  23. [32]

    Itoh and Y

    T. Itoh and Y. Takakura, On tamely ramified Iwasawa modules for _p -exten\-sions of imaginary quadratic fields, Tokyo J. Math. 37 (2) (2014), 405--431.\\ https://researchmap.jp/read0210406/published_papers/4856830

    2014

  24. [33]

    Jaulent, L'arithm\'etique des -extensions (Th\`ese d'\'etat), Publications Math\'ema\-tiques de Besan con 1 (1) (1986), 1--357

    J-F. Jaulent, L'arithm\'etique des -extensions (Th\`ese d'\'etat), Publications Math\'ema\-tiques de Besan con 1 (1) (1986), 1--357. https://doi.org/10.5802/pmb.a-42

    1986 doi

  25. [34]

    Jaulent, Sur le noyau sauvage des corps de nombres, Acta Arith

    J-F. Jaulent, Sur le noyau sauvage des corps de nombres, Acta Arith. 67 (4) (1994), 335--348. http://eudml.org/doc/206636

    1994

  26. [35]

    Jaulent, Classes logarithmiques des corps de nombres, J

    J-F. Jaulent, Classes logarithmiques des corps de nombres, J. Th\'eor. Nombres Bordeaux 6 (2) (1994), 301--325. https://doi.org/10.5802/jtnb.117

    1994 doi

  27. [36]

    Jaulent, Th\'eorie -adique globale du corps de classes, J

    J-F. Jaulent, Th\'eorie -adique globale du corps de classes, J. Th\'eor. Nombres Bordeaux 10 (2) (1998), 355--397. https://doi.org/10.5802/jtnb.233

    1998 doi

  28. [37]

    Jaulent, Sur les normes cyclotomiques et les conjectures de Leopoldt et de Gross--Kuz'min, Annales

    J-F. Jaulent, Sur les normes cyclotomiques et les conjectures de Leopoldt et de Gross--Kuz'min, Annales. Math. Qu\'ebec 41 (2017), 119--140. \\ https://doi.org/10.1007/s40316-016-0069-3

    2017 doi

  29. [38]

    Jaulent, Note sur la conjecture de Greenberg, J

    J-F. Jaulent, Note sur la conjecture de Greenberg, J. Ramanujan Math. Soc. 34 (1) (2019) 59--80. \\ http://www.mathjournals.org/jrms/2019-034-001/2019-034-001-005.html

    2019

  30. [39]

    Jaulent, Principalisation ab\'elienne des groupes de classes logarithmiques, Functiones et Approximatio 61 (2019), 257--275

    J-F. Jaulent, Principalisation ab\'elienne des groupes de classes logarithmiques, Functiones et Approximatio 61 (2019), 257--275. https://doi.org/10.7169/facm/1765

    2019 doi

  31. [40]

    Jaulent, Sur la trivialit\'e de certains modules d'Iwasawa, Funct

    J-F. Jaulent, Sur la trivialit\'e de certains modules d'Iwasawa, Funct. Approx. Comment. Math. 70 (1) (2024), 29--39. https://doi.org/10.7169/facm/2092

    2024 doi

  32. [41]

    Jaulent, Classes logarithmiques imaginaires des corps ab\'eliens (preprint 2024)

    J-F. Jaulent, Classes logarithmiques imaginaires des corps ab\'eliens (preprint 2024). \\ http://arxiv.org/abs/2406.18929

    2024

  33. [42]

    Jaulent and J.W

    J-F. Jaulent and J.W. Sands, Sur quelques modules d'Iwasawa semi-simples, Compositio Math. 99 (3) (1995), 325--341. http://eudml.org/doc/90418

    1995

  34. [43]

    Kataoka, Consequences of Greenberg's generalized conjecture on Iwasawa invariants of _p -extensions, J

    T. Kataoka, Consequences of Greenberg's generalized conjecture on Iwasawa invariants of _p -extensions, J. Number Theory 172 (2017), 200--233. \\ https://doi.org/10.1016/j.jnt.2016.08.008

    2017 doi

  35. [45]

    Kim and J

    J.M. Kim and J. Oh, Defining polynomial of the first layer of anti-cyclotomic _3 -extension of imaginary quadratic fields of class number 1 , Proc. Japan Acad. 80 (A) (2004), 18--19. https://doi.org/10.3792/pjaa.80.18

    2004 doi

  36. [46]

    Koymans and C

    P. Koymans and C. Pagano, On the distribution of Cl(K)[ ^ ] for degree cyclic fields, J. Eur. Math. Soc. 24 (4) (2022), 1189--1283. https://doi.org/10.4171/JEMS/1112

    2022 doi

  37. [47]

    J. S. Kraft and R. Schoof, Computing Iwasawa modules of real quadratic number fields, Compositio Math. 97 (1-2) (1995), 135--155. Erratum. Compositio Math. 103 (2) (1996), p. 241. http://eudml.org/doc/90370 \\ http://www.numdam.org/item?id=CM_1996__103_2_241_0

    1995

  38. [48]

    Kundu and L.C

    D. Kundu and L.C. Washington, Heuristics for anti-cyclotomic _p -extensions (2022). \\ https://doi.org/10.48550/arXiv.2207.13199

    2022 doi

  39. [49]

    Li and D

    H. Li and D. Qiu, On p -rationality of number fields and Greenberg's generalized conjecture (2023). http://arxiv.org/abs/2304.10157

    2023 arXiv

  40. [50]

    Li and Chia-Fu Yu, The Chevalley--Gras formula over global fields, J

    J. Li and Chia-Fu Yu, The Chevalley--Gras formula over global fields, J. Th\'eor. Nombres Bordeaux 32 (2) (2020), 525--543. https://doi.org/10.5802/jtnb.1133

    2020 doi

  41. [51]

    Murakami, A weak form of Greenberg's generalized conjecture for imaginary quadratic fields, J

    K. Murakami, A weak form of Greenberg's generalized conjecture for imaginary quadratic fields, J. Number Theory 244 (2023), 308--338. \\ https://doi.org/10.1016/j.jnt.2022.08.010

    2023 doi

  42. [52]

    Oukhaba and S

    H. Oukhaba and S. Vigui\'e, On the -invariant of Katz p -adic L -functions attached to imaginary quadratic fields, Forum Math. 28 (2016), 507--525. \\ https://doi.org/10.1515/forum-2013-0194

    2016 doi

  43. [53]

    Ozaki, K

    M. Ozaki, K. Miyake (ed.), Iwasawa Invariants of _p -Extensions over an Imaginary Quadratic Field, Advanced Studies in Pure Mathematics 30 (2001), pp. 387--399. \\ https://doi.org/10.2969/aspm/03010387

    2001 doi

  44. [54]

    Ozaki, Construction of _p -extensions with prescribed Iwasawa modules, J

    M. Ozaki, Construction of _p -extensions with prescribed Iwasawa modules, J. Math. Soc. Japan 56 (3) (2004), 787--801. https://doi.org/10.2969/jmsj/1191334086

    2004 doi

  45. [55]

    Pagani, Greenberg's conjecture for real quadratic fields and the cyclotomic _2 -extension, Math

    L. Pagani, Greenberg's conjecture for real quadratic fields and the cyclotomic _2 -extension, Math. Comp. 91 (2022) 1437--1467. \\ https://doi.org/10.1090/mcom/3712

    2022 doi

  46. [56]

    Bordeaux

    The PARI Group, PARI/GP, version 2.5.3 (2013) , Univ. Bordeaux

    2013

  47. [57]

    \\ http://arxiv.org/abs/2402.06028

    Peikai Qi, Iwasawa -invariant and Massey product (2024). \\ http://arxiv.org/abs/2402.06028

    2024

  48. [58]

    Perbet, Sur les invariants d'Iwasawa dans les extensions de Lie p -adiques, Algebra Number Theory 5 (6) (2011), 819--848

    G. Perbet, Sur les invariants d'Iwasawa dans les extensions de Lie p -adiques, Algebra Number Theory 5 (6) (2011), 819--848. https://doi.org/10.2140/ant.2011.5.819

    2011 doi

  49. [59]

    Ray, A note on the distribution of Iwasawa invariants of imaginary qua\-dratic fields, Bull

    A. Ray, A note on the distribution of Iwasawa invariants of imaginary qua\-dratic fields, Bull. Braz. Math. Soc., New Series 54 (3) (2023), article 36. \\ https://doi.org/10.1007/s00574-023-00353-9

    2023 doi

  50. [60]

    Sands, On small Iwasawa invariants and imaginary quadratic fields, Proc

    J.W. Sands, On small Iwasawa invariants and imaginary quadratic fields, Proc. Amer. Math. Soc. 112 (1991), 671--684. \\ https://doi.org/10.1090/S0002-9939-1991-1057961-4

    1991 doi

  51. [61]

    Sands, On the non-triviality of the basic Iwasawa -invariant for an infinitude of imaginary quadratic fields, Acta Arith

    J.W. Sands, On the non-triviality of the basic Iwasawa -invariant for an infinitude of imaginary quadratic fields, Acta Arith. 65 (3) (1993), 243--248. \\ https://doi.org/10.4064/aa-65-3-243-248

    1993 doi

  52. [62]

    Schneps, On the -invariant of p -adic L -functions attached to elliptic curves with complex multiplication, J

    L. Schneps, On the -invariant of p -adic L -functions attached to elliptic curves with complex multiplication, J. Number Theory 25 (1) (1987), 20--33. \\ https://doi.org/10.1016/0022-314X(87)90013-8

    1987 doi

  53. [63]

    Stokes, On CM elliptic curves and the cyclotomic -invariants of imaginary quadratic fields, J

    M. Stokes, On CM elliptic curves and the cyclotomic -invariants of imaginary quadratic fields, J. Number Theory 256 (2024), 160--169. \\ https://doi.org/10.1016/j.jnt.2023.09.011

    2024 doi

  54. [64]

    Takahashi, On Greenberg's generalized conjecture for imaginary quartic fields (2020)

    N. Takahashi, On Greenberg's generalized conjecture for imaginary quartic fields (2020). https://arxiv.org/abs/2001.11768

    2020

  55. [65]

    Van Huele, On T -semisimplicity of Iwasawa modules and some computations with _3 -extensions, Ph.D

    Y. Van Huele, On T -semisimplicity of Iwasawa modules and some computations with _3 -extensions, Ph.D. thesis, University of Washington (2016). \\ http://hdl.handle.net/1773/37178

    2016

Pith tools

Reviewed May 24, 2026 · model on record in the stance chip above.