REVIEW 4 major objections 4 minor
Number Fields With Large P\'olya Groups
T0 review · 4 major / 4 minor · reviewed 2026-08-05 · deepseek-v4-flash
Pith's one-line read The paper classifies all imaginary bi-quadratic and tri-quadratic number fields whose Pólya index is one, unconditionally, and gives finiteness results and a conditional list of 161 imaginary quadratic fields with Pólya index two.
desk verdict Claims a serious unconditional classification, but the abstract alone can't support the completeness check; worth refereeing. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the Pólya group ${\rm Po}(K)$ and its index $[{\rm Cl}(K):{\rm Po}(K)]$, called the Pólya index. The computations reduce the index to arithmetic data attached to the field — the discriminant, the set of ramified primes, and the genus class group — so that for multiquadratic fields the condition 'Pólya index one' becomes a finite case analysis over the possible factorizations of the discriminant. The notion of extended R-D type is the structural condition on real quadratic fields used to extend the earlier narrow R-D type classification.
What would settle it
Compute the ideal class group and the subgroup generated by products of prime ideals of equal norm for every imaginary bi-quadratic and tri-quadratic field with discriminant up to a sufficiently large bound; if any field not on the paper's list has Pólya index one, the classification is false. A smaller check: test each of the 161 listed imaginary quadratic fields unconditionally to confirm its Pólya index equals two.
Extended reading notes
Core claim
Within an algebraic number field, the Pólya group ${\rm Po}(K)$ captures the ideal classes obtained by multiplying together all prime ideals of the same norm; the Pólya index is the index $[{\rm Cl}(K):{\rm Po}(K)]$. The paper's central claim is that for imaginary bi-quadratic and tri-quadratic fields, the condition $[{\rm Cl}(K):{\rm Po}(K)]=1$ determines the field completely, and the paper supplies the full finite list, unconditionally. For real quadratic fields of extended R-D type, it shows that at most one field with Pólya index one remains unresolved, and under GRH it enumerates all 161 imaginary quadratic fields with Pólya index two. The same methods yield finiteness of the number of
Load-bearing premise
The completeness of the classifications depends on the assumption that the Pólya index can be calculated from the discriminant and ramification data of these fields, and that the resulting case analysis is exhaustive.
Editorial extensions
If this is right
- Every imaginary bi-quadratic or tri-quadratic field not on the classified list has Pólya index greater than one.
- In each of the families of Galois number fields, solvable CM-fields, and real quadratic fields of extended R-D type, only finitely many fields can share a given Pólya index.
- Under GRH, the list of 161 imaginary quadratic fields gives the exact set of fields with Pólya index two; no imaginary quadratic field outside this list can have this index.
- For real quadratic fields of extended R-D type, all but possibly one field with Pólya index one are determined.
- The classification of real quadratic fields with equal narrow genus number and narrow class number now holds for extended R-D type.
Reading between the lines
- If the unconditional classification is correct, the same discriminant-based case analysis could in principle be automated and extended to higher-degree multiquadratic fields, where finiteness already suggests the list is finite for any fixed index.
- The GRH list of 161 imaginary quadratic fields provides a natural benchmark: any unconditional computation that reproduces this list without GRH would confirm the method and likely extend to other indices.
- The unconditional results for bi-quadratic and tri-quadratic fields might be combined with genus theory to yield explicit bounds on discriminants that make the verification of the classification fully computational.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the Pólya group Po(K) of a number field K, a subgroup of the ideal class group generated by classes of products of prime ideals of equal norm. The abstract announces general finiteness theorems for fields of fixed Pólya index in families of Galois fields, solvable CM-fields, and real quadratic fields of extended R-D type. The most prominent claims are: (i) an unconditional classification of all imaginary bi-quadratic and imaginary tri-quadratic fields with Pólya index 1; (ii) a classification of real quadratic fields of extended R-D type with Pólya index 1, qualified by 'possibly only one more field'; (iii) under GRH, a complete list of 161 imaginary quadratic fields with Pólya index 2; and (iv) an extension of Dohmae's classification from narrow to extended R-D types. The review is based solely on the abstract; no proofs or computational details were available.
Significance. If the unconditional classifications are correct, they constitute a strong and interesting contribution to the arithmetic of Pólya groups, and the finiteness theorems would represent a substantial theoretical advance. The paper also provides concrete lists and a GRH-conditional complete enumeration, which are valuable for the field. The abstract promises reproducible, verifiable results; however, without the full text, the validity of the central claims cannot be assessed. The qualification 'possibly only one more field' is an explicit sign of residual uncertainty that must be resolved. The review cannot credit machine-checked proofs or computational certificates because none are visible in the abstract; the significance is therefore conditional on the missing proof details.
major comments (4)
- [Abstract, first paragraph] The central claim—'we classify, unconditionally, all imaginary bi-quadratic and imaginary tri-quadratic fields with the Pólya index one'—is load-bearing but not supported by any visible proof or enumeration certificate in the abstract. For tri-quadratic fields the parameter space is three-dimensional, and exhaustive classification requires an explicit bound on the relevant invariants (e.g., discriminants or ramified primes) plus a verified check of the Pólya index for every field in that range. The abstract does not state the bounding lemma or indicate whether the enumeration is accompanied by reproducible code or tables. Without this, the completeness of the classification cannot be verified from the abstract.
- [Abstract, first paragraph, real quadratic R-D case] The phrase 'possibly only one more field' introduces an explicit caveat into a classification statement. If the status of one field is undetermined, the claim 'we classify all real quadratic fields of extended R-D type with the Pólya index one' is not literally true; at best it is a classification modulo this single case. This ambiguity must be removed in the full text: either the field is included or excluded, or the theorem statement must be reformulated as conditional on the resolution of that case. Leaving this open in the abstract suggests that the classification is not complete as stated.
- [Abstract, GRH list] The paper announces 'under GRH, the complete list of 161 imaginary quadratic fields with the Pólya index two.' The abstract does not specify whether 'with the Pólya index two' means index exactly 2 or at most 2, nor does it indicate the discriminant range or the method of certifying completeness (e.g., a verified computation with explicit error bounds). Since this is a computational classification whose correctness depends on both the GRH hypothesis and the rigor of the enumeration, the abstract should at least summarize the algorithm and the verification method. Without this, the reader cannot tell whether the list is a theorem or a heuristic output.
- [General scope] Because only the abstract was made available for review, the derivation gaps and the exhaustiveness of the case analyses cannot be assessed. The reader's report and the stress-test note both flag the absence of a completeness certificate for the tri-quadratic classification. This is not a demonstrated flaw, but it is an evidentiary gap that prevents a positive evaluation. The full manuscript must contain the missing lemmas and computations for the claims to be evaluated.
minor comments (4)
- [Abstract, first sentence] The phrase 'the Pólya index one' is grammatically awkward; 'Pólya index equal to 1' or 'Pólya index 1' would be clearer.
- [Abstract, real quadratic case] The term 'extended R-D type' is used without definition. A brief explanation or reference would help the reader understand the family being classified.
- [Abstract, GRH list] The phrase '161 imaginary quadratic fields' should include the discriminant range or other parameter constraints; otherwise the list is not reproducible from the abstract.
- [Abstract, Dohmae extension] The reference to Dohmae's classification is not given. In an abstract, a full citation may not be required, but at least the author's name should be accompanied by a year or journal reference in the full text.
Circularity Check
No circularity detectable from the abstract; the classification claims are asserted, not derived from fitted inputs or self-citations.
full rationale
This review is based solely on the abstract of arXiv:2508.11125; no equations, proofs, or fitted parameters are visible. The abstract reports finiteness theorems, unconditional classifications of imaginary bi-quadratic and tri-quadratic fields with Pólya index one, a GRH-based list of 161 imaginary quadratic fields with Pólya index two, and an extension of Dohmae's classification. None of these statements, as presented, defines the target quantity in terms of the same quantity, fits a parameter and then calls it a prediction, or relies on a self-citation chain. The central claims are computational/structural classifications whose completeness would need to be verified from the full proof, but unverified completeness is a correctness/evidence concern, not circularity. The abstract contains no quoted reduction of a derived result to its own input, so under the hard rules no circular step can be flagged. Score 0 is therefore the appropriate honest finding.
Assumptions & free parameters
assumptions (2)
- domain assumption Generalized Riemann Hypothesis (GRH) for imaginary quadratic fields
- standard math Standard results from class field theory and genus theory for multiquadratic fields
Cite this review
Pith. "Pith review of Number Fields With Large P\'olya Groups." pith.science (2026). https://pith.science/paper/YR7RWGVM
@misc{pith2026250811125,
author = {Pith},
title = {Pith review of: Number Fields With Large P\'olya Groups},
year = {2026},
howpublished = {\url{https://pith.science/paper/YR7RWGVM}},
note = {Machine review of arXiv:2508.11125}
}
abstract
The P\'olya group ${\rm Po}(K)$ of a number field $K$ is the subgroup of the ideal class group ${\rm Cl}(K)$ of $K$ generated by the classes of all the products of the prime ideals of $K$ with the same norm. Motivated by the classical "one class in each genus problem", we prove general finiteness theorems for the number fields $K$ with a fixed P\'olya index $\left[{\rm Cl}(K):{\rm Po}(K)\right]$ in the families of Galois number fields, solvable CM-fields, and real quadratic fields of extended R-D type. We also give classification results for specific families. Most notably, we classify, unconditionally, all imaginary bi-quadratic and imaginary tri-quadratic fields with the P\'olya index one. Furthermore, we classify all real quadratic fields of extended R-D type (with possibly only one more field) with the P\'olya index one. Also, under GRH, we give the complete list of 161 imaginary quadratic fields with the P\'olya index two. Finally, as a byproduct of our results, we extend, from narrow R-D types to the extended R-D types, Dohmae's classification of real quadratic fields of narrow R-D type whose narrow genus numbers equal their narrow class numbers.
Reviewed August 5, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.