Table of Contents
Fetching ...

Quantitative Equidistribution of Small Points for Canonical Heights

Jit Wu Yap

Abstract

Let $X$ be a smooth projective variety defined over a number field $K$ and let $\varphi: X \to X$ a polarized endomorphism of degree $d \geq 2$. Let $\widehat{h}_{\varphi}$ be the canonical height associated to $\varphi$ on $X(\overline{K})$. Given a generic sequence of points $(x_n)$ with $\widehat{h}_{\varphi}(x_n) \to 0$ and a place $v \in M_K$, Yuan [Yua08] has shown that the conjugates of $x_n$ equidistribute to the canonical measure $μ_{\varphi,v}$. When $v$ is archimedean, we will prove a quantitative version of Yuan's result. We give two applications of our result to polarized endomorphisms $\varphi$ of smooth projective surfaces that are defined over a number field $K$. The first is an exponential rate of convergence for periodic points of period $n$ to the equilibrium measure and the second is an exponential lower bound on the degree of the extension containing all periodic points of period $n$. When $X$ is an abelian variety, we also give an upper bound on the smallest degree of a hypersurface that contains all points $x \in X(\overline{K})$ satisfying $[K(x):K] \leq D$ and $\widehat{h}_X(x) \leq \frac{c}{D^8}$ for some fixed constant $c > 0$ where $\widehat{h}_X$ is the Neron--Tate height for $X$.

Quantitative Equidistribution of Small Points for Canonical Heights

Abstract

Let be a smooth projective variety defined over a number field and let a polarized endomorphism of degree . Let be the canonical height associated to on . Given a generic sequence of points with and a place , Yuan [Yua08] has shown that the conjugates of equidistribute to the canonical measure . When is archimedean, we will prove a quantitative version of Yuan's result. We give two applications of our result to polarized endomorphisms of smooth projective surfaces that are defined over a number field . The first is an exponential rate of convergence for periodic points of period to the equilibrium measure and the second is an exponential lower bound on the degree of the extension containing all periodic points of period . When is an abelian variety, we also give an upper bound on the smallest degree of a hypersurface that contains all points satisfying and for some fixed constant where is the Neron--Tate height for .

Paper Structure

This paper contains 20 sections, 54 theorems, 230 equations.

Key Result

Theorem 1.1

Let $(x_n)$ be a generic and small sequence for the canonical height $\widehat{h}_{\varphi}$. Then for any embedding $v \xrightarrow{} \mathbb{C}$, the Galois orbits of $(x_n)$ are equidistributed with respect to the measure $\mu_{\varphi,v}$ on $X(\mathbb{C}_v)$.

Theorems & Definitions (98)

  • Theorem 1.1: Theorem 3.7 Yua08
  • Theorem 1.2
  • Theorem 1.3
  • Theorem 1.4
  • Theorem 1.5
  • Theorem 1.6
  • Theorem 1.7
  • Theorem 1.8
  • Lemma 2.1
  • proof
  • ...and 88 more