Related papers: An effective Chabauty-Kim theorem

We show how the size of the Galois groups of iterates of a quadratic polynomial $f(x)$ can be parametrized by certain rational points on the curves $C_n:y^2=f^n(x)$ and their quadratic twists. To that end, we study the arithmetic of such…

A central problem in Diophantine geometry is to uniformly bound the number of $K$-rational points on a smooth curve $X/K$ in terms of $K$ and its genus $g$. A recent paper by Stoll proved uniform bounds for the number of $K$-rational points…

We push further the classical proof of Weil upper bound for the number of rational points of an absolutely irreducible smooth projective curve $X$ over a finite field in term of euclidean relationships between the Neron Severi classes in…

Given a smooth cubic hypersurface $X$ over a finite field of characteristic greater than 3 and two generic points on $X$, we use a function field analogue of the Hardy-Littlewood circle method to obtain an asymptotic formula for the number…

Given a smooth curve $C/\mathbb{Q}$ with genus $\geq 2$, we know by Faltings' Theorem that $C(\mathbb{Q})$ is finite. Here we ask the reverse question: given a finite set of rational points $S\subseteq \mathbb{P}^n(\mathbb{Q})$, does there…

We establish the sharp estimate <<_d N^{2/d} for the number of rational points of height at most N on an irreducible projective curve of degree d. We deduce this from a result for general hypersurfaces that is sensitive to the coefficients…

The problem of finding all possible extensions of a given rational diophantine quadruple to a rational diophantine quintuple is equivalent to the determination of the set of rational points on a certain curve of genus 5 that can be written…

We consider intersections of n diagonal forms of degrees k 1 < $\bullet$ $\bullet$ $\bullet$ < kn, and we prove an asymptotic formula for the number of rational points of bounded height on these varieties. The proof uses the…

Let $X$ be a smooth, projective, geometrically irreducible curve of genus at least two defined over a number field $K$. We prove that there is an algorithm that determines whether $X$ has a $K$-rational point if Grothendieck's section…

Let $P$ be a set of $n$ points in general position in the plane. Let $R$ be a set of points disjoint from $P$ such that for every $x,y \in P$ the line through $x$ and $y$ contains a point in $R$. We show that if $|R| < \frac{3}{2}n$ and $P…

We show that, assuming Vojta's height conjecture, the height of a rational point on an algebraically hyperbolic variety can be bounded "uniformly" in families. This generalizes a result of Su-Ion Ih for curves of genus at least two to…

We give a new construction of $p$-adic heights on varieties over number fields using $p$-adic Arakelov theory. In analogy with Zhang's construction of real-valued heights in terms of adelic metrics, these heights are given in terms of…

In this paper, we build the global determinant method of Salberger by Arakelov geometry explicitly. As an application, we study the dependence on the degree of the number of rational points of bounded height in plane curves. We will also…

The main result of this article is that all but finitely many points of small enough degree on a curve can be written as a pullback of a smaller degree point. The main theorem has several corollaries that yield improvements on results of…

We establish a rigid-analytic analog of the Pila-Wilkie counting theorem, giving sub-polynomial upper bounds for the number of rational points in the transcendental part of a $\mathbb{Q}_p$-analytic set, and the number of rational functions…

Consider a complex Hamiltonian system and an integral curve. In this paper, we give an effective and efficient procedure to put the variational equation of any order along the integral curve in reduced form provided that the previous one is…

We propose a generalization of tropical curves by dropping the rationality and integrality requirements while preserving the balancing condition. An interpretation of such curves as critical points of a certain quadratic functional allows…

For an imaginary quadratic field $k$ of class number $>1$, we prove that there are only finitely many isomorphism classes of rational indefinite quaternion division algebras $B$ such that the associated Shimura curve $M^B$ has $k$-rational…

We generalize results by Wakabayashi and Orevkov about rational cuspidal curves on the projective plane to that on $\mathbb{Q}$-homology projective planes. It turns out that the result is exactly the same as the projective plane case under…

We prove a dynamical Shafarevich theorem on the finiteness of the set of isomorphism classes of rational maps with fixed degeneracies. More precisely, fix an integer d at least 2 and let K be either a number field or the function field of a…