Showing 1–33 of 33 results for author: Fouvry, É

Binary forms with the same value set III. The case of ${\bf D}_3$ and ${\bf D_6}$

Authors: Étienne Fouvry, Peter Koymans

Abstract: Let $F, G \in \mathbb{Z}[X, Y]$ be binary forms of degree $\geq 3$ with automorphism groups isomorphic to the dihedral group of cardinality $6$ or $12$. We characterize exactly when $F$ and $G$ have the same value set, i.e. $F(\mathbb{Z}^2) = G(\mathbb{Z}^2)$. Let $F, G \in \mathbb{Z}[X, Y]$ be binary forms of degree $\geq 3$ with automorphism groups isomorphic to the dihedral group of cardinality $6$ or $12$. We characterize exactly when $F$ and $G$ have the same value set, i.e. $F(\mathbb{Z}^2) = G(\mathbb{Z}^2)$. △ Less

Submitted 29 April, 2024; originally announced April 2024.

Binary forms with the same value set II. The case of ${\bf D}_4$

Authors: Étienne Fouvry, Peter Koymans

Abstract: Let $F, G \in \mathbb{Z}[X, Y]$ be binary forms of degree $\geq 3$, non-zero discriminant and with automorphism group isomorphic to $D_4$. If $F(\mathbb{Z}^2) = G(\mathbb{Z}^2)$, we show that $F$ and $G$ are ${\rm GL}(2, \mathbb{Z})$--equivalent. Let $F, G \in \mathbb{Z}[X, Y]$ be binary forms of degree $\geq 3$, non-zero discriminant and with automorphism group isomorphic to $D_4$. If $F(\mathbb{Z}^2) = G(\mathbb{Z}^2)$, we show that $F$ and $G$ are ${\rm GL}(2, \mathbb{Z})$--equivalent. △ Less

Submitted 22 April, 2024; originally announced April 2024.

Binary forms with the same value set I

Authors: Étienne Fouvry, Peter Koymans

Abstract: Given a binary form $F \in \mathbb{Z}[X, Y]$, we define its value set to be $\{F(x, y) : (x, y) \in \mathbb{Z}^2\}$. Let $F, G \in \mathbb{Z}[X, Y]$ be two binary forms of degree $d \geq 3$ and with non-zero discriminant. In a series of three papers, we will give necessary and sufficient conditions on $F$ and $G$ to have the same value set. These conditions will be entirely in terms of the automor… ▽ More Given a binary form $F \in \mathbb{Z}[X, Y]$, we define its value set to be $\{F(x, y) : (x, y) \in \mathbb{Z}^2\}$. Let $F, G \in \mathbb{Z}[X, Y]$ be two binary forms of degree $d \geq 3$ and with non-zero discriminant. In a series of three papers, we will give necessary and sufficient conditions on $F$ and $G$ to have the same value set. These conditions will be entirely in terms of the automorphism groups of the forms. In this paper, we will build the general theory that reduces the problem to a question about lattice coverings of $\mathbb{Z}^2$, and we solve this problem when $F$ and $G$ have a small automorphism group. The larger automorphism groups $D_4$ and $D_3, D_6$ will respectively be treated in part II and part III. △ Less

Submitted 17 April, 2024; originally announced April 2024.

Binary quadratic forms with the same value set

Authors: Étienne Fouvry, Peter Koymans

Abstract: Given a binary quadratic form $F \in \mathbb{Z}[X, Y]$, we define its value set $F(\mathbb{Z}^2)$ to be $\{F(x, y) : (x, y) \in \mathbb{Z}^2\}$. If $F$ and $G$ are two binary quadratic forms with integer coefficients, we give necessary and sufficient conditions on $F$ and $G$ for $F(\mathbb{Z}^2) = G(\mathbb{Z}^2)$. Given a binary quadratic form $F \in \mathbb{Z}[X, Y]$, we define its value set $F(\mathbb{Z}^2)$ to be $\{F(x, y) : (x, y) \in \mathbb{Z}^2\}$. If $F$ and $G$ are two binary quadratic forms with integer coefficients, we give necessary and sufficient conditions on $F$ and $G$ for $F(\mathbb{Z}^2) = G(\mathbb{Z}^2)$. △ Less

Submitted 29 April, 2024; v1 submitted 15 April, 2024; originally announced April 2024.

Estimates for trilinear and quadrilinear character sums

Authors: Étienne Fouvry, Igor E. Shparlinski, ** Xi

Abstract: We obtain new bounds on some trilinear and quadrilinear character sums, which are non-trivial starting from very short ranges of the variables. An application to an apparently new problem on oscillations of characters on differences between Farey fractions is given. Other applications include a modular analogue of a multiplicative hybrid problem of Iwaniec and Sárközy (1987) and the solvability of… ▽ More We obtain new bounds on some trilinear and quadrilinear character sums, which are non-trivial starting from very short ranges of the variables. An application to an apparently new problem on oscillations of characters on differences between Farey fractions is given. Other applications include a modular analogue of a multiplicative hybrid problem of Iwaniec and Sárközy (1987) and the solvability of some prime type equations with constraints. △ Less

Submitted 13 May, 2024; v1 submitted 14 April, 2024; originally announced April 2024.

Comments: 30 pages. All comments are welcome!

Number of integers represented by families of binary forms II: binomial forms

Authors: Étienne Fouvry, Michel Waldschmidt

Abstract: We consider some families of binary binomial forms $aX^d+bY^d$, with $a$ and $b$ integers. Under suitable assumptions, we prove that every rational integer $m$ with $|m|\ge 2$ is only represented by a finite number of the forms of this family (with varying $d,a,b$). Furthermore {the number of such forms of degree $\ge d_0$ representing $m$ is bounded by $O(|m|^{(1/d_0)+ε})$} uniformly for… ▽ More We consider some families of binary binomial forms $aX^d+bY^d$, with $a$ and $b$ integers. Under suitable assumptions, we prove that every rational integer $m$ with $|m|\ge 2$ is only represented by a finite number of the forms of this family (with varying $d,a,b$). Furthermore {the number of such forms of degree $\ge d_0$ representing $m$ is bounded by $O(|m|^{(1/d_0)+ε})$} uniformly for $\vert m \vert \geq 2$. We also prove that the integers in the interval $[-N,N]$ represented by one of the form of the family with degree $d\geq d_0$ are almost all represented by some form of the family with degree $d=d_0$. In a previous {paper} we investigated the particular case where the binary binomial forms are positive definite. We now treat the general case by using a lower bound for linear forms of logarithms. △ Less

Submitted 4 June, 2023; originally announced June 2023.

MSC Class: 11E76 11D45 11D85

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

On character sums with determinants

Authors: Étienne Fouvry, Igor E. Shparlinski

Abstract: We estimate weighted character sums with determinants $ad-bc $ of $2\times 2$ matrices modulo a prime $p$ with entries $a,b,c,d $ varying over the interval $ [1,N]$. Our goal is to obtain nontrivial bounds for values of $N$ as small as possible. In particular, we achieve this goal, with a power saving, for $N \ge p^{1/8+\varepsilon}\ $ with any fixed $\varepsilon>0$, which is very likely to be the… ▽ More We estimate weighted character sums with determinants $ad-bc $ of $2\times 2$ matrices modulo a prime $p$ with entries $a,b,c,d $ varying over the interval $ [1,N]$. Our goal is to obtain nontrivial bounds for values of $N$ as small as possible. In particular, we achieve this goal, with a power saving, for $N \ge p^{1/8+\varepsilon}\ $ with any fixed $\varepsilon>0$, which is very likely to be the best possible unless the celebrated Burgess bound is improved. By other techniques, we also treat more general sums but sometimes for larger values of $N$. △ Less

Submitted 8 March, 2023; v1 submitted 27 October, 2022; originally announced October 2022.

Comments: This paper has been accepted for publication in Science China Mathematics

Number of integers represented by families of binary forms

Authors: Étienne Fouvry, Michel Waldschmidt

Abstract: We extend our previous results on the number of integers which are values of some cyclotomic form of degree larger than a given value (see \cite{FW1}), to more general families of binary forms with integer coefficients. Our main ingredient is an asymptotic upper bound for the cardinality of the set of values which are common to two non isomorphic binary forms of degree greater than $3$. We apply o… ▽ More We extend our previous results on the number of integers which are values of some cyclotomic form of degree larger than a given value (see \cite{FW1}), to more general families of binary forms with integer coefficients. Our main ingredient is an asymptotic upper bound for the cardinality of the set of values which are common to two non isomorphic binary forms of degree greater than $3$. We apply our results to some typical examples of families of binary forms. △ Less

Submitted 4 June, 2023; v1 submitted 8 June, 2022; originally announced June 2022.

Comments: Two misprints corrected - the version to appear in Acta Arithmetica is correct

MSC Class: 11E76 11D45 11D85

Malle's conjecture for nonic Heisenberg extensions

Authors: Étienne Fouvry, Peter Koymans

Abstract: We prove Malle's conjecture for nonic Heisenberg extensions over $\mathbb{Q}$. Our main algebraic result shows that the number of nonic Heisenberg extensions over $\mathbb{Q}$ with discriminant bounded by $X$ is given by a character sum. We then extract the main term from this sum by exploiting oscillation of characters. We prove Malle's conjecture for nonic Heisenberg extensions over $\mathbb{Q}$. Our main algebraic result shows that the number of nonic Heisenberg extensions over $\mathbb{Q}$ with discriminant bounded by $X$ is given by a character sum. We then extract the main term from this sum by exploiting oscillation of characters. △ Less

Submitted 18 February, 2021; originally announced February 2021.

Report number: MPIM-Bonn-2021

Multiplicative functions in large arithmetic progressions and applications

Authors: Étienne Fouvry, Gérald Tenenbaum

Abstract: We establish new Bombieri-Vinogradov type estimates for a wide class of multiplicative arithmetic functions and derive several applications, including: a new proof of a recent estimate by Drappeau and Topacogullari for arithmetical correlations; a theorem of Erd{\H o}s-Wintner type with support equal to the level set of an additive function at shifted argument; and a law of iterated logarithm for… ▽ More We establish new Bombieri-Vinogradov type estimates for a wide class of multiplicative arithmetic functions and derive several applications, including: a new proof of a recent estimate by Drappeau and Topacogullari for arithmetical correlations; a theorem of Erd{\H o}s-Wintner type with support equal to the level set of an additive function at shifted argument; and a law of iterated logarithm for the distribution of prime factors of integers weighted by $τ(n-1)$ where $τ$ denotes the divisor function. △ Less

Submitted 14 March, 2021; v1 submitted 9 April, 2020; originally announced April 2020.

MSC Class: Primary: 11N37; Secundary: 11N25; 11N36; 11N60

On the $4$-rank of class groups of Dirichlet biquadratic fields

Authors: Étienne Fouvry, Peter Koymans, Carlo Pagano

Abstract: We show that for $100\%$ of the odd, squarefree integers $n > 0$ the $4$-rank of $\text{Cl}(\mathbb{Q}(i, \sqrt{n}))$ is equal to $ω_3(n) - 1$, where $ω_3$ is the number of prime divisors of $n$ that are $3$ modulo $4$. We show that for $100\%$ of the odd, squarefree integers $n > 0$ the $4$-rank of $\text{Cl}(\mathbb{Q}(i, \sqrt{n}))$ is equal to $ω_3(n) - 1$, where $ω_3$ is the number of prime divisors of $n$ that are $3$ modulo $4$. △ Less

Submitted 25 March, 2020; originally announced March 2020.

Comments: 25 pages

Report number: MPIM-Bonn-2020

On Dirichlet biquadratic fields

Authors: Étienne Fouvry, Peter Koymans

Abstract: We study the $4$-rank of the ideal class group of $K_n := \mathbb{Q}(\sqrt{-n}, \sqrt{n})$. Our main result is that for a positive proportion of the squarefree integers $n$ we have that the $4$-rank of $\text{Cl}(K_n)$ equals $ω_3(n) - 1$, where $ω_3(n)$ is the number of prime divisors of $n$ that are $3$ modulo $4$. We study the $4$-rank of the ideal class group of $K_n := \mathbb{Q}(\sqrt{-n}, \sqrt{n})$. Our main result is that for a positive proportion of the squarefree integers $n$ we have that the $4$-rank of $\text{Cl}(K_n)$ equals $ω_3(n) - 1$, where $ω_3(n)$ is the number of prime divisors of $n$ that are $3$ modulo $4$. △ Less

Submitted 15 January, 2020; originally announced January 2020.

Report number: MPIM-Bonn-2020 MSC Class: 11R29

Sur la représentation des entiers par les formes cyclotomiques de grand degré

Authors: Etienne Fouvry, Michel Waldschmidt

Abstract: For each integer $d\ge 4$, we study the sequence of positive integers which are represented by one at least of the cyclotomic binary forms $Φ_n(X,Y)$, with $n$ a positive integer satisfying $\varphi(n)\ge d$. The case $d=2$ was studied in our previous work [FLW]. Our demonstration is based on a variant of a statement of [SX] concerning the common values taken by two binary forms of the same degree… ▽ More For each integer $d\ge 4$, we study the sequence of positive integers which are represented by one at least of the cyclotomic binary forms $Φ_n(X,Y)$, with $n$ a positive integer satisfying $\varphi(n)\ge d$. The case $d=2$ was studied in our previous work [FLW]. Our demonstration is based on a variant of a statement of [SX] concerning the common values taken by two binary forms of the same degree and non-zero discriminants. All constants are effectively calculable. △ Less

Submitted 4 September, 2019; originally announced September 2019.

Comments: 25 pages. En français

MSC Class: 11E76

Another application of Linnik's dispersion method

Authors: Étienne Fouvry, Maksym Radziwiłł

Abstract: Let $α_m$ and $β_n$ be two sequences of real numbers supported on $[M, 2M]$ and $[N, 2N]$ with $M = X^{1/2 - δ}$ and $N = X^{1/2 + δ}$. We show that there exists a $δ_0 > 0$ such that the multiplicative convolution of $α_m$ and $β_n$ has exponent of distribution $\frac{1}{2} + δ-\varepsilon$ (in a weak sense) as long as $0 \leq δ< δ_0$, the sequence $β_n$ is Siegel-Walfisz and both sequences… ▽ More Let $α_m$ and $β_n$ be two sequences of real numbers supported on $[M, 2M]$ and $[N, 2N]$ with $M = X^{1/2 - δ}$ and $N = X^{1/2 + δ}$. We show that there exists a $δ_0 > 0$ such that the multiplicative convolution of $α_m$ and $β_n$ has exponent of distribution $\frac{1}{2} + δ-\varepsilon$ (in a weak sense) as long as $0 \leq δ< δ_0$, the sequence $β_n$ is Siegel-Walfisz and both sequences $α_m$ and $β_n$ are bounded above by divisor functions. Our result is thus a general dispersion estimate for "narrow" type-II sums. The proof relies crucially on Linnik's dispersion method and recent bounds for trilinear forms in Kloosterman fractions due to Bettin-Chandee. We highlight an application related to the Titchmarsh divisor problem. △ Less

Submitted 4 December, 2018; v1 submitted 3 December, 2018; originally announced December 2018.

Comments: 19 pages

Journal ref: Chebyshevskii Sbornik, volume 19, no. 3, 2018

Level of distribution of unbalanced convolutions

Authors: Étienne Fouvry, Maksym Radziwiłł

Abstract: We show that if an essentially arbitrary sequence supported on an interval containing $x$ integers, is convolved with a tiny Siegel-Walfisz-type sequence supported on an interval containing $\exp((\log x)^{\varepsilon})$ integers then the resulting multiplicative convolution has (in a weak sense) level of distribution $x^{1/2 + 1/66 - \varepsilon}$ as $x$ goes to infinity. This dispersion estimate… ▽ More We show that if an essentially arbitrary sequence supported on an interval containing $x$ integers, is convolved with a tiny Siegel-Walfisz-type sequence supported on an interval containing $\exp((\log x)^{\varepsilon})$ integers then the resulting multiplicative convolution has (in a weak sense) level of distribution $x^{1/2 + 1/66 - \varepsilon}$ as $x$ goes to infinity. This dispersion estimate has a number of consequences for: the distribution of the $k$th divisor function to moduli $x^{1/2 + 1/66 - \varepsilon}$ for any integer $k \geq 1$, the distribution of products of exactly two primes in arithmetic progressions to large moduli, the distribution of sieve weights of level $x^{1/2 + 1/66 - \varepsilon}$ to moduli as large as $x^{1 - \varepsilon}$ and for the Brun-Titchmarsh theorem for almost all moduli $q$ of size $x^{1 - \varepsilon}$, lowering the long-standing constant $4$ in that range. Our result improves and is inspired by earlier work of Green (and subsequent work of Granville-Shao) which is concerned with the distribution of $1$-bounded multiplicative functions in arithmetic progressions to large moduli. As in these previous works the main technical ingredient are the recent estimates of Bettin-Chandee for trilinear forms in Kloosterman fractions and the estimates of Duke-Friedlander-Iwaniec for bilinear forms in Kloosterman fractions. △ Less

Submitted 21 November, 2018; originally announced November 2018.

Comments: 36 pages

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

Representation of integers by cyclotomic binary forms

Authors: Etienne Fouvry, Claude Levesque, Michel Waldschmidt

Abstract: The homogeneous form $Φ_n(X,Y)$ of degree $\varphi(n)$ which is associated with the cyclotomic polynomial $φ_n(X)$ is dubbed a {\it cyclotomic binary form}. A positive integer $m\ge 1$ is said to be {\it representable by a cyclotomic binary form} if there exist integers $n,x,y$ with $n\ge 3$ and $\max\{|x|, |y|\}\ge 2$ such that $Φ_n(x,y)=m$. We prove that the number $a_m$ of such representations… ▽ More The homogeneous form $Φ_n(X,Y)$ of degree $\varphi(n)$ which is associated with the cyclotomic polynomial $φ_n(X)$ is dubbed a {\it cyclotomic binary form}. A positive integer $m\ge 1$ is said to be {\it representable by a cyclotomic binary form} if there exist integers $n,x,y$ with $n\ge 3$ and $\max\{|x|, |y|\}\ge 2$ such that $Φ_n(x,y)=m$. We prove that the number $a_m$ of such representations of $m$ by a cyclotomic binary form is finite. More precisely, we have $\,\varphi(n) \le ({2}/ {\log 3})\log m\, $ and $\, \max\{|x|,|y|\} \le ({2}/{\sqrt{3}})\, m^{1/\varphi(n)}.\,$ We give a description of the asymptotic cardinality of the set of values taken by the forms for $n\geq 3$. This will imply that the set of integers $m$ such that $a_m\neq 0$ has natural density 0. We will deduce that the average value of the integers $a_m$ among the nonzero values of $a_m$ grows like $\sqrt{\log \, m}$. △ Less

Submitted 25 December, 2017; originally announced December 2017.

Comments: Acta Arithmetica, to appear

MSC Class: 11E76 12E10

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

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

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

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

On the greatest prime factor of ab+1

Authors: Étienne Fouvry

Abstract: We improve some results on the size of the greatest prime factor of integers of the form ab+1, where a and b belong to finite sets of integers with rather large density. We improve some results on the size of the greatest prime factor of integers of the form ab+1, where a and b belong to finite sets of integers with rather large density. △ Less

Submitted 14 November, 2013; v1 submitted 5 November, 2013; originally announced November 2013.

Comments: 38 pages. Theorem 3 of this version is improved. One bibliographical item is added

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

Strong orthogonality between the Möbius function, additive characters, and Fourier coefficients of cusp forms

Authors: Étienne Fouvry, Satadal Ganguly

Abstract: Let $ν_{f}(n)$ be the $n$-th nomalized Fourier coefficient of a Hecke--Maass cusp form $f$ for ${\rm SL}(2,\Z)$ and let $α$ be a real number. We prove strong oscillations of the argument of $ν_{f}(n)μ(n) \exp (2πi n α)$ as $n$ takes consecutive integral values. Let $ν_{f}(n)$ be the $n$-th nomalized Fourier coefficient of a Hecke--Maass cusp form $f$ for ${\rm SL}(2,\Z)$ and let $α$ be a real number. We prove strong oscillations of the argument of $ν_{f}(n)μ(n) \exp (2πi n α)$ as $n$ takes consecutive integral values. △ Less

Submitted 23 January, 2013; originally announced January 2013.

Journal ref: Compositio Math. 150 (2014) 763-797

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