Mordell-Lang and Skolem-Mahler-Lech theorems for endomorphisms of semiabelian varieties
Using the Skolem-Mahler-Lech theorem, we prove a dynamical Mordell-Lang conjecture for semiabelian varieties.
arXiv subjects
Publications and source records attributed to Thomas J. Tucker.
Using the Skolem-Mahler-Lech theorem, we prove a dynamical Mordell-Lang conjecture for semiabelian varieties.
Let K be a number field with algebraic closure K-bar, let S be a finite set of places of K containing the archimedean places, and let f be a Chebyshev polynomial. We prove that if a in K-bar is not preperiodic, then there are only finitely many preperiodic points b in K-bar which are S-integral with respect to a.
We prove a dynamical version of the Mordell-Lang conjecture for subvarieties of quasiprojective varieties X, endowed with the action of a morphism f:X --> X. We use an analytic method based on the technique of Skolem, Mahler, and Lech, along with results of Herman and Yoccoz from nonarchimedean dynamics.
We prove that if nonlinear complex polynomials of the same degree have orbits with infinite intersection, then the polynomials have a common iterate. We also prove a special case of a conjectured dynamical analogue of the Mordell-Lang conjecture.
We show that if f: X --> Y is a finite, separable morphism of smooth curves defined over a finite field F_q, where q is larger than an explicit constant depending only on the degree of f and the genus of X, then f maps X(F_q) surjectively onto Y(F_q) if and only if f maps X(F_q) injectively into Y(F_q). Surprisingly, the bounds on q for these two implications have different orders of magnitude. The main tools used in our proof are the Chebotarev density theorem for covers of curves over finite fields, the Castelnuovo genus inequality, and ideas from Galois theory.
We prove an analog of Siegel's theorem for integral points in the context of Drinfeld modules. The result holds for finitely generated submodules of the additive group over a function field of transcendence dimension 1.
We prove that the local height of a point on a Drinfeld module can be computed by averaging the logarithm of the distance to that point over the torsion points of the module. This gives rise to a Drinfeld module analog of a weak version of Siegel's integral points theorem over number fields and to an analog of a theorem of Schinzel's regarding the order of a point modulo certain primes.
We prove a dynamical version of the Mordell-Lang conjecture in the context of Drinfeld modules. We use analytic methods similar to the ones employed by Skolem, Chabauty, and Coleman for studying diophantine equations.
Let g be a nonconstant rational map from the projective line to itself that has degree greater than one and is defined over a number field. The map g gives rise to generalized Mahler measures for polynomials in one variable. We use diophantine approximation to show that the generalized Mahler measure of a polynomial F at a place v can be computed by averaging the log of the v-adic absolute value of F over the periodic points of g. This allows us to compute canonical heights of algebraic points via equidistribution on periodic points.
Using an alternative notion of good reduction, an analog of the Shafarevich theorem for elliptic curves is proved for morphisms of the projective line over number fields.
We give a geometric proof that one may compute a particular generalized Mahler integral using equidistribution of preperiodic points of a dynamical system on the sphere. The dynamical system is associated to the multiplication by 2 map on an elliptic curve over a number field K with Weierstrass equation y^2 = P(x) (a Lattes dynamical system).
In this paper, we prove that a Thue equation F(x,y) = h, where h is an integer and F is a polynomial of degree n with integer coefficients and without repeated roots, has at most 2n^3 - 2n - 3 solutions provided that the Mordell-Weil rank of the Jacboian of the corresponding curve is less than (n-1)(n-2)/2. The proof uses the method of Coleman-Chabauty, extended here to apply to arbitrary regular models of curves, along with an explicit construction of a portion of a regular model for the curve corresponding to the Thue equation.