REVIEW 2 major objections 2 minor
Local statistics and average rank of genus $g$ hyperelliptic curves with a Weierstrass point
T0 review · 2 major / 2 minor · reviewed 2026-07-15 · grok-4.5
Pith's one-line read Genus-g hyperelliptic curves with a Weierstrass point have explicitly computed local reduction probabilities, which under Hasse–Weil and GRH yield an upper bound on average analytic rank.
desk verdict Abstract-only: explicit local densities for Weierstrass-point hyperelliptic curves plus a conditional average-rank bound; useful if the calculations check out, but we cannot audit them yet. 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
Local density computations that enumerate the possible special-fiber configurations of a Weierstrass hyperelliptic model over the ring of integers of a local field, thereby fixing the probability of each reduction type (good, toric, unipotent, …).
What would settle it
For a fixed small g (say g=2) and a concrete number field, sample a large set of Weierstrass hyperelliptic curves, compute their reduction types at primes of residue characteristic >2g+1, and check whether the observed frequencies match the paper’s explicit local-density formulas; any statistically significant discrepancy falsifies the main density claims.
Extended reading notes
Core claim
The authors determine closed-form local densities for good reduction (and for several other reduction types) of genus-g hyperelliptic curves with a marked Weierstrass point at primes of residue characteristic larger than 2g+1; assuming Hasse–Weil and GRH, these densities produce an explicit upper bound on the average analytic rank of the family over a number field.
Load-bearing premise
The passage from the computed local densities to the average-rank bound requires both the Hasse–Weil conjecture (analytic continuation and functional equation of the L-functions of the Jacobians) and the generalized Riemann hypothesis, neither of which is proved for the family.
Editorial extensions
If this is right
- The proportion of good reduction at large primes is now a concrete rational function of the residue cardinality and g.
- Analogous explicit densities exist for reductions of positive toric rank and of positive unipotent rank.
- Under Hasse–Weil and GRH the average analytic rank of the family is bounded above by an explicit constant depending only on g and the number field.
- The same local densities control the average size of the component group and the average dimension of the unipotent radical of the special fiber of the Néron model.
Reading between the lines
- The same density technique should extend, with only minor changes, to hyperelliptic curves marked by a non-Weierstrass rational point, once the local monodromy filtration is recomputed.
- If the Hasse–Weil hypothesis can be replaced by a theorem for a thin subfamily (for example, curves with complex multiplication), the rank bound becomes unconditional for that subfamily.
- The explicit densities supply the missing local factors needed to write down a conjectural Tamagawa-number product formula for the average order of the Shafarevich–Tate group in this family.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims to determine the probability that a genus-g hyperelliptic curve with a Weierstrass point over a number field has good reduction at a given prime of residue characteristic greater than 2g+1, and to give analogous explicit probability formulas for several other reduction types, including those with positive toric or unipotent rank. As an application, assuming the Hasse–Weil conjecture and the generalized Riemann hypothesis, it derives an explicit upper bound for the average analytic rank of the Jacobians in this family.
Significance. If the local-density formulas are correct and the averaging argument is sound, the paper would supply concrete arithmetic-statistics data for a natural family of higher-genus curves with a marked Weierstrass point, extending the elliptic-curve and hyperelliptic literature. An explicit conditional upper bound on average analytic rank would be a usable quantitative prediction. The abstract correctly flags Hasse–Weil and GRH as external hypotheses rather than claiming unconditional rank results, which is appropriate.
major comments (2)
- Only the abstract is available for this review. The load-bearing claims—explicit local densities for good reduction and for reduction types of positive toric or unipotent rank at primes of residue characteristic >2g+1, and the conversion of those densities into an explicit average-analytic-rank bound under Hasse–Weil and GRH—cannot be audited without the body of the paper. Density calculations, error terms, averaging order, treatment of the Weierstrass-point condition, and the contribution of primes of small residue characteristic are all invisible from the abstract alone. A full manuscript is required before correctness can be assessed.
- From the abstract, the passage from local statistics to the average-rank bound rests entirely on two named external conjectures (Hasse–Weil and GRH). That dependence is clearly stated, which is good, but without the text one cannot check whether the averaging is set up so that those hypotheses actually yield the claimed explicit upper bound, nor whether the bound is sharp enough to be informative relative to known lower bounds or random-matrix heuristics for the same family.
minor comments (2)
- The abstract does not display the explicit form of the local probabilities or of the average-rank bound. Even a one-line display of the main density formula (or of the leading term of the rank bound) would make the contribution easier to evaluate at the abstract stage.
- The base number field is described only as “a number field.” Clarifying whether the main statements are for Q or for a general number field (and how the residue characteristic bound interacts with the degree) would help the reader place the result.
Circularity Check
Abstract-only review: no circularity detectable; local densities and conditional rank bound presented as computed results under external hypotheses.
full rationale
Only the abstract is available. It states that the authors determine explicit probabilities for good reduction (and other reduction types) of genus-g hyperelliptic curves with a Weierstrass point at primes of residue characteristic >2g+1, and then, assuming Hasse–Weil and GRH, obtain an explicit upper bound on average analytic rank. Nothing in the abstract indicates that a density is fitted to the same data it is said to predict, that a uniqueness theorem is imported from the authors’ prior work to force the model, or that a known empirical pattern is merely renamed. The two named assumptions for the rank application are standard external conjectures, not self-referential. With no body text, equations, or self-citations to audit, no circular step can be exhibited by quotation and reduction. Per the hard rules, an honest non-finding is required: score 0, empty steps list. Residual risk is ordinary dependence on the chosen family model and on the external conjectures, which is correctness risk rather than circularity.
Assumptions & free parameters
assumptions (3)
- domain assumption Hasse–Weil conjecture for the L-functions of the Jacobians of the curves in the family (analytic continuation and functional equation of the expected degree).
- domain assumption Generalized Riemann hypothesis for the same L-functions.
- domain assumption Standard model of the family of genus-g hyperelliptic curves with a Weierstrass point over a number field (ordering by height, local conditions at primes of residue characteristic >2g+1).
Cite this review
Pith. "Pith review of Local statistics and average rank of genus $g$ hyperelliptic curves with a Weierstrass point." pith.science (2026). https://pith.science/paper/V3CWLSMM
@misc{pith2026260712381,
author = {Pith},
title = {Pith review of: Local statistics and average rank of genus $g$ hyperelliptic curves with a Weierstrass point},
year = {2026},
howpublished = {\url{https://pith.science/paper/V3CWLSMM}},
note = {Machine review of arXiv:2607.12381}
}
abstract
In this paper, we determine the probability that a genus $g$ hyperelliptic curve with a Weierstrass point over a number field has good reduction at a given prime of residue characteristic $>2g+1$. We also obtain analogous probability formulas for several other reduction types, including cases with positive toric or unipotent rank. As an application, assuming the Hasse--Weil conjecture and the generalized Riemann hypothesis, we derive an explicit upper bound for the average analytic rank of genus $g$ hyperelliptic curves with a Weierstrass point.
Reviewed July 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.