Nonarchimedean equidistribution on elliptic curves with global applications (Q731188)

Let \(\mathbb{K}\) be an algebraically closed field which is complete with respect to a nonarchimedean absolute value and let \(E/\mathbb{K}\) be an elliptic curve. Let \textbf{E} be the Berkovich analytic space associated to \(E/\mathbb{K}\): a path-connected, compact analytic space (containing \(E(\mathbb{K})\) as a dense subspace) whose construction and main properties are thoroughly described in the first section of the paper. The space \textbf{E} comes equipped with a canonical unit Borel measure \(\mu\) and the paper deals with the \(\mu\)-equidistribution of finite subsets \(Z\) of \(E(\mathbb{K})\). This equidistribution is controlled using the notion of \textit{local discrepancy} \(D(Z)\) defined in [\textit{M. Baker} and \textit{C. Petsche}, Int. Math. Res. Not. 61, 3791--3834 (2005; Zbl 1120.11025)] via the normalized Neron function. The author defines a dense subspace \(\mathcal{S}({\mathbf E},\mathbb{R})\) of the continuous real-valued functions on \textbf{E} (via the union of spaces of functions defined on connected subgraphs of \({\mathbf E} - E(\mathbb{K})\,\)) and proves that for any function \(F \in \mathcal{S}({\mathbf E},\mathbb{R})\) and all finite subsets \(Z\) of \(E(\mathbb{K})\) \[ \left| \frac{1}{|Z|} \sum_{P\in Z} F(P) -\int F\,d\mu \right| \leq C_1(F)\left( D(Z) +\frac{C_2(F)}{|Z|}\right)^{1/2} \] (where the \(C_i(F)\)'s are explicit constants depending only on \(F\) and \({\mathbf E}\)). This local theorem is then applied to elliptic curves defined over global function fields to provide explicit quantitative (and qualitative) results analogous to the Baker-Ih-Rumely finiteness theorem for \(S\)-integral torsion points (where, as usual, \(S\) is a finite set of primes containing all the bad reduction places for \(E\)) and to the Szpiro-Ullmo-Zhang theorem on equidistribution of points of small Nerón-Tate canonical height \(\hat{h}\). In particular the global equidistribution theorem proves that for any place \(v\) of a global function field \(K\) and any sequence \(\{ Z_n\}_{n\in \mathbb{N}}\) of finite \(\Aut(\overline{K}/K)\)-stable subsets of \(E(\overline{K})\) such that \(\hat{h}(Z_n) \rightarrow 0\) and \(|Z_n|\rightarrow +\infty\) one has \[ \lim_{n\rightarrow \infty} \frac{1}{|Z_n|} \sum_{P\in Z_n} F(P) = \int F\,d\mu_v \] (where \(F: {\mathbf E}_v \rightarrow \mathbb{R}\) is any continuous function on the local Berkovich analytic space \({\mathbf E}_v\) for \(E\) at \(\overline{K}_v\,\)).