arxiv: 2605.04391 · v1 · submitted 2026-05-06 · 🧮 math.NT · math.DS

Recognition: 3 theorem links

· Lean Theorem

Rational orbits under correspondences

Trevor Hyde

Pith reviewed 2026-05-08 17:45 UTC · model grok-4.3

classification 🧮 math.NT math.DS

keywords correspondencesrational orbitsalgebraic dynamicsprojective lineiteratesfinitenessexceptional casesnumber fields

0 comments

The pith

For most correspondences from the projective line to itself, only finitely many rational points p have the property that their n-fold iterate contains a rational point when n is at least 12, unless the correspondence is one of a known list.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves a finiteness theorem for rational points appearing in the orbits of algebraic correspondences on the projective line. Given a correspondence F from P1 to itself over a finitely generated field K of characteristic zero that meets basic technical conditions, the result states that either F is exceptional or, for every n at least 12, only finitely many rational numbers p exist such that F to the n applied to p still meets a K-rational point. A sympathetic reader cares because this limits the possible infinite families of rational orbits under iteration, reducing the search for such orbits to a short explicit list of cases that can be checked by hand. The argument therefore supplies a classification of when algebraic dynamics on the line can produce infinitely many rational points with rational images under repeated application.

Core claim

If F is a correspondence from P1 to itself defined over a finitely generated field K of characteristic 0 satisfying several minor constraints, then either for each n >= 12 there are only finitely many p in Q for which F^n(p) contains a K-rational point or F belongs to an explicit list of known exceptional correspondences.

What carries the argument

The n-fold iterate F^n of the correspondence F together with the geometric condition that F^n(p) meets a K-rational point; this condition is analyzed by reducing it to the existence of rational points on an auxiliary curve.

If this is right

For any non-exceptional F meeting the constraints, the collection of rational p such that F^n(p) meets a K-rational point remains finite for every fixed n at least 12.
The only correspondences that can support infinite families of such rational p for arbitrarily large n are the explicitly listed exceptional ones.
The result supplies a complete dichotomy: either the dynamics are exceptional and already catalogued, or rational orbits of length 12 and beyond are finite in number.
The statement holds uniformly for every finitely generated base field K of characteristic zero.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The finiteness can be turned into an effective procedure once the exceptional list is enumerated, because one then only needs to solve finitely many Diophantine equations for each n.
The underlying reduction to rational points on a high-genus curve suggests that similar statements may hold when the base curve is replaced by any curve of genus at least two.
Relaxing the minor constraints while preserving the conclusion would enlarge the class of correspondences to which the classification applies.

Load-bearing premise

The correspondence F must obey the stated minor constraints on degree, irreducibility, or ramification; if those fail for some non-exceptional F, the finiteness conclusion need not hold.

What would settle it

Exhibit a single correspondence F that satisfies the minor constraints, is absent from the exceptional list, and yet possesses infinitely many distinct rational p in Q for which F^n(p) contains a K-rational point when n equals 12 or larger.

read the original abstract

Consider an algebraic function like $F(x) = \sqrt{x^3 - 1}$. If $p \in \mathbb{Q}$ is a rational number, how many iterates of $p$ under $F$ can also be rational? The dynamics of algebraic functions may be formalized in the language of correspondences on curves and their iterates. In this paper we show that if $F$ is a correspondence from $\mathbb{P}^1$ to itself defined over a finitely generated field $K$ of characteristic 0 satisfying several minor constraints, then either for each $n \geq 12$ there are only finitely many $p \in \mathbb{Q}$ for which $F^n(p)$ contains a $K$-rational point or $F$ belongs to an explicit list of known exceptional correspondences.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper proves a uniform finiteness theorem for rational points in high iterates of correspondences on P1, reducing most cases to Faltings via high-genus curves and listing the exceptions explicitly.

read the letter

The core claim is that a correspondence F: P1 to P1 over a finitely generated K of char 0, under the stated degree and ramification conditions, has only finitely many rational starting points p whose n-fold image contains a K-point for every n at least 12, unless F is one of the enumerated exceptions. The proof constructs, for each fixed n, a curve C_n whose K-points correspond exactly to those p, shows genus(C_n) is at least 2 outside the listed cases, and invokes Faltings. That reduction is the main new piece; it organizes a family of orbit questions that previously had to be handled case-by-case. The explicit list of exceptions is useful because it is finite and checkable, and the paper verifies that precisely those cases make the genus drop. The argument is clean and rests on standard tools rather than new machinery. The main limitation is that Faltings supplies non-effective finiteness, so the result does not give bounds or algorithms for finding the points when they exist. The constraints on F (irreducibility, degree bounds, behavior at infinity) are spelled out but mean the theorem does not apply verbatim to every correspondence one might write down. No circularity or hidden fitting appears in the case analysis. This is worth a serious referee for anyone working in arithmetic dynamics or Diophantine problems on curves; the statement is precise enough that a referee can check the genus calculations and the completeness of the exception list without undue effort.

Referee Report

0 major / 4 minor

Summary. The manuscript proves that if F is a correspondence from P^1 to itself defined over a finitely generated field K of characteristic 0 and satisfying the constraints in §1.2 and §2.1 (degree bounds, irreducibility, and ramification conditions at infinity), then either F belongs to the explicit list of exceptional correspondences enumerated in Theorem 1.1, or for every n ≥ 12 there are only finitely many p ∈ Q such that F^n(p) contains a K-rational point. For non-exceptional F the proof in §3 constructs an auxiliary curve C_n of genus at least 2 whose K-rational points are in bijection with the desired p; Faltings' theorem then yields the finiteness statement.

Significance. The result supplies a uniform finiteness theorem for rational orbits under correspondences, extending classical results on rational maps to a broader class of multi-valued algebraic dynamics. The explicit enumeration of exceptions in Theorem 1.1 is a notable strength, as it identifies precisely the cases where the genus of C_n drops below 2 and thereby makes the statement sharp. The reduction to Faltings' theorem is clean and leverages a standard tool of arithmetic geometry in a new dynamical setting.

minor comments (4)

§1.2: the precise degree and irreducibility hypotheses on F are stated clearly, but the abstract's phrase 'several minor constraints' should include a forward reference to this section for readers who encounter the abstract first.
§3.2, construction of C_n: the ramification analysis at infinity is used to guarantee genus(C_n) ≥ 2, yet the text does not include a short table or explicit genus formula for the first few n (e.g., n=12) that would allow immediate verification of the threshold.
Theorem 1.1: the exceptional list is enumerated by explicit equations, but the proof that these are indeed the only cases where genus drops is distributed across several lemmas; a single consolidated statement or diagram summarizing the genus computation would improve readability.
References: Faltings' theorem is invoked repeatedly but cited only in the bibliography; an explicit citation in the first paragraph of §3 would help readers locate the precise statement used.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive and accurate summary of our results, as well as for the recommendation of minor revision. The report correctly captures the statement of Theorem 1.1, the reduction to Faltings' theorem via the auxiliary curves C_n, and the sharpness provided by the explicit list of exceptional correspondences. No specific major comments or requested changes were enumerated in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained via external theorem and explicit enumeration

full rationale

The paper constructs for each n ≥ 12 a curve C_n of genus ≥ 2 (for non-exceptional F) whose K-rational points are in bijection with the desired p ∈ Q such that F^n(p) contains a K-rational point. Faltings' theorem, an external result, then directly supplies the finiteness. The exceptional correspondences are enumerated explicitly in Theorem 1.1 as precisely the cases where genus(C_n) < 2. No equations reduce to self-definition, no parameters are fitted and relabeled as predictions, and no load-bearing steps rely on self-citations or smuggled ansatzes; the reduction is independent of the target statement and rests on standard arithmetic geometry.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result relies on standard theorems from Diophantine geometry to obtain finiteness of rational points on auxiliary curves of genus greater than 1; no free parameters or new entities are introduced in the abstract statement.

axioms (2)

standard math Faltings' theorem (Mordell conjecture) on finiteness of rational points on curves of genus >=2
Likely invoked to control rational points on the curve obtained by iterating the correspondence n times.
standard math Standard facts about correspondences on curves and their iterates in algebraic geometry
Used to formalize the multi-valued iteration and to reduce the orbit question to a Diophantine problem.

pith-pipeline@v0.9.0 · 5416 in / 1520 out tokens · 52262 ms · 2026-05-08T17:45:20.474194+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

21 extracted references

[1]

, TITLE =

Silverman, Joseph H. , TITLE =
[2]

Miranda, Rick , TITLE =
[3]

Stichtenoth, Henning , TITLE =
[4]

2019 , note =

Hyde, Trevor , title =. 2019 , note =

2019
[5]

Illinois J

Fried, Michael , TITLE =. Illinois J. Math. , VOLUME = 17, number = 1, YEAR = 1973, PAGES =

1973
[6]

Rational Points , editor =

Faltings, Gerd , title =. Rational Points , editor =
[7]

arXiv preprint , year=

The Davenport-Lewis-Schinzel problem on the reducibility of f(X)-g(Y) , author=. arXiv preprint , year=
[8]

Transactions of the American Mathematical Society , volume=

Canonical heights for correspondences , author=. Transactions of the American Mathematical Society , volume=
[9]

Journal of the London Mathematical Society , volume=

Critical dynamics of variable-separated affine correspondences , author=. Journal of the London Mathematical Society , volume=. 2017 , publisher=

2017
[10]

Canadian Mathematical Bulletin , volume=

p-adic uniformization and the action of Galois on certain affine correspondences , author=. Canadian Mathematical Bulletin , volume=. 2018 , publisher=

2018
[11]

Journal of Number Theory , volume=

Genus one factors of curves defined by separated variable polynomials , author=. Journal of Number Theory , volume=. 2013 , publisher=

2013
[12]

Advances in Mathematics , volume=

Hurwitz correspondences on compactifications of M0, N , author=. Advances in Mathematics , volume=. 2018 , publisher=

2018
[13]

Conformal Geometry and Dynamics of the American Mathematical Society , volume=

Dynamical systems of correspondences on the projective line I: Moduli spaces and multiplier maps , author=. Conformal Geometry and Dynamics of the American Mathematical Society , volume=
[14]

arXiv preprint , year=

Algebraic correspondences and Schwarz reflections: Where rational dynamics meets Kleinian groups , author=. arXiv preprint , year=
[15]

arXiv preprint , url=

On finite orbits of infinite correspondences , author=. arXiv preprint , url=
[16]

Algebra & Number Theory , volume=

On self-correspondences on curves , author=. Algebra & Number Theory , volume=. 2023 , publisher=

2023
[17]

Proceedings of the London Mathematical Society , volume=

Critically finite correspondences and subgroups of the modular group , author=. Proceedings of the London Mathematical Society , volume=. 1992 , publisher=

1992
[18]

Experimental Mathematics , volume=

A gallery of iterated correspondences , author=. Experimental Mathematics , volume=. 1994 , publisher=

1994
[19]

Algebraic Number Theory and Algebraic Geometry , series =

Bogomolov, Fedor and Tschinkel, Yuri , title =. Algebraic Number Theory and Algebraic Geometry , series =. 2002 , pages =

2002
[20]

2023 , journal=

Entropy of Compositions of Covering Correspondences , author=. 2023 , journal=

2023
[21]

2013 , publisher=

Algebraic geometry , author=. 2013 , publisher=

2013