{"id":"9c629e2b-39be-47ed-a381-38bdcf70d7bb","arxiv_id":"2508.11125","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"The authors classify number fields of fixed Pólya index in Galois, solvable CM, extended R-D real quadratic, and imaginary multiquadratic families.","lead":"The paper proves finiteness theorems for number fields with fixed Pólya index and gives complete classifications for several families, including all imaginary biquadratic and triquadratic fields with Pólya index one. It also gives a GRH-conditional list of 161 imaginary quadratic fields with Pólya index two, relevant to the classical one-class-per-genus problem.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Unconditional tri-quadratic classification depends on complete enumeration; abstract gives no certificate for that completeness.","rationale":"The reader's verdict is UNVERDICTED because only the abstract was available, and the weakest assumption was identified as the completeness of the classification via ramification/discriminant computations and exhaustive case analysis. My stress-test agrees: the most load-bearing condition is that the authors' enumeration truly covers all imaginary bi-quadratic and tri-quadratic fields with Pólya index one. Since no proof or computational certificate is visible, the central claim remains unverified. I do not have evidence of an actual error, so I do not recommend a verdict of reject or conditional accept; the appropriate verdict remains UNVERDICTED. The concrete test I propose would settle the concern if the full text and code are made available. Thus the reader's verdict should remain unchanged.","tokens_in":699,"tokens_out":1825,"duration_ms":25370,"concrete_test":"Obtain the full text and locate the theorem or proposition that bounds the imaginary tri-quadratic fields with Pólya index one. Verify that the bound explicitly covers all possible triples of squarefree parts, and that the accompanying enumeration includes every field meeting that bound. Then independently recompute the Pólya index for each listed field using a computer algebra system (e.g., SageMath) and confirm the index is one; also search the full bounded parameter space for any unlisted field whose index is one. If the search reproduces the published list exactly, the concern is resolved.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is the unconditional classification of all imaginary bi-quadratic and imaginary tri-quadratic fields with Pólya index one. The load-bearing condition is that the enumeration is exhaustive: there must be an explicit, correct bound on the parameter space (e.g., discriminants or ramified primes) and a verified computation of the Pólya index for every field within that bound. For imaginary tri-quadratic fields, the parameter space is three-dimensional (three squarefree integers), and the class group computations are nontrivial. The abstract states the result unconditionally but does not display the bounding lemma, the enumeration algorithm, or any independent certificate (e.g., reproducible code or tables). If a single field is omitted, or if the Pólya-index criterion is checked only for fields satisfying an incompletely stated condition, the classification is incomplete. Because only the abstract is available, this is a concern about evidence and verifiability, not a demonstrated flaw.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":934,"tokens_out":2440,"duration_ms":29827,"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":[{"comment":"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.","section":"Abstract, first paragraph"},{"comment":"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.","section":"Abstract, first paragraph, real quadratic R-D case"},{"comment":"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.","section":"Abstract, GRH list"},{"comment":"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.","section":"General scope"}],"minor_comments":[{"comment":"The phrase 'the Pólya index one' is grammatically awkward; 'Pólya index equal to 1' or 'Pólya index 1' would be clearer.","section":"Abstract, first sentence"},{"comment":"The term 'extended R-D type' is used without definition. A brief explanation or reference would help the reader understand the family being classified.","section":"Abstract, real quadratic case"},{"comment":"The phrase '161 imaginary quadratic fields' should include the discriminant range or other parameter constraints; otherwise the list is not reproducible from the abstract.","section":"Abstract, GRH list"},{"comment":"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.","section":"Abstract, Dohmae extension"}],"recommendation":"uncertain","confidential_remarks":"This review is based solely on the abstract, as the full text was not available. The recommendation 'uncertain' reflects the evidentiary gap rather than a judgment on the correctness of the mathematics. The abstract's central unconditional classification claims are not verifiable without the full proof and computational details. The 'possibly only one more field' caveat is particularly concerning because it undermines the completeness claim in the real quadratic case. I suggest that the editor obtain the full manuscript before making a final decision, and that the authors be asked to clarify the status of the potentially missing field in any revised version."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe abstract promises a genuine result: an unconditional classification of imaginary biquadratic and triquadratic fields with Pólya index one. If that holds, it settles a natural open piece of the 'one class in each genus' problem, and it extends Dohmae's R-D classification. The paper also gives finiteness theorems for Galois and solvable CM-fields, and a GRH-conditional list of 161 imaginary quadratic fields with index two. That is a solid day's work on the arithmetic of class groups.\n\nWhat I can't do, from the abstract alone, is certify the central claim. The triquadratic classification is an enumeration over triples of squarefree integers, with class group computations on each candidate. The abstract gives no bounding lemma, no table, no reproducible code, and no indication of how the exhaustive check was closed. So the honest verdict is 'not yet checkable,' not 'wrong.' The stress-test note worries about a possible omitted field; I can't rule that out, and I also can't rule it in.\n\nOne small yellow flag: the real quadratic R-D classification comes with the parenthetical 'possibly only one more field.' That is a hedge in the abstract itself. It may reflect an edge case the authors couldn't decide; it may just be honest uncertainty about a single discriminant. Either way, the referee should pin it down.\n\nThe proof style matters here. If the paper ships a complete case analysis with explicit bounds and, ideally, verifiable code or tables, then it's a strong contribution. If it relies on 'it is easy to check' for the last few cases, that's where errors live. I have no evidence of that, but it's the thing to probe.\n\nSo: this deserves a serious referee. I would not desk-reject it. I also can't accept the results yet on the basis of the abstract. Send it out, and ask the referee to verify the enumeration's completeness and the 'possibly one more field' caveat. For my own work, I'd wait for the proofs before citing it.","headline":"Claims a serious unconditional classification, but the abstract alone can't support the completeness check; worth refereeing.","tokens_in":1330,"tokens_out":2329,"would_cite":false,"duration_ms":25517,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["11R29","11R11","11R32","11R37"],"pacs":[],"model":"deepseek-v4-flash","headline":"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.","keywords":["Polya group","Polya index","ideal class group","multiquadratic fields","imaginary quadratic fields","genus theory","generalized Riemann hypothesis"],"falsifier":"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.","tokens_in":65,"feed_emoji":"🧮","tokens_out":9287,"duration_ms":171558,"temperature":0.7,"pith_summary":"The paper studies the Pólya group of a number field, the subgroup of its ideal class group generated by the ideal classes of all products of prime ideals with the same norm, and its index, the Pólya index. The central result is the complete, unconditional classification of all imaginary bi-quadratic and imaginary tri-quadratic fields whose Pólya index equals one — that is, fields where those products generate the whole class group. The paper also proves that in several broad families, including all Galois number fields, solvable CM-fields, and real quadratic fields of extended R-D type, only finitely many fields can have any fixed Pólya index; under the generalized Riemann hypothesis, it gives the complete list of 161 imaginary quadratic fields with Pólya index two. As a byproduct, the classification of real quadratic fields of narrow R-D type is extended to the broader extended R-D type.","feed_headline":"All Pólya-index-one imaginary bi- and tri-quadratic fields found","feed_subtitle":"The full list settles a classical question about when products of equal-norm primes generate the class group.","key_machinery":"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.","core_discovery":"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","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[],"fun_headline_variants":["Complete list of Pólya-index-one imaginary bi- and tri-quadratic fields","Under GRH, all 161 imaginary quadratic fields with Pólya index two","Pólya index one for imaginary bi- and tri-quadratic fields now fully classified","All imaginary bi- and tri-quadratic fields with Pólya index one are classified","Imaginary bi- and tri-quadratic fields: Pólya index one list is complete"],"cache_read_input_tokens":3456,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Complete list of Pólya-index-one imaginary bi- and tri-quadratic fields","Under GRH, all 161 imaginary quadratic fields with Pólya index two","Pólya index one for imaginary bi- and tri-quadratic fields now fully classified","All imaginary bi- and tri-quadratic fields with Pólya index one are classified","Imaginary bi- and tri-quadratic fields: Pólya index one list is complete"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000648,"raw_usage":{"total_tokens":2845,"prompt_tokens":807,"completion_tokens":2038,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":551,"completion_tokens_details":{"reasoning_tokens":1937}},"tokens_in":551,"tokens_out":2038,"duration_ms":15850,"temperature":1.0,"reasoning_tokens":1937,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T20:05:58.148874+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}