Nonarchimedean equidistribution on elliptic curves with global applications (Q731188)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Nonarchimedean equidistribution on elliptic curves with global applications
scientific article

    Statements

    Nonarchimedean equidistribution on elliptic curves with global applications (English)
    0 references
    0 references
    2 October 2009
    0 references
    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\,\)).
    0 references
    elliptic curves
    0 references
    nonarchimedean fields
    0 references
    Berkovich analytic space
    0 references
    equidistribution
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references