Effective equidistribution of lattice points in positive characteristic (Q2684401): Difference between revisions

Let \(\mathbb{F}_q\) be a finite field of order \(q\), where \(q\) is a positive power of some prime and let \(K=\mathbb{F}_q(Y)\) be the field of rational functions in one variable \(Y\) over \(\mathbb{F}_q\). Denote by \(R=\mathbb{F}_q[Y]\) the ring of polynomials in \(Y\) over \(\mathbb{F}_q\). Let \(\hat{K}=\mathbb{F}_q((Y^{-1}))\) be the non-Archimedean local field of formal Laurent series in \(Y^{-1}\) over \(\mathbb{F}_q\). The proved statement is a joint equidistribution theorem, with an error for the direction and the renormalized gcd solution of the primitive lattice points on the non-Archimedean plane \(\hat{K}^2\). The smoothness regularity of functions on totally disconnected spaces like \(\hat{K}^N\) for \(N \in \mathbb{N}\) is the locally constant one. For every metric space \(E\) and \(\varepsilon >0\), a bounded map \(f: E \to \mathbb{R}\) is \(\varepsilon\)-locally constant if it is constant on every closed ball of radius \(\varepsilon \) in \(E\). Its \(\varepsilon\)-locally constant norm is \(\|f\|_{\varepsilon}=\tfrac{1}{\varepsilon}\sup_{x \in E}|f(x)|\). In this paper, it is established the effective joint equidistribution of directions and renormalized solutions to the associated gcd equations for primitive lattice points. Distribution properties of the continued fraction expansions of elements in \(\mathbb{F}_q\) are provided.