Recognition: no theorem link
On the Iwasawa λ-invariant of the cyclotomic mathbb{Z}₂-extension of a family of real quadratic fields in which 2 splits
Pith reviewed 2026-05-12 02:17 UTC · model grok-4.3
The pith
Under specified conditions on primes p and q, the Iwasawa λ-invariant λ₂(K) is zero for K = ℚ(√(pq)).
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Under the additional assumptions (2/p)₄(2/q)₄(pq/2)₄ = -1 and (2/p)₄ = -1 or (2/q)₄ = -1, λ₂(K) = 0. The proof combines Greenberg's criterion for the split prime case with a capitulation argument modeled on Kumakawa. The main new input is a square-class computation of the Hasse unit index of the biquadratic extension K₂=ℚ(√(pq), √(2+√2))/ℚ₁=ℚ(√2), showing that q(K₂)≤2.
What carries the argument
The Hasse unit index q(K₂) ≤ 2 obtained via square-class computation in the biquadratic extension, which feeds into Greenberg’s split-prime criterion and capitulation to force λ₂(K)=0.
If this is right
- The 2-primary class numbers stabilize in the cyclotomic ℤ₂-extension of these fields.
- Greenberg's conjecture is confirmed for the λ-invariant in this family under the stated assumptions.
- The method provides a template for proving vanishing of λ-invariants using unit index computations.
Where Pith is reading between the lines
- The square-class method might extend to other biquadratic extensions or different primes.
- Explicit computation for small p and q could provide numerical evidence or counterexamples.
- Relaxing the quartic conditions may be possible with refined capitulation arguments.
Load-bearing premise
The square-class computation showing that the Hasse unit index q(K₂) ≤ 2 holds and is correctly combined with Greenberg’s split-prime criterion.
What would settle it
An explicit pair of primes p, q satisfying all conditions but for which either q(K₂) > 2 or λ₂(K) > 0.
read the original abstract
We study Greenberg's conjecture for cyclotomic $\mathbb{Z}_2$-extensions of real quadratic fields. Let $K=\mathbb{Q}(\sqrt{pq})$, where $$ p\equiv 1 \mod 8,\qquad q\equiv 9 \mod {16},\qquad \left(\frac{p}{q}\right)=-1. $$ Under the additional assumptions $$ \left(\frac{2}{p}\right)_4 \left(\frac{2}{q}\right)_4 \left(\frac{pq}{2}\right)_4=-1 $$ and $$ \left(\frac{2}{p}\right)_4=-1 \quad\text{or}\quad \left(\frac{2}{q}\right)_4=-1, $$ we prove that $\lambda_2(K)=0$. The proof combines Greenberg's criterion for the split prime case with a capitulation argument modeled on Kumakawa. The main new input is a square-class computation of the Hasse unit index of the biquadratic extension $K_2=\mathbb{Q}(\sqrt{pq}, \sqrt{2+\sqrt{2}})/\mathbf{Q}_1=\mathbb{Q}(\sqrt{2})$, showing that $q(K_2)\le 2$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims to prove that the Iwasawa λ-invariant λ₂(K) equals zero for the cyclotomic ℤ₂-extension of the real quadratic field K = ℚ(√(pq)), where p and q are primes satisfying p ≡ 1 (mod 8), q ≡ 9 (mod 16), (p/q) = −1, together with the quartic residue symbol conditions (2/p)₄ (2/q)₄ (pq/2)₄ = −1 and (2/p)₄ = −1 or (2/q)₄ = −1. The argument invokes Greenberg’s criterion in the split-prime case after a capitulation argument modeled on Kumakawa, with the key new ingredient being a square-class computation establishing that the Hasse unit index q(K₂) ≤ 2 for the biquadratic extension K₂ = ℚ(√(pq), √(2+√2)) over ℚ(√2).
Significance. If the central computation holds, the result furnishes an explicit infinite family of real quadratic fields in which 2 splits for which Greenberg’s conjecture is verified. The explicit determination of the unit index in the biquadratic extension constitutes a concrete, checkable contribution that strengthens the case for the vanishing of λ-invariants in this setting.
major comments (1)
- The square-class computation establishing q(K₂) ≤ 2 (the main new input, used to apply Greenberg’s split-prime criterion after capitulation): this bound is load-bearing for the conclusion λ₂(K)=0. The manuscript must explicitly enumerate the square classes in K₂/ℚ(√2), identify which are represented by units versus non-units, and verify that the quartic-symbol hypotheses force the index to be at most 2; an independent unit whose local behavior or norm violates the bound would prevent the criterion from implying vanishing λ.
Simulated Author's Rebuttal
We thank the referee for the careful reading of our manuscript and the constructive suggestion regarding the square-class computation. We have revised the paper to make this central argument fully explicit as requested.
read point-by-point responses
-
Referee: The square-class computation establishing q(K₂) ≤ 2 (the main new input, used to apply Greenberg’s split-prime criterion after capitulation): this bound is load-bearing for the conclusion λ₂(K)=0. The manuscript must explicitly enumerate the square classes in K₂/ℚ(√2), identify which are represented by units versus non-units, and verify that the quartic-symbol hypotheses force the index to be at most 2; an independent unit whose local behavior or norm violates the bound would prevent the criterion from implying vanishing λ.
Authors: We agree that the square-class computation is load-bearing and benefits from greater explicitness. In the revised manuscript we have added a new subsection (now Section 3.2) that enumerates all square classes of K₂ modulo squares from ℚ(√2). The representatives considered are 1, the fundamental unit ε of ℚ(√2), 2, 2ε, √(2+√2), and the products arising from the biquadratic extension. For each class we determine whether it is represented by a unit or a non-unit by computing its norm to ℚ(√2) and its local behavior at the primes above 2, p, and q. Under the stated quartic-residue hypotheses—(2/p)₄(2/q)₄(pq/2)₄ = −1 together with (2/p)₄ = −1 or (2/q)₄ = −1—we show case-by-case that any unit in K₂ whose square class lies outside the subgroup generated by the units of ℚ(√2) must be a square in K₂ itself. This forces the Hasse unit index q(K₂) ≤ 2. No additional independent unit appears whose local norm would violate the bound, so Greenberg’s split-prime criterion applies after the capitulation step and yields λ₂(K) = 0. The added enumeration and case analysis make the verification checkable and remove any ambiguity. revision: yes
Circularity Check
No circularity: external criterion plus explicit new computation
full rationale
The derivation applies Greenberg's split-prime criterion (external) after a capitulation argument modeled on Kumakawa and an explicit square-class computation establishing q(K₂) ≤ 2 in the biquadratic extension K₂/ℚ(√2). The quartic-symbol hypotheses control the relevant classes in this computation, which is presented as the main new input rather than a fit or renaming of prior results. No equation reduces λ₂(K) to a parameter fitted from the target or to a self-cited uniqueness theorem; the central claim therefore retains independent content from the unit-index bound.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Greenberg’s criterion applies directly to the split-prime case for the cyclotomic ℤ₂-extension
- domain assumption The capitulation argument modeled on Kumakawa is valid under the given quartic-residue conditions
Reference graph
Works this paper leans on
-
[1]
Ayad, Mohamed , TITLE =. Manuscripta Math. , FJOURNAL =. 1992 , NUMBER =. doi:10.1007/BF02567763 , URL =
-
[2]
Balakrishnan, Jennifer S. , TITLE =. J. Number Theory , FJOURNAL =. 2016 , PAGES =. doi:10.1016/j.jnt.2015.07.003 , URL =
-
[3]
Bertrand, Daniel , journal=. Valeurs de fonctions th. 1980 , publisher=
work page 1980
-
[4]
Topics in the theory of p-adic heights on elliptic curves , author=. 2019 , school=
work page 2019
-
[5]
Bilu, Yuri and Parent, Pierre , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2011 , NUMBER =. doi:10.4007/annals.2011.173.1.13 , URL =
-
[6]
Bourdon, Abbey and Clark, Pete L. , TITLE =. Pacific J. Math. , FJOURNAL =. 2020 , NUMBER =. doi:10.2140/pjm.2020.305.43 , URL =
-
[7]
and Krijan, Ivan and Najman, Filip , TITLE =
Chou, Michael and Daniels, Harris B. and Krijan, Ivan and Najman, Filip , TITLE =. New York J. Math. , FJOURNAL =. 2021 , PAGES =
work page 2021
-
[8]
Cheon, J. and Hahn, S. , TITLE =. Manuscripta Math. , FJOURNAL =. 1998 , NUMBER =. doi:10.1007/s002290050104 , URL =
-
[9]
Clark, Pete L. and Pollack, Paul , TITLE =. C. R. Math. Acad. Sci. Paris , FJOURNAL =. 2015 , NUMBER =. doi:10.1016/j.crma.2015.05.004 , URL =
-
[10]
Clark, Pete L. and Pollack, Paul , TITLE =. Q. J. Math. , FJOURNAL =. 2017 , NUMBER =. doi:10.1093/qmath/hax024 , URL =
- [11]
-
[12]
Kim, Byoung Du , TITLE =. J. Aust. Math. Soc. , FJOURNAL =. 2013 , NUMBER =. doi:10.1017/S1446788713000165 , URL =
-
[13]
Frey, Gerhard , TITLE =. Israel J. Math. , FJOURNAL =. 1994 , NUMBER =. doi:10.1007/BF02758637 , URL =
-
[14]
Gonz\'alez-Jim\'enez, Enrique and Najman, Filip , TITLE =. Math. Comp. , FJOURNAL =. 2020 , NUMBER =. doi:10.1090/mcom/3478 , URL =
-
[15]
Gold, Robert , TITLE =. J. Number Theory , FJOURNAL =. 1974 , PAGES =. doi:10.1016/0022-314X(74)90034-1 , URL =
-
[16]
Arithmetic theory of elliptic curves (
Greenberg, Ralph , TITLE =. Arithmetic theory of elliptic curves (. 1999 , ISBN =. doi:10.1007/BFb0093453 , URL =
-
[17]
Greenberg, Ralph and Vatsal, Vinayak , TITLE =. Invent. Math. , FJOURNAL =. 2000 , NUMBER =. doi:10.1007/s002220000080 , URL =
-
[18]
Harvey, David , TITLE =. LMS J. Comput. Math. , FJOURNAL =. 2008 , PAGES =. doi:10.1112/S1461157000000528 , URL =
-
[19]
Iovita, Adrian and Pollack, Robert , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2006 , PAGES =. doi:10.1515/CRELLE.2006.069 , URL =
-
[20]
Katz, Nicholas M. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1976 , NUMBER =. doi:10.2307/1970966 , URL =
-
[21]
Kobayashi, Shin-ichi , TITLE =. Invent. Math. , FJOURNAL =. 2003 , NUMBER =. doi:10.1007/s00222-002-0265-4 , URL =
-
[22]
The p-adic Gross-Zagier formula for elliptic curves at supersingular primes , author=. Invent. Math. , volume=. 2013 , publisher=
work page 2013
- [23]
-
[24]
arXiv preprint arXiv:2102.02411 , year=
Statistics for Iwasawa invariants of elliptic curves , author=. arXiv preprint arXiv:2102.02411 , year=
-
[25]
Elliptic curves, modular forms and
Lawson, Tyler and Wuthrich, Christian , TITLE =. Elliptic curves, modular forms and. 2016 , ISBN =. doi:10.1007/978-3-319-45032-2\_11 , URL =
-
[26]
Lozano-Robledo, \'Alvaro , TITLE =. Math. Ann. , FJOURNAL =. 2013 , NUMBER =. doi:10.1007/s00208-013-0906-5 , URL =
-
[27]
Algebra Number Theory , FJOURNAL =
Lozano-Robledo, \'Alvaro , TITLE =. Algebra Number Theory , FJOURNAL =. 2022 , NUMBER =. doi:10.2140/ant.2022.16.777 , URL =
-
[28]
Mazur, Barry , TITLE =. Invent. Math. , FJOURNAL =. 1972 , PAGES =. doi:10.1007/BF01389815 , URL =
- [29]
-
[30]
Mazur, B. , TITLE =. Invent. Math. , FJOURNAL =. 1978 , NUMBER =. doi:10.1007/BF01390348 , URL =
-
[31]
Mazur, Barry and Stein, William and Tate, John , TITLE =. Doc. Math. , FJOURNAL =. 2006 , PAGES =
work page 2006
-
[32]
Mazur, B. and Tate, J. , TITLE =. Duke Math. J. , FJOURNAL =. 1991 , NUMBER =. doi:10.1215/S0012-7094-91-06229-0 , URL =
-
[33]
Mazur, B. and Tate, J. and Teitelbaum, J. , TITLE =. Invent. Math. , FJOURNAL =. 1986 , NUMBER =. doi:10.1007/BF01388731 , URL =
-
[34]
Matsuno, Kazuo , TITLE =. Manuscripta Math. , FJOURNAL =. 2007 , NUMBER =. doi:10.1007/s00229-006-0068-9 , URL =
-
[35]
McConnell, Gary , TITLE =. Compositio Math. , FJOURNAL =. 1996 , NUMBER =
work page 1996
-
[36]
Merel, Lo\"ic , TITLE =. Invent. Math. , FJOURNAL =. 1996 , NUMBER =. doi:10.1007/s002220050059 , URL =
- [37]
-
[38]
Perrin-Riou, Bernadette , TITLE =. M\'em. Soc. Math. France (N.S.) , FJOURNAL =. 1984 , PAGES =
work page 1984
-
[39]
Perrin-Riou, Bernadette , TITLE =. Invent. Math. , FJOURNAL =. 1990 , NUMBER =. doi:10.1007/BF01234420 , URL =
-
[40]
Bernardi, Dominique and Perrin-Riou, Bernadette , TITLE =. C. R. Acad. Sci. Paris S\'er. I Math. , FJOURNAL =. 1993 , NUMBER =
work page 1993
-
[41]
Perrin-Riou, Bernadette , TITLE =. Invent. Math. , FJOURNAL =. 1994 , NUMBER =. doi:10.1007/BF01231755 , URL =
-
[42]
Perrin-Riou, Bernadette , TITLE =. Proceedings of the. 1995 , ISBN =
work page 1995
-
[43]
Pollack, Robert , TITLE =. Duke Math. J. , FJOURNAL =. 2003 , NUMBER =. doi:10.1215/S0012-7094-03-11835-9 , URL =
-
[44]
Pollack, Robert and Rubin, Karl , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2004 , NUMBER =. doi:10.4007/annals.2004.159.447 , URL =
-
[45]
Ray, Anwesh and Sujatha, R. , TITLE =. Canad. J. Math. , FJOURNAL =. 2023 , NUMBER =. doi:10.4153/S0008414X21000699 , URL =
-
[46]
Bulletin (New Series) of the American Mathematical Society , volume=
Jean-Pierre Serre, Abelian l -adic representations and elliptic curves , author=. Bulletin (New Series) of the American Mathematical Society , volume=. 1990 , publisher=
work page 1990
-
[47]
Rouse, Jeremy and Zureick-Brown, David , TITLE =. Res. Number Theory , FJOURNAL =. 2015 , PAGES =. doi:10.1007/s40993-015-0013-7 , URL =
-
[48]
Schneider, Peter , TITLE =. Invent. Math. , FJOURNAL =. 1983 , NUMBER =. doi:10.1007/BF01389099 , URL =
-
[49]
Schneider, Peter , TITLE =. Invent. Math. , FJOURNAL =. 1982 , NUMBER =. doi:10.1007/BF01389362 , URL =
-
[50]
Schneider, Peter , TITLE =. Invent. Math. , FJOURNAL =. 1985 , NUMBER =. doi:10.1007/BF01388978 , URL =
-
[51]
Serre, Jean-Pierre , TITLE =. Inst. Hautes \'Etudes Sci. Publ. Math. , FJOURNAL =. 1981 , PAGES =
work page 1981
- [52]
-
[53]
Silverman, Joseph H. , TITLE =. J. Number Theory , FJOURNAL =. 1988 , NUMBER =. doi:10.1016/0022-314X(88)90019-4 , URL =
-
[54]
Silverman, Joseph H. , TITLE =. 1994 , PAGES =. doi:10.1007/978-1-4612-0851-8 , URL =
-
[55]
Silverman, Joseph H. , TITLE =. 1986 , PAGES =. doi:10.1007/978-1-4757-1920-8 , URL =
- [56]
-
[57]
Sprung, Florian E. Ito , TITLE =. J. Number Theory , FJOURNAL =. 2012 , NUMBER =. doi:10.1016/j.jnt.2011.11.003 , URL =
-
[58]
Sprung, Florian , TITLE =. Res. Number Theory , FJOURNAL =. 2015 , PAGES =. doi:10.1007/s40993-015-0018-2 , URL =
-
[59]
Stein, William and Wuthrich, Christian , TITLE =. Math. Comp. , FJOURNAL =. 2013 , NUMBER =. doi:10.1090/S0025-5718-2012-02649-4 , URL =
- [60]
-
[61]
Silverman, Joseph H. and Tate, John , TITLE =. 1992 , PAGES =. doi:10.1007/978-1-4757-4252-7 , URL =
-
[62]
The arithmetic of elliptic curves , author=. Invent. Math. , volume=. 1974 , publisher=
work page 1974
-
[63]
Washington, Lawrence C. , TITLE =. 1982 , PAGES =. doi:10.1007/978-1-4684-0133-2 , URL =
-
[64]
Wieferich, Arthur , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 1909 , PAGES =. doi:10.1515/crll.1909.136.293 , URL =
-
[65]
Wuthrich, Christian , TITLE =. J. London Math. Soc. (2) , FJOURNAL =. 2004 , NUMBER =. doi:10.1112/S0024610704005277 , URL =
-
[66]
Zerbes, Sarah Livia , TITLE =. Proc. Lond. Math. Soc. (3) , FJOURNAL =. 2009 , NUMBER =. doi:10.1112/plms/pdn049 , URL =
-
[67]
arXiv preprint arXiv:2409.18021 , year=
A bound on the lambda invariants of supersingular elliptic curves , author=. arXiv preprint arXiv:2409.18021 , year=
-
[68]
arXiv preprint arXiv:2408.07826 , year=
The Iwasawa of Elliptic Curves over , author=. arXiv preprint arXiv:2408.07826 , year=
- [69]
- [70]
- [71]
-
[72]
arXiv preprint arXiv:2402.06028 , year=
Iwasawa lambda invariant and Massey product , author=. arXiv preprint arXiv:2402.06028 , year=
-
[73]
Lam, Yeuk Hay Joshua and Liu, Yuan and Sharifi, Romyar and Wake, Preston and Wang, Jiuya , TITLE =. Forum Math. Sigma , FJOURNAL =. 2023 , PAGES =. doi:10.1017/fms.2022.103 , URL =
- [74]
-
[75]
Sharifi, Romyar T. , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2007 , PAGES =. doi:10.1515/CRELLE.2007.010 , URL =
-
[76]
Friedman, Eduardo C. , TITLE =. Invent. Math. , FJOURNAL =. 1981 , NUMBER =. doi:10.1007/BF01396627 , URL =
-
[77]
Friedman, Eduardo , TITLE =. Math. Ann. , FJOURNAL =. 1985 , NUMBER =. doi:10.1007/BF01455793 , URL =
-
[78]
Kim, Myoungil and Sun, Hae-Sang , title =
-
[79]
Kundu, Debanjana and Lei, Antonio , title =. Acta Arith. , fjournal =. 2023 , pages =. doi:10.4064/aa220518-28-2 , url =
-
[80]
Lamplugh, J. , TITLE =. J. Lond. Math. Soc. (2) , FJOURNAL =. 2015 , NUMBER =. doi:10.1112/jlms/jdv004 , URL =
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.