H\'enon maps: a list of open problems
We propose a set of questions on the dynamics of H\'enon maps from the real, complex, algebraic and arithmetic points of view.
math.DS↗
arXiv subjects
Patrick Ingram
Publications and source records attributed to Patrick Ingram.
A remark on post-critically finite compositions of polynomials
The second author proved that the set of post-critically finite polynomials of given degree is a set of bounded height, up to change of variables. Motivated by an observation about unicritical polynomials, we complement this by proving that the set of monic polynomials g(z) of given degree with the property that there exists a d > 1 such that g(z^d) is post-critically finite, is also a set of bounded height. Moreover, we establish a lower bound on the critical height of g(z^d).
math.NT↗
An asymptotic for sums of Lyapunov exponents in families
Let f_t be a meromorphic family of endomorphisms of P^N_C of degree at least 2, and let L(f_t) be the sum of Lyapunov exponents associated to f_t. Favre showed that L(f_t)=L(f)\log|t^{-1}|+o(\log|t^{-1}|) as t -> 0, where L(f) is the sum of Lyapunov exponents on the generic fibre, interpreted as an endomorphism of some projective Berkovich space. Under some additional constraints on the family, we provide an explicit error term.
math.DS↗
Explicit canonical heights for divisors relative to endomorphisms of $\mathbb{P}^N$
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.
math.NT↗
Variation of the canonical height in a family of polarized dynamical systems
Call and Silverman introduced the canonical height associated to a polarized dynamical system, that is, an endomorphism of a projective variety and an ample line bundle which pulls back to a tensor power of itself. They also presented an asymptotic for the variation of this height in a family over a one-dimensional base in terms of the height on the generic fibre and the height of the parameter. Here we improve this asymptotic, saving a power in the error term. As a corollary, we give an explicit bound on the height of parameters at which the dynamical system specialized to a finite orbit, in the case of endomorphisms of projective space over the projective line.
math.NT↗
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.
math.NT↗
Solutions to difference equations have few defects
We demonstrate a strong form of Nevanlinna's Second Main Theorem for solutions to difference equations f(z+1)=R(z, f(z)), with the coefficients of R growing slowly relative to f, and R of degree at least 2 in the second coordinate.
math.NT↗
Degree gaps for multipliers and the dynamical Andre-Oort conjecture
We demonstrate how recent work of Favre and Gauthier, together with a modification of a result of the author, shows that a family of polynomials with infinitely many post-critically finite specializations cannot have any periodic cycles with multiplier of very low degree, except those which vanish, generalizing results of Baker and DeMarco, and Favre and Gauthier.
math.DS↗
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.
math.DS↗
Minimally critical endomorphisms of P^N
We study the dynamics of the map endomorphism of N-dimensional projective space defined by f(X)=AX^d, where A is a matrix and d is at least 2. When d>N^2+N+1, we show that the critical height of such a morphism is comparable to its height in moduli space, confirming a case of a natural generalization of a conjecture of Silverman.
math.NT↗
Post-Critically Finite Maps on $\mathbb{P}^n$ for $n\ge2$ are Sparse
Let $f:{\mathbb P}^n\to{\mathbb P}^n$ be a morphism of degree $d\ge2$. The map $f$ is said to be post-critically finite (PCF) if there exist integers $k\ge1$ and $\ell\ge0$ such that the critical locus $\operatorname{Crit}_f$ satisfies $f^{k+\ell}(\operatorname{Crit}_f)\subseteq{f^\ell(\operatorname{Crit}_f)}$. The smallest such $\ell$ is called the tail-length. We prove that for $d\ge3$ and $n\ge2$, the set of PCF maps $f$ with tail-length at most $2$ is not Zariski dense in the the parameter space of all such maps. In particular, maps with periodic critical loci, i.e., with $\ell=0$, are not Zariski dense.
math.DS↗
Current Trends and Open Problems in Arithmetic Dynamics
Arithmetic dynamics is the study of number theoretic properties of dynamical systems. A relatively new field, it draws inspiration partly from dynamical analogues of theorems and conjectures in classical arithmetic geometry, and partly from $p$-adic analogues of theorems and conjectures in classical complex dynamics. In this article we survey some of the motivating problems and some of the recent progress in the field of arithmetic dynamics.
math.NT↗
Critical orbits of polynomials with a periodic point of specified multiplier
Answering a question posed by Adam Epstein, we show that the collection of conjugacy classes of polynomials admitting a parabolic fixed point and at most one infinite critical orbit is a set of bounded height in the relevant moduli space. We also apply the methods over function fields to draw conclusions about algebraically parametrized families, and prove an analogous result for quadratic rational maps.
math.NT↗
The critical height is a moduli height
The critical height of a rational function (with algebraic coefficients) is a natural measure of dynamical complexity, essentially an adelic analogue of the Lyapunov exponent. Coordinate-free, it is well-defined on moduli space, but bears no obvious relation to the arithmetic geometry of that space as a variety. At a conference in 2010, Silverman conjectured that this disconnect is superficial, and that in fact the critical height should be at least commensurate to any ample Weil height on the moduli space, except on the Lattes locus (where that has no hope of being true). Here, we prove that conjecture.
math.NT↗
p-adic uniformization and the action of Galois on certain affine correspondences
Given two monic polynomials f and g with coefficients in a number field K, and some a in K, we examine the action of the absolute Galois group of K on the directed graph of iterated preimages of a under the correspondence g(y)=f(x), assuming that deg(f)>deg(g) and that gcd(deg(f), deg(g))=1. If a prime of K exists at which f and g have integral coefficients, and at which a is not integral, we show that this directed graph of preimages consists of finitely many Galois-orbits. We obtain this result by establishing a p-adic uniformization of such correspondences, tenuously related to Bottcher's uniformization of polynomial dynamical systems over the complex numbers.
math.NT↗
Finite ramification for preimage fields of postcritically finite morphisms
Given a finite endomorphism $\varphi$ of a variety $X$ defined over the field of fractions $K$ of a Dedekind domain, we study the extension $K(\varphi^{-\infty}(\alpha)) : = \bigcup_{n \geq 1} K(\varphi^{-n}(\alpha))$ generated by the preimages of $\alpha$ under all iterates of $\varphi$. In particular when $\varphi$ is post-critically finite, i.e., there exists a non-empty, Zariski-open $W \subseteq X$ such that $\varphi^{-1}(W) \subseteq W$ and $\varphi : W \to X$ is \'etale, we prove that $K(\varphi^{-\infty}(\alpha))$ 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.
math.NT↗
Canonical heights and preperiodic points for weighted homogeneous families of polynomials
A family $f_t(z)$ of polynomials over a number field $K$ will be called \emph{weighted homogeneous} if and only if $f_t(z)=F(z^e, t)$ for some binary homogeneous form $F(X, Y)$ and some integer $e\geq 2$. For example, the family $z^d+t$ is weighted homogeneous. We prove a lower bound on the canonical height, of the form \[\hat{h}_{f_t}(z)\geq \epsilon \max\{h_{\mathsf{M}_d}(f_t), \log|\operatorname{Norm}\mathfrak{R}_{f_t}|\},\] for values $z\in K$ which are not preperiodic for $f_t$. Here $\epsilon$ depends only on the number of places at which $f_t$ has bad reduction. For suitably generic morphisms $\varphi:\mathbb{P}^1\to \mathbb{P}^1$, we also prove an absolute bound of this form for $t$ in the image of $\varphi$ over $K$ (assuming the $abc$ Conjecture), as well as uniform bounds on the number of preperiodic points (unconditionally).
math.NT↗
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.
math.DS↗