On $ p-$Rationality of Cubic and Quartic Number Fields

Derong Qiu; Hang Li

arxiv: 2304.10157 · v3 · submitted 2023-04-20 · 🧮 math.NT

On p-Rationality of Cubic and Quartic Number Fields

Hang Li , Derong Qiu This is my paper

Pith reviewed 2026-05-24 09:44 UTC · model grok-4.3

classification 🧮 math.NT

keywords p-rationalitycubic number fieldsrecurrence sequenceGreenberg's conjectureabc-conjecturenumber theoryGalois cohomology

0 comments

The pith

A new criterion determines the p-rationality of complex cubic number fields by checking p-divisibility in a third-order recurrence sequence.

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

The paper presents a criterion that links the p-rationality of certain complex cubic number fields to whether specific terms in a third-order recurrence sequence are divisible by p. This approach allows for the construction of examples and explores connections to the generalized abc-conjecture. If the criterion holds, it provides a practical way to identify fields that satisfy Greenberg's Generalized Conjecture. The work focuses on complex cubic fields and discusses relations that yield explicit examples satisfying the conjecture.

Core claim

The paper establishes that the p-rationality of some complex cubic number fields can be determined in terms of the p-divisibility of certain terms of a third-order recurrence sequence associated with the field. Several examples are constructed, and relations to the generalized abc-conjecture are discussed, leading to explicit fields that satisfy Greenberg's Generalized Conjecture.

What carries the argument

A third-order recurrence sequence whose terms' p-divisibility determines the p-rationality of the cubic field.

If this is right

Fields satisfying the criterion can be checked for p-rationality without direct computation of class groups or units.
Explicit examples of fields satisfying Greenberg's Generalized Conjecture are obtained via the recurrence condition.
The relation to the generalized abc-conjecture allows derivation of p-rational fields from abc-type assumptions.
The method applies to some complex cubic fields, potentially simplifying verification of conjectures in algebraic number theory.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The criterion might extend to quartic fields given the paper's title, though the abstract focuses on cubics.
Similar recurrence-based criteria could apply to other number field properties beyond p-rationality.
Computational implementation of the recurrence could test many fields for compliance with GGC.
Connections between abc-conjecture and p-rationality suggest broader links between Diophantine approximations and Galois cohomology properties.

Load-bearing premise

The third-order recurrence sequence is defined such that its divisibility properties exactly capture the p-rationality condition for the fields in question.

What would settle it

A specific complex cubic field where the p-divisibility of the recurrence term does not align with whether the field is p-rational or not.

read the original abstract

In this paper, a new criterion is given to determine the $p-$rationality of some complex cubic number fields in terms of $ p-$divisibility of certain terms of a third-order recurrence sequence, several illustrated examples are constructed,the relations between generalized $ abc-$conjecture and the $p-$rationality are discussed, from which some explicit fields satisfying Greenberg's Generalized Conjecture (GGC, for short) are obtained.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

A recurrence criterion for p-rationality in some cubic fields plus explicit GGC examples, narrow but concrete.

read the letter

The paper's core contribution is a criterion that decides p-rationality for certain complex cubic fields by checking p-divisibility in terms of a third-order recurrence sequence, together with examples and a discussion that produces fields satisfying Greenberg's generalized conjecture. The examples are the most useful part; they turn the criterion into something that can be checked on specific fields rather than leaving everything at the level of existence statements. The link to the generalized abc conjecture is also handled directly enough to yield concrete output. The construction appears to start from the minimal polynomial or the field discriminant and build the recurrence so that its terms encode the relevant local information at p. No internal contradiction shows up in the argument as described, and the stress-test found no load-bearing gap. The main limitation is scope. The work targets only some complex cubic fields, the quartic case mentioned in the title receives little attention in the abstract, and it is not clear how far the method extends beyond the examples given. Novelty hinges on whether the recurrence is independent of earlier sequences used for similar problems; the abstract treats it as new but supplies no explicit comparison. This is for number theorists who already work on p-rationality, class groups, or Greenberg-type conjectures and want a practical test or a source of examples. A reader outside that niche will not find a broad reorganization of the subject. The paper is worth sending to a serious referee because the claims are checkable and the output includes explicit fields; any gaps in the derivation can be addressed in revision without the whole result collapsing.

Referee Report

0 major / 3 minor

Summary. The manuscript presents a criterion for the p-rationality of certain complex cubic number fields expressed via p-divisibility of terms in a third-order recurrence sequence. It constructs explicit examples, examines connections between the generalized abc-conjecture and p-rationality, and produces fields satisfying Greenberg's Generalized Conjecture (GGC). The work also treats quartic fields.

Significance. If the stated criterion is correctly derived from the field discriminant and the recurrence is shown to capture the relevant p-adic properties, the result supplies a concrete computational test for p-rationality that could be applied to families of cubic fields. The explicit examples and the link to GGC via abc-type estimates add concrete value by furnishing new instances of the conjecture.

minor comments (3)

Abstract: the construction of the third-order recurrence from the minimal polynomial or discriminant of the cubic field is not indicated; a single sentence clarifying the origin of the sequence would make the claim immediately intelligible.
The manuscript should include a short table or list summarizing the cubic fields, the associated recurrence, and the primes p for which p-rationality is verified, so that the examples can be checked independently.
Notation for the recurrence coefficients and the precise statement of the divisibility condition should be fixed in §2 before the main theorem is stated.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript and the recommendation for minor revision. No specific major comments appear in the report, so there are no individual points requiring a point-by-point response at this stage.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper introduces a criterion for p-rationality of certain cubic fields expressed via p-divisibility of terms in a third-order recurrence sequence, plus examples and GGC discussion. No equations, derivations, or self-citations appear in the abstract or described content that would reduce the claimed criterion to a fit, definition, or prior author result by construction. The derivation chain is therefore self-contained; the recurrence is presented as an independent tool for the property rather than being tautologically equivalent to the input fields.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available; no explicit free parameters, axioms, or invented entities can be extracted.

pith-pipeline@v0.9.0 · 5586 in / 955 out tokens · 23775 ms · 2026-05-24T09:44:20.728464+00:00 · methodology

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

On the $\mathbb{Z}_p$-extensions of a totally $p$-adic imaginary quadratic field -- With an appendix by Jean-Fran\c{c}ois Jaulent
math.NT 2024-03 unverdicted novelty 6.0

In Z_p-extensions of totally p-adic imaginary quadratic fields, the p-valuation of a Fermat quotient of the fundamental p-unit governs the orders of logarithmic class groups and the quotients of the first two layers o...

Reference graph

Works this paper leans on

7 extracted references · 7 canonical work pages · cited by 1 Pith paper

[1]

Assim and Z

[AB ] J. Assim and Z. Bouazzaoui, Half-integral weight modular forms an d real quadratic p-rational ﬁelds. Funct. Approx. Comment. Math., 63(2):201- 213,2020. [ABo ] J. Assim and Z. Boughadi, On Greenberg’s generalized conjecture , J. Num- ber Theory, 242: 576-602,

work page 2020
[2]

Barbulescu and J

[BR ] R. Barbulescu and J. Ray, Numerical veriﬁcation of the Cohen-Le nstra- Martinet heuristics and of Greenberg’s p-rationality conjecture. J. Th´ eor. Nombres Bordeaux, 32(1):159-177,2020. [BM ] Y.Benmerieme, A.Movahhedi, Multi-quadratic p-rational number ﬁelds. J. Pure Appl. Algebra,225(9): 17,

work page 2020
[3]

Elliott, Probabilistic number theory

[E ] P.D.T.A. Elliott, Probabilistic number theory. I, volume 239 of Grundle hren der Mathematischen Wissenschaften [Fundamental Principles of Ma thematical Sciences]. Springer-Verlag, New York-Berlin,1979. Mean-value the orems. [F ] S. Fujii, On Greenberg’s generalized conjecture for CM-ﬁelds. J. Reine Angew. Math., 731:259-278,2017. [G1 ] G. Gras, Class...

work page 1979
[4]

Translated from th e French manuscript by Henri Cohen. [G2 ] G. Gras, On p− rationality of number ﬁelds. Applications—PARI/GP pro- grams. In Publications math´ ematiques de Besan¸ con. Alg` ebre et th´ eorie des nombres. 2019/2, volume 2019/2 of Publ. Math. Besan¸ con Alg` eb re Th´ eorie Nr., 29-51. Presses Univ. Franche-Comt´ e, Besan¸ con,

work page 2019
[5]

Gras, les θ− r´egulateurs locaux d’un nombre alg´ ebraique: conjectures p− adiques, Can

[G3 ] G. Gras, les θ− r´egulateurs locaux d’un nombre alg´ ebraique: conjectures p− adiques, Can. J. Math. 68(3), 2016: 571-624. [Gr1 ] R. Greenberg, Iwasawa theory–past and present. In Class ﬁeld theory–its centenary and prospect (Tokyo, 1998), volume 30 of Adv. Stud. Pure Math., pages 335-385. Math.Soc.Japan,Tokyo,2001. [Gr2 ] R. Greenberg, Galois repre...

work page 2016
[6]

[Mi ] J. V. Minardi, Iwasawa modules for Zd p-extensions of algebraic number ﬁelds. ProQuest LLC, Ann Arbor, MI,1986. Thesis(Ph.D.)-University of Wa shing- ton. [Mov1 ] A. Movahhedi, Sur les p-extensions des corps p-rationnels., PhD. Thesis,

work page 1986
[7]

Movahhedi, Sur les p-extensions des corps p-rationnels

22 [Mov2 ] A. Movahhedi, Sur les p-extensions des corps p-rationnels. Math. Nachr., 149:163-176,1990. [MR ] C. Maire, M. Rougnant, A note on p− rational ﬁelds and the abc− conjecture. Proc. Amer. Math. Soc. 148(2020), no.8, 3263-3271. [N ] J. Neukirch, Algebraic number theory, volume 322 of Grundlehren der mathe- matischen Wissenschaften [Fundamental Prin...

work page 1990

[1] [1]

Assim and Z

[AB ] J. Assim and Z. Bouazzaoui, Half-integral weight modular forms an d real quadratic p-rational ﬁelds. Funct. Approx. Comment. Math., 63(2):201- 213,2020. [ABo ] J. Assim and Z. Boughadi, On Greenberg’s generalized conjecture , J. Num- ber Theory, 242: 576-602,

work page 2020

[2] [2]

Barbulescu and J

[BR ] R. Barbulescu and J. Ray, Numerical veriﬁcation of the Cohen-Le nstra- Martinet heuristics and of Greenberg’s p-rationality conjecture. J. Th´ eor. Nombres Bordeaux, 32(1):159-177,2020. [BM ] Y.Benmerieme, A.Movahhedi, Multi-quadratic p-rational number ﬁelds. J. Pure Appl. Algebra,225(9): 17,

work page 2020

[3] [3]

Elliott, Probabilistic number theory

[E ] P.D.T.A. Elliott, Probabilistic number theory. I, volume 239 of Grundle hren der Mathematischen Wissenschaften [Fundamental Principles of Ma thematical Sciences]. Springer-Verlag, New York-Berlin,1979. Mean-value the orems. [F ] S. Fujii, On Greenberg’s generalized conjecture for CM-ﬁelds. J. Reine Angew. Math., 731:259-278,2017. [G1 ] G. Gras, Class...

work page 1979

[4] [4]

Translated from th e French manuscript by Henri Cohen. [G2 ] G. Gras, On p− rationality of number ﬁelds. Applications—PARI/GP pro- grams. In Publications math´ ematiques de Besan¸ con. Alg` ebre et th´ eorie des nombres. 2019/2, volume 2019/2 of Publ. Math. Besan¸ con Alg` eb re Th´ eorie Nr., 29-51. Presses Univ. Franche-Comt´ e, Besan¸ con,

work page 2019

[5] [5]

Gras, les θ− r´egulateurs locaux d’un nombre alg´ ebraique: conjectures p− adiques, Can

[G3 ] G. Gras, les θ− r´egulateurs locaux d’un nombre alg´ ebraique: conjectures p− adiques, Can. J. Math. 68(3), 2016: 571-624. [Gr1 ] R. Greenberg, Iwasawa theory–past and present. In Class ﬁeld theory–its centenary and prospect (Tokyo, 1998), volume 30 of Adv. Stud. Pure Math., pages 335-385. Math.Soc.Japan,Tokyo,2001. [Gr2 ] R. Greenberg, Galois repre...

work page 2016

[6] [6]

[Mi ] J. V. Minardi, Iwasawa modules for Zd p-extensions of algebraic number ﬁelds. ProQuest LLC, Ann Arbor, MI,1986. Thesis(Ph.D.)-University of Wa shing- ton. [Mov1 ] A. Movahhedi, Sur les p-extensions des corps p-rationnels., PhD. Thesis,

work page 1986

[7] [7]

Movahhedi, Sur les p-extensions des corps p-rationnels

22 [Mov2 ] A. Movahhedi, Sur les p-extensions des corps p-rationnels. Math. Nachr., 149:163-176,1990. [MR ] C. Maire, M. Rougnant, A note on p− rational ﬁelds and the abc− conjecture. Proc. Amer. Math. Soc. 148(2020), no.8, 3263-3271. [N ] J. Neukirch, Algebraic number theory, volume 322 of Grundlehren der mathe- matischen Wissenschaften [Fundamental Prin...

work page 1990