Equidistribution of small points, rational dynamics, and potential theory
Matthew Baker, Robert Rumely
备注：
50 pages; v2 contains additional references, exposition has been modified, and Sections 7 and 8 from v1 have been removed to shorten the paper's length
If phi(z) is a rational function on P^1 of degree at least 2 with coefficients in a number field k, we compute the homogeneous transfinite diameter of the v-adic filled Julia sets of phi for all places v of k by introducing a new quantity called the homogeneous sectional capacity. In particular, we show that the product over all places of these homogeneous transfinite diameters is 1. We apply this product formula and some new potential-theoretic results concerning Green's functions on Riemann surfaces and Berkovich spaces to prove an adelic equidistribution theorem for dynamical systems on the projective line. This theorem, which generalizes the results of Baker-Hsia, says that for each place v of k, there is a canonical probability measure on the Berkovich space P^1_{Berk,v} over C_v such that if z_n is a sequence of algebraic points in P^1 whose canonical heights with respect to phi tend to zero, then the z_n's and their Galois conjugates are equidistributed with respect to mu_{phi,v} for all places v of k. For archimedean v, P^1_{Berk,v} is just the Riemann sphere, mu_{phi,v} is Lyubich's invariant measure, and our result is closely related to a theorem of Lyubich and Freire-Lopes-Mane.
Einsiedler, Mozes, Shah and Shapira [Compos. Math. 152 (2016), 667-692] prove an equidistribution theorem for rational points on expanding horospheres in the space of d-dimensional Euclidean lattices, with d>2. Their proof exploits measure classification results, but provides no insight into the rate of convergence. We pursue here an alternative approach, based on harmonic analysis and Weil's bound for Kloosterman sums, which in dimension d=3 yields an effective estimate on the rate of convergence.
We prove an effective version of a result due to Einsiedler, Mozes, Shah and Shapira who established the equidistribution of primitive rational points on expanding horospheres in the space of unimodular lattices in at least $3$ dimensions. Their proof uses techniques from homogeneous dynamics and relies in particular on measure-classification theorems -- an approach which does not lend itself to effective bounds. We implement a strategy based on spectral theory, Fourier analysis and Weil's bound for Kloosterman sums in order to quantify the rate of equidistribution for a specific horospherical…
We establish an equidistribution result for push-forwards of certain locally finite algebraic measures in the adelic extension of the space of lattices in the plane. As an application of our analysis we obtain new results regarding the asymptotic normality of the continued fraction expansions of most rationals with a high denominator as well as an estimate on the length of their continued fraction expansions. By similar methods we also establish a complementary result to Zaremba's conjecture. Namely, we show that given a bound M, for any large q, the number of rationals $p/q\in [0,1]$ for whic…
We study the dynamics of stochastic families of rational maps on the projective line. As such families can be infinite and may not typically be defined over a single number field, we introduce the concept of generalized adelic measures, generalizing previous notions introduced by Favre and Rivera-Letelier and Mavraki and Ye. Generalized adelic measures are defined over the measure space of places of an algebraic closure of the rationals, using a framework established by Allcock and Vaaler. This turns our heights from sums over places into integrals. We prove an equidistribution result for gene…
In this paper we prove a sparse equidistribution theorem for Gross points over the rational function field $\mathbb{F}_q(t)$. We apply this result to study the reduction map from CM Drinfeld modules to supersingular Drinfeld modules. Our proofs rely crucially on a period formula due to M. Papikian and F.-T. Wei/J. Yu, and a Lindelöf-type bound for central values of Rankin-Selberg $L$-functions associated to twists of automorphic forms of Drinfeld-type by ideal class group characters.
Let U:=L\G be a homogeneous variety defined over a number field K, where G is a connected semisimple K-group and L is a connected maximal semisimple K-subgroup of G with finite index in its normalizer. Assuming that G(K_v) acts transitively on U(K_v) for almost all places v of K, we obtain the asymptotic of the number of rational points in U(K) with height bounded by T, and settle new cases of Manin's conjecture for many wonderful varieties. The main ingredient of our approach is the equidistribution of semisimple adelic periods, which is established using the theory of unipotent flows.
These are lecture notes from a course in arithmetic dynamics given in Grenoble in June 2017. The main purpose of this text is to explain how arithmetic equidistribution theory can be used in the dynamics of rational maps on P^1. We first briefly introduce the basics of the iteration theory of rational maps on the projective line over C, as well as some elements of iteration theory over an arbitrary complete valued field and the construction of dynamically defined height functions for rational functions defined over \overline Q. The equidistribution of small points gives some original informati…
We prove effective equidistribution of primitive rational points and of primitive rational points defined by monomials along long horocycle orbits in products of the torus and the modular surface. This answers a question posed in joint work by the first and the last named author with Shahar Mozes and Uri Shapira. Under certain congruence conditions we prove the joint equidistribution of conjugate rational points in the two-torus and the modular surface.
It is an open problem whether repelling periodic points are dense in the classical Julia set of a non-archimedean rational function of degree more than one. We give a partial positive answer to this question based on a study of a logarithmic equidistribution on the Berkovich projective line over non-archimedean fields.
We develop the relationship between quaternionic hyperbolic geometry and arithmetic counting or equidistribution applications, that arises from the action of arithmetic groups on quaternionic hyperbolic spaces, especially in dimension $2$. We prove a Mertens counting formula for the rational points over a definite quaternion algebra $A$ over $\mathbb Q$ in the light cone of quaternionic Hermitian forms, as well as a Neville equidistribution theorem of the set of rational points over $A$ in quaternionic Heisenberg groups.
Let g be a nonconstant rational map from the projective line to itself that has degree greater than one and is defined over a number field. The map g gives rise to generalized Mahler measures for polynomials in one variable. We use diophantine approximation to show that the generalized Mahler measure of a polynomial F at a place v can be computed by averaging the log of the v-adic absolute value of F over the periodic points of g. This allows us to compute canonical heights of algebraic points via equidistribution on periodic points.
In this paper we study spherical equidistribution on the space of (translates of) adelic lattices, which we apply to understand the fine-scale statistics of the directions in the set of shifted primitive lattice points. We also apply our results to the distribution of the free path lengths in the Boltzmann--Grad limit for point sets such as (possibly non-rational) translates of the lattice points all of whose coordinates are squarefree. Besides the equidistribution results for translates of expanding horospheres, a key ingredient is a probabilistic argument which allows us to tackle the techni…
We say (W, \{ϕ_1,..., ϕ_t\}) is a polarizable dynamical system of several morphisms if ϕ_i are endomorphisms on a projective variety $W$ such that \bigotimes ϕ_i^*L is linearly equivalent to L^q} for some ample line bundle L on W and for some q>t. If q is a rational number, then we have the equidistribution of small points of given dynamical system because of Yuan's work. As its application, we can build a polarizable dynamical system of an automorphism and its inverse on $K3$ surface and show its periodic points are equidistributed.
We give a rate of equidistribution of lifts of horocycles from the space $\mathrm{SL}(2,\mathbb Z)\backslash \mathrm{SL}(2, \mathbb R)$ to the space $\mathrm{ASL}(2,\mathbb Z)\backslash \mathrm{ASL}(2,\mathbb R)$, making effective a theorem of Elkies and McMullen. This result constitutes an effective version of Ratner's measure classification theorem for measures supported on general horocycle lifts. The method used relies on Weil's resolution of the Riemann hypothesis for function fields in one variable and generalizes the approach of Strömbergsson to the case of linear lifts and that of Brow…
We use spectral method to prove a joint equidistribution of primitive rational points and the same along expanding horocycle orbits in the products of the circle and the unit cotangent bundle of the modular surface. This result explicates the error bound in a recent work of Einsiedler, Luethi, and Shah \cite[Theorem $1.1$]{ELS}. The error is sharp upon the best known progress towards the Ramanujan conjecture at the finite places for the modular surface.
We prove an analog of the famous equidistribution theorem of Brolin for rational mappings in one variable defined over the p-adic field C_p. We construct a mixing invariant probability measure which describes the asymptotic distribution of iterated preimages of a given point. This measure is supported on the Berkovich space associated to the projective line over C_p. We show that its support is precisely the Julia set as defined by Rivera-Letelier. Our results are based on the construction of a Laplace operator on real trees with arbitrary number of branching as done by Favre-Jonsson.
We study some subsets of rational points in an algebraic groups defined by open conditions on their projection in the finite adeles points. Using adelic mixing we are able to prove an equidistribution's result for the projection of these sets in the real points. As an application, we study the existence and the repartition of rational unitary matrices having a given denominator. We prove a local-global principle for this problem and the equirepartition of the sets of denominator n-matrices when they are not empty. Then we study the more complicated case of non simply-connected groups applying …
We introduce a new class of adelic heights on the projective line. We estimate their essential minimum and prove a result of equidistribution (at every place) for points of small height with estimates on the speed of convergence. To each rational function R in one variable and defined over a number field K, is associated a normalized height on the algebraic closure of K. We show that these dynamically defined heights are adelic in our sense, and deduce from this equidistribution results for preimages of points under R at every place of K. Our approach follows that of Bilu, and relies on potent…
We introduce the notion of an adelically summable normalized weight $g$, which is a family of normalized weights on the Berkovich projective lines satisfying a summability condition. We then establish an adelic equidistribution of effective $k$-divisors on the projective line over the separable closure $k_s$ in $\overline{k}$ of a product formula field $k$ having small $g$-heights and small diagonals. This equidistribution result generalizes Ye's for the Galois conjugacy classes of algebraic numbers with respect to quasi-adelic measures.
We prove an effective estimate for the counting function of Diophantine approximants on the sphere S$^n$. We use homogeneous dynamics on the space of orthogonal lattices, in particular effective equidistribution results and non-divergence estimates for the Siegel transform, developping on recent results of Alam-Ghosh and Kleinbock-Merrill.
We determine when the equidistribution property for possibly moving targets holds for a rational function of degree more than one on the projective line over an algebraically closed field of any characteristic and complete with respect to a non-trivial absolute value. This characterization could be useful in the positive characteristic case. Based on the variational argument, we give a purely local proof of the adelic equidistribution theorem for possibly moving targets, which is due to Favre and Rivera-Letelier, using a dynamical Diophantine approximation theorem by Silverman and by Szpiro--T…
The present paper is concerned with equidistribution results for certain flows on homogeneous spaces and related questions in Diophantine approximation. Firstly, we answer in the affirmative, a question raised by Kleinbock, Shi and Weiss regarding equidistribution of orbits of arbitrary lattices under diagonal flows and with respect to unbounded functions. We then consider the problem of Diophantine approximation with respect to rationals in a fixed number field. We prove a number field analogue of a famous result of W. M.Schmidt which counts the number of approximates to Diophantine inequalit…
Let $C$ be a cubic form with rational coefficients in $n$ variables, and let $h$ be the $h$-invariant of $C$. Let $L_1, \ldots, L_r$ be linear forms with real coefficients such that if $\boldsymbolα \in \mathbb{R}^r \setminus \{ \boldsymbol{0} \}$ then $\boldsymbolα \cdot \mathbf{L}$ is not a rational form. Assume that $h > 16 + 8 r$. Let $\boldsymbolτ \in \mathbb{R}^r$, and let $η$ be a positive real number. We prove an asymptotic formula for the weighted number of integer solutions $\mathbf{x} \in [-P,P]^n$ to the system $C(\mathbf{x}) = 0, \: |\mathbf{L}(\mathbf{x}) - \boldsymbolτ| < η$. If…
Let $f$ be a rational function of degree $d>1$ on the projective line over a possibly non-archimedean algebraically closed field. A well-known process initiated by Brolin considers the pullbacks of points under iterates of $f$, and produces an important equilibrium measure. We define the asymptotic Fekete property of pullbacks of points, which means that they mirror the equilibrium measure appropriately. As application, we obtain an error estimate of equidistribution of pullbacks of points for $C^1$-test functions in terms of the proximity of wandering critical orbits to the initial points, an…
We associate a certain tensor product lattice to any primitive integer lattice and ask about its typical shape. These lattices are related to the tangent bundle of Grassmannians and their study is motivated by Peyre's programme on "freeness" for rational points of bounded height on Fano varieties.
Baker-Rumely and Favre-Rivera-Letelier independently proved an important arithmetic equidistribution theorem for points of small height on the Berkovich compactification of the projective line with respect to an adelic measure on $\mathbb{P}^1$. Around the same time, Chambert-Loir proved a more general version of this arithmetic equidistribution theorem in the setting of curves from a different approach. We generalize the notion of an adelic measure to that of a quasi-adelic measure on $\mathbb{P}^1$, and show that arithmetic equidistribution of points with small height holds for quasi-adelic …
In this paper, we prove the equidistribution of periodic points of a regular polynomial automorphism f : A^n -> A^n defined over a number field K: let f be a regular polynomial automorphism defined over a number field K and let v be a prime place. Then, there exists an f-invariant probability measure mu_{f,v}$ on Berkovich space of P^n(C_v) such that the set of periodic points of f is equidistributed with respect to mu_{f,v}. We will prove it by equidistribution of small points for strongly regular pair of polynomial maps.
We prove an equidistribution result for small subvarieties of an abelian variety which generalizes the Szpiro-Ullmo-Zhang theorem on equidistribution of small points.
We strongly develop the relationship between complex hyperbolic geometry and arithmetic counting or equidistribution applications, that arises from the action of arithmetic groups on complex hyperbolic spaces, especially in dimension $2$. We prove a Mertens' formula for the integer points over a quadratic imaginary number fields $K$ in the light cone of Hermitian forms, as well as an equidistribution theorem of the set of rational points over $K$ in Heisenberg groups. We give a counting formula for the cubic points over $K$ in the complex projective plane whose Galois conjugates are orthogonal…
For a projective variety X defined over a field K, there is a special class of self-morphisms of X called algebraic dynamical systems. In this paper we take K to be the function field of a smooth curve and prove that at each place of K, subvarieties of X of dynamically small height are equidistributed on the associated Berkovich analytic space. We carefully develop all of the arithmetic intersection theory needed to state and prove this theorem, and we present several applications on the non-Zariski density of preperiodic points and of points of small height in field extensions of bounded degr…
We investigate the equidistribution of Hecke eigenforms on sets that are shrinking towards infinity. We show that at scales finer than the Planck scale they do not equidistribute while at scales more coarse than the Planck scale they equidistribute on a full density subsequence of eigenforms. On a suitable set of test functions we compute the variance showing interesting transition behavior at half the Planck scale.
We establish the limiting distribution of certain subsets of Farey sequences, i.e., sequences of primitive rational points, on expanding horospheres in covers $Δ\backslash\mathrm{SL}(n+1,\mathbb{R})$ of $\mathrm{SL}(n+1,\mathbb{Z})\backslash\mathrm{SL}(n+1,\mathbb{R})$, where $Δ$ is a finite index subgroup of $\mathrm{SL}(n+1,\mathbb{Z})$. These subsets can be obtained by projecting to the hyperplane $\{(x_1,\ldots,x_{n+1})\in\mathbb{R}^{n+1}:x_{n+1}=1\}$ sets of the form $\mathbf{A}=\bigcup_{j=1}^J\boldsymbol{a}_jΔ$, where for all $j$, $\boldsymbol{a}_j$ is a primitive lattice point in $\math…
We establish a quantitative adelic equidistribution theorem for a sequence of algebraic zeros divisors on the projective line over the separable closure of a product formula field having small diagonals and small $g$-heights with respect to an adelic normalized weight $g$ in arbitrary characteristic and in possibly non-separable setting, and obtain local proximity estimates between the iterations of a rational function $f\in k(z)$ of degree $>1$ and a rational function $a\in k(z)$ of degree $>0$ over a product formula field $k$ of characteristic $0$, applying this quantitative adelic equidistr…
We count flags of primitive lattices, which are objects of the form ${0}=Λ^{(0)}<Λ^{(1)}< \cdots <Λ^{(\ell)}= \mathbb{Z}^n$, where every $Λ^{(i)}$ is a primitive lattice in $\mathbb{Z}^n$. The counting is with respect to two different natural height functions, allowing us to give a new proof of the Manin conjecture for flag varieties over rational numbers. We deduce the equidistribution of rational points in flag varieties, as well as the equidistribution of the shapes of the successive quotient lattices, $Λ^{(i)}/Λ^{(i-1)}$. In doing so, we generalize previous work of Schmidt, as well as our …
We study the small scale distribution of the eigenfunctions of a point scatterer (the Laplacian perturbed by a delta potential) on two- and three-dimensional flat tori. In two dimensions, we establish small scale equidistribution for the "new" eigenfunctions holding all the way down to the Planck scale. In three dimensions, small scale equidistribution is established for all of the "new" eigenfunctions at certain scales.
Let $E$ be an elliptic curve defined over a number field $K$ without complex multiplication. If $Γ\subset E(\overline{K})$ is a subgroup of finite rank, a very special case of a conjecture of Rémond predicts that points of small height in $E(K(Γ))$ lie in the division group of $Γ$. Using an equidistribution argument, we will show that this conjecture is true for groups of rank arbitrarily large.
We establish a locally uniform a priori bound on the dynamics of a rational function $f$ of degree $>1$ on the Berkovich projective line over an algebraically closed field of any characteristic that is complete with respect to a non-trivial and non-archimedean absolute value, and deduce an equidistribution result for moving targets towards the equilibrium (or canonical) measure $μ_f$, under the no potentially good reductions condition. This partly answers a question posed by Favre and Rivera-Letelier.
The proof by Ullmo and Zhang of Bogomolov's conjecture about points of small height in abelian varieties made a crucial use of an equidistribution property for ``small points'' in the associated complex abelian variety. We study the analogous equidistribution property at $p$-adic places. Our results can be conveniently stated within the framework of the analytic spaces defined by Berkovich. The first one is valid in any dimension but is restricted to ``algebraic metrics'', the second one is valid for curves, but allows for more general metrics, in particular to the normalized heights with resp…
In the present paper we investigate the limiting behaviour of short incomplete Gauss sums at random argument as the number of terms goes to infinity. We prove that the limit distribution is given by the distribution of theta sums and differs from the limit law for long Gauss sums studied by the author and Marklof. The key ingredient in the proof is an equidistribution theorem for rational points on horocycles in the metaplectic cover of SL(2,R).
We prove equidistribution of a generic net of small points in a projective variety X over a function field K. For an algebraic dynamical system over K, we generalize this equidistribution theorem to a small generic net of subvarieties. For number fields, these results were proved by Yuan and we transfer here his methods to function fields. If X is a closed subvariety of an abelian variety, then we can describe the equidistribution measure explicitly in terms of convex geometry.
We prove the Dynamical Bogomolov Conjecture for endomorphisms of P^1\times P^1 defined over a number field. We use the equidistribution theorem for points of small height with respect to an algebraic dynamical system, combined with a theorem of Levin regarding symmetries of the Julia set. Using a specialization theorem of Yuan and Zhang, we prove the Dynamical Manin-Mumford Conjecture for endomorhisms of P^1\times P^1 defined over the complex numbers.
In this paper, the equidistribution theorem of Szpiro-Ullmo-Zhang about sequences of small points in an abelian variety is extended to the case of sequences of higher dimensional subvarieties. A quantitative version of this result is also given.
We study the small scale distribution of the $L^2$ mass of eigenfunctions of the Laplacian on the flat torus $\mathbb T^d$. Given an orthonormal basis of eigenfunctions, we show the existence of a density one subsequence whose $L^2$ mass equidistributes at small scales. In dimension two our result holds all the way down to the Planck scale. For dimensions $d=3,4$ we can restrict to individual eigenspaces and show small scale equidistribution in that context. We also study irregularities of quantum equidistribution: We construct eigenfunctions whose $L^2$ mass does not equidistribute at all sca…
