{"id":"f83350a3-5bf9-470e-9763-8c5aadb792e9","arxiv_id":"2606.06024","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":1.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Survey of advances proving Cohen-Lenstra heuristics for 2-primary and ell-primary parts of class groups, including resolutions of the minimalist conjecture for elliptic curves and Stevenhagen's conjecture on the negative Pell equation.","lead":"This paper surveys recent proofs of portions of the Cohen-Lenstra heuristics on the distribution of torsion in class groups of quadratic fields. A smart generalist might read it to see how these number theory conjectures link to topology, Selmer groups, and elliptic curve rank conjectures.","discovery_kind":"review","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's observation that the paper contains no original claims is decisive; the survey format removes any possibility of a load-bearing assumption internal to the text itself.","tokens_in":1713,"tokens_out":172,"duration_ms":8313,"concrete_test":"Confirm that every named result in the survey is correctly attributed and summarized by spot-checking one citation (e.g., the statement of Smith's 2-primary theorem) against its original source.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The document is a literature survey that attributes all stated theorems (Smith, Koymans-Pagano, Wood et al.) to prior work and offers no new proofs, derivations, or original claims. Consequently there is no internal mathematical argument whose assumptions can be load-bearing.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript is a survey paper that reviews recent progress on the Cohen-Lenstra heuristics for the distribution of torsion in class groups of quadratic fields. It outlines the generalized conjectures developed by Wood and collaborators (with topological motivation), Smith's theorems establishing the 2-primary case via results on Selmer groups of quadratic twists (with consequences for the minimalist conjecture on elliptic curves), and the work of Koymans and Pagano establishing the ℓ-primary case together with Stevenhagen's conjecture on the negative Pell equation.","tokens_in":1735,"tokens_out":329,"duration_ms":13290,"significance":"If the summaries of the cited theorems are accurate and the exposition is clear, the survey would offer a useful synthesis of a fast-moving area in arithmetic statistics, making connections between class-group heuristics, Selmer groups, topology, and elliptic-curve conjectures accessible to a broader audience. Its primary contribution is organizational rather than original; value therefore hinges on the precision with which external results are presented and on the absence of new derivations or verifications inside the manuscript itself.","major_comments":[],"minor_comments":[{"comment":"The abstract and introduction use both 'ell-primary' and 'ℓ-primary'; standardize on the latter throughout for notational consistency with the number-theory literature.","section":null},{"comment":"Section headings and the table of contents (if present) should explicitly list the main theorems being surveyed (e.g., 'Smith's theorem on 2-Selmer groups') so that readers can locate specific results quickly.","section":null}],"recommendation":"accept","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their positive assessment of the manuscript and for the recommendation to accept. The report correctly captures the scope and purpose of the survey.","responses":[],"tokens_in":1221,"tokens_out":49,"duration_ms":5571,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"This is a survey paper that walks through recent work on the Cohen-Lenstra heuristics without proving anything new itself.\n\nIt does a solid job of connecting the pieces. The account of Smith's theorems explains how the 2-primary results for class groups of quadratic fields emerge from theorems on Selmer groups of quadratic twists and how those same results settle the minimalist conjecture for elliptic curves. The coverage of Koymans and Pagano extends the picture to the ell-primary case and includes the proof of Stevenhagen's conjecture on the negative Pell equation. Wood's generalized conjectures are presented as a broader framework with topological motivation.\n\nThe soft spots are the ones you would expect from an expository piece. Everything is attributed to the cited papers, so the survey offers no independent verification or expanded proofs. Readers who want the actual arguments will have to consult the originals. There are no load-bearing claims or derivations inside this document itself.\n\nThe paper is aimed at number theorists who follow arithmetic statistics and want a concise update on where the main cases stand. Someone already working in the area might skim it for the author's perspective on how the results fit together; a newcomer could use it as an entry point before tackling the primary sources.\n\nIt deserves peer review for any journal that publishes surveys, mainly to check that the summary is accurate and balanced. I would send it out.","headline":"Ellenberg's survey organizes the recent Cohen-Lenstra breakthroughs in one place but contains no new theorems or proofs.","tokens_in":2187,"tokens_out":345,"would_cite":false,"duration_ms":15119,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Theorems now prove the Cohen-Lenstra heuristics for the 2-primary and ell-primary parts of class groups of quadratic fields.","keywords":["Cohen-Lenstra heuristics","class groups","quadratic fields","Selmer groups","arithmetic statistics","elliptic curves","Pell equation"],"falsifier":"A large-scale computation of class groups for quadratic fields with discriminants up to 10^12 that shows the observed frequency of a fixed 2-primary torsion structure deviates from the predicted probability by more than the error term allowed by the theorems.","tokens_in":2597,"feed_emoji":"","tokens_out":640,"duration_ms":15047,"temperature":0.7,"pith_summary":"This review surveys recent theorems that establish portions of the Cohen-Lenstra heuristics, which predict the distribution of torsion subgroups in the class groups of quadratic fields. The original 1983 conjectures remain largely open but have been confirmed in specific cases through connections to Selmer groups of elliptic curves in quadratic twist families. Smith's theorems settle the 2-primary case and simultaneously resolve the minimalist conjecture on ranks of elliptic curves. Koymans and Pagano handle the ell-primary case and prove Stevenhagen's conjecture on the negative Pell equation. A sympathetic reader cares because these distributions govern the frequency of ideal class structures and the behavior of ranks in families of elliptic curves.","feed_headline":"Theorems prove Cohen-Lenstra for 2-primary class groups","feed_subtitle":"The results also settle the minimalist conjecture for ranks of elliptic curves.","key_machinery":"The Cohen-Lenstra heuristics, which predict the probability that a given finite abelian group appears as the N-torsion subgroup of the class group of a random quadratic field.","core_discovery":"Smith's theorems prove the Cohen-Lenstra conjectures for the 2-primary part of the class group of quadratic fields as part of general theorems about Selmer groups in quadratic twists, leading to a resolution of the minimalist conjecture for elliptic curves; Koymans and Pagano prove the ell-primary case and Stevenhagen's conjecture on the negative Pell equation.","pith_inferences":["The same Selmer-group techniques may extend to prove heuristics for class groups in other families of number fields.","Linking arithmetic statistics questions to computable Selmer groups could make further heuristic predictions rigorous.","The topological support for the generalized conjectures suggests similar models may apply to distributions arising in other contexts such as function fields."],"forward_implications":["The minimalist conjecture on the average rank of elliptic curves is resolved.","Stevenhagen's conjecture on the solvability of the negative Pell equation is proved.","The distribution of Selmer groups is determined for quadratic twist families of elliptic curves.","Generalized Cohen-Lenstra predictions receive additional support from topological constructions."],"fun_headline_variants":["Smith proves Cohen-Lenstra 2-primary class groups","Minimalist conjecture resolved for elliptic curves","Koymans and Pagano prove ell-primary Cohen-Lenstra","Stevenhagen negative Pell conjecture proven"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The roster of generalized Cohen-Lenstra conjectures correctly describes the distribution of class groups of quadratic fields.","fun_headline_variants_meta":{"raw":{"variants":["Smith proves Cohen-Lenstra 2-primary class groups","Minimalist conjecture resolved for elliptic curves","Koymans and Pagano prove ell-primary Cohen-Lenstra","Stevenhagen negative Pell conjecture proven"]},"model":"grok-4.3","cost_usd":0.011066,"raw_usage":{"total_tokens":4843,"prompt_tokens":618,"num_sources_used":0,"completion_tokens":59,"cost_in_usd_ticks":110662000,"prompt_tokens_details":{"text_tokens":618,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":4166,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":618,"tokens_out":59,"duration_ms":24192,"temperature":1.0,"reasoning_tokens":4166,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-27T23:45:00.053516+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A large-scale computation of class groups for quadratic fields with discriminants up to 10^12 that shows the observed frequency of a fixed 2-primary torsion structure deviates from the predicted probability by more than the error term allowed by the theorems.","supporting_citations":[],"review_version":1}