Explicit canonical heights for divisors relative to endomorphisms of
Given an endomorphism f of projective space, we exhibit explicit bounds on the difference between the naive height of a divisor and its canonical height relative to f.
Source author record
Patrick Ingram
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
ResearcherUnclaimed source record
Catalog footprint
Research overview
18works
4topics
4close collaborators
Published work
18 publications
preprint2021arXiv
Effective finiteness of solutions to certain differential and difference equations
For R(z, w) rational with complex coefficients, of degree at least 2 in w, we show that the number of rational functions f(z) solving the difference equation f(z+1)=R(z, f(z)) is finite and bounded just in terms of the degrees of R in the two variables. This complements a result of Yanagihara, who showed that any finite-order meromorphic solution to this sort of difference equation must be a rational function. We prove a similar result for the differential equation f'(z)=R(z, f(z)), building on a result of Eremenko.
Open access
preprint2021arXiv
Minimally critical regular endomorphisms of A^N
We study the dynamics of a class of endomorphisms of A^N which restricts, when N = 1, to the class of unicritical polynomials. Over the complex numbers, we obtain lower bounds on the sum of Lyapunov exponents, and a statement which generalizes the compactness of the Mandelbrot set. Over the algebraic numbers, we obtain estimates on the critical height, and over general algebraically closed fields we obtain some rigidity results for post-critically finite morphisms of this form.
Open access
preprint2015arXiv
Finite ramification for preimage fields of postcritically finite morphisms
Given a finite endomorphism φ of a variety X defined over the field of fractions K of a Dedekind domain, we study the extension K(φ−∞(α)):=⋃n≥1K(φ−n(α)) generated by the preimages of α under all iterates of φ. In particular when φ is post-critically finite, i.e., there exists a non-empty, Zariski-open W⊆X such that φ−1(W)⊆W and φ:W→X is étale, we prove that K(φ−∞(α)) is ramified over only finitely many primes of K. This provides a large supply of infinite extensions with restricted ramification, and generalizes results of Aitken-Hajir-Maire in the case X=A1 and Cullinan-Hajir, Jones-Manes in the case X=P1. Moreover, we conjecture that this finite ramification condition characterizes post-critically finite morphisms, and we give an entirely new result showing this for X=P1. The proof relies on Faltings' theorem and a local argument.
Open access
preprint2014arXiv
Canonical heights for correspondences
The canonical height associated to a polarized endomporhism of a projective variety, constructed by Call and Silverman and generalizing the Néron-Tate height on a polarized Abelian variety, plays an important role in the arithmetic theory of dynamical systems. We generalize this construction to polarized correspondences, prove various fundamental properties, and show how the global canonical height decomposes as an integral of a local height over the space of absolute values on the algebraic closure of the field of definition.
Open access
preprint2014arXiv
Critical dynamics of variable-separated affine correspondences
We examine affine correspondences of the form g(y)=f(x), for f and g polynomials satisfying deg(g) < deg(f), with the property that every critical point of the correspondence admits at least one finite forward orbit. In the case g(y)=y, this reduces to the study of post-critically finite polynomials, and our main result extends earlier finiteness results of the author. Specifically, we show that the collection of such correspondences of a given bidegree coincides with a subset of the parameter space of bounded Weil height. We also show that there are no non-trivial holomorphic families of correspondences with the above-described property.
Open access
preprint2013arXiv
Attracting cycles in p-adic dynamics and height bounds for post-critically finite maps
A rational function of degree at least two with coefficients in an algebraically closed field is post-critically finite (PCF) if all of its critical points have finite forward orbit under iteration. We show that the collection of PCF rational functions is a set of bounded height in the moduli space of rational functions over the complex numbers, once the well-understood family known as flexible Lattes maps is excluded. As a consequence, there are only finitely many conjugacy classes of non-Lattes PCF rational maps of a given degree defined over any given number field. The key ingredient of the proof is a non-archimedean version of Fatou's classical result that every attracting cycle of a rational function over the complex numbers attracts a critical point.
Open access
preprint2013arXiv
Rigidity and height bounds for certain post-critically finite endomorphisms of projective space
The holomorphic endomorphism f of projective space is called post-critically finite (PCF) if the forward image of the critical locus, under iteration of f, has algebraic support (i.e., is a finite union of hypersurfaces). In the case of dimension 1, a deep result of Thurston implies that there are no algebraic families of PCF morphisms, other than a well-understood exceptional class known as the flexible Lattes maps. This note proves a corresponding result in arbitrary dimension, for a certain subclass of morphism. Specifically, we restrict attention to morphisms f of degree at least two, with a totally invariant hyperplane H, such that the restriction of f to H is the dth power map in some coordinates. This condition defines a subvariety of the space of coordinate-free endomorphisms of projective space (of a given dimension). We prove that there are no families of PCF maps in this space, and derive several related arithmetic results.
Open access
preprint2013arXiv
The filled Julia set of a Drinfeld module and uniform bounds for torsion
If M is a Drinfeld module over a local function field L, we may view M as a dynamical system, and consider its filled Julia set J. If J^0 is the connected component of the identity, relative to the Berkovich topology, we give a characterisation of the component module J/J^0 which is analogous to the Kodaira-Neron characterisation of the special fibre of a Neron model of an elliptic curve over a non-archimedean field. In particular, if L is the fraction field of a discrete valuation ring, then the component module is finite, and moreover trivial in the case of good reduction. In the context of global function fields, the filled Julia set may be considered as an object over the ring of finite adeles. In this setting we formulate a conjecture about the structure of the (finite) component module which, if true, would imply Poonen's Uniform Boundedness Conjecture for torsion on Drinfeld modules of a given rank over a given global function field. Finally, we prove this conjecture for certain families of Drinfeld modules, obtaining uniform bounds on torsion in some special cases.
Open access
preprint2012arXiv
A lower bound for the canonical height associated to a Drinfeld module
Denis associated to each Drinfeld module M over a global function function field L a canonical height function, which plays a role analogous to that of the Neron-Tate height in the context of elliptic curves. We prove that there exist constants ε>0 and C, depending only on the number of places at which M has bad reduction, such that either x in M is a torsion point of bounded order, or else the canonical height of x is bound below by εmax{h(j_M), deg(D_M)}, where j_M is a certain invariant of the isomorphism class of M, and D_M is the minimal discriminant of M. As an application, we make some observations about specializations of one-parameter families of Drinfeld modules.
Open access
preprint2011arXiv
Algebraic divisibility sequences over function fields
We study the existence of primes and of primitive divisors in classical divisibility sequences defined over function fields. Under various hypotheses, we prove that Lucas sequences and elliptic divisibility sequences over function fields defined over number fields contain infinitely many irreducible elements. We also prove that an elliptic divisibility sequence over a function field has only finitely many terms lacking a primitive divisor.
Open access
preprint2011arXiv
Arboreal Galois representations and uniformization of polynomial dynamics
Given a polynomial f of degree d defined over a complete local field, we construct a biholomorphic change of variables defined in a neighbourhood of infinity which transforms the action z->f(z) to the multiplicative action z->z^d. The relation between this construction and the Bottcher coordinate in complex polynomial dynamics is similar to the relation between the complex uniformization of elliptic curves, and Tate's p-adic uniformization. Specifically, this biholomorphism is Galois equivariant, reducing certain questions about the Galois theory of preimages by f to questions about multiplicative Kummer theory.
Open access
preprint2011arXiv
Canonical heights for Henon maps
We consider the arithmetic of Henon maps f(x, y)=(ay, x+f(y)) defined over number fields and function fields, usually with the restriction that a=1. We prove a result on the variation of Kawaguchi's canonical height in families of Henon maps, and derive from this a specialization theorem, showing that the set of parameters above which a given non-periodic point becomes periodic is a set of bounded height. Proving this involves showing that the only points of canonical height zero for a Henon map over a function field are those which are periodic (in the non-isotrivial case). In the case of quadratic Henon maps f(x, y)=(y, x+y^2+b), we obtain a stronger result, bounding the canonical height below by a quantity which grows linearly in the height of b, once the number of places of bad reduction is fixed. Finally, we propose a conjecture regarding rational periodic points for quadratic Henon maps defined over the rational numbers, namely that they can only have period 1, 2, 3, 4, 6, or 8. We check this conjecture for the first million values of the parameter b, ordered by height.
Open access
preprint2011arXiv
Variation of the canonical height for a family of polynomials
A theorem of Tate asserts that, for an elliptic surface E/X defined over a number field k, and a section P of E, there exists a divisor D on X such that the canonical height of the specialization of P to the fibre above t differs from the height of t relative to D by at most a bounded amount. We prove the analogous statement for a one-parameter family of polynomial dynamical systems. Moreover, we compare, at each place of k, the local canonical height with the local contribution to the height relative to D, and show that the difference is analytic near the support of D, a result which is analogous to results of Silverman in the elliptic surface context.
Open access
preprint2010arXiv
On Poonen's Conjecture Concerning Rational Preperiodic Points of Quadratic Maps
The purpose of this note is give some evidence in support of conjectures of Poonen, and Morton and Silverman, on the periods of rational numbers under the iteration of quadratic polynomials. In particular, Poonen conjectured that there are at most 9 periodic points defined over the rational numbers for any map in the family x^2 + c for c rational. We verify this conjecture for c values up to height 10^8. For quadratic number fields, we provide evidence that the upper bound on the exact period of Q-rational periodic point is 6.
Open access
preprint2008arXiv
Uniform Bounds on Pre-Images under Quadratic Dynamical Systems
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.
Open access
preprint2007arXiv
Primitive Divisors in Arithmetic Dynamics
Let F(z) be a rational function in Q(z) of degree at least 2 with F(0) = 0 and such that F does not vanish to order d at 0. Let b be a rational number having infinite orbit under iteration of F, and write F^n(b) = A_n/B_n as a fraction in lowest terms. We prove that for all but finitely many n > 0, the numerator A_n has a primitive divisor, i.e., there is a prime p such that p divides A_n and p does not divide A_i for all i < n. More generally, we prove an analogous result when F is defined over a number field and 0 is a periodic point for F.
Open access
preprint2007arXiv
The uniform primality conjecture for elliptic curves
An elliptic divisibility sequence, generated by a point in the image of a rational isogeny, is shown to possess a uniformly bounded number of prime terms. This result applies over the rational numbers, assuming Lang's conjecture, and over the rational function field, unconditionally. In the latter case, a uniform bound is obtained on the index of a prime term. Sharpened versions of these techniques are shown to lead to explicit results where all the irreducible terms can be computed.
Open access
Research graph
See the researcher in context
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.