{"id":"5153c84d-8a4e-4c1d-b20e-7901cf8b091e","arxiv_id":"1909.01253","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The canonical height of a section of an elliptic scheme over a curve equals the integral of the Betti form over the base, and this measure coincides with the dynamical equidistribution measure.","lead":"This paper proves a formula equating the canonical height of a section of an elliptic scheme to an area computed from its Betti coordinates, and shows that this area is the same measure that appears in arithmetic dynamics. It also proves finiteness of points where a torsion value is attained with abnormally high multiplicity, and derives an explicit effective Siegel-type bound for quasi-integral points.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central counting step in Theorem 3.2(b) assumes a bounded definable Betti map near bad reduction, quoted from the unpublished [10]; if that boundedness fails, Lemma 3.5 cannot be applied and the height-integral formula has no counting justification.","rationale":"The Reader's weakest assumption is exactly the one I find most load-bearing: Theorem 3.2's counting argument depends on the Betti map being definable and bounded near the bad reduction locus, as quoted from the unpublished preprint of Jones and Schmidt [10]. My concern is not that the result is false, but that the paper's central equality is contingent on an external statement whose proof is not included and whose precise content (especially boundedness, rather than mere definability) is essential for applying Lemma 3.5. The paper's own Remark 3.7 offers an integrability estimate for the 2-form, but that does not imply boundedness of the coordinates themselves, so it does not substitute for the missing justification. I agree with the Reader that this makes the appropriate verdict CONDITIONAL: the proof is likely fillable, but the central claim should not be fully accepted as it stands without verification of the quoted boundedness. Since the Reader already assigned CONDITIONAL, my stress-test does not move the verdict, hence UNCHANGED.","tokens_in":31418,"tokens_out":22349,"duration_ms":243770,"concrete_test":"Perform an independent local analytic verification of the boundedness claim for the Legendre Betti map. Using the explicit hypergeometric period expansions near λ=0, compute a continuous real branch of (β_1,β_2) for the paper's example σ(λ)=(2,√(2(2−λ))) and for an algebraic section that specializes to the node, e.g. x(λ)=2λ, y(λ)=λ√(4λ−2). On a small sector |arg λ|<ε, check whether the lift of (β_1,β_2) to R^2 is bounded as λ→0 and whether |λ|^2 |log λ|^4 times the density of σ^*(dβ_1∧dβ_2) with respect to dλ∧d\\barλ is bounded, as asserted in (3.18). Repeat for sectors at λ=1 and λ=∞. If an unbounded branch occurs, Lemma 3.5 cannot be applied and the proof of Theorem 3.2(b) has a genuine gap; if all tested branches are bounded, the quoted boundedness is at least corroborated in the representative cases.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 3.2 identifies an arithmetic quantity, the canonical height, with a geometric integral: hhat(sigma) = ∫_{B\\r^{-1}(S)} sigma^*(dβ_1 ∧ dβ_2). The proof of part (b) is the counting side: it shows A_n/n^2 tends to that integral by representing each n-torsion point as a rational point with denominator n in the image of a local branch B_j = (β_1,β_2)∘sigma of the Betti map. For Lemma 3.5 (Barroero-Widmer) to apply, each B_j must be definable in R_an,exp and the relevant pieces of its image must be bounded. The paper imports the boundedness claim from [10, Proposition 4] and the definable partition from [10, Section 10]; neither is proved in the present text. Boundedness is not a cosmetic condition: if a branch is unbounded near a point of S = {0,1,∞}, then the sets A_j^m in the Hardt trivialization can be unbounded, the counts α_{n,j}^m need not be finite or asymptotic to μ(A_j^m), and equations (3.13)-(3.14) break down. The alternative bound (3.18) in Remark 3.7 controls the pulled-back 2-form, not the Betti coordinates, so it does not repair the counting argument. Sections specializing to a non-identity component of a singular fiber are exactly where unboundedness would first appear, and the paper gives no separate argument excluding this case. Thus the central height formula is only as secure as the quoted [10] statement.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript studies sections of an elliptic scheme over an affine base curve and analyzes the locus where the section takes torsion values. The central object is the Betti map of a section; the paper proves an integral formula (Theorem 3.2) expressing the canonical height of a non-torsion section as the integral of the pulled-back form dβ1 ∧ dβ2 over the base, and shows that torsion points of order dividing n are asymptotically distributed according to this measure. The proof has two independent counting ingredients: an algebraic intersection count showing that the number of n-torsion points is asymptotic to n² times the canonical height, and an o-minimal counting argument, using a result of Barroero–Widmer, showing the same count is asymptotic to the integral of the Betti form. The paper also proves finiteness results for the points where the torsion multiplicity is larger than expected, compares the Betti measure with the DeMarco–Mavraki dynamical current, and derives an effective Siegel-type bound for the v-adic size of points on elliptic curves over function fields.","tokens_in":31768,"tokens_out":5775,"duration_ms":66207,"significance":"If the quoted definability and boundedness results are available, Theorem 3.2 is a valuable bridge between arithmetic height and the analytic Betti map, and the distribution statement for torsion points is a genuine strengthening of the qualitative density results known previously. The comparison in Section 4 with the DeMarco–Mavraki current is non-circular: it proves equality of the currents via a uniqueness property in Proposition 4.3 rather than assuming the height formula, and the alternative proof in Section 4.1 shows how Theorem 3.2 follows from that comparison combined with Wirtinger’s formula. The multiplicity finiteness results and the effective quasi-integral-point theorem in Section 5 are also substantial. The main caution is the reliance of the counting proof on the unpublished preprint [10] for definability and, crucially, boundedness of the Betti map; this is the single point on which the central integral formula currently rests.","major_comments":[{"comment":"The proof applies Lemma 3.5 (Barroero–Widmer) to sets built from graphs of branches of the Betti map. This requires, in addition to definability, that each branch Bj be bounded on its piece Yj. The manuscript asserts boundedness by quoting [10, Proposition 4], but [10] is an unpublished preprint and no argument is given in the present text. If a branch is unbounded near a point of r^{-1}(S), the sets A_j^m obtained from the Hardt trivialization may be unbounded, the counts α_{n,j}^m need not be comparable to n² μ(A_j^m), and equations (3.13)–(3.14) lose their justification. The estimate (3.18) in Remark 3.7 bounds the pulled-back 2-form dβ_1^t ∧ dβ_2^t, not the Betti coordinates themselves, so it does not repair the missing boundedness. I ask the authors to prove the needed boundedness statement, or to cite a precise and verified published statement, or to restructure the counting argument so that it does not require boundedness of the Betti map.","section":"§3.2, proof of Theorem 3.2(b)"},{"comment":"The proof that δ_n + s_n = O(1) is only sketched at one point: for a bad-reduction fiber one reduces to the case m = 1 by replacing σ by mσ, but the text does not explicitly write the relation between the local intersection numbers of nσ and the corresponding multiples of mσ for the original section. The formal-group argument leading to (3.10) is sound for the normalized section meeting the special fiber at the origin, but the reduction justifying the same conclusion for all n with m | n should be stated. Since this boundedness is what identifies the limit of A_n/n² with the intersection-theoretic canonical height, the step should be made fully explicit.","section":"§3.2, proof of Theorem 3.2(a)"},{"comment":"The proof of Theorem 2.8 asserts that the function Ξ(σ̃) has no essential singularities on a complete model of B by 'easy growth estimates', and then concludes it is rational. This assertion is load-bearing for the multiplicity bound and for the subsequent finiteness results, but no growth estimate is actually displayed. Similarly, Proposition 2.4 uses definability of the Betti map quoted from the unpublished [10] near the boundary of B; this is acceptable only if the precise statement in [10] is supplied. The authors should either prove the growth assertion or give a complete reference to a published argument.","section":"§2, Theorem 2.8 and Proposition 2.4"}],"minor_comments":[{"comment":"The phrase 'It may be continued to all of B(C), with monodromy transformation that we forget about' is potentially confusing, since the Betti map is not globally single-valued; please clarify that the continuation is multivalued and that the differentials dβ1, dβ2 are the globally well-defined objects.","section":"§2, Definition 2.1"},{"comment":"The computation for the section σ(λ) = (2, √(2(2−λ))) would benefit from a precise description of the branch cuts and the 'segment [2,∞]' topology on B; without this, the displayed equality relating 1/4, the height, and the integral is hard to verify.","section":"§3, Example 3.4"},{"comment":"The notation β_i is overloaded: in (3.7) it denotes the Betti coordinates of the section σ, while elsewhere β denotes the Betti map on the total space. It would help to write β_i∘σ explicitly in the integrand.","section":"§3, equation (3.7)"},{"comment":"There are several typographical slips, e.g. 'Morevoer' in the Introduction and 'hanece' in Remark 2.11; these should be corrected in revision.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The single most important issue for the editor is the dependence on the unpublished preprint [10] for both definability and boundedness of the Betti map. If the authors can provide a self-contained proof or a verified precise statement from a published source, the central theorem is likely sound. The alternative proof via DeMarco–Mavraki sketched in §4.1 gives some independent support for the height formula, but it relies on the same comparison with the Betti form, so the boundedness question still matters for the presented proof of part (b). I would not recommend rejection, because the gap is external and potentially fixable, but it is load-bearing and should be resolved before publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague—\n\nThe thing to know: this paper delivers the integral formula hhat(σ) = ∫ σ^*(dβ1 ∧ dβ2) for the canonical height of a section of an elliptic scheme, and it proves the torsion points equidistribute for the Betti measure. That is a real bridge between Diophantine approximation, unlikely intersections, and arithmetic dynamics. It also proves finiteness of high-multiplicity torsion points and an effective Siegel-type bound for quasi-integral points, with a fully worked example where all constants are explicit.\n\nWhat is genuinely new: the direct counting proof of Theorem 3.2, the multiplicity analysis via the Betti map (Propositions 2.4 and 2.10), the comparison with DeMarco–Mavraki's dynamical current in Section 4, and the explicit effective Roth/Siegel result in Section 5. The authors themselves point out that Theorem 3.2 can be deduced from DeMarco–Mavraki via Wirtinger, so the novelty is the method and the refinements, not the bare statement.\n\nSoft spots, in proportion: the proof of part (b) in Theorem 3.2 imports from [10] a definable partition of B \\ r^{-1}(S) into pieces on which the Betti map is both definable and bounded. That result is in an unpublished preprint. If the boundedness fails near bad reduction, the lattice-point counting via Barroero–Widmer (Lemma 3.5) has no justification. The paper's Remark 3.7 gives a bound on the pulled-back 2-form, not on the Betti coordinates, so it does not patch the counting. This is a genuine load-bearing citation, and a referee should ask for a proof or a precise reference. Two smaller asserted steps: the 'easy growth estimates' in Theorem 2.8 and the closedness step in Proposition 4.3. Both look fillable, and neither seems to threaten the central formula.\n\nThe math is otherwise careful and the citation pattern is honest. The paper does not define the target and then prove it by circularity; the torsion-point count is independent of the height integral.\n\nWho this is for: people working on elliptic surfaces, canonical heights, Betti maps, or effective Diophantine approximation over function fields. It deserves a serious referee. My recommendation: send it to review, but ask the referee to check the [10] dependency and the two asserted estimates. If those clean up, this is a solid addition to the literature.","headline":"A substantial paper: it proves a clean height–Betti-measure integral for elliptic sections and adds effective Diophantine results, but the main counting argument leans on an unpublished definability/boundedness result.","tokens_in":32317,"tokens_out":2539,"would_cite":true,"duration_ms":25395,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["11G50","14H52","14J27"],"pacs":[],"model":"deepseek-v4-flash","headline":"An algebraic section's canonical height equals the area its Betti coordinates sweep out on the base curve.","keywords":["elliptic scheme","Betti map","canonical height","torsion points","equidistribution","Legendre elliptic curve","multiplicity","quasi-integral points"],"falsifier":"Integrate the right-hand side of (3.6) for an explicit section with independently known height, such as $\\sigma(\\lambda)=(2,\\sqrt{2(2-\\lambda)})$ on the base $t^2+2$: the formula requires the value to be exactly $1/2$, and any numerical discrepancy after handling branches and singular terms would disprove Theorem 3.2. More generally, any algebraic section whose intersection-theoretic canonical height disagrees with the computed Betti-area integral would falsify the main identity.","tokens_in":31231,"feed_emoji":"📐","tokens_out":10852,"duration_ms":108402,"temperature":0.7,"pith_summary":"An algebraic section of a one-parameter family of elliptic curves has a canonical height, an arithmetic measure of how nontrivial the section is. This paper proves that the height is an area integral over the base curve: for the Legendre family pulled back by a finite morphism $r\\colon B\\to \\mathbb P^1$, $\\hat h(\\sigma)=\\int_{B\\setminus r^{-1}(S)}\\sigma^*(d\\beta_1\\wedge d\\beta_2)$, where $S=\\{0,1,\\infty\\}$ and $\\beta_1,\\beta_2$ are the Betti coordinates. The equality comes from counting torsion values in two ways: torsion of order dividing $n$ is detected by rational Betti coordinates with denominator $n$, and the same count is asymptotically $\\hat h(\\sigma)n^2$ by intersection theory. The paper also proves that high-multiplicity torsion values are rare, and derives an effective quasi-integrality theorem for elliptic curves over function fields.","feed_headline":"Canonical height is an exact area integral","feed_subtitle":"Torsion values of a section spread according to the same Betti measure that computes its height.","key_machinery":"The Betti map sends a point on a fiber to the two real coefficients expressing its abelian logarithm as a combination of the fiber's periods. The load-bearing objects are the closed two-form $d\\beta_1\\wedge d\\beta_2$ on the elliptic surface minus the singular fibers, pulled back to the base by the section, and the second-order differential operator $\\Xi$ whose vanishing characterizes torsion sections and which controls intersection multiplicities. The counting step uses the fact that the Betti coordinates of an $n$-torsion point are rational with denominator dividing $n$, together with a tame definability and boundedness result for the Betti map and a lattice-point counting theorem for definable sets: these convert the count of torsion points into the Lebesgue area of the Betti-coordinate image, proving the integral formula.","core_discovery":"For a non-torsion algebraic section $\\sigma$ of an elliptic scheme over a curve, the paper establishes that the canonical height $\\hat h(\\sigma)$ equals the integral of the pulled-back two-form $\\sigma^*(d\\beta_1\\wedge d\\beta_2)$, computed over the base with the bad fibers removed. The proof counts $n$-torsion values of $\\sigma$ twice: intersection products with the zero section give a limit $\\hat h(\\sigma)$, while the Betti-coordinate description of torsion gives a limit equal to the Betti area; the two limits must coincide. Along the way the paper shows the torsion values are equidistributed with respect to that Betti measure, that the typical multiplicity of a torsion value is $2$ with only finitely many higher-multiplicity exceptions, and that the Betti measure is exactly the closed current appearing in dynamical equidistribution theorems. In the final part, the multiplicity problem is connected to Diophantine approximation over function fields and yields an effective, valuation-independent bound $|\\xi|_v\\le C\\, H(\\xi)^{\\varepsilon}$ for abscissae of points on elliptic curves.","pith_inferences":["Beyond the paper, one could test the formula as a computational tool in the Legendre family by computing both sides for sections $\\sigma_k=[k]\\sigma_0$: the theorem predicts the Betti integral scales quadratically in $k$, which could be checked numerically without knowing a Mordell-Weil basis.","Beyond the paper, the remark that the naive higher-dimensional analogue fails because the $[n]$-pullback scales the form by $n^{2g}$ suggests that any extension to abelian schemes of dimension $g>1$ would need a different normalization or a different measure, and that multiplicities there may not be uniformly bounded.","Beyond the paper, the valuation-independent effective bound could be used to make the finiteness theorem for high-multiplicity torsion points quantitative over a fixed finitely generated section group, by replacing the tame definability input with explicit counting where the field and group are explicit."],"forward_implications":["The canonical height of any algebraic section is a rational number, so it can in principle be evaluated by numerical integration of the Betti form once the periods of the family are known.","For a non-torsion section, the torsion values are distributed over the base by the Betti measure, and the number of points where $\\sigma$ has order dividing $n$ grows like $\\hat h(\\sigma)n^2$ with the expected multiplicity $2$.","The exceptional set where a torsion value is attained with multiplicity greater than expected is finite; over a finitely generated group of sections the union of all such exceptional sets is finite and uniformly bounded.","The Betti measure coincides with the dynamical equidistribution current, so torsion-order sequences and general height-zero sequences of points share the same limiting distribution on the base.","For elliptic curves over function fields, an effective analogue of the classical theorem on integral points holds: abscissae satisfy $|\\xi|_v \\le C\\,H(\\xi)^{\\varepsilon}$ with $C$ independent of the valuation $v$."],"supporting_citations":[{"why":"supplies the lattice-point counting lemma that converts rational Betti coordinates into Lebesgue-area asymptotics.","marker":"[3]"},{"why":"supplies the Betti-map formalism and the finiteness of its fibers used to separate exceptional multiplicity points.","marker":"[7]"},{"why":"provides the dynamical equidistribution current that Section 4 identifies with the Betti measure.","marker":"[9]"},{"why":"supplies the definability and boundedness of the Betti map near bad reduction on which the counting proof rests.","marker":"[10]"},{"why":"provides the differential operator used to bound torsion-point multiplicities and to detect torsion sections.","marker":"[12]"},{"why":"supplies the period, quasi-period, and local-height identities used to compare the Betti form with the height current.","marker":"[19]"},{"why":"supplies the intersection-product formula expressing the canonical height and its rationality.","marker":"[20]"},{"why":"supplies the effective function-field Roth theorem adapted in Section 5 for the quasi-integrality bound.","marker":"[24]"}],"fun_headline_variants":["Torsion points follow Betti-measure law","Height equals Betti area integral","Finitely many high multiplicity torsion values","Effective bound from torsion multiplicity","Betti measure governs torsion distribution"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The counting argument assumes that the Betti map, restricted to the base minus the bad fibers, is tamely definable and bounded, so that the number of rational coordinate pairs with denominator $n$ in its image follows the Lebesgue-area law; this is quoted from an unpublished preprint, and a failure near $0,1,\\infty$ would break the equidistribution step and the integral formula.","fun_headline_variants_meta":{"raw":{"variants":["Torsion points follow Betti-measure law","Height equals Betti area integral","Finitely many high multiplicity torsion values","Effective bound from torsion multiplicity","Betti measure governs torsion distribution"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000189,"raw_usage":{"total_tokens":1332,"prompt_tokens":941,"completion_tokens":391,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":557,"completion_tokens_details":{"reasoning_tokens":331}},"tokens_in":557,"tokens_out":391,"duration_ms":4162,"temperature":1.0,"reasoning_tokens":331,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T05:23:47.226909+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Integrate the right-hand side of (3.6) for an explicit section with independently known height, such as $\\sigma(\\lambda)=(2,\\sqrt{2(2-\\lambda)})$ on the base $t^2+2$: the formula requires the value to be exactly $1/2$, and any numerical discrepancy after handling branches and singular terms would disprove Theorem 3.2. More generally, any algebraic section whose intersection-theoretic canonical height disagrees with the computed Betti-area integral would falsify the main identity.","supporting_citations":[{"cited_title":"Barroero, M","cited_arxiv_id":null,"evidence_quote":"supplies the lattice-point counting lemma that converts rational Betti coordinates into Lebesgue-area asymptotics."},{"cited_title":"Corvaja, D","cited_arxiv_id":null,"evidence_quote":"supplies the Betti-map formalism and the finiteness of its fibers used to separate exceptional multiplicity points."},{"cited_title":"De Marco, N","cited_arxiv_id":null,"evidence_quote":"provides the dynamical equidistribution current that Section 4 identifies with the Betti measure."},{"cited_title":"Pfaffian definitions of Weierstrass elliptic functions","cited_arxiv_id":"1709.05224","evidence_quote":"supplies the definability and boundedness of the Betti map near bad reduction on which the counting proof rests."},{"cited_title":"Manin, Rational Points of Algebraic Curves over Function Fie lds, Izv","cited_arxiv_id":null,"evidence_quote":"provides the differential operator used to bound torsion-point multiplicities and to detect torsion sections."},{"cited_title":"Silverman, Advanced topics in the arithmetic of elliptic curves , Grad- uate texts in mathematics, Springer Verlag, 1994","cited_arxiv_id":null,"evidence_quote":"supplies the period, quasi-period, and local-height identities used to compare the Betti form with the height current."},{"cited_title":"Shioda and M","cited_arxiv_id":null,"evidence_quote":"supplies the intersection-product formula expressing the canonical height and its rationality."},{"cited_title":"Wang, An effective Roth’s theorem for function fields , Rocky Mountain J","cited_arxiv_id":null,"evidence_quote":"supplies the effective function-field Roth theorem adapted in Section 5 for the quasi-integrality bound."}],"review_version":1}