REVIEW 2 major objections 4 minor 12 references
Genus and Gonality of Small Curves, Dynamical Uniform Boundedness, and Bifurcation
T0 review · 2 major / 4 minor · reviewed 2026-08-02 · deepseek-v4-flash
Pith's one-line read In any genuinely varying family of rational maps on the projective line, the curves parameterizing preperiodic points must acquire large gonality and superlinear genus growth; this proves the Gonality Conjecture and yields uniform boundedne
desk verdict The paper is a genuine breakthrough — Gonality Conjecture for non-isotrivial P^1 families — but its load-bearing comparison between geometric and Moriwaki height is quoted rather than proved. 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 uniformly woven current: a positive closed current expressed as an integral of currents of integration over analytic curves with uniformly bounded local volumes. The paper develops structure theorems showing that limits of algebraic curves with bounded normalized genus, or with bounded gonality after passing to symmetric products, are uniformly woven. The load-bearing analytic result is Theorem 4.9: a uniformly woven current satisfying S ∧ T_f = 0 and whose admissible slices are bounded by the maximal entropy measure can only be supported over stable parameters. Since every non-isotrivial non-flexible one-dimensional family has a non-empty bifurcation locus, the exi
What would settle it
A direct falsifier would be a non-isotrivial one-parameter family of rational maps, not of the flexible elliptic-curve type, together with a sequence of distinct dynatomic curves of bounded gonality; the theorem predicts none exists. A more local falsifier: find any non-abelian family where the geometric-height ≤ constant·canonical-height inequality fails, which would sever the proof at its first arithmetic step even if the analytic mechanism stands.
Extended reading notes
Core claim
Theorem 1.2 states that if f is a non-isotrivial one-parameter algebraic family of endomorphisms of P^1 of degree d at least 2 over C, not among the flexible elliptic-curve families, and K is any field finitely generated over Q over which f is defined, then every sequence of distinct horizontal curves over K that is small for the canonical dynamical height satisfies gonality tending to infinity and genus/degree tending to infinity. Dynatomic curves and preimage curves are automatically small, so the Gonality Conjecture follows. The higher-dimensional generalization, Theorem 1.4, gives the same conclusion for generic small horizontal curves in any one-parameter family of endomorphisms of P^N
Load-bearing premise
The load-bearing premise is a comparison inequality bounding the geometric height by a constant multiple of the canonical height; the paper cites this inequality from a setting where it was proved for abelian schemes and asserts without proof that the argument works in full generality, so if it fails outside that setting the bridge from arithmetic smallness to the dynamical contradiction collapses.
Editorial extensions
If this is right
- The Gonality Conjecture for dynatomic curves in dimension one is now a theorem: in any non-isotrivial family of rational maps other than the flexible elliptic-curve families, distinct dynatomic curves have gonality tending to infinity.
- For any non-isotrivial one-parameter family of maps on the projective line over a number field, the number of rational iterated preimages of a marked point of bounded degree is uniformly bounded independently of the parameter.
- The Geometric Uniform Boundedness Conjecture holds along every algebraic curve in the moduli space of degree-d maps of the line: for each bounded gonality of the field, the number of preperiodic points is uniformly bounded, with no exceptional subvariety in dimension one.
- In higher dimensions, the same conclusions hold for any one-parameter family satisfying Assumption A, namely a non-empty bifurcation locus and, in dimension at least three, periodic genericity.
- The normalized genus, genus/degree, also diverges for every small horizontal sequence, a stronger statement reflecting a genuinely dynamical source of ramification rather than the linear growth typical of abelian-scheme towers.
Reading between the lines
- The proof's decisive geometric step—bounded gonality implies a uniformly woven limit after passing to symmetric products—does not use dynamics and could serve as a general criterion in other contexts where a rigidity theorem forbids woven currents.
- The reliance on a height-comparison inequality imported from an abelian-scheme setting is the point most worth checking; if that comparison fails in general, the arithmetic input would need replacement, while the analytic bifurcation mechanism would remain intact.
- A natural testbed for further progress is a one-parameter family in dimensions two and higher where no classification of stable families exists; any gonality-growth theorem there would need a substitute for the rigidity that is available in dimension one.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper aims to prove the Gonality Conjecture in arithmetic dynamics: for any non-isotrivial one-parameter algebraic family of endomorphisms of P^1 over C which is not the flexible Lattès family, every small sequence of distinct horizontal curves has gonality tending to infinity and genus growing superlinearly in the degree. In particular, distinct dynatomic curves have gonality tending to infinity, resolving Conjecture 1.1 when combined with previous work of Nguyen–Saito in the flexible Lattès case. The authors also prove higher-dimensional analogues under Assumption A, and derive uniform boundedness results for iterated preimages over number fields and geometric uniform boundedness for preperiodic points over function fields. The proof combines Moriwaki heights and arithmetic equidistribution, a new woven-current approximation theorem for curves of bounded gonality, and bifurcation theory.
Significance. If the main results are correct, this is a major advance: it resolves a conjecture open for general one-parameter families, previously known only for the unicritical and flexible Lattès families, and it gives a new bifurcation-theoretic mechanism for gonality and genus growth. The paper also contributes an independent analytic result, Theorem 3.9, extending woven-current approximation from bounded genus to bounded gonality, and it connects arithmetic equidistribution with bifurcation currents in a novel way. The applications to uniform boundedness of preimages and preperiodic points are substantial. However, the central proof currently relies on a load-bearing height comparison that is only cited from a different setting, and on a transition to the woven approximation that is not fully justified. The significance is therefore high but conditional on filling these gaps.
major comments (2)
- [§6.1, Proposition 6.1] Proposition 6.1 asserts h_geom(Z) ≤ C h_Moriwaki(Z) for every K-subvariety Z under H big and nef, in the full generality of a flat projective morphism π:U→X. The only reference is [JSX26, Prop. 2.7], whose stated setting is an abelian scheme; the text says 'its proof works in general' without supplying the proof. This inequality is load-bearing: Proposition 7.4 uses it to infer from hhat_f(V_n)→0 that hhat_geom(O(V_n))→0, and hence S∧T_f∧ω_1^{m-1}=0. That vanishing is the essential input for Proposition 7.5 and the contradiction via Theorem 4.9. If the comparison fails, or holds only up to an additive constant, the bridge from arithmetic smallness to the dynamical contradiction breaks. The authors should either give a complete proof in the required generality or cite a statement proved in that generality.
- [§7.3, proof of Theorem 1.4] After (7.6), the text states 'By Proposition 7.5, we have ... S_θ∧R_s=μ_s for μ_bif,θ-a.e. s∈π^{-1}(θ)'. But Proposition 7.5(2) is conditional: it only gives this equality when S_θ∧R_s is admissible, and the proposition does not prove admissibility for μ_bif,θ-almost every s. Later the proof replaces S_θ by a uniformly woven approximation S_r from Theorem 3.6 and applies Lemma 7.7 to obtain s with S_r∧R_s admissible and positive. To apply Theorem 4.9, condition (2) requires S_r∧R_t ≤ μ_t for every t for which S_r∧R_t is admissible. The inequality S_r ≤ S_θ does not imply admissibility of S_θ∧R_t from admissibility of S_r∧R_t, so the desired bound does not follow from Proposition 7.5 as written. This is a load-bearing step in the contradiction; it needs a direct argument proving either the a.e. equality including admissibility, or the bound for S_r.
minor comments (4)
- [§2.1] Typos: 'whcih' and 'subdivion' occur in the paragraph defining the subdivision Q; 'f∪' appears in the proof of Proposition 2.10. These are harmless but should be corrected.
- [§6.4] The adelic bifurcation line bundle L_bif and its geometric part eL_bif are used for Proposition 6.10. The descent from End_{d,N} to M_{d,N} and the Deligne pairing construction would benefit from a precise reference in the quasi-projective setting; the current text only sketches the construction.
- [§7.1] In the proof of Proposition 7.1, the phrase 'Pick a smooth projective compactification Y ... such that id and f extend to morphisms p_1,p_2' should clarify that resolution/blow-ups are needed; as written the extension of a rational dynamical system to a projective model is not automatic.
- [References] The references [Mor00a] and [Mor00b] appear to refer to the same article; they should be consolidated.
Circularity Check
The smallness-to-vanishing bridge rests on a self-cited comparison inequality whose needed generality is asserted, not proved.
-
self citation load bearing
[Section 6.1 (Proposition 6.1) and Section 7.2 (Proposition 7.4)]
"Proposition 6.1. Assume that H is big and nef. There exists a constant C>0 such that for every K-subvariety Z, we have h^{eH}_{eL}(Z)≤C h^H_L(Z). ... A proof can be found in [JSX26, Proposition 2.7]. In [JSX26, Proposition 2.7], π:U→X is an abelian scheme, however its proof works in general. ... By Proposition 6.1, we also have ˆh_{geom}(O(V_n))→0."
Proposition 7.4 needs the implication small Moriwaki height ⇒ vanishing geometric intersection S∧T_f∧ω_1^{m-1}=0. The only bridge supplied is h_geom≤C h_Moriwaki, quoted from the authors' own [JSX26, Prop. 2.7], whose stated setting is an abelian scheme. The extension to arbitrary families is asserted by 'its proof works in general' with no derivation in the present paper. Thus the key reduction from arithmetic smallness to the current vanishing used in Theorem 4.9 is not derived here but imported from an overlapping-author citation in a different setting. This is a load-bearing self-citation gap rather than a definitional equivalence; the central gonality/woven-current argument is otherwise independent.
full rationale
The main theorem is not a fitted or definitional tautology: smallness is defined by Moriwaki heights, while gonality and genus growth are separate geometric conclusions, and the proof supplies extensive new input (uniformly woven currents, slicing, bifurcation contradiction). However, the proof of Proposition 7.4 depends on Proposition 6.1, which is cited from the authors' [JSX26] in the abelian-scheme case and extended to the needed general setting only by assertion. Since this comparison is load-bearing for passing from arithmetic smallness to the geometric vanishing that triggers the bifurcation contradiction, it is a self-citation carrying essential weight. The paper would be fully circular only if the cited proposition were the target theorem; it is not, so the issue is best described as an unsupported transfer / possible gap rather than complete circularity. Hence score 4.
Assumptions & free parameters
assumptions (8)
- domain assumption Yuan-Zhang adelic line bundle / Moriwaki height theory and its Northcott property (Sections 6.1-6.3)
- domain assumption Relative arithmetic equidistribution theorem (Theorem 6.3, from Moriwaki, Yuan-Zhang, Chen-Moriwaki)
- domain assumption McMullen rigidity: stable non-isotrivial one-dimensional families are flexible Lattès (McM87; JX23)
- domain assumption Bassanelli-Berteloot / BBD18 stability theory: stable locus iff equilibrium web, under periodic genericity for N≥3
- domain assumption Proposition 6.1 comparison between Moriwaki and geometric heights, quoted from JSX26 with assertion that the abelian-scheme proof works in general
- domain assumption Levy's uniform bound on automorphism groups of degree-d endomorphisms (Lev11)
- domain assumption Xie23 decomposition of invariant measures on P^N_F with constructible topology into periodic components (Theorem 1.10)
- ad hoc to paper Assumption A (non-empty bifurcation set; periodic genericity for N≥3) is stated as a hypothesis in Theorem 1.4, not proven in general
Cite this review
Pith. "Pith review of Genus and Gonality of Small Curves, Dynamical Uniform Boundedness, and Bifurcation." pith.science (2026). https://pith.science/paper/TDQRHIDB
@misc{pith2026260712561,
author = {Pith},
title = {Pith review of: Genus and Gonality of Small Curves, Dynamical Uniform Boundedness, and Bifurcation},
year = {2026},
howpublished = {\url{https://pith.science/paper/TDQRHIDB}},
note = {Machine review of arXiv:2607.12561}
}
abstract
We prove the Gonality Conjecture in arithmetic dynamics: for any non-isotrivial one-parameter algebraic family of rational maps on $\mathbb{P}^1_{\mathbb{C}}$, the gonality of distinct dynatomic curves tends to infinity. More generally, outside the flexible Latt\`es family, every small sequence of horizontal curves has gonality tending to infinity, and its genus grows superlinearly with its degree over the parameter curve. We also obtain higher-dimensional analogues under natural bifurcation and multiplier-genericity hypotheses. As applications, we prove uniform boundedness results for iterated preimages over number fields and geometric uniform boundedness results for preperiodic points over function fields. The proof combines arithmetic equidistribution, woven currents, and bifurcation theory; the bifurcation mechanism is what forces the growth of genus and gonality.
Reference graph
Works this paper leans on
-
[5]
EMS Press, Berlin, [2023]©2023
Sections 9– 11, pages 3460–3482. EMS Press, Berlin, [2023]©2023. [Fab10] X. W. C. Faber. A remark on the effective Mordell conjecture and ratio- nal pre-images under quadratic dynamical systems.C. R. Math. Acad. Sci. Paris, 348(7-8):355–358,
2023
-
[7]
[LY26] Nicole Looper and Jit Wu Yap. Uniform boundedness of small points on abelian varieties over function fields.arXiv preprint arXiv:2603.23396,
-
[1983]
D-gonality of modular curves and bounding torsions.arXiv preprint alg-geom/9603024,
[NS96] Khac Viet Nguyen and Masa-Hiko Saito. D-gonality of modular curves and bounding torsions.arXiv preprint alg-geom/9603024,
-
[1985]
Bifurcation currents in holomorphic dynamics onP k.Journal f¨ ur die reine und angewandte Mathematik (Crelles Journal), 2007(608):201,
[BB07] Giovanni Bassanelli and Fran¸ cois Berteloot. Bifurcation currents in holomorphic dynamics onP k.Journal f¨ ur die reine und angewandte Mathematik (Crelles Journal), 2007(608):201,
2007
-
[1989]
Translated from the Russian by R. A. M. Hoks- bergen. [CM24] Huayi Chen and Atsushi Moriwaki.Positivity in Arakelov geometry over adelic curves—Hilbert-Samuel formula and equidistribution the- orem, volume 355 ofProgress in Mathematics. Birkh¨ auser/Springer, Cham, [2024]©2024. [Col91] Mihnea Coltoiu. Traces of runge domains on analytic subsets.Mathe- mat...
2024
-
[1996]
Lyapunov exponents and bifurcation current for polynomial-like maps.arXiv preprint math/0512557,
[Pha05] Ngoc-Mai Pham. Lyapunov exponents and bifurcation current for polynomial-like maps.arXiv preprint math/0512557,
-
[1999]
Remarks on algebraic dynamics in positive characteristic.J
[Xie23] Junyi Xie. Remarks on algebraic dynamics in positive characteristic.J. Reine Angew. Math., 2023(797):117–153,
2023
-
[2000]
Rational periodic points of rational functions.International Mathematics Research Notices, 1994(2):97–110,
[MS94] Patrick Morton and Joseph H Silverman. Rational periodic points of rational functions.International Mathematics Research Notices, 1994(2):97–110,
1994
Show all 12 references
-
[2005]
The number of rational iterated preimages of the origin under unicritical polynomial maps.arXiv preprint arXiv:2510.14397,
[San25] Kaoru Sano. The number of rational iterated preimages of the origin under unicritical polynomial maps.arXiv preprint arXiv:2510.14397,
-
[2007]
Les cycles r´ epulsifs bifurquent en cha ˆ ıne.Annali di Matematica Pura ed Applicata (1923-), 197(2):517–520,
[Ber18] Fran¸ cois Berteloot. Les cycles r´ epulsifs bifurquent en cha ˆ ıne.Annali di Matematica Pura ed Applicata (1923-), 197(2):517–520,
1923
-
[2013]
A geometric approach to the uniform boundedness ofℓ-primary torsion points.arXiv preprint arXiv:2601.15089,
[JSX26] Zhuchao Ji, Jiarui Song, and Junyi Xie. A geometric approach to the uniform boundedness ofℓ-primary torsion points.arXiv preprint arXiv:2601.15089,
-
[2021]
The uniform boundedness and dynamical Lang conjec- tures for polynomials.arXiv preprint arXiv:2105.05240,
[Loo21b] Nicole Looper. The uniform boundedness and dynamical Lang conjec- tures for polynomials.arXiv preprint arXiv:2105.05240,
Reviewed August 2, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.