Height gap conjectures, D-finiteness, and a weak dynamical Mordell-Lang conjecture

DOI10.1007/S00208-020-02062-WMaRDI QIDQ2205563zbMATH OpenOpenAlexWikidataFDO

Authors Jason P. Bell, Fei Hu, Matthew Satriano

Publication date 20 October 2020

Published in Mathematische Annalen (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2003.01255

zbMATH Keywords

algebraic dynamics D-finite power series heights Mordell-Lang conjecture

Mathematics Subject Classification ID

Heights (11G50) Rational and birational maps (14E05) Arithmetic dynamics on general algebraic varieties (37P55)

Abstract: In previous work, the first author, Ghioca, and the third author introduced a broad dynamical framework giving rise to many classical sequences from number theory and algebraic combinatorics. Specifically, these are sequences of the form

f (P h i^{n} (x))

, where

P h i c o l o n X o X

and

f c o l o n X o m a t h b b P^{1}

are rational maps defined over

o v e r l i n e m a t h b b Q

and

x i n X (o v e r l i n e m a t h b b Q)

is a point whose forward orbit avoids the indeterminacy loci of

P h i

and

f

. They conjectured that if the sequence is infinite, then

l i m s u p f r a c h (f (P h i^{n} (x))) l o g n > 0

. They also made a corresponding conjecture for

l i m i n f

and showed that it implies the Dynamical Mordell-Lang Conjecture. In this paper, we prove the

l i m s u p

conjecture as well as the

l i m i n f

conjecture away from a set of density

0

. As applications, we prove results concerning the growth rate of coefficients of

D

-finite power series as well as the Dynamical Mordell-Lang Conjecture up to a set of density

0

.

Review text

The paper under review studies the growth of the height of points in the orbit of a rational function, and shows that this height grows at least logarithmically, in a suitable sense. More precisely, let \(X\) be an algebraic variety, \(\Phi \colon X \dashrightarrow X\) be a rational map and \(f \colon X \dashrightarrow \mathbb{P}^1 \) be a non-constant rational map, all of which are defined over \(\overline{\mathbb{Q}}\). Let us denote by \(h \colon \mathbb{P}^1(\overline{\mathbb{Q}}) \to \mathbb{R}\) the absolute logarithmic Weil height, by \(\Phi^n \colon X \dashrightarrow X\) the \(n\)-th iterate of \(\Phi\) and by \(\mathcal{O}_\Phi(x) := \{ \Phi^n(x) \}_{n \in \mathbb{N}} \subseteq X(\overline{\mathbb{Q}})\) the forward orbit of any given point \(x \in X(\overline{\mathbb{Q}})\). Then Theorem 1.4 of the paper under review shows that, for every point \(x \in X(\overline{\mathbb{Q}})\) such that \(f(\Phi^n(x))\) is well defined for every \(n \in \mathbb{N}\), either the function \(f\) is constant on some irreducible component of the Zariski closure of \(\mathcal{O}_\Phi(x)\) which is periodic under the action of \(\Phi\), or there exists \(\varepsilon > 0\) (depending on \(X,\Phi,f\) and \(x\)) such that for every subset \(T \subseteq \mathbb{N}\) of positive upper natural density (i.e., such that \(\limsup_{m \to +\infty} m^{-1} \cdot \lvert T \cap \{1,\dots,m\} \rvert > 0\)) one has that \[ \limsup_{n \in T} \left( \frac{h(f(\Phi^n(x)))}{\log(n)} \right) > \varepsilon \] which implies also that there exists a set \(S \subseteq \mathbb{N}\) of upper natural density zero and a real number \(C \in \mathbb{R}_{> 0}\) such that \(h(f(\Phi^n(x))) > C \log(n)\) for every \(n \in \mathbb{N} \setminus S\), as shown in Theorem 1.5 of the paper under review. These results answer positively some questions raised by the first and the last author of the paper under review, together with \textit{D. Ghioca}, in the article [``Dynamical uniform bounds for fibers and a gap conjecture, IMRN (to appear), \url{doi:10.1093/imrn/rnz257}]). The aforementioned results are then applied to the study of the height of the coefficients of differentiably finite power series (see [\textit{R. P. Stanley}, Eur. J. Comb. 1, 175--188 (1980; Zbl 0445.05012)]), and to the dynamical Mordell-Lang conjecture (see [\textit{J. P. Bell} et al., The dynamical Mordell-Lang conjecture. Providence, RI: American Mathematical Society (AMS) (2016; Zbl 1362.11001)] for a survey). This is done respectively in Theorem 1.9 and Theorem 1.10 of the paper under review. To conclude, the reviewer thinks that the results exposed in the paper under review are of great significance, and shade some light on the growth of heights both of the points in the orbit of a rational map, and of coefficients of differentiably finite power series. The link of these problems with the dynamical version of the Mordell-Lang conjecture is also an interesting source of new developements.

Recommendations

Cites work

Cited in

(10)

This page was built for publication: Height gap conjectures, \(D\)-finiteness, and a weak dynamical Mordell-Lang conjecture

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2205563)