Showing 1–41 of 41 results for author: Michel, P

Generation of Hecke fields by squares of cyclotomic twists of modular $L$-values

Authors: Valentin Blomer, Ashay Burungale, Philippe Michel, Jun-Hwi Min

Abstract: Let $f$ be a non-CM elliptic newform without a quadratic inner twist, $p$ an odd prime and $χ$ a Dirichlet character of $p$-power order and sufficiently large $p$-power conductor. We show that the compositum $\mathbb{Q}_{f}(χ)$ of the Hecke fields associated to $f$ and $χ$ is generated by the square of the absolute value of the corresponding central $L$-value $L^{\rm alg}(1/2, f \otimes χ)$ over… ▽ More Let $f$ be a non-CM elliptic newform without a quadratic inner twist, $p$ an odd prime and $χ$ a Dirichlet character of $p$-power order and sufficiently large $p$-power conductor. We show that the compositum $\mathbb{Q}_{f}(χ)$ of the Hecke fields associated to $f$ and $χ$ is generated by the square of the absolute value of the corresponding central $L$-value $L^{\rm alg}(1/2, f \otimes χ)$ over $\mathbb{Q}(μ_p)$. The proof is based among other things on techniques used for the recent resolution of unipotent mixing conjecture by the first and third named authors. △ Less

Submitted 29 March, 2025; v1 submitted 19 March, 2025; originally announced March 2025.

Comments: 28 pages

Relative Trace Formula And Simultaneous Nonvanishing for GL_3 x GL_2 and GL_3 x GL_1 L-functions

Authors: Philippe Michel, Dinakar Ramakrishnan, Liyang Yang

Abstract: Fix a Dirichlet character $χ$ and a cuspidal GL$(2)$ eigenform $φ$ with relatively prime conductors. Then we show that there are infinitely many cusp forms $π$ on GL$(3)$ such that $L(1/2, π\times χ)$ and $L(1/2, π\times φ)$ are simultaneously non-zero. We achieve this by use of Jacquet's Relative Trace Formula. We derive an expression of the average over the GL$(3)$ cuspidal spectrum as a sum of… ▽ More Fix a Dirichlet character $χ$ and a cuspidal GL$(2)$ eigenform $φ$ with relatively prime conductors. Then we show that there are infinitely many cusp forms $π$ on GL$(3)$ such that $L(1/2, π\times χ)$ and $L(1/2, π\times φ)$ are simultaneously non-zero. We achieve this by use of Jacquet's Relative Trace Formula. We derive an expression of the average over the GL$(3)$ cuspidal spectrum as a sum of a non-zero main term and two subsidiary terms which are forced to be zero for large enough level by use of a suitable test function. This modest article is dedicated to the memory of Harish Chandra, on the occasion of his hundredth birthday. △ Less

Submitted 19 November, 2024; originally announced November 2024.

Comments: 21 pages

MSC Class: 11F70; 11G99 (primary); 11F66 (secondary)

Bessel Periods on $U(2,1) \times U(1,1)$, Relative Trace Formula and Non-Vanishing of Central $L$-values

Authors: Philippe Michel, Dinakar Ramakrishnan, Liyang Yang

Abstract: In this paper we calculate the asymptotics of the second moment of the Bessel periods associated to certain holomorphic cuspidal representations $(π, π')$ of $U(2,1) \times U(1,1)$ of regular infinity type (averaged over $π$). Using these, we obtain quantitative non-vanishing results for the Rankin-Selberg central $L$-values $L(1/2, π\times π')$, which are of degree twelve over $\mathbb{Q}$, with… ▽ More In this paper we calculate the asymptotics of the second moment of the Bessel periods associated to certain holomorphic cuspidal representations $(π, π')$ of $U(2,1) \times U(1,1)$ of regular infinity type (averaged over $π$). Using these, we obtain quantitative non-vanishing results for the Rankin-Selberg central $L$-values $L(1/2, π\times π')$, which are of degree twelve over $\mathbb{Q}$, with concomitant difficulty in applying standard methods, especially since we are in a `conductor dropping' situation. We use the relative trace formula, and the orbital integrals are evaluated rather than compared with others. Besides their intrinsic interest, non-vanishing of these critical values also lead, by known results, to deducing certain associated Selmer groups have rank zero. △ Less

Submitted 8 July, 2025; v1 submitted 15 September, 2023; originally announced September 2023.

Comments: 152 pages; one remark added and slight modifications in the introduction to address some comments

MSC Class: 11F67; 11F70; 11F72

The unipotent mixing conjecture

Authors: Valentin Blomer, Philippe Michel

Abstract: We show that shifted pairs of discrete or continuous low-lying horocycles equidistribute in the product space of two modular curves. We show that shifted pairs of discrete or continuous low-lying horocycles equidistribute in the product space of two modular curves. △ Less

Submitted 26 April, 2024; v1 submitted 3 May, 2023; originally announced May 2023.

Comments: 26 pages, small inaccuracy fixed before Prop 5.1

Rankin-Selberg coefficients in large arithmetic progressions

Authors: Emmanuel Kowalski, Yongxiao Lin, Philippe Michel

Abstract: Let $(λ_f(n))_{n\geq 1}$ be the Hecke eigenvalues of either a holomorphic Hecke eigencuspform or a Hecke-Maass cusp form $f$. We prove that, for any fixed $η>0$, under the Ramanujan-Petersson conjecture for $\rm GL_2$ Maass forms, the Rankin-Selberg coefficients $(λ_f(n)^2)_{n\geq 1}$ admit a level of distribution $θ=2/5+1/260-η$ in arithmetic progressions. Let $(λ_f(n))_{n\geq 1}$ be the Hecke eigenvalues of either a holomorphic Hecke eigencuspform or a Hecke-Maass cusp form $f$. We prove that, for any fixed $η>0$, under the Ramanujan-Petersson conjecture for $\rm GL_2$ Maass forms, the Rankin-Selberg coefficients $(λ_f(n)^2)_{n\geq 1}$ admit a level of distribution $θ=2/5+1/260-η$ in arithmetic progressions. △ Less

Submitted 7 June, 2023; v1 submitted 17 April, 2023; originally announced April 2023.

Comments: accepted for publication in SCIENCE CHINA Mathematics

MSC Class: 11F11; 11N75

On algebraic twists with composite moduli

Authors: Yongxiao Lin, Philippe Michel

Abstract: We study bounds for algebraic twists sums of automorphic coefficients by trace functions of composite moduli. We study bounds for algebraic twists sums of automorphic coefficients by trace functions of composite moduli. △ Less

Submitted 17 April, 2023; originally announced April 2023.

Comments: In memory of Chandra Sekhar Raju

Toroidal families and averages of L-functions, I

Authors: Étienne Fouvry, Emmanuel Kowalski, Philippe Michel

Abstract: We initiate the study of certain families of $L$-functions attached to characters of subgroups of higher-rank tori, and of their average at the central point. In particular, we evaluate the average of the values $L(\demi,χ^a)L(\demi,χ^b)$ for arbitrary integers~$a$ and~$b$ when $χ$ varies over Dirichlet characters to a prime modulus. We initiate the study of certain families of $L$-functions attached to characters of subgroups of higher-rank tori, and of their average at the central point. In particular, we evaluate the average of the values $L(\demi,χ^a)L(\demi,χ^b)$ for arbitrary integers~$a$ and~$b$ when $χ$ varies over Dirichlet characters to a prime modulus. △ Less

Submitted 24 May, 2024; v1 submitted 21 March, 2023; originally announced March 2023.

Comments: 29 pages; v3 (final version, to appear in Acta Arithmetica in volume dedicated to Henryk Iwaniec)

MSC Class: 11M06; 11T23; 11A07

The subconvexity problem for Rankin-Selberg and triple product L-functions

Authors: Yueke Hu, Philippe Michel, Paul Nelson

Abstract: In this paper we study the subconvexity problem for the Rankin-Selberg L-function and triple product L-function, allowing joint ramifications and conductor dropping range. We first extend the method of Michel-Venkatesh to reduce the bounds for L-functions to local conjectures on test vectors, then verify these local conjectures under certain conditions, giving new subconvex bounds as long as the r… ▽ More In this paper we study the subconvexity problem for the Rankin-Selberg L-function and triple product L-function, allowing joint ramifications and conductor dropping range. We first extend the method of Michel-Venkatesh to reduce the bounds for L-functions to local conjectures on test vectors, then verify these local conjectures under certain conditions, giving new subconvex bounds as long as the representations are not completely related. △ Less

Submitted 29 August, 2023; v1 submitted 28 July, 2022; originally announced July 2022.

Comments: Comments welcome

Simultaneous supersingular reductions of CM elliptic curves

Authors: Menny Aka, Manuel Luethi, Philippe Michel, Andreas Wieser

Abstract: We study the simultaneous reductions at several supersingular primes of elliptic curves with complex multiplication. We show -- under additional congruence assumptions on the CM order -- that the reductions are surjective (and even become equidistributed) on the product of supersingular loci when the discriminant of the order becomes large. This variant of the equidistribution theorems of Duke and… ▽ More We study the simultaneous reductions at several supersingular primes of elliptic curves with complex multiplication. We show -- under additional congruence assumptions on the CM order -- that the reductions are surjective (and even become equidistributed) on the product of supersingular loci when the discriminant of the order becomes large. This variant of the equidistribution theorems of Duke and Cornut-Vatsal is an(other) application of the recent work of Einsiedler and Lindenstrauss on the classification of joinings of higher-rank diagonalizable actions. △ Less

Submitted 24 November, 2021; v1 submitted 4 May, 2020; originally announced May 2020.

Comments: 46 pages. Revised according to the referee's comments

Algebraic twists of $\mathrm{GL}_3\times \mathrm{GL}_2$ $L$-functions

Authors: Yongxiao Lin, Philippe Michel, Will Sawin

Abstract: We prove that the coefficients of a $\mathrm{GL}_3\times \mathrm{GL}_2$ Rankin--Selberg $L$-function do not correlate with a wide class of trace functions of small conductor modulo primes, generalizing the corresponding result \cite{FKM1} for~$\mathrm{GL}_2$ and \cite{KLMS} for $\mathrm{GL}_3$. This result is inspired by a recent work of P. Sharma who discussed the case of a Dirichlet character of… ▽ More We prove that the coefficients of a $\mathrm{GL}_3\times \mathrm{GL}_2$ Rankin--Selberg $L$-function do not correlate with a wide class of trace functions of small conductor modulo primes, generalizing the corresponding result \cite{FKM1} for~$\mathrm{GL}_2$ and \cite{KLMS} for $\mathrm{GL}_3$. This result is inspired by a recent work of P. Sharma who discussed the case of a Dirichlet character of prime modulus. △ Less

Submitted 18 April, 2022; v1 submitted 19 December, 2019; originally announced December 2019.

Comments: 46 pages; final version; to appear in Amer. Journ. Math

MSC Class: 11F55; 11M41; 11L07; 11T23; 32N10

Periodic twists of $GL_3$-automorphic forms

Authors: Emmanuel Kowalski, Yongxiao Lin, Philippe Michel, Will Sawin

Abstract: We prove that sums of length about $q^{3/2}$ of Hecke eigenvalues of automorphic forms on $SL_3(\Zz)$ do not correlate with $q$-periodic functions with bounded Fourier transform. This generalizes the earlier results of Munshi and Holowinsky--Nelson, corresponding to multiplicative Dirichlet characters, and applies in particular to trace functions of small conductor modulo primes. We prove that sums of length about $q^{3/2}$ of Hecke eigenvalues of automorphic forms on $SL_3(\Zz)$ do not correlate with $q$-periodic functions with bounded Fourier transform. This generalizes the earlier results of Munshi and Holowinsky--Nelson, corresponding to multiplicative Dirichlet characters, and applies in particular to trace functions of small conductor modulo primes. △ Less

Submitted 21 December, 2019; v1 submitted 13 May, 2019; originally announced May 2019.

Comments: modified following suggestions and comments from the referees; added Remark 1.8

The second moment theory of families of L-functions

Authors: Valentin Blomer, Étienne Fouvry, Emmanuel Kowalski, Philippe Michel, Djordje Milićević, Will Sawin

Abstract: For a fairly general family of L-functions, we survey the known consequences of the existence of asymptotic formulas with power-sawing error term for the (twisted) first and second moments of the central values in the family. We then consider in detail the important special case of the family of twists of a fixed cusp form by primitive Dirichlet characters modulo a prime q, and prove that it satis… ▽ More For a fairly general family of L-functions, we survey the known consequences of the existence of asymptotic formulas with power-sawing error term for the (twisted) first and second moments of the central values in the family. We then consider in detail the important special case of the family of twists of a fixed cusp form by primitive Dirichlet characters modulo a prime q, and prove that it satisfies such formulas. We derive arithmetic consequences: - a positive proportion of central values L(f x chi, 1/2) are non-zero, and indeed bounded from below; - there exist many characters chi for which the central L-value is very large; - the probability of a large analytic rank decays exponentially fast. We finally show how the second moment estimate establishes a special case of a conjecture of Mazur and Rubin concerning the distribution of modular symbols. △ Less

Submitted 13 December, 2019; v1 submitted 4 April, 2018; originally announced April 2018.

Comments: 154 pages, small updates relative to the first version, to appear in Memoirs AMS

Stratification and averaging for exponential sums: bilinear forms with generalized Kloosterman sums

Authors: E. Kowalski, Ph. Michel, W. Sawin

Abstract: We prove non-trivial bounds for bilinear forms with hyper-Kloosterman sums with characters modulo a prime $q$ which, for both variables of length $M$, are non-trivial as soon as $M\geq q^{3/8+δ}$ for any $δ>0$. This range, which matches Burgess's range, is identical with the best results previously known only for simpler exponentials of monomials. The proof combines refinements of the analytic too… ▽ More We prove non-trivial bounds for bilinear forms with hyper-Kloosterman sums with characters modulo a prime $q$ which, for both variables of length $M$, are non-trivial as soon as $M\geq q^{3/8+δ}$ for any $δ>0$. This range, which matches Burgess's range, is identical with the best results previously known only for simpler exponentials of monomials. The proof combines refinements of the analytic tools from our previous paper and new geometric methods. The key geometric idea is a comparison statement that shows that even when the "sum-product" sheaves that appear in the analysis fail to be irreducible, their decomposition reflects that of the "input" sheaves, except for parameters in a high-codimension subset. This property is proved by a subtle interplay between étale cohomology in its algebraic and diophantine incarnations. We prove a first application concerning the first moment of a family of $L$-functions of degree $3$. △ Less

Submitted 29 July, 2020; v1 submitted 27 February, 2018; originally announced February 2018.

Comments: 58 pages; minor cosmetic corrections; to appear in Annali della Scuola Normale Superiore di Pisa

MSC Class: 11T23; 11L05; 11Mxx; 11N37; 11N75; 11F66; 14F20; 14D05

Lectures on Applied $\ell$-adic Cohomology

Authors: Etienne Fouvry, Emmanuel Kowalski, Philippe Michel, Will Sawin

Abstract: We describe how a systematic use the deep methods from $\ell$-adic cohomology pioneered by Grothendieck and Deligne and further developed by Katz, Laumon allow to make progress on various classical questions from analytic number theory. This text is an extended version of a series of lectures given by the third and fourth authors during the 2016 Arizona Winter School. We describe how a systematic use the deep methods from $\ell$-adic cohomology pioneered by Grothendieck and Deligne and further developed by Katz, Laumon allow to make progress on various classical questions from analytic number theory. This text is an extended version of a series of lectures given by the third and fourth authors during the 2016 Arizona Winter School. △ Less

Submitted 16 April, 2019; v1 submitted 8 December, 2017; originally announced December 2017.

Comments: many typos corrected

Journal ref: Contemporary Mathematics, vol 740,2019

On the Convergence Theorem for the Regularized Functional Matching Pursuit (RFMP) Algorithm

Authors: Prof. Dr. Volker Michel, Sarah Orzlowski

Abstract: The RFMP is an iterative regularization method for a class of linear inverse problems. It has proved to be applicable to problems which occur, for example, in the geosciences. In the early publications [Fischer2011] and [FischerMichel2012], it was shown that the iteration converges in the unregularized case to an exact solution. In [Michel2015] and [MichelTelschow2016], it was later shown (for two… ▽ More The RFMP is an iterative regularization method for a class of linear inverse problems. It has proved to be applicable to problems which occur, for example, in the geosciences. In the early publications [Fischer2011] and [FischerMichel2012], it was shown that the iteration converges in the unregularized case to an exact solution. In [Michel2015] and [MichelTelschow2016], it was later shown (for two different scenarios) that the iteration also converges in the regularized case, where the limit of the iteration is the solution of the Tikhonov-regularized normal equation. However, the condition of these convergence proofs cannot be satisfied and, therefore, has to be weakened, as it was pointed out for the convergence theorem of the related iterated Regularized Orthogonal Functional Matching Pursuit (ROFMP) algorithm in [MichelTelschow2016]. Moreover, the convergence proof in [Michel2015] contained a minor error. For these reasons, we reformulate here the convergence theorem for the RFMP and its proof. We also use this opportunity to extend the algorithm for an arbitrary infinite-dimensional separable Hilbert space setting. In addition, we particularly elaborate the cases of non-injective and non-surjective operators. △ Less

Submitted 22 February, 2017; originally announced February 2017.

MSC Class: 41A50; 65D99; 65R32; 86A22

Some applications of smooth bilinear forms with Kloosterman sums

Authors: Valentin Blomer, Étienne Fouvry, Emmanuel Kowalski, Philippe Michel, Djordje Milićević

Abstract: We revisit a recent bound of I. Shparlinski and T. P. Zhang on bilinear forms with Kloosterman sums, and prove an extension for correlation sums of Kloosterman sums against Fourier coefficients of modular forms. We use these bounds to improve on earlier results on sums of Kloosterman sums along the primes and on the error term of the fourth moment of Dirichlet $L$-functions. We revisit a recent bound of I. Shparlinski and T. P. Zhang on bilinear forms with Kloosterman sums, and prove an extension for correlation sums of Kloosterman sums against Fourier coefficients of modular forms. We use these bounds to improve on earlier results on sums of Kloosterman sums along the primes and on the error term of the fourth moment of Dirichlet $L$-functions. △ Less

Submitted 17 June, 2016; v1 submitted 26 April, 2016; originally announced April 2016.

Comments: final version; to appear in the special issue of the Proceedings of the Steklov Institute of Mathematics dedicated to the 125th anniversary of I. M. Vinogradov

MSC Class: 11L05; 11M06

Journal ref: Proc. Steklov Inst. Math. 296 (2017) 18-29

Bilinear forms with Kloosterman sums and applications

Authors: E. Kowalski, Ph. Michel, W. Sawin

Abstract: We prove non-trivial bounds for general bilinear forms in hyper-Kloosterman sums when the sizes of both variables may be below the Pólya-Vinogradov range. We then derive applications to the second moment of holomorphic cusp forms twisted by characters modulo primes, and to the distribution in arithmetic progressions to large moduli of certain Eisenstein-Hecke coefficients on $\GL_3$. Our main tool… ▽ More We prove non-trivial bounds for general bilinear forms in hyper-Kloosterman sums when the sizes of both variables may be below the Pólya-Vinogradov range. We then derive applications to the second moment of holomorphic cusp forms twisted by characters modulo primes, and to the distribution in arithmetic progressions to large moduli of certain Eisenstein-Hecke coefficients on $\GL_3$. Our main tools are new bounds for certain complete sums in three variables over finite fields, proved using methods from algebraic geometry, especially $\ell$-adic cohomology and the Riemann Hypothesis. △ Less

Submitted 31 March, 2017; v1 submitted 5 November, 2015; originally announced November 2015.

Comments: v5; 66 pages; minor corrections

MSC Class: 11T23; 11L05; 11N37; 11N75; 11F66; 14F20; 14D05

Journal ref: Annals of Mathematics, Vol 186, no. 2, September 2017

On short sums of trace functions

Authors: É. Fouvry, E. Kowalski, Ph. Michel, C S. Raju, J. Rivat, K. Soundararajan

Abstract: We consider sums of oscillating functions on intervals in cyclic groups of size close to the square root of the size of the group. We first prove non-trivial estimates for intervals of length slightly larger than this square root (bridging the "Polyá-Vinogradov gap" in some sense) for bounded functions with bounded Fourier transforms. We then prove that the existence of non-trivial estimates for r… ▽ More We consider sums of oscillating functions on intervals in cyclic groups of size close to the square root of the size of the group. We first prove non-trivial estimates for intervals of length slightly larger than this square root (bridging the "Polyá-Vinogradov gap" in some sense) for bounded functions with bounded Fourier transforms. We then prove that the existence of non-trivial estimates for ranges slightly below the square-root bound is stable under the discrete Fourier transform, and we give applications related to trace functions over finite fields. △ Less

Submitted 23 June, 2016; v1 submitted 3 August, 2015; originally announced August 2015.

Comments: v3; 20 pages; minor corrections; this paper strenghtens and extends the previous work "The sliding sum method for short exponential sums", arXiv:1307.0135, by Fouvry-Kowalski-Michel

MSC Class: 11L07; 11L05; 11T23

On moments of twisted $L$-functions

Authors: Valentin Blomer, Étienne Fouvry, Emmanuel Kowalski, Philippe Michel, Djordje Milićević

Abstract: We study the average of the product of the central values of two $L$-functions of modular forms $f$ and $g$ twisted by Dirichlet characters to a large prime modulus $q$. As our principal tools, we use spectral theory to develop bounds on averages of shifted convolution sums with differences ranging over multiples of $q$, and we use the theory of Deligne and Katz to estimate certain complete expone… ▽ More We study the average of the product of the central values of two $L$-functions of modular forms $f$ and $g$ twisted by Dirichlet characters to a large prime modulus $q$. As our principal tools, we use spectral theory to develop bounds on averages of shifted convolution sums with differences ranging over multiples of $q$, and we use the theory of Deligne and Katz to estimate certain complete exponential sums in several variables and prove new bounds on bilinear forms in Kloosterman sums with power savings when both variables are near the square root of $q$. When at least one of the forms $f$ and $g$ is non-cuspidal, we obtain an asymptotic formula for the mixed second moment of twisted $L$-functions with a power saving error term. In particular, when both are non-cuspidal, this gives a significant improvement on M.~Young's asymptotic evaluation of the fourth moment of Dirichlet $L$-functions. In the general case, the asymptotic formula with a power saving is proved under a conjectural estimate for certain bilinear forms in Kloosterman sums. △ Less

Submitted 9 January, 2016; v1 submitted 17 November, 2014; originally announced November 2014.

Comments: final version; to appear in American Journal of Math

MSC Class: 11M06; 11F11; 11L05; 11L40; 11F72; 11T23

Journal ref: Amer. J. Math. 139 (2017) 707-768

Simulation of the Collatz 3x+1 function by Turing machines

Authors: Pascal Michel

Abstract: We give new Turing machines that simulate the iteration of the Collatz 3x+1 function. First, a never halting Turing machine with 3 states and 4 symbols, improving the known 3x5 and 4x4 Turing machines. Second, Turing machines that halt on the final loop, in the classes 3x10, 4x6, 5x4, and 13x2. We give new Turing machines that simulate the iteration of the Collatz 3x+1 function. First, a never halting Turing machine with 3 states and 4 symbols, improving the known 3x5 and 4x4 Turing machines. Second, Turing machines that halt on the final loop, in the classes 3x10, 4x6, 5x4, and 13x2. △ Less

Submitted 25 September, 2014; originally announced September 2014.

Comments: 8 pages

A study in sums of products

Authors: É. Fouvry, E. Kowalski, Ph. Michel

Abstract: We give a general version of cancellation in exponential sums that arise as sums of products of trace functions satisfying a suitable independence condition related to the Goursat-Kolchin-Ribet criterion, in a form that is easily applicable in analytic number theory. We give a general version of cancellation in exponential sums that arise as sums of products of trace functions satisfying a suitable independence condition related to the Goursat-Kolchin-Ribet criterion, in a form that is easily applicable in analytic number theory. △ Less

Submitted 17 January, 2015; v1 submitted 9 May, 2014; originally announced May 2014.

Comments: v2; 41 pages; minor corrections

MSC Class: 11T23; 14F20

Problems in number theory from busy beaver competition

Authors: Pascal Michel

Abstract: By introducing the busy beaver competition of Turing machines, in 1962, Rado defined noncomputable functions on positive integers. The study of these functions and variants leads to many mathematical challenges. This article takes up the following one: How can a small Turing machine manage to produce very big numbers? It provides the following answer: mostly by simulating Collatz-like functions,… ▽ More By introducing the busy beaver competition of Turing machines, in 1962, Rado defined noncomputable functions on positive integers. The study of these functions and variants leads to many mathematical challenges. This article takes up the following one: How can a small Turing machine manage to produce very big numbers? It provides the following answer: mostly by simulating Collatz-like functions, that are generalizations of the famous 3x+1 function. These functions, like the 3x+1 function, lead to new unsolved problems in number theory. △ Less

Submitted 11 December, 2015; v1 submitted 5 November, 2013; originally announced November 2013.

Comments: 35 pages

Journal ref: Logical Methods in Computer Science, Volume 11, Issue 4 (December 14, 2015) lmcs:1611

On the conductor of cohomological transforms

Authors: Étienne Fouvry, Emmanuel Kowalski, Philippe Michel

Abstract: In the analytic study of trace functions of $\ell$-adic sheaves over finite fields, a crucial issue is to control the conductor of sheaves constructed in various ways. We consider cohomological transforms on the affine line over a finite field which have trace functions given by linear operators with an additive character of a rational function in two variables as a kernel. We prove that the condu… ▽ More In the analytic study of trace functions of $\ell$-adic sheaves over finite fields, a crucial issue is to control the conductor of sheaves constructed in various ways. We consider cohomological transforms on the affine line over a finite field which have trace functions given by linear operators with an additive character of a rational function in two variables as a kernel. We prove that the conductor of such a transform is bounded in terms of the complexity of the input sheaf and of the rational function defining the kernel, and discuss applications of this result, including motivating examples arising from the Polymath8 project. △ Less

Submitted 9 July, 2020; v1 submitted 14 October, 2013; originally announced October 2013.

Comments: v2; 41 pages, with important simplifications as well as a number of corrections

MSC Class: 11T23; 14F20; 11G20

The sliding-sum method for short exponential sums

Authors: É. Fouvry, E. Kowalski, Ph. Michel

Abstract: We introduce a method to estimate sums of oscillating functions on finite abelian groups over intervals or (generalized) arithmetic progressions, when the size of the interval is such that the completing techniques of Fourier analysis are barely insufficient to obtain non-trivial results. In particular, we prove various estimates for exponential sums over intervals in finite fields and related sum… ▽ More We introduce a method to estimate sums of oscillating functions on finite abelian groups over intervals or (generalized) arithmetic progressions, when the size of the interval is such that the completing techniques of Fourier analysis are barely insufficient to obtain non-trivial results. In particular, we prove various estimates for exponential sums over intervals in finite fields and related sums just below the Polya-Vinogradov range, and derive applications to equidistribution problems. △ Less

Submitted 4 August, 2015; v1 submitted 29 June, 2013; originally announced July 2013.

Comments: 20 pages; the basic estimate in this paper has been significantly strengthened in a joint work with CS. Raju, J. Rivat and K. Soundararajan (arXiv:1508:00512); the "sliding sum" preprint is kept separately on arXiv since it contains some results which are not discussed in the new work

MSC Class: 11L07; 11L05; 11T23

On the exponent of distribution of the ternary divisor function

Authors: Étienne Fouvry, Emmanuel Kowalski, Philippe Michel

Abstract: We show that the exponent of distribution of the ternary divisor function $d_3$ in arithmetic progressions to prime moduli is at least 1/2+1/46, improving results of Heath-Brown and Friedlander--Iwaniec. Furthermore, when averaging over a fixed residue class, we prove that this exponent is increased to 1/2 +1/34. We show that the exponent of distribution of the ternary divisor function $d_3$ in arithmetic progressions to prime moduli is at least 1/2+1/46, improving results of Heath-Brown and Friedlander--Iwaniec. Furthermore, when averaging over a fixed residue class, we prove that this exponent is increased to 1/2 +1/34. △ Less

Submitted 27 January, 2014; v1 submitted 11 April, 2013; originally announced April 2013.

Comments: 20 pages; minor corrections

MSC Class: 11N25; 11N37; 11L05; 11T23

Journal ref: Mathematika 61 (2015) 121-144

Gaussian distribution for the divisor function and Hecke eigenvalues in arithmetic progressions

Authors: Étienne Fouvry, Satadal Ganguly, Emmanuel Kowalski, Philippe Michel

Abstract: We show that, in a restricted range, the divisor function of integers in residue classes modulo a prime follows a Gaussian distribution, and a similar result for Hecke eigenvalues of classical holomorphic cusp forms. Furthermore, we obtain the joint distribution of these arithmetic functions in two related residue classes. These results follow from asymptotic evaluations of the relevant moments, a… ▽ More We show that, in a restricted range, the divisor function of integers in residue classes modulo a prime follows a Gaussian distribution, and a similar result for Hecke eigenvalues of classical holomorphic cusp forms. Furthermore, we obtain the joint distribution of these arithmetic functions in two related residue classes. These results follow from asymptotic evaluations of the relevant moments, and depend crucially on results on the independence of monodromy groups related to products of Kloosterman sums. △ Less

Submitted 2 January, 2013; originally announced January 2013.

Comments: 23 pages

MSC Class: 11F11; 11F30; 11T23; 11L05; 60F05

Algebraic trace functions over the primes

Authors: Étienne Fouvry, Emmanuel Kowalski, Philippe Michel

Abstract: We study sums over primes of trace functions of $\ell$-adic sheaves. Using an extension of our earlier results on algebraic twist of modular forms to the case of Eisenstein series and bounds for Type II sums based on similar applications of the Riemann Hypothesis over finite fields, we prove general estimates with power-saving for such sums. We then derive various concrete applications. We study sums over primes of trace functions of $\ell$-adic sheaves. Using an extension of our earlier results on algebraic twist of modular forms to the case of Eisenstein series and bounds for Type II sums based on similar applications of the Riemann Hypothesis over finite fields, we prove general estimates with power-saving for such sums. We then derive various concrete applications. △ Less

Submitted 31 March, 2014; v1 submitted 26 November, 2012; originally announced November 2012.

Comments: v3: 36 pages; minor changes and corrections

MSC Class: 11N05; 11N13; 11N32; 11N35; 11F11; 11T23; 11L05

Journal ref: Duke Math. J. 163, no. 9 (2014), 1683-1736

An inverse theorem for Gowers norms of trace functions over prime fields

Authors: Étienne Fouvry, Emmanuel Kowalski, Philippe Michel

Abstract: We prove estimates for the Gowers uniformity norms of functions over $\Zz/p\Zz$ which are trace functions of certain $\ell$-adic sheaves, and establish in particular a strong inverse theorem for these functions. We prove estimates for the Gowers uniformity norms of functions over $\Zz/p\Zz$ which are trace functions of certain $\ell$-adic sheaves, and establish in particular a strong inverse theorem for these functions. △ Less

Submitted 10 February, 2013; v1 submitted 14 November, 2012; originally announced November 2012.

Comments: v3, 19 pages; update bibliography and correct some typos

MSC Class: 11B30; 11T23

Counting sheaves using spherical codes

Authors: Étienne Fouvry, Emmanuel Kowalski, Philippe Michel

Abstract: Using the Riemann Hypothesis over finite fields and bounds for the size of spherical codes, we give explicit upper bounds, of polynomial size with respect to the size of the field, for the number of geometric isomorphism classes of geometrically irreducible ell-adic middle-extension sheaves on a curve over a finite field which are pointwise pure of weight 0 and have bounded ramification and rank.… ▽ More Using the Riemann Hypothesis over finite fields and bounds for the size of spherical codes, we give explicit upper bounds, of polynomial size with respect to the size of the field, for the number of geometric isomorphism classes of geometrically irreducible ell-adic middle-extension sheaves on a curve over a finite field which are pointwise pure of weight 0 and have bounded ramification and rank. As an application, we show that "random" functions defined on a finite field can not usually be approximated by short linear combinations of trace functions of sheaves with small complexity. △ Less

Submitted 17 August, 2013; v1 submitted 2 October, 2012; originally announced October 2012.

Comments: v4, 18 pages; final corrections

MSC Class: 11G20; 11T23; 94B60; 94B65

Algebraic twists of modular forms and Hecke orbits

Authors: Étienne Fouvry, Emmanuel Kowalski, Philippe Michel

Abstract: We consider the question of the correlation of Fourier coefficients of modular forms with functions of algebraic origin. We establish the absence of correlation in considerable generality (with a power saving of Burgess type) and a corresponding equidistribution property for twisted Hecke orbits. This is done by exploiting the amplification method and the Riemann Hypothesis over finite fields, rel… ▽ More We consider the question of the correlation of Fourier coefficients of modular forms with functions of algebraic origin. We establish the absence of correlation in considerable generality (with a power saving of Burgess type) and a corresponding equidistribution property for twisted Hecke orbits. This is done by exploiting the amplification method and the Riemann Hypothesis over finite fields, relying in particular on the ell-adic Fourier transform introduced by Deligne and studied by Katz and Laumon. △ Less

Submitted 16 November, 2014; v1 submitted 3 July, 2012; originally announced July 2012.

Comments: v5, final version to appear in GAFA

MSC Class: 11F11; 11F32; 11F37; 11T23; 11L05

Hybrid bounds for automorphic forms on ellipsoids over number fields

Authors: Valentin Blomer, Philippe Michel

Abstract: We prove upper bounds for Hecke-Laplace eigenfunctions on certain Riemannian manifolds of arithmetic type. The manifolds under consideration are d-fold products of 2-spheres or 3-spheres, realized as adelic quotients of quaternion algebras over totally real number fields. We prove upper bounds for Hecke-Laplace eigenfunctions on certain Riemannian manifolds of arithmetic type. The manifolds under consideration are d-fold products of 2-spheres or 3-spheres, realized as adelic quotients of quaternion algebras over totally real number fields. △ Less

Submitted 24 November, 2012; v1 submitted 20 October, 2011; originally announced October 2011.

Comments: somewhat expanded version, to appear in J. Inst. Math. Jussieu

Journal ref: J. Inst. Math. Jussieu, Vol. 12 (2013), 4, pp. 727--758

The distribution of closed geodesics on the modular surface, and Duke's theorem

Authors: Manfred Einsiedler, Elon Lindenstrauss, Philippe Michel, Akshay Venkatesh

Abstract: We give an ergodic theoretic proof of a theorem of Duke about equidistribution of closed geodesics on the modular surface. The proof is closely related to the work of Yu. Linnik and B. Skubenko, who in particular proved this equidistribution under an additional congruence assumption on the discriminant. We give a more conceptual treatment using entropy theory, and show how to use positivity of the… ▽ More We give an ergodic theoretic proof of a theorem of Duke about equidistribution of closed geodesics on the modular surface. The proof is closely related to the work of Yu. Linnik and B. Skubenko, who in particular proved this equidistribution under an additional congruence assumption on the discriminant. We give a more conceptual treatment using entropy theory, and show how to use positivity of the discriminant as a substitute for Linnik's congruence condition. △ Less

Submitted 2 September, 2011; originally announced September 2011.

Linnik's ergodic method and the distribution of integer points on spheres

Authors: Jordan S. Ellenberg, Philippe Michel, Akshay Venkatesh

Abstract: We discuss Linnik's work on the distribution of integral solutions to $x^2+y^2+z^2 =d$, as $d$ goes to infinity. We give an exposition of Linnik's ergodic method; indeed, by using large-deviation results for random walks on expander graphs, we establish a refinement of his equidistribution theorem. We discuss the connection of these ideas with modern developments (ergodic theory on homogeneous s… ▽ More We discuss Linnik's work on the distribution of integral solutions to $x^2+y^2+z^2 =d$, as $d$ goes to infinity. We give an exposition of Linnik's ergodic method; indeed, by using large-deviation results for random walks on expander graphs, we establish a refinement of his equidistribution theorem. We discuss the connection of these ideas with modern developments (ergodic theory on homogeneous spaces, $L$-functions). △ Less

Submitted 6 January, 2010; originally announced January 2010.

The Busy Beaver Competition: a historical survey

Authors: Pascal Michel

Abstract: Tibor Rado defined the Busy Beaver Competition in 1962. He used Turing machines to give explicit definitions for some functions that are not computable and grow faster than any computable function. He put forward the problem of computing the values of these functions on numbers 1, 2, 3, ... More and more powerful computers have made possible the computation of lower bounds for these values. In 198… ▽ More Tibor Rado defined the Busy Beaver Competition in 1962. He used Turing machines to give explicit definitions for some functions that are not computable and grow faster than any computable function. He put forward the problem of computing the values of these functions on numbers 1, 2, 3, ... More and more powerful computers have made possible the computation of lower bounds for these values. In 1988, Brady extended the definitions to functions on two variables. We give a historical survey of these works. The successive record holders in the Busy Beaver Competition are displayed, with their discoverers, the date they were found, and, for some of them, an analysis of their behavior. △ Less

Submitted 14 December, 2022; v1 submitted 19 June, 2009; originally announced June 2009.

Comments: 75 pages

The subconvexity problem for $\GL_{2}$

Authors: Philippe Michel, Akshay Venkatesh

Abstract: Generalizing and unifying prior results, we solve the subconvexity problem for the $L$-functions of $\GL_{1}$ and $\GL_{2}$ automorphic representations over a fixed number field, uniformly in all aspects. A novel feature of the present method is the softness of our arguments; this is largely due to a consistent use of canonically normalized period relations, such as those supplied by the work of… ▽ More Generalizing and unifying prior results, we solve the subconvexity problem for the $L$-functions of $\GL_{1}$ and $\GL_{2}$ automorphic representations over a fixed number field, uniformly in all aspects. A novel feature of the present method is the softness of our arguments; this is largely due to a consistent use of canonically normalized period relations, such as those supplied by the work of Waldspurger and Ichino--Ikeda. △ Less

Submitted 9 March, 2010; v1 submitted 20 March, 2009; originally announced March 2009.

Comments: Almost final version to appear in Publ. Math IHES. References updated.

MSC Class: 11F66; 11F70

Journal ref: Publ. Math IHES, 111 (2010), no. 1, 171-280

Consequences of the Gross/Zagier formulae: Stability of average L-values, subconvexity, and non-vanishing mod p

Authors: Philippe Michel, Dinakar Ramakrishnan

Abstract: In this paper we investigate some consequences of the Gross/Zagier types of formulae which were introduced by Gross and Zagier, and were then generalized in various directions by Hatcher, Zhang, Kudla and several other people. Working in the classical context of central values of L-series of holomorphic forms of prime level, we deduce an exact average formula for suitable twists of such L-values… ▽ More In this paper we investigate some consequences of the Gross/Zagier types of formulae which were introduced by Gross and Zagier, and were then generalized in various directions by Hatcher, Zhang, Kudla and several other people. Working in the classical context of central values of L-series of holomorphic forms of prime level, we deduce an exact average formula for suitable twists of such L-values, with a relation to the class number of associated imaginary quadratic fieds, thereby strengthening a result of Duke. One also obtains a stability result, as well as subconvexity (in this setting), and certian non-vanishing assertions. This article is dedicated to the memory of Serge Lang. △ Less

Submitted 28 September, 2007; originally announced September 2007.

MSC Class: 11F11; 11F12; 11F67

Distribution of periodic torus orbits and Duke's theorem for cubic fields

Authors: Manfred Einsiedler, Elon Lindenstrauss, Philippe Michel, Akshay Venkatesh

Abstract: We study periodic torus orbits on spaces of lattices. Using the action of the group of adelic points of the underlying tori, we define a natural equivalence relation on these orbits, and show that the equivalence classes become uniformly distributed. This is a cubic analogue of Duke's theorem about the distribution of closed geodesics on the modular surface: suitably interpreted, the ideal class… ▽ More We study periodic torus orbits on spaces of lattices. Using the action of the group of adelic points of the underlying tori, we define a natural equivalence relation on these orbits, and show that the equivalence classes become uniformly distributed. This is a cubic analogue of Duke's theorem about the distribution of closed geodesics on the modular surface: suitably interpreted, the ideal classes of a cubic totally real field are equidistributed in the modular 5-fold SL_3(Z)\SL_3(R)/SO_3(R). In particular, this proves (a stronger form of) the folklore conjecture that the collection of maximal compact flats in SL_3(Z)\SL_3(R)/SO_3(R) of volume less than V becomes equidistributed as V goes to infinity. The proof combines subconvexity estimates, measure classification, and local harmonic analysis. △ Less

Submitted 3 February, 2010; v1 submitted 8 August, 2007; originally announced August 2007.

Comments: Annals of Maths. (to appear) typos corrected; references updated

MSC Class: 37A17; 11F70

Journal ref: Ann. of Math. Volume 173 (2011), Issue 2, Pages 815-885

The distribution of periodic torus orbits on homogeneous spaces

Authors: Manfred Einsiedler, Elon Lindenstrauss, Philippe Michel, Akshay Venkatesh

Abstract: We prove results towards the equidistribution of certain families of periodic torus orbits on homogeneous spaces, with particular focus on the case of the diagonal torus acting on quotients of $\PGL_n(\R)$. After attaching to each periodic orbit an integral invariant (the discriminant) our results have the following flavour: certain standard conjectures about the distribution of such orbits hold… ▽ More We prove results towards the equidistribution of certain families of periodic torus orbits on homogeneous spaces, with particular focus on the case of the diagonal torus acting on quotients of $\PGL_n(\R)$. After attaching to each periodic orbit an integral invariant (the discriminant) our results have the following flavour: certain standard conjectures about the distribution of such orbits hold up to exceptional sets of at most $O(Δ^ε)$ orbits of discriminant $\leq Δ$. The proof relies on the well-separatedness of periodic orbits together with measure rigidity for torus actions. We also give examples of sequences of periodic orbits of this action that fail to become equidistributed, even in higher rank. We give an application of our results to sharpen a theorem of Minkowski on ideal classes in totally real number fields of cubic and higher degrees. △ Less

Submitted 31 July, 2006; originally announced July 2006.

Explicit upper bound for the rank of J_0(q)

Authors: Emmanuel Kowalski, Philippe Michel

Abstract: We provide, on the Birch and Swinnerton-Dyer conjecture, an explicit upper bound for the rank of the Mordell-Weil group of the Jacobian of the modular curve X_0(q) for q prime large enough, namely rank J_0(q)< 6.5 dim J_0(q). The file j0q-pari.dvi contains the .dvi version of the commented listing of the Pari/GP program used for the computations of the paper ``Explicit Upper Bound for the rank… ▽ More We provide, on the Birch and Swinnerton-Dyer conjecture, an explicit upper bound for the rank of the Mordell-Weil group of the Jacobian of the modular curve X_0(q) for q prime large enough, namely rank J_0(q)< 6.5 dim J_0(q). The file j0q-pari.dvi contains the .dvi version of the commented listing of the Pari/GP program used for the computations of the paper ``Explicit Upper Bound for the rank of J_0(q)''. △ Less

Submitted 26 October, 1998; originally announced October 1998.

Report number: ANT-0148

Sur les zeros des fonctions L automorphes

Authors: Emmanuel Kowalski, Philippe Michel

Abstract: We study, on average over f, zeros of the L-functions of primitive weight two forms of level q (fixed). We prove, on the one hand, density theorems for the zeros (similar to the results of Bombieri, Jutila, Motohashi, Selberg in the case of characters), which are applied in \cite{KM} to obtain a sharp unconditionnal estimate of the (analytic) rank of the new part of J_0(q); and, on the other han… ▽ More We study, on average over f, zeros of the L-functions of primitive weight two forms of level q (fixed). We prove, on the one hand, density theorems for the zeros (similar to the results of Bombieri, Jutila, Motohashi, Selberg in the case of characters), which are applied in \cite{KM} to obtain a sharp unconditionnal estimate of the (analytic) rank of the new part of J_0(q); and, on the other hand, non-vanishing theorems at the critical point, showing that a positive proportion of L-functions are non zero there. △ Less

Submitted 30 July, 1997; originally announced July 1997.

Report number: ANT-0074

Sur le rang de J_0(q)

Authors: Emmanuel Kowalski, Philippe Michel

Abstract: In this paper, we prove an unconditionnal bound for the analytic rank (i.e the order of vanishing at the critical point of the $L$ function) of the new part $J^n_0(q)$, of the jacobian of the modular curve $X_0(q)$. Our main resultis the following upper bound: for $q$ prime, one has $$rank_a(J_0^n(q))\ll \dim J_0^n(q)$$ where the implied constant is absolute. All previously known non trivials bo… ▽ More In this paper, we prove an unconditionnal bound for the analytic rank (i.e the order of vanishing at the critical point of the $L$ function) of the new part $J^n_0(q)$, of the jacobian of the modular curve $X_0(q)$. Our main resultis the following upper bound: for $q$ prime, one has $$rank_a(J_0^n(q))\ll \dim J_0^n(q)$$ where the implied constant is absolute. All previously known non trivials bounds of $rank_a(J_0^n(q))$ assumed the generalized Riemann hypothesis; here, our proof is unconditionnal, and is based firstly on the construction by Perelli and Pomykala of a new test function in the context of Riemann-Weil explicit formulas, and secondly on a density theorem for the zeros of $L$ functions attached to new forms. △ Less

Submitted 30 July, 1997; originally announced July 1997.

Report number: ANT-0073