Arithmetic degree conjecture for dominant rational self-maps of projective space

Let φ:PNPN\varphi:\mathbb{P}^N\dashrightarrow\mathbb{P}^N be a dominant rational map defined over Q\overline{\mathbb{Q}}. For a point PPN(Q)P\in\mathbb{P}^N(\overline{\mathbb{Q}}) whose orbit avoids the indeterminacy locus, write PN(Q)φ\mathbb{P}^N(\overline{\mathbb{Q}})_\varphi for the set of such points, and define

αφ(P)=lim supnh(φn(P))1/n.\alpha_\varphi(P)=\limsup_{n\to\infty}h\bigl(\varphi^n(P)\bigr)^{1/n}.

Let δφ=limn(deg(φn))1/n\delta_\varphi=\lim_{n\to\infty}(\deg(\varphi^n))^{1/n} be the dynamical degree. Arithmetic degree conjecture. The set

{αφ(P):PPN(Q)φ}\bigl\{\alpha_\varphi(P):P\in\mathbb{P}^N(\overline{\mathbb{Q}})_\varphi\bigr\}

is a finite set of algebraic integers; moreover, if the orbit of PPN(Q)φP\in\mathbb{P}^N(\overline{\mathbb{Q}})_\varphi is Zariski dense in PN\mathbb{P}^N, then αφ(P)=δφ\alpha_\varphi(P)=\delta_\varphi.

This conjecture relates height growth of individual orbits to the global degree growth of the map. The paper proves it for monomial maps on projective space, while the general case remains open.

Sources & referencesView supporting material

Primary source

Joseph H. Silverman, “Dynamical Degrees, Arithmetic Degrees, and Canonical Heights for Dominant Rational Self-Maps of Projective Space”, arXiv:1111.5664 (2012).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.