SearcharxivSearch

arXiv subjects

Ricardo Menares

Publications and source records attributed to Ricardo Menares.

13 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

Closing the gap around the essential minimum of height functions with linear programming

For many common height functions, it is notoriously hard to compute the essential minimum. Nevertheless there are two classical methods, one giving lower bounds and the other giving upper bounds. In this paper, we show that the two methods are actually dual to each other in the sense of linear programming. The main theorem is that they satisfy strong duality, which closes the gap around the essential minimum from both ends. As applications we prove that this essential minimum can be realized by a generic sequence of algebraic integers, and that if the associated Green function is computable then this essential minimum is a computable real number.

math.NT

The R-transform as a power map and its generalisations to higher degree

We give iterative constructions for irreducible polynomials over F_q of degree nt^r for all nonnegative integers r, starting from irreducible polynomials of degree n. The iterative constructions correspond modulo fractional linear transformations to compositions with power functions x^t. The R-transform introduced by Cohen is recovered as a particular case corresponding to x^2, hence we obtain a generalization of Cohen's R-transform (t=2) to arbitrary degrees t bigger that two. Important properties like self-reciprocity and invariance of roots under certain automorphisms are deduced from invariance under multiplication by appropriate roots of unity. Extending to quadratic extensions of F_q we recover and generalize a recently obtained recursive construction of Panario, Reis and Wang.

math.NT

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

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

Enumeration of a special class of irreducible polynomials in characteristic 2

A-polynomials were introduced by Meyn and play an important role in the iterative construction of high degree self-reciprocal irreducible polynomials over the field F_2, since they constitute the starting point of the iteration. The exact number of A-polynomials of each degree was given by Niederreiter. Kyuregyan extended the construction of Meyn to arbitrary even finite fields. We relate the A-polynomials in this more general setting to inert places in a certain extension of elliptic function fields and obtain an explicit counting formula for their number. In particular, we are able to show that, except for an isolated exception, there exist A-polynomials of every degree.

math.NT

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

Strong modularity of reducible Galois representations

In this paper, we call strongly modular those reducible semi-simple odd mod $l$ Galois representations for which the conclusion of the strongest form of Serre's original modularity conjecture holds. Under the assumption that the Serre weight $k$ satisfies $l\textgreater{}k+1$, we give a precise characterization of strongly modular representations, hence generalizing a classical theorem of Ribet pertaining to the case of conductor $1$.When the representation $ρ$ is not strongly modular, we give a necessary and sufficient condition on the primes $p$ not dividing $Nl$ for which it arises in level $Np$, where $N$ denotes the conductor of $ρ$. This generalizes a result of Mazur on the case $(N,k)=(1,2)$.

math.NT

On the modularity of reducible mod l Galois representations

We prove that every odd semisimple reducible (2-dimensional) mod l Galois representation arises from a cuspidal eigenform. In addition, we investigate the possible different types (level, weight, character) of such a modular form. When the representation is the direct sum of the trivial character and a power of the mod l cyclotomic character, we are able to characterize the primes that can arise as levels of the associated newforms. As an application, we determine a new explicit lower bound for the highest degree among the fields of coefficients of newforms of trivial Nebentypus and prime level. The bound is valid in a subset of the primes with natural (lower) density at least one half.

math.NT

On shifted primes with large prime factors and their products

We estimate from below the lower density of the set of prime numbers p such that p-1 has a prime factor of size at least p^c, where c lies in between 1/4 and 1/2. We also establish upper and lower bounds on the counting function of the set of positive integers n up to x with exactly k prime factors, counted with or without multiplicity, such that the largest prime factor of gcd(p-1 : p | n) exceeds n^{1/2k}.

math.NT

Correspondences in Arakelov geometry and applications to the case of Hecke operators on modular curves

In the context of arithmetic surfaces, Bost defined a generalized Arithmetic Chow Group (ACG) using the Sobolev space L^2_1. We study the behavior of these groups under pull-back and push-forward and we prove a projection formula. We use these results to define an action of the Hecke operators on the ACG of modular curves and to show that they are self-adjoint with respect to the arithmetic intersection product. The decomposition of the ACG in eigencomponents which follows allows us to define new numerical invariants, which are refined versions of the self-intersection of the dualizing sheaf. Using the Gross-Zagier formula and a calculation due independently to Bost and Kuehn we compute these invariants in terms of special values of L series. On the other hand, we obtain a proof of the fact that Hecke correspondences acting on the Jacobian of the modular curves are self-adjoint with respect to the Néron-Tate height pairing.

math.NT

Equidistribution of Hecke points on the supersingular module

For a fixed prime p, we consider the (finite) set of supersingular elliptic curves over $\bar{\mathbb{F}}$. Hecke operators act on this set. We compute the asymptotic frequence with which a given supersingular elliptic curve visits another under this action.

math.NT