English

Growth of generalized greatest common divisors along orbits of self-rational maps on projective varieties

Algebraic Geometry 2025-07-08 v1 Dynamical Systems Number Theory

Abstract

Consider a dominant rational self-map ff on a smooth projective variety XX defined over Q\overline{\mathbb{Q}}. We prove that \begin{align} \lim_{n \to \infty} \frac{h_{Y}(f^{n}(x))}{h_{H}(f^{n}(x)) } = 0, \end{align} where hYh_{Y} is a height associated with a closed subscheme YXY \subset X of codimension cc, hHh_{H} is any ample height on XX, and xX(Q)x \in X(\overline{\mathbb{Q}}) is a point with well-defined orbit, under the following assumptions: (1) either ff is a morphism, or YY is pure dimensional, regularly embedded in XX, and contained in the locus over which all iterates of ff are finite; (2) the orbit of xx is generic; (3) dc(f)1/c<αf(x)d_{c}(f)^{1/c} < \alpha_{f}(x), where dc(f)d_{c}(f) is the cc-th dynamical degree of ff and αf(x) \alpha_{f}(x) is the arithmetic degree of xx.

Keywords

Cite

@article{arxiv.2507.05027,
  title  = {Growth of generalized greatest common divisors along orbits of self-rational maps on projective varieties},
  author = {Yohsuke Matsuzawa},
  journal= {arXiv preprint arXiv:2507.05027},
  year   = {2025}
}

Comments

24 pages