Fix $\kappa > 2$ and a genus $g > 1$. Consider, on the one hand, algebraic *integers* $\alpha$; and on the other hand, smooth projective geometrically irreducible curves $C$ of genus $g$ over a varying number field $K$. The following remarkable feature on the number of solutions is shared by the quantitative Roth and Faltings theorems.

- In Roth's theorem, for any choice of archimedean place (complex embedding of $\overline{\mathbb{Q}}$), the (logarithmic) heights of the small solutions of $|\alpha - p/q| < q^{-\kappa}$ --- those which have too small a height to be of any use in the proof by contradiction --- are bounded linearly in the absolute height $h(\alpha)$ and the chosen valuation $|\alpha|$ of $\alpha$ (the proportionality constants are in fact absolute, they do not depend on $\kappa$). In particular, the number of small solutions is bounded in terms of $h(\alpha)$ and $|\alpha|$ only; using Mumford's height gap principle, it can be shown to be at most $C_3(\kappa)(1+\log^+{h(\alpha)}+\log^+{|\alpha|})$. This depends on $h(\alpha)$ and $\alpha$, but not on $\deg{\alpha}$. On the other hand, the bound for the number of large solutions depends only on $r := \deg{\alpha} = [\mathbb{Q}(\alpha):\mathbb{Q}]$ (and $\kappa$, of course), but not on $h(\alpha)$, nor on the chosen place. (None of this requires the restriction that $\alpha$ be integral, which I make to exclude the trivial counterexamples to my question below.)

- In Faltings' theorem, as proved by Vojta and Bombieri, the heights of small $K$-rational points are similarly bounded linearly in the height of $C$, but independently of the number field $K$. The bound for the number of large solutions, on the other hand, is independent of the height of $C$, but depends instead exponentially on the rank $r$ of the Mordell-Weil group over $K$ of the Jacobian of $C$. (The dependence being like $(A\log{g}+B)7^r$.)

In the latter case, there is the famous uniformity conjecture of Caporaso-Harris-Mazur which predicts that the number of solutions $C(K)$ should be bounded by a uniform constant only depending on $K$, but completely independent from $C$. (This would be implied by the general Bombieri-Lang conjecture generalizing Mordell's conjecture to higher dimension.) In fact, it follows from work of Remond and David-Philippon that the number of solutions in $C(K)$ would be bounded by $A^r$ with a uniform $A = A(g,[K:\mathbb{Q}]) < \infty$, *if only* one minorizes the normalized (canonical) height of $C$ in its Jacobian by a uniform positive quantity depending only on $g$. The latter, if one prefers the formulation in the framework of Arakelov theory, is essentially just the arithmetic self-intersection of the canonical (=relative dualizing) class on the minimal regular geometric model of $C$ over $O_K$, divided as usual by $[K:\mathbb{Q}]$.

David and Philippon produce such an explicit lower bound, which however depends not just on $g$, but also on the minimum of the injectivity radii of the complex tori associated to the Jacobian. The latter dependence arises solely from the discrepancy between the Weil and Neron-Tate heights, and appears to be an artifice of their method. (The same issue comes up in other related problems, such as the conjecture on the uniform boundedness of rational torsion.) The Caporaso-Harris-Mazur conjeture, and to an extent perhaps also the success of Mazur's uniformity theorem for the rational torsion of elliptic curves, strongly suggest that the dependence (though the injectivity radius) on the height of the Jacobian ought to be not needed, and the *number* (not height!) of small solutions should depend on $C$ and $K$ only through $g$, $[K:\mathbb{Q}]$, and the Mordell-Weil rank $r$, but not through the height of $C$ (nor that of the Jacobian).

In the analogy with Roth's theorem, my question is whether there are any reasons to expect (or clear indications to the contrary) any uniformity (in $\alpha$) of the *number* (not height!) of small solutions in Roth's theorem. For this one clearly has to restrict to the case that $\alpha \in \overline{\mathbb{Z}}$ is integral, otherwise there are immediate counterexamples already as $\alpha$ runs through the rationals $\mathbb{Q}$. On the other hand, with the integrality condition added, it is easy to see that as $[\mathbb{Q}(\alpha):\mathbb{Q}] \leq 2$, the number of small solutions is bounded by a constant depending only on $\kappa$.

In the analogy considered above, the degree $r:=\deg{\alpha} = [\mathbb{Q}(\alpha):\mathbb{Q}]$ clearly corresponds to the Mordell-Weil rank. Could it possibly be, then, that the bound on the number of small solutions in Roth's theorem remains uniform as $\alpha$ runs through:

- all algebraic integers of a bouned degree $d$?
- the ring of integers of the fixed number field $\mathbb{Q}(\alpha)$?