SearcharxivSearch

arXiv subjects

Juan Rivera-Letelier

Publications and source records attributed to Juan Rivera-Letelier.

At least 19 recordsLinked to original sources

Statistical properties of Hecke correspondences

This paper studies the statistical properties of the dynamical system generated by a Hecke correspondence on the modular curve over $\mathbb{C}$ and, for every prime number $p$, over $\mathbb{C}_p$. Over $\mathbb{C}$, it proves that the equidistribution to the hyperbolic measure established by Clozel and Otal occurs at an exponential rate. Moreover, it determines the sharp rate, assuming an affirmative solution to the Ramanujan-Petersson conjecture. Over $\mathbb{C}_p$, two distinct types of behavior arise. In the first, every orbit converges towards the Gauss point in the Berkovich affine line, and this paper establishes the sharp exponential convergence rate. In the second, a form of unique ergodicity holds on each orbit closure, and this paper establishes a spectral gap property and, as a consequence, a central limit theorem. This complements the central limit theorem proved by Cantat and Le Borgne over $\mathbb{C}$. Finally, the paper extends and strengthens the results of Goren and Kassaei on the associated random walks.

math.NT

Locating critical points attracted to p-adic attracting cycles

In complex dynamics, a fundamental result of Fatou and Julia asserts that every attracting cycle of a rational map attracts a critical point. The analogous statement fails in non-Archimedean dynamics. For a non-Archimedean rational map, this paper establishes a sharp condition on the multiplier of an attracting cycle ensuring it attracts a critical point.

math.DS

Irrational Fatou components in non-Archimedean dynamics

This paper studies the geometry of Fatou components in non-Archimedean dynamics. By explicitly computing a wandering domain constructed by Benedetto, it provides the first example of a Fatou component that is an irrational disk.

math.DS

Rigidit\'e, expansion et entropie en dynamique non-archim\'edienne (Rigidity, expansion and entropy in non-Archimedean dynamics)

We prove a rigidity property in non-Archimedean dynamics, reminiscent of Zdunik theorem in complex dynamics: every rational map whose equilibrium measure charges an interval in the Berkovich projective line is affine Bernoulli. Our proof is inspired by the construction of the affine model of multimodal maps by Parry and by Milnor and Thurston. This rigidity result allows us to show that the topological entropy of any tame rational map is the logarithm of an integer. To that end we analyze the properties of the multiplicative (sub)coboundary given by the spherical derivative and we establish a link between the sign of the Lyapunov exponent and the locus of wild ramification.

math.DS

Phase diagram for intermittent maps

We explore the phase diagram for potentials in the space of Hölder continuous functions of a given exponent and for the dynamical system generated by a Pomeau--Manneville, or intermittent, map. There is always a phase where the unique Gibbs state exhibits intermittent behavior. It is the only phase for a specific range of values of the Hölder exponent. For the remaining values of the Hölder exponent, a second phase with stationary behavior emerges. In this case, a co-dimension 1 submanifold separates the intermittent and stationary phases. It coincides with the set of potentials at which the pressure function fails to be real-analytic. We also describe the relationship between the phase transition locus, (persistent) phase transitions in temperature, and ground states.

math.DS

Phase transitions in temperature for intermittent maps

This article characterizes phase transitions in temperaturefor intermittent maps within a specific space of \textsc{H\"older} continuous potentials, distinguished by their regularity and asymptotic behavior at zero. We also characterize the phase transitions in temperature that are robust within this space. Our results reveal a connection between phase transitions in temperature and ergodic optimization.

math.DS

There are at most finitely many singular moduli that are S-units

We show that for every finite set of prime numbers S, there are at most finitely many singular moduli that are S-units. The key new ingredient is that for every prime number p, singular moduli are p-adically disperse. We prove analogous results for the Weber modular functions, the lambda invariants and the McKay-Thompson series associated to the elements of the monster group. Finally, we also obtain that a modular function that specializes to infinitely many algebraic units at quadratic imaginary numbers must be a weak modular unit.

math.NT

Robust sensitive dependence of geometric Gibbs states for analytic families of quadratic maps

For quadratic-like maps, we show a phenomenon of sensitive dependence of geometric Gibbs states: There are analytic families of quadratic-like maps for which an arbitrarily small perturbation of the parameter can have a definite effect on the low-temperature geometric Gibbs states. Furthermore, this phenomenon is robust: There is an open set of analytic 2-parameter families of quadratic-like maps that exhibit sensitive dependence of geometric Gibbs states. We introduce a geometric version of the Peierls condition for contour models ensuring that the low-temperature geometric Gibbs states are concentrated near the critical orbit.

math.DS

p-Adic distribution of CM points and Hecke orbits. II: Linnik equidistribution on the supersingular locus

For a prime number $p$, we study the asymptotic distribution of CM points on the moduli space of elliptic curves over $\mathbb{C}_p$. In stark contrast to the complex case, in the $p$-adic setting there are infinitely many different measures describing the asymptotic distribution of CM points. In this paper we identify all of these measures. A key insight is to translate this problem into a $p$-adic version of Linnik's classical problem on the asymptotic distribution of integer points on spheres. To do this translation, we use the close relationship between the deformation theories of elliptic curves and formal modules and then apply results of Gross and Hopkins. We solve this $p$-adic Linnik problem using a deviation estimate extracted from the bounds for the Fourier coefficients of cuspidal modular forms of Deligne, Iwaniec and Duke. We also identify all accumulation measures of an arbitrary Hecke orbit.

math.NT

p-Adic distribution of CM points and Hecke orbits. I. Convergence towards the Gauss point

We study the asymptotic distribution of CM points on the moduli space of elliptic curves over $\mathbb{C}_p$, as the discriminant of the underlying endomorphism ring varies. In contrast with the complex case, we show that there is no uniform distribution. In this paper we characterize all the sequences of discriminants for which the corresponding CM points converge towards the Gauss point of the Berkovich affine line. We also give an analogous characterization for Hecke orbits. In the companion paper we characterize all the remaining limit measures of CM points and Hecke orbits.

math.NT

Residue fixed point index and wildly ramified power series

In this paper, we study power series having a fixed point of multiplier 1. First, we give a closed formula for the residue fixed point index, in terms of the first coefficients of the power series. Then, we use this formula to study wildly ramified power series in positive characteristic. Among power series having a multiple fixed point of small multiplicity, we characterize those having the smallest possible lower ramification numbers in terms of the residue fixed point index. Furthermore, we show that these power series form a generic set, and, in the case of convergent power series, we also give an optimal lower bound for the distance to other periodic points.

math.DS

Asymptotic expansion of smooth interval maps

We associate to each non-degenerate smooth interval map a number measuring its global asymptotic expansion. We show that this number can be calculated in various different ways. A consequence is that several natural notions of nonuniform hyperbolicity coincide. In this way we obtain an extension to interval maps with an arbitrary number of critical points of the remarkable result of Nowicki and Sands characterizing the Collet-Eckmann condition for unicritical maps. This also solves a conjecture of Luzzatto in dimension 1. Combined with a result of Nowicki and Przytycki, these considerations imply that several natural nonuniform hyperbolicity conditions are invariant under topological conjugacy. Another consequence is for the thermodynamic formalism of non-degenerate smooth interval maps: A non-degenerate smooth map has a high-temperature phase transition if and only if it is not Lyapunov hyperbolic.

math.DS

Large deviation principle in one-dimensional dynamics

We study the dynamics of smooth interval maps with non-flat critical points. For every such a map that is topologically exact, we establish the full (level-2) Large Deviation Principle for empirical means. In particular, the Large Deviation Principle holds for every non\nobreakdash-renormalizable quadratic map. This includes the maps without physical measure found by Hofbauer and Keller, and challenges the widely-shared view of the Large Deviation Principle as a refinement of laws of large numbers.

math.DS

Sensitive dependence of geometric Gibbs states at positive temperature

We give the first example of a smooth family of real and complex maps having sensitive dependence of geometric Gibbs states at positive temperature. This family consists of quadratic-like maps that are non-uniformly hyperbolic in a strong sense. We show that for a dense set of maps in the family the geometric Gibbs states do not converge at positive temperature. These are the first examples of non-convergence at positive temperature in statistical mechanics or the thermodynamic formalism, and answers a question of van Enter and Ruszel. We also show that this phenomenon is robust: There is an open set of analytic 2-parameter families of quadratic-like maps that exhibit sensitive dependence of geometric Gibbs states at positive temperature.

math.DS

On the essential minimum of Faltings' height

We study the essential minimum of the (stable) Faltings height on the moduli space of elliptic curves. We prove that, in contrast to the Weil height on a projective space and the N{é}ron-Tate height of an abelian variety, Faltings' height takes at least two values that are smaller than its essential minimum. We also provide upper and lower bounds for this quantity that allow us to compute it up to five decimal places. In addition, we give numerical evidence that there are at least four isolated values before the essential minimum. One of the main ingredients in our analysis is a good approximation of the hyperbolic Green function associated to the cusp of the modular curve of level one. To establish this approximation, we make an intensive use of distortion theorems for univalent functions. Our results have been motivated and guided by numerical experiments that are described in detail in the companion files.

math.NT

Geometric pressure for multimodal maps of the interval

This paper is an interval dynamics counterpart of three theories founded earlier by the authors, S. Smirnov and others in the setting of the iteration of rational maps on the Riemann sphere: the equivalence of several notions of non-uniform hyperbolicity, Geometric Pressure, and Nice Inducing Schemes methods leading to results in thermodynamical formalism. We work in a setting of generalized multimodal maps, that is smooth maps f of a finite union of compact intervals in R into R with non-flat critical points, such that on its maximal forward invariant set K the map f is topologically transitive and has positive topological entropy. We prove that several notions of non-uniform hyperbolicity of f|_K are equivalent (including uniform hyperbolicity on periodic orbits, TCE & all periodic orbits in K hyperbolic repelling, Lyapunov hyperbolicity, and exponential shrinking of pull-backs). We prove that several definitions of geometric pressure P(t), that is pressure for the map f|_K and the potential - t log |f'|, give the same value (including pressure on periodic orbits, "tree" pressure, variational pressures and conformal pressure). Finally we prove that, provided all periodic orbits in K are hyperbolic repelling, the function P(t) is real analytic for t between the "condensation" and "freezing" parameters and that for each such t there exists unique equilibrium (and conformal) measure satisfying strong statistical properties.

math.DS

Generic parabolic points are isolated in positive characteristic

We study analytic germs in one variable having a parabolic fixed point at the origin, over an ultrametric ground field of positive characteristic. It is conjectured that for such a germ the origin is isolated as a periodic point. Our main result is an affirmative solution of this conjecture in the case of a generic germ with a prescribed multiplier. The genericity condition is explicit: That the power series is minimally ramified, i.e., that the degree of the first non-linear term of each of its iterates is as small as possible. Our main technical result is a computation of the first significant terms of a minimally ramified power series. From this we obtain a lower bound for the norm of nonzero periodic points, from which we deduce our main result. As a by-product we give a new and self-contained proof of a characterization of minimally ramified power series in terms of the iterative residue.

math.DS

The distribution of Galois orbits of points of small height in toric varieties

We address the distribution properties of points of small height on proper toric varieties and applications to the related Bogomolov property. We introduce the notion of monocritical toric metrized divisor and we prove that equidistribution occurs for every generic, small sequence with respect to a toric metrized divisor, for every place if and only if the divisor is monocritical. Furthermore, when this is the case, the limit measure is a translate of the natural measure on the compact torus sitting in the principal orbit of the ambient toric variety. We also study the $v$-adic modulus distribution of Galois orbits of small points. We characterize, in terms of the given toric semipositive metrized divisor, the cluster measures of $v$-adic valuations of Galois orbits of generic small sequences. The Bogomolov property now says that a subvariety of the principal orbit of a proper toric variety that has the same essential minimum than the toric variety with respect to a monocritical toric metrized divisor, must be a translate of a subtorus. We also give several examples, including a non-monocritical divisor for which the Bogomolov property does not hold.

math.NT