A note on logarithmic equidistribution

Gerold Schefer
2023-08-14
Abstract:For every algebraic number $\kappa$ on the unit circle which is not a root of unity we prove the existence of a strict sequence of algebraic numbers whose height tends to zero, such that the averages of the evaluation of $f_\kappa(z)=\log|z -\kappa|$ in the conjugates are essentially bounded from above by $-h(\kappa)$. This completes a characterisation on functions $f_\kappa$ initiated by Autissier and Baker-Masser, who cover the cases $\kappa=2$ and $|\kappa|\ne 1$ respectively. Using the same ideas we also prove analogues in the $p$-adic setting.
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the equidistribution properties of logarithms of a specific algebraic number κ (on the unit circle and not a root of unity). Specifically, the author studied whether for algebraic numbers κ not in the set K∞, there exists a strict sequence (αn)n∈N such that as n tends to infinity, the heights h(αn) of these algebraic numbers tend to 0 and satisfy specific limit conditions. ### Problem Background 1. **Existing Results**: - Autissier and Baker - Masser respectively studied the behavior of the function fκ(z) = log|z − κ| in different situations. - For the case of |κ| ≠ 1, it has been proven that these κ do not belong to K∞. - For κ = 2, Autissier provided a counterexample, showing that 2 does not belong to K∞. - For the roots of unity μ∞, it has been proven that they belong to K∞. 2. **Unsolved Problems**: - For algebraic numbers κ on the unit circle but not roots of unity, it is not yet clear whether they belong to K∞. ### Main Contributions of the Paper - **Theorem 3**: The author proved that for all algebraic numbers κ on the unit circle but not roots of unity, there exists a strict sequence (αn)n∈N such that the values of limsup and liminf satisfy specific conditions, thus proving that these κ do not belong to K∞. - **p - adic Analogous Results**: The author also proved a similar conclusion in the p - adic case. ### Formula Summary - **Definition of Height**: \[ h(\alpha)=\frac{m(P)}{d} \] where \(P\) is the Z - minimal polynomial of \(\alpha\), \(d\) is the degree of the polynomial, and \(m(P)\) is the logarithmic Mahler measure of the polynomial. - **Limit Conditions**: \[ \lim_{n \to \infty}\left|\frac{1}{[Q(\alpha_n):Q]}\sum_{\sigma:Q(\alpha_n)\to C}\log|\sigma(\alpha_n)-\kappa|-\int_{0}^{1}\log|e^{2\pi it}-\kappa|dt\right| = |\log|\kappa||>0 \] - **Core Inequalities of Theorem 3**: \[ \limsup_{n \to \infty}\frac{1}{[Q(\alpha_n):Q]}\sum_{\sigma:Q(\alpha_n)\to C}\log|\sigma(\alpha_n)-\kappa|\leq -h(\kappa)<0 \] \[ \liminf_{n \to \infty}\frac{1}{[Q(\alpha_n):Q]}\sum_{\sigma:Q(\alpha_n)\to C}\log|\sigma(\alpha_n)-\kappa|\geq -d(h(\kappa)+\log(2)) \] Through these results, the author completed the full characterization of the set K∞, that is, K∞ = {0} ∪ μ∞, where μ∞ is the set of all roots of unity.