Related papers: A $p$-adic approach to rational points on curves

In 1826 Abel started the study of the polynomial Pell equation $x^2-g(u)y^2=1$. Its solvability in polynomials $x(u), y(u)$ depends on a certain torsion point on the Jacobian of the hyperelliptic curve $v^2=g(u)$. In this paper we study the…

If the product of two monic polynomials with real nonnegative coefficients has all coefficients equal to 0 or 1, does it follow that all the coefficients of the two factors are also equal to 0 or 1? Here is an equivalent formulation of this…

In this talk, I report on three theorems concerning algebraic varieties over a field of characteristic $p>0$. a) over a finite field of cardinal $q$, two proper smooth varieties which are geometrically birational have the same number of…

In 1927, Artin and Schreier showed that a field is real closed if and only if its absolute Galois group has order two. Inspired by this characterisation and drawing on earlier work of Neukirch, Pop conjectured the following $p$-adic…

To compute solutions of sparse polynomial systems efficiently we have to exploit the structure of their Newton polytopes. While the application of polyhedral methods naturally excludes solutions with zero components, an irreducible…

We study the number of rational points of smooth projective curves over finite fields in some relative situations in the spirit of a previous paper from an euclidean point of vue. We prove some kinds of relative Weil bounds, derived from…

Catalan's conjecture claims that the Diophantine equation $x^p-y^q=1$ admits the unique solution $3^2-2^3=1$ in integers $x,y,p,q \ge 2$. The conjecture has been finally proved by P. Mih\u{a}ilescu (2002) using the theory of cyclotomic…

Let K be a function field, let f be a rational function of degree d at least 2 defined over K, and suppose that f is not isotrivial. In this paper, we show that a point P in P^1(Kbar) has f-canonical height zero if and only if P is…

In 1922 Ritt described polynomial solutions of the functional equation P(f)=Q(g). In this paper we describe solutions of the equation above in the case when P,Q are polynomials while f,g are allowed to be arbitrary entire functions. In…

We describe the set of all $(3,1)$-rational functions given on the set of complex $p$-adic field $\mathbb C_p$ and having a unique fixed point. We study $p$-adic dynamical systems generated by such $(3,1)$-rational functions and show that…

Let $C$ be a hyperelliptic curve given by the equation $y^2=f(x)$, where $f\in\Z[x]$ and $f$ hasn't multiple roots. We say that points $P_{i}=(x_{i}, y_{i})\in C(\Q)$ for $i=1,2,..., n$ are in arithmetic progression if the numbers $x_{i}$…

A p-adic analogue of the pseudonorm version of the birational Torelli type theorem is obtained via a comparison theorem of image closures. Among other results obtained, we have a criterion for existence of rational points of canonically…

We determine upper bounds on the number of rational points of an affine or projective algebraic set defined over an extension of a finite field by a system of polynomial equations, including the case where the algebraic set is not defined…

Let k be an algebraically closed field of characteristic 0, let X=P^1\times A^N and let f be a rational endomorphism of X given by (x,y)--->(g(x), A(x)y), where g is a rational function, while A is an N-by-N matrix with entries in k(x). We…

Let $X= \mathbb{P}^1 \setminus \{0,1,\infty\}$, and let $S$ denote a finite set of prime numbers. In an article of 2005, Minhyong Kim gave a new proof of Siegel's theorem for $X$: the set $X(\mathbb{Z}[S^{-1}])$ of $S$-integral points of…

We determine the rational integers x,y,z such that x^3+y^9=z^2 and gcd(x,y,z)=1. First we determine a finite set of curves of genus 10 such that any primitive solution to x^3+y^9=z^2 corresponds to a rational point on one of those curves.…

Let F(X;Y) in Q[X;Y] be a Q-irreducible polynomial. In 1929 Skolem proved the following theorem: "Assume that F(0;0) = 0. Then for every non-zero integer d, the equation F(X;Y) = 0 has only finitely many solutions in integers (X;Y) with…

In the 1970s, Serre proved that the adelic index of a non-CM elliptic curve over a number field is finite. More recently, Zywina conjectured the complete set of adelic indices for such curves over $\mathbb{Q}$. In this article, we prove…

We show that the existence of rational points on smooth varieties over a field can be detected using homotopy fixed points of etale topological types under the Galois action. As our main example we show that the surjectivity statement in…

Let $X$ be a curve of genus $g\geq 2$ over a number field $F$ of degree $d = [F:Q]$. The conjectural existence of a uniform bound $N(g,d)$ on the number $\#X(F)$ of $F$-rational points of $X$ is an outstanding open problem in arithmetic…