BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Patrick Ingram contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
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.
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.
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.
Given a finite endomorphism $φ$ of a variety $X$ defined over the field of fractions $K$ of a Dedekind domain, we study the extension $K(φ^{-\infty}(α)) : = \bigcup_{n \geq 1} K(φ^{-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 \subseteq X$ such that $φ^{-1}(W) \subseteq W$ and $φ: W \to X$ is étale, we prove that $K(φ^{-\infty}(α))$ 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 = \mathbb{A}^1$ and Cullinan-Hajir, Jones-Manes in the case $X = \mathbb{P}^1$. Moreover, we conjecture that this finite ramification condition characterizes post-critically finite morphisms, and we give an entirely new result showing this for $X = \mathbb{P}^1$. The proof relies on Faltings' theorem and a local argument.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.