BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
Following work of Bugeaud, Corvaja, and Zannier for integers, Ailon and Rudnick prove that for any multiplicatively independent polynomials, a,b∈C[x], there is a polynomial h such that for all n, we have gcd(an−1,bn−1)∣h We prove a compositional analog of this theorem, namely that if f,g∈C[x] are nonconstant compositionally independent polynomials and c(x)∈C[x], then there are at most finitely many λ with the property that there is an n such that (x−λ) divides gcd(f∘n(x)−c(x),g∘n(x)−c(x)).
Let K be a number field or a function field of characteristic 0, let f be a K-rational function of degree greater than 1, and let a be an element of K. Let S be a finite set of places of K containing all the archimedean ones and the primes where f has bad reduction. After excluding all the natural counter-examples, we define a subset A(f,a) of pairs of integers (m,n) with m nonnegative and n positive, and show that for all but finitely many (m,n) in A(f,a) there is a prime p of K which is not in S such that the p-adic valuation of f^{m+n}(a)-f^m(a) is precisely equal to 1, and moreover a has portrait (m,n) under the action of f modulo p. This latter condition implies that the p-adic valuation of f^{u+v}(a)-f^u(a) is not positive if u is a nonnegative integer and v is a positive integer with u<m or v<n. Our proof assumes a conjecture of Vojta in the number field case and is unconditional in the function field case thanks to a deep theorem of Yamanoi. This paper extends earlier work of Ingram-Silverman, Faber-Granville, and of the authors.
Let c1,c2,c3 be distinct complex numbers, and let d≥3 be an integer. We show that the set of all pairs (a,b)∈C×C such that each ci is preperiodic for the action of the polynomial xd+ax+b is not Zariski dense in the affine plane.
Let K be a function field over an algebraically closed field k of characteristic 0, let φ∈K(z) be a rational function of degree at least equal to 2 for which there is no point at which φ is totally ramified, and let α∈K. We show that for all but finitely many pairs (m,n)∈Z≥0×N there exists a place p of K such that the point α has preperiod m and minimum period n under the action of φ. This answers a conjecture made by Ingram-Silverman and Faber-Granville. We prove a similar result, under suitable modification, also when φ has points where it is totally ramified. We give several applications of our result, such as showing that for any tuple (c1,…,cd−1)∈kn−1 and for almost all pairs (mi,ni)∈Z≥0×N for i=1,…,d−1, there exists a polynomial f∈k[z] of degree d in normal form such that for each i=1,…,d−1, the point ci has preperiod mi and minimum period ni under the action of f.
Let X be a Noetherian space, let f be a continuous self-map on X, let Y be a closed subset of X, and let x be a point on X. We show that the set S consisting of all nonnegative integers n such that f^n(x) is in Y is a union of at most finitely many arithmetic progressions along with a set of Banach density zero. In particular, we obtain that given any quasi-projective variety X, any rational self-map map f on X, any subvariety Y of X, and any point x in X whose orbit under f is in the domain of definition for f, the set S is a finite union of arithmetic progressions together with a set of Banach density zero. We prove a similar result for the backward orbit of a point.
Let K be a number field and let S be a finite set of places of K which contains all the Archimedean places. For any f(z) in K(z) of degree d at least 2 which is not a d-th power in \bar{K}(z), Siegel's theorem implies that the image set f(K) contains only finitely many S-units. We conjecture that the number of such S-units is bounded by a function of |S| and d (independently of K and f). We prove this conjecture for several classes of rational functions, and show that the full conjecture follows from the Bombieri--Lang conjecture.
Let φ:P1⟶P1 be a rational map of degree greater than one defined over a number field k. For each prime p of good reduction for φ, we let φp denote the reduction of φ modulo p. A random map heuristic suggests that for large p, the proportion of periodic points of φp in P1(ok/p) should be small. We show that this is indeed the case for many rational functions φ.
Using methods of p-adic analysis we give a different proof of Burnside's problem for automorphisms of quasiprojective varieties X defined over a field of characteristic 0. More precisely, we show that any finitely generated torsion subgroup of Aut(X) is finite. In particular this yields effective bounds for the size of torsion of any semiabelian variety over a finitely generated field of characteristic 0. More precisely, we obtain effective bounds for the length of the orbit of a preperiodic subvariety under the action of an etale map.
The Mordell-Lang conjecture describes the intersection of a finitely generated subgroup with a closed subvariety of a semiabelian variety. Equivalently, this conjecture describes the intersection of closed subvarieties with the set of images of the origin under a finitely generated semigroup of translations. We study the analogous question in which the translations are replaced by algebraic group endomorphisms (and the origin is replaced by another point). We show that the conclusion of the Mordell-Lang conjecture remains true in this setting if either (1) the semiabelian variety is simple, (2) the semiabelian variety is A2, where A is a one-dimensional semiabelian variety, (3) the subvariety is a connected one-dimensional algebraic subgroup, or (4) each endomorphism has diagonalizable Jacobian at the origin. We also give examples showing that the conclusion fails if we make slight modifications to any of these hypotheses.
Let K be a number field, let f(x) in K(x) be a rational function of degree d> 1, and let z in K be a wandering point such that f^n(z) is nonzero for all n > 0. We prove that if the abc-conjecture holds for K, then for all but finitely many positive integers n, there is a prime p of K such that p | f^n(z) and p does not divide f^m(z) for all positive integers m < n. We prove the same result unconditionally for function fields of characteristic 0 when f is not isotrivial.
Let K be a number field, let f: P_1 --> P_1 be a nonconstant rational map of degree greater than 1, let S be a finite set of places of K, and suppose that u, w in P_1(K) are not preperiodic under f. We prove that the set of (m,n) in N^2 such that f^m(u) is S-integral relative to f^n(w) is finite and effectively computable. This may be thought of as a two-parameter analog of a result of Silverman on integral points in orbits of rational maps. This issue can be translated in terms of integral points on an open subset of P_1^2; then one can apply a modern version of the method of Runge, after increasing the number of components at infinity by iterating the rational map. Alternatively, an ineffective result comes from a well-known theorem of Vojta.
Let X be a smooth curve defined over the algebraic numbers, let a,b be algebraic numbers, and let f_l(x) be an algebraic family of rational maps indexed by all l in X. We study whether there exist infinitely many l in X such that both a and b are preperiodic for f_l. In particular we show that if P,Q are polynomials over the algebraic numbers such that deg(P) >= 2+deg(Q), and there exists l such that a is periodic for P(x)/Q(x) + l, but b is not preperiodic for P(x)/Q(x) + l, then there exist at most finitely many l such that both a and b are preperiodic for P(x)/Q(x)+l. We also prove a similar result for certain two-dimensional families of endomorphisms of P^2.
Let K be a number field, let ϕ∈K(t) be a rational map of degree at least 2, and let α,β∈K. We show that if α is not in the forward orbit of β, then there is a positive proportion of primes p of K such that αmodp is not in the forward orbit of βmodp. Moreover, we show that a similar result holds for several maps and several points. We also present heuristic and numerical evidence that a higher dimensional analog of this result is unlikely to be true if we replace α by a hypersurface, such as the ramification locus of a morphism ϕ:Pn→Pn.
For any elements b,c of a number field K, let G(b,c) denote the backwards orbit of b under the map f_c: C-->C given by f_c(x)=x^2+c. We prove an upper bound on the number of elements of G(b,c) whose degree over K is at most some constant B. This bound depends only on b, [K:Q], and B, and is valid for all b outside an explicit finite set. We also show that, for any N>3 and any b in K outside a finite set, there are only finitely many pairs of complex numbers (y,c) for which [K(y,c):K]<2^(N-3) and the value of the N-th iterate of f_c(x) at x=y is b. Moreover, the bound 2^(N-3) in this result is optimal.
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.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.