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

About 15 years old · traced to

Let φ:PN⇢PN\varphi:\mathbb{P}^N\dashrightarrow\mathbb{P}^N be a dominant rational map defined over Q‾\overline{\mathbb{Q}}. For a point P∈PN(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 sup⁡n→∞h(φn(P))1/n.\alpha_\varphi(P)=\limsup_{n\to\infty}h\bigl(\varphi^n(P)\bigr)^{1/n}.

Let δφ=lim⁡n→∞(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):P∈PN(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 P∈PN(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.

References

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.