1 Introduction
Throughout the article a primitive form of weight $\unicode[STIX]{x1D705}$ and level $N$ means a holomorphic cusp form of weight $\unicode[STIX]{x1D705}$ for $\unicode[STIX]{x1D6E4}_{0}(N)$ with the trivial character which is also a normalized Hecke eigenform for all Hecke operators as well of all Atkin–Lehner involutions (see [Reference OnoOno04, p. 29] for more details). Throughout the paper, we will also assume that $N$ is square-free. A non-CM primitive form is an abbreviation for ‘primitive form without complex multiplication’.
Let $f$ be a primitive form and
be its Fourier expansion at $i\infty$ . In particular, if $f$ is of weight $\unicode[STIX]{x1D705}=12$ and level $N=1$ then
where $\unicode[STIX]{x1D70F}(n)$ is the classical Ramanujan function.
It is well known that the Fourier-coefficients $a_{f}(n)$ of any such primitive form $f$ are totally real algebraic numbers. There are quite a few results demonstrating ‘random’ behavior of the signs of $\unicode[STIX]{x1D70F}(n)$ , or, more generally, the coefficients of a general primitive forms; see, for instance, [Reference Ghosh and SarnakGS12, Reference Gun, Kohnen and RathGKR15, Reference Kohnen and SenguptaKS09, Reference MatomäkiMat12, Reference Matomäki and RadziwiłłMR15] and the references therein. For instance, Matomäki and Radziwiłł [Reference Matomäki and RadziwiłłMR15] have shown that the non-zero coefficients of primitive forms for $\unicode[STIX]{x1D6E4}_{0}(1)$ are positive and negative with the same frequency. They also show that for large enough $x$ , the number of sign changes in the sequence $\{a_{f}(n)\}_{n\leqslant x}$ is of the order of magnitude
In this paper, we work in a different direction, and study the behavior of absolute values of non-zero coefficients. Classical results of Rankin [Reference RankinRan39, Reference RankinRan70]
imply that the sequence $|\unicode[STIX]{x1D70F}(n)|$ is not ultimately monotonic; in other words, each of the inequalities
holds for infinitely many $m$ . In this article we obtain (as a special case of a more general result) a similar statement for more than two consecutive values of $\unicode[STIX]{x1D70F}$ .
Theorem 1.1. Let $k$ be a positive integer such that
Then for every permutation $\unicode[STIX]{x1D70E}$ of the set $\{1,\ldots ,k\}$ , there exist infinitely many positive integers $m$ such that
In fact, existence of at least one $m$ satisfying (1.2) implies (1.1) (see Theorem 1.4 below); in other words, (1.1) is a necessary and sufficient condition for (1.2) to happen infinitely often.
It is known [Reference Zeng and YinZY15, Theorem 1.4] that $\unicode[STIX]{x1D70F}(n)\neq 0$ when
We also refer to [Reference Derickx, van Hoeij and ZengDvHZ13, Corollary 1.2], which claims that $\unicode[STIX]{x1D70F}(n)\neq 0$ for all
According to a famous conjecture of Lehmer, $\unicode[STIX]{x1D70F}(n)\neq 0$ for all $n$ . If this conjecture holds true, then Theorem 1.1 applies to all $k$ .
In this context, one has another famous conjecture known as Maeda’s conjecture. Let $T_{n}(x)$ be the characteristic polynomial of the $n$ th Hecke operator $T_{n}$ acting on the vector space of cusp forms of weight $\unicode[STIX]{x1D705}$ and level $1$ , denoted $S_{\unicode[STIX]{x1D705}}(1)$ . It is well known that $T_{n}(x)$ is a polynomial with integer coefficients. Maeda [Reference Hida and MaedaHM97] conjectured that for any non-zero natural number $n$ , the polynomial $T_{n}(x)$ is irreducible over $\mathbb{Q}$ with Galois group $\mathfrak{S}_{d}$ , where $d$ is the dimension of $S_{\unicode[STIX]{x1D705}}(1)$ and $\mathfrak{S}_{d}$ is the symmetric group on $d$ symbols. If the dimension $d$ of $S_{\unicode[STIX]{x1D705}}(1)$ is strictly greater than one and Maeda’s conjecture is true, then Theorem 1.1 applies to all $k$ . However, Maeda’s conjecture does not imply Lehmer’s conjecture.
Our principal result is the following general theorem.
Theorem 1.2. Let $f_{1},\ldots ,f_{k}$ be primitive forms of square-free levels, not necessarily of same weights, and $\unicode[STIX]{x1D708}_{1},\ldots ,\unicode[STIX]{x1D708}_{k}$ be distinct positive integers such that
Then there exist infinitely many positive integers $m$ such that
where $\unicode[STIX]{x1D706}_{f_{i}}(n)=a_{f_{i}}(n)/n^{(\unicode[STIX]{x1D705}_{i}-1)/2}$ for any positive integer $n$ and $1\leqslant i\leqslant k$ .
In fact, we prove (see Remark 5.8) that for sufficiently large positive number $x$ , there are at least $cx/(\log x)^{k}$ positive integers $m\leqslant x$ satisfying (1.3). Here $c>0$ depends on $f_{1},\ldots ,f_{k},\unicode[STIX]{x1D708}_{1},\ldots ,\unicode[STIX]{x1D708}_{k}$ and ‘sufficiently large’ translates as ‘exceeding a certain quantity depending on $f_{1},\ldots ,f_{k},\unicode[STIX]{x1D708}_{1},\ldots ,\unicode[STIX]{x1D708}_{k}$ ’.
It is clear from our proof that, when the forms $f_{1},\ldots ,f_{k}$ have equal weights, inequality (1.3) holds true with $a_{f_{i}}(\cdot )$ instead of $\unicode[STIX]{x1D706}_{f_{i}}(\cdot )$ . An interesting special case occurs when $f_{1}=\cdots =f_{k}=f$ .
Theorem 1.3. Let $f$ be a primitive form of square-free level and $\unicode[STIX]{x1D708}_{1},\ldots ,\unicode[STIX]{x1D708}_{k}$ be distinct positive integers such that
Then there exist infinitely many positive integers $m$ such that
In particular, if $k$ is a positive integer such that
then for every permutation $\unicode[STIX]{x1D70E}$ of the set $\{1,\ldots ,k\}$ , there exist infinitely many positive integers $m$ such that
In fact, one can do even better: to give a necessary and sufficient condition for having (1.6) infinitely often.
Theorem 1.4. Let $k$ be a positive integer. Then for a primitive form $f$ of square-free level the following three conditions are equivalent.
(A) We have
(1.7) $$\begin{eqnarray}a_{f}(n)\neq 0\quad (1\leqslant n\leqslant k/2).\end{eqnarray}$$(B) For some positive integer $\unicode[STIX]{x1D708}$ we have
(1.8) $$\begin{eqnarray}a_{f}(\unicode[STIX]{x1D708}+n)\neq 0\quad (1\leqslant n\leqslant k).\end{eqnarray}$$(C) For every permutation $\unicode[STIX]{x1D70E}$ of the set $\{1,\ldots ,k\}$ , there exist infinitely many positive integers $m$ such that
$$\begin{eqnarray}0<|a_{f}(m+\unicode[STIX]{x1D70E}(1))|<|a_{f}(m+\unicode[STIX]{x1D70E}(2))|<\cdots <|a_{f}(m+\unicode[STIX]{x1D70E}(k))|.\end{eqnarray}$$
Theorem 1.1 follows from this theorem if we take $f=\unicode[STIX]{x1D6E5}$ .
Remark 1.5. Since it is known that there are no primitive forms with complex multiplications for square-free level (see [Reference RibetRib77, § 3] and [Reference RibetRib80, Theorem 3.9]), the primitive forms considered by us are necessarily non-CM.
Techniques of the proofs rely on elementary arguments, sieve methods (Brun’s sieve, the Bombieri–Vinogradov theorem), and validity of the Sato–Tate conjecture for non-CM forms. Similar results may be expected for Maass forms, but for the time being, we do not even know that $a_{f_{i}}(\unicode[STIX]{x1D708}_{i})\neq 0$ for a positive proportion of $\unicode[STIX]{x1D708}_{i}$ though it is expected to be true for Maass forms of eigenvalue strictly greater that $1/4$ . Also the analogs of the Ramanujan–Petersson and the Sato–Tate conjectures are not known to be true.
For our construction of special values of $m$ for which (1.3) and (1.4) holds, we choose by force the small prime factors of the $m+\unicode[STIX]{x1D708}_{i}$ so that their contribution ensures the wished ordering of the $|\unicode[STIX]{x1D706}_{f}(m+\unicode[STIX]{x1D708}_{i})|$ or $|a_{f}(m+\unicode[STIX]{x1D708}_{i})|$ , with a little margin, and we expect that the larger prime factors will contribute only within the margin. The first step is to eliminate, thanks to the ‘fundamental lemma’ of the Sieve theory, the midsize primes. Only the large primes remain, which are essentially bounded in number. To keep control of their contribution, we need to avoid the prime powers, which is easily done (§ 3.4) since we have an explicit bound for the sum of the inverse of the squares larger than $z$ . We are happy that Ramanujan’s conjecture, proved by Deligne, ensures that the contribution of the large primes is never very large, but we have to take care of those large primes for which $|\unicode[STIX]{x1D706}_{f}(p)|$ or $|a_{f}(p)|$ is small (thanks to our colleagues who worked hard to prove the Sato–Tate conjecture [Reference Barnet-Lamb, Geraghty, Harris and TaylorBGHT11, Reference Clozel, Harris and TaylorCHT08, Reference Harris, Shepherd-Barron and TaylorHST10], we know that those primes are not too numerous), but we do not have explicit bounds as we have for the prime powers. This is where we need to trade the sifting level, which can be small for the sieve part, but which has to be large enough to insure that the contribution of the large ‘bad’ primes is small.
The article is organized as follows. In § 2, we briefly review the properties of the coefficients of primitive forms used in the sequel. In §§ 3 and 4, we obtain two sieving results instrumental for the proof of Theorems 1.2–1.4. Finally, these theorems are proved in §§ 5 and 6, respectively.
1.1 Conventions
Unless the contrary is stated explicitly:
∙ $p$ (with or without indices) denotes a prime number;
∙ $\unicode[STIX]{x1D705}$ denotes a positive even integer;
∙ $i,j,k,\ell ,m$ (with or without indices) denote positive integers;
∙ $n$ (with or without indices) denotes a non-negative integer;
∙ $d$ (with or without indices) denotes a square-free positive integer;
∙ $\unicode[STIX]{x1D700},\unicode[STIX]{x1D6FF}$ denote real numbers satisfying $0<\unicode[STIX]{x1D700},\unicode[STIX]{x1D6FF}\leqslant 1/2$ ;
∙ $x,y,z,t$ denote real numbers satisfying $x,y,z,t\geqslant 2$ .
2 Hecke eigenvalues of primitive forms
In this section, we list some well-known properties of the Hecke eigenvalues of primitive forms which will be used in the proof of Theorems 1.2 and 1.3.
First of all, the Hecke eigenvalues $a_{f}(n)$ are multiplicative:
Furthermore, the values of $a_{f}$ at prime powers satisfy the following recurrence relations
where $\unicode[STIX]{x1D705}$ is the weight of $f$ .
Both (2.1) and (2.2) were conjectured by Ramanujan when $f=\unicode[STIX]{x1D6E5}$ and proved by Mordell [Reference MordellMor17]. Proofs can be found in many sources; see, for instance [Reference Diamond and ShurmanDS05, Proposition 5.8.5].
A much deeper result is the upper bound
It was also conjectured by Ramanujan when $f=\unicode[STIX]{x1D6E5}$ and proved by Deligne [Reference DeligneDel74, Théorème 8.2]. Equivalently, the polynomial $T^{2}-a_{f}(p)T+p^{\unicode[STIX]{x1D705}-1}$ can not have distinct real roots. Hence we may write the roots as
with $\unicode[STIX]{x1D703}_{p}\in [0,\unicode[STIX]{x1D70B}]$ . As before, we shall write
for any positive integer $n$ . If $\unicode[STIX]{x1D703}_{p}\neq 0,\unicode[STIX]{x1D70B}$ (that is, $\unicode[STIX]{x1D706}_{f}(p)\neq \pm 2$ ) then
We may add for completeness that
Another very deep result is the Sato–Tate conjecture, proved recently by Barnet-Lamb et al. [Reference Barnet-Lamb, Geraghty, Harris and TaylorBGHT11, Theorem B] (see also [Reference Clozel, Harris and TaylorCHT08, Reference Harris, Shepherd-Barron and TaylorHST10]). A convenient way to express it is to use the notion of relative density of a set of primes: we say that a set ${\mathcal{P}}$ of primes has the relative density $\unicode[STIX]{x1D6FF}({\mathcal{P}})$ (respectively the relative upper density $\bar{\unicode[STIX]{x1D6FF}}({\mathcal{P}})$ ) if
as $x\rightarrow +\infty$ , where $\unicode[STIX]{x1D70B}(x)$ denotes the number of primes up to $x$ .
The above-mentioned result states that, for a non-CM primitive form $f$ , the numbers $\unicode[STIX]{x1D706}_{f}(p)$ are equi-distributed in the interval $[-2,2]$ with respect to the Sato–Tate measure $(1/\unicode[STIX]{x1D70B})\sqrt{1-t^{2}/4}\,dt$ . This means that for $-2\leqslant a\leqslant b\leqslant 2$ , we have
An immediate consequence of this and Remark 1.5 is the following statement.
Proposition 2.1. Let $f$ be a primitive form of square-free level. Then the following holds.
(A) The relative density of the set of primes $p$ such that $\unicode[STIX]{x1D706}_{f}(p)$ belongs to a given interval of length $2\unicode[STIX]{x1D700}$ does not exceed $\unicode[STIX]{x1D700}$ .
(B) In particular, the relative density of primes $p$ such that $\unicode[STIX]{x1D706}_{f}(p)=0$ or $\pm 2$ is $0$ .
We notice that the formulation (A) is convenient to use for our purpose, but our argument could be adapted to the weaker condition
Part (B) was well known long before the proof of the Sato–Tate conjecture. See [Reference SerreSer81, § 7.2, Théorème 15] for a much more general and quantitatively stronger result.
Equations (2.5) and (2.6) imply that $\unicode[STIX]{x1D706}_{f}(p^{\ell })=0$ for some $\ell$ and $(p,N)=1$ if and only if $\unicode[STIX]{x1D703}_{p}/\unicode[STIX]{x1D70B}\in \mathbb{Q}\cap (0,1)$ . In fact, one knows the following result.
Proposition 2.2. Let $f$ be a primitive form of square-free level. Then for all but finitely many primes $p$ we have either $\unicode[STIX]{x1D706}_{f}(p)\in \{0,\pm 2\}$ or $\unicode[STIX]{x1D703}_{p}/\unicode[STIX]{x1D70B}\notin \mathbb{Q}$ .
For the proof, see [Reference Ram Murty and Kumar MurtyMM07, Lemma 2.5] (see also [Reference Kowalski, Robert and WuKRW07, Lemma 2.2]).
One may remark that if $f$ is of weight $\unicode[STIX]{x1D705}\geqslant 4$ then this holds for all $p$ with $(p,N)=1$ without exception, see [Reference Ram Murty and Kumar MurtyMM07, Proposition 2.4].
3 Sieving
In this section, we establish a sieving result instrumental for the proof of Theorems 1.2 and 1.3. The integer $m$ in this section is not necessarily positive; it can be any integer: positive, negative or $0$ . The other conventions made in § 1.1 remain intact.
3.1 The Sieving theorem
Let $\unicode[STIX]{x1D6F4}$ be a finite set of prime numbers. We call $m\in \mathbb{Z}$ :
∙ $\unicode[STIX]{x1D6F4}$ -unit, if all its prime divisors belong to $\unicode[STIX]{x1D6F4}$ ;
∙ $\unicode[STIX]{x1D6F4}$ -square-free, if $m$ is a product of a $\unicode[STIX]{x1D6F4}$ -unit and a square-free integer.
Also, for $z\geqslant 2$ we define
Now let $a_{1},\ldots ,a_{k},b_{1},\ldots ,b_{k}\in \mathbb{Z}$ be integers satisfying
We consider linear forms $L_{i}(n)=a_{i}n+b_{i}$ , and for $x\geqslant z\geqslant 2$ we set
Finally, we let
The principal result of this section is the following theorem.
Theorem 3.1. Assume that $\unicode[STIX]{x1D6F4}$ contains all the primes $p\leqslant 2k$ , all the prime divisors of every $a_{i}$ , and all the prime divisors of every $a_{i}b_{j}-a_{j}b_{i}$ with $i\neq j$ . In other words, we assume that
is a $\unicode[STIX]{x1D6F4}$ -unit. Then there exist real numbers $\unicode[STIX]{x1D702},c_{1}\in (0,1/2]$ , depending only on $k$ and on the cardinalityFootnote 1 $\#\unicode[STIX]{x1D6F4}$ (but not on $\unicode[STIX]{x1D6F4}$ itself, neither on the integers $a_{i}$ and $b_{i}$ ), and $z_{1}\geqslant 2$ depending on $a_{1},\ldots ,a_{k},b_{1},\ldots ,b_{k}$ , such that the following holds. For any $x$ and $z$ , satisfying $x^{\unicode[STIX]{x1D702}}\geqslant z\geqslant z_{1}$ we have
The first step in the proof of Theorem 3.1 is to obtain a lower bound for $\#\unicode[STIX]{x1D6FA}(x,z)$ , i.e. we wish to get a lower bound for the number of integers up to $x$ for which the product $L_{1}(n)\cdots L_{k}(n)$ has no prime factor up to $x^{\unicode[STIX]{x1D702}}$ except from a finite given set $\unicode[STIX]{x1D6F4}$ ; in other words, we are interested in sieving out the prime factors less than $x^{\unicode[STIX]{x1D702}}$ except those from $\unicode[STIX]{x1D6F4}$ , when $\unicode[STIX]{x1D702}$ is sufficiently small: the adapted tool for this situation is called the ‘fundamental lemma’, cf. [Reference Friedlander and IwaniecFI10, § 6.5], [Reference Iwaniec and KowalskiIK04, § 6.4] or [Reference Halberstam and RichertHR74, § 2.8]. Looking more carefully at [Reference Halberstam and RichertHR74], we see that, with the exception of $\unicode[STIX]{x1D6F4}$ , Theorem 2.6, p. 85, is very close to what we are looking for. In § 3.3, we shall state and prove the variant of Theorem 2.6 we need. We obtain a lower bound of the order $x(\log z)^{-k}$ .
In the second step, we need to exclude the cases when at least one of the quantities $L_{i}(n)$ is a prime number. Assume for example that $L_{k}(n)=n$ , we see that [Reference Halberstam and RichertHR74, Theorem $2.6^{\prime }$ , p. 87], applied to the product $L_{1}(n)\cdots L_{k-1}(n)$ (with $k-1$ instead of $k$ ) is, again with the exception of the primes from $\unicode[STIX]{x1D6F4}$ , very close to what we are looking for. In § 3.4, we shall state and prove the variant of Theorem $2.6^{\prime }$ we need. We obtain an upper bound of the order $x(\log z)^{-k+1}(\log x)^{-1}$ , which is smaller than the lower bound from the first step, as soon as $z$ is sufficiently small a power of $x$ , i.e. as soon as $\unicode[STIX]{x1D702}$ is small enough.
The last step consists in sieving out the elements of $\unicode[STIX]{x1D6FA}(x,z)$ divisible by the square of some large prime; the key ingredient is the convergence of the series of the inverses of the squares. This step is performed in § 3.5.
Finally, in § 3.6 we prove Theorem 3.1.
We start by giving in § 3.2 some definition and evaluation of some arithmetic quantities.
3.2 Some arithmetic preliminaries
In the remaining part of § 3, unless the contrary is explicitly stated, the constants implied by the notation $O(\cdot )$ , $\ll$ , $\gg$ orFootnote 2 $\asymp$ , may depend only on $k$ . The same convention applies to the constants implied by the expressions like ‘sufficiently large’.
In order to avoid a conflict of notation between [Reference Halberstam and RichertHR74] and the general use, we follow, in §§ 3.2–3.4, the use of [Reference Halberstam and RichertHR74] and denote by $\unicode[STIX]{x1D708}(d)$ the number of distinct prime factors of the integer $d$ .
We keep the notation of § 3.1 and let $\ell \in \{k-1,k\}$ ,
Let $\unicode[STIX]{x1D70C}_{\ell }$ be the multiplicative function supported on the square-free numbers and such that
For $z\geqslant 2$ , we let
with the usual convention that an empty product is equal to $1$ .
Our assumption (3.6) implies that the congruence
has exactly $\unicode[STIX]{x1D70C}_{\ell }(p)=\ell$ solutions for any prime $p$ which does not belong to the set $\unicode[STIX]{x1D6F4}$ ; moreover, all those solutions are non-zero. Thus, the congruence
has exactly $\unicode[STIX]{x1D70C}_{\ell }(d)=\ell ^{\unicode[STIX]{x1D708}(d)}$ solutions for any square-free $d$ having no prime divisor from the set $\unicode[STIX]{x1D6F4}$ ; moreover all those solutions are coprime with $d$ . This implies
Since all primes $p\leqslant 2k$ belong to $\unicode[STIX]{x1D6F4}$ , we have, for all primes $p$ , the estimates
We trivially have
Using (3.12), we get the upper bound
We also notice that Mertens’ result [Reference Hardy and WrightHW60, Theorem 429], easily implies that there exists constants $C(\ell )$ and $C^{(\ast )}(\ell )$ such that
The following is a fairly standard result, a proof of which can be found in [Reference Tenenbaum and WuTW14, p. 55].
For $d>0$ and $a$ coprime to $d$ , we denote by $\unicode[STIX]{x1D70B}(x,d,a)$ the number of primes up to $x$ which are congruent to $a$ modulo $d$ and we let
We shall use the following consequence of [Reference Halberstam and RichertHR74, Lemma 3.5, p. 115], which is itself a consequence of the Bombieri–Vinogradov theorem and the trivial upper bound
Lemma 3.2. Let $m$ be a positive integer. For any positive constant $U$ , there exists a positive constant $C_{1}=C_{1}(m,U)$ such that
3.3 Sieving away small prime factors
In this section, we prove the following result.
Proposition 3.3. With the above notation and assumption (3.6), we have for $2\leqslant z\leqslant x$
where
and
Proof. We are going to use [Reference Halberstam and RichertHR74, Theorem $2.5^{\prime }$ ], noticing that in the main relation, $\log x/\unicode[STIX]{x1D6FC}$ is to be read $\log (\unicode[STIX]{x1D705}/\unicode[STIX]{x1D6FC})$ . We refer the reader to [Reference Halberstam and RichertHR74] for the statement of Theorem $2.5^{\prime }$ , as well as the notation given there. Let us write the dictionary between the notation from [Reference Halberstam and RichertHR74] and our notation:
Relation (3.12) implies ( $\unicode[STIX]{x1D6FA}_{1}$ ) (p. 29) with $A_{1}=2$ .
By the definition of $\unicode[STIX]{x1D70C}_{k}$ , we have for all $p$ : $\unicode[STIX]{x1D70C}_{k}(p)\leqslant k$ , which implies Relation ( $\unicode[STIX]{x1D6FA}_{0}$ ) of [Reference Halberstam and RichertHR74, p. 30], and thus (cf. Lemma 2.2, p. 52) Relation ( $\unicode[STIX]{x1D6FA}_{2}(\unicode[STIX]{x1D705})$ ) with $A_{2}=\unicode[STIX]{x1D705}$ .
Relations ( $R_{0}$ ) and ( $R_{1}(\unicode[STIX]{x1D705},1)$ ) (defined in [Reference Halberstam and RichertHR74, p. 64]), with $L=1$ , $A_{0}^{\prime }=k$ and $C_{0}(U)=2k+U-1$ come from (3.11) and (3.16).
We notice that $S({\mathcal{A}};\mathfrak{P},z)$ is $\#\unicode[STIX]{x1D6FA}(x,z)$ and thus [Reference Halberstam and RichertHR74, Theorem $2.5^{\prime }$ ] implies our Proposition 3.3.◻
3.4 Sieving away prime values
In this part, we are interested in evaluating the cardinality of the set
and we shall prove the following
Proposition 3.4. With the above notation and assumption (3.6), we have for $2\leqslant z\leqslant x$
where
and
Proof. We first notice that, without loss of generality, changing if needed $(a_{i},b_{i})$ into $(-a_{i},-b_{i})$ , we can assume that all the $a_{i}$ are positive: this is what we assume in the proof.
It will be convenient to let $h=k-1$ , $F_{h}(n)=L_{1}(n)\times \,\cdots \,\times L_{h}(n)$ . We are again going to use [Reference Halberstam and RichertHR74, Theorem $2.5^{\prime }$ ]. Getting a relation ( $R_{1}(\unicode[STIX]{x1D705},\unicode[STIX]{x1D6FC})$ ) will be more challenging, but the Bombieri–Vinogradov inequality in the form (3.19) will be most helpful. As in the previous section, we start with our dictionary:
We check the validity of Relations ( $\unicode[STIX]{x1D6FA}_{0}$ ) and $(\unicode[STIX]{x1D6FA}_{2}(\unicode[STIX]{x1D705}))$ by the same argument as in § 3.3.
We notice that $R_{d}$ is defined in terms of the cardinality of ${\mathcal{A}}_{d}$ ; it is more convenient for us to consider, for $d$ having no prime divisor from $\unicode[STIX]{x1D6F4}$ , the set
which has the same cardinality as ${\mathcal{A}}_{d}$ . By the remark concerning the solutions of (3.10) and the fact that $d$ and $a_{k}$ are coprime, there exists a set $T_{k}(d)\subset (\mathbb{Z}/a_{k}d\mathbb{Z})^{\ast }$ with cardinality $\#T_{k}(d)=h^{\unicode[STIX]{x1D708}(d)}$ such that
We thus have, for $d$ having no prime factor from $\unicode[STIX]{x1D6F4}$
which implies
Relation ( $R_{0}$ ) comes from the previous relation, the trivial upper bound $E(a_{k}x,a_{k}d)\leqslant x/d+1$ and the definition of $X$ .
Relation ( $R(\unicode[STIX]{x1D705},1/2)$ ) comes from Lemma 3.2 and relation (3.16).
We can now apply [Reference Halberstam and RichertHR74, Theorem $2.5^{\prime }$ ] and get Proposition 3.4 with a slightly better constant and $u=\log X/\text{log}\,z$ . It is more convenient for us to state the result in terms of $u=\log x/\text{log}\,z$ .◻
3.5 Sieving away non-square-free values
We also want to count $n$ such that $L_{i}(n)$ is not $\unicode[STIX]{x1D6F4}$ -square-free. This is relatively easy. Set
Proposition 3.5. In the set-up of Theorem 3.1, for $x\geqslant z\geqslant 2$ the set $\unicode[STIX]{x1D6FA}(x,z)$ has at most
elements $n$ such that $L_{i}(n)$ is not $\unicode[STIX]{x1D6F4}$ -square-free for some $i$ .
Proof. If $L_{i}(n)$ is not $\unicode[STIX]{x1D6F4}$ -square-free for some $n\in \unicode[STIX]{x1D6FA}(x,z)$ , then $p^{2}\mid L_{i}(n)$ for some $p\geqslant z$ . For a fixed $p$ and $i$ , the number of positive integers $n$ with the property $p^{2}\mid L_{i}(n)$ does not exceed $(|a_{i}|x+|b_{i}|)/p^{2}+1$ . Summing up over all $p\geqslant z$ and $i=1,\ldots ,k$ , we estimate the total number of $n\in \unicode[STIX]{x1D6FA}(x,z)$ such that some $L_{i}(n)$ is not $\unicode[STIX]{x1D6F4}$ -square-free as
The infinite sum above is bounded by $1/(z-1)$ , whence the result.◻
3.6 Proof of Theorem 3.1
We are now ready to prove Theorem 3.1.
The reader will easily check that one can find constants $c_{1},z_{1}$ and $\unicode[STIX]{x1D702}$ satisfying the properties required in the statement of Theorem 3.1 such that the following inequalities are valid for any real numbers $x$ and $z$ satisfying $x^{\unicode[STIX]{x1D702}}\geqslant z\geqslant z_{1}$ .
By Proposition 3.3, (3.13) and (3.15), one has
Let us denote by $\unicode[STIX]{x1D6FA}^{\text{prime}}(x,z)$ the set of the elements $n$ in $\unicode[STIX]{x1D6FA}(x,z)$ for which one of the values $L_{i}(n)$ is prime; applying Proposition 3.4 $k$ times, (3.14) and (3.15), we obtain
Let us denote by $\unicode[STIX]{x1D6FA}^{\text{square}}(x,z)$ the set of the elements $n$ in $\unicode[STIX]{x1D6FA}(x,z)$ for which one of the values $L_{i}(n)$ is not $\unicode[STIX]{x1D6F4}$ -square-free. Proposition 3.5 tells us that we have
We have
and Theorem 3.1 comes from (3.31), (3.28), (3.29) and (3.30).
4 Avoiding prime factors from a sparse set
In this section, we further refine the set $\unicode[STIX]{x1D6FA}_{1}(x,z)$ constructed in Theorem 3.1, showing that it has ‘many’ elements $n$ such that $L_{1}(n)\cdots L_{k}(n)$ has no prime divisors in a ‘sufficiently sparse’ set of primes. We will have to impose an additional assumption: every prime from $\unicode[STIX]{x1D6F4}$ divides every $a_{i}$ . Probably the statement holds true without this assumption, but imposing it will facilitate the proof, and the result we obtain will suffice for us.
Given an infinite set of primes ${\mathcal{P}}$ , let $\unicode[STIX]{x1D70B}_{{\mathcal{P}}}(x)=\#({\mathcal{P}}\cap [0,x])$ and $\bar{\unicode[STIX]{x1D6FF}}({\mathcal{P}})$ be the relative upper density as defined in (2.7). Also let $L_{1}(n),\ldots ,L_{k}(n)$ and the finite set $\unicode[STIX]{x1D6F4}$ be as in § 3.1.
Theorem 4.1. Assume the hypothesis of Theorem 3.1. Moreover, assume that
Let $\unicode[STIX]{x1D702}$ be the number as in Theorem 3.1. Then there exists $\unicode[STIX]{x1D700}\in (0,1/2]$ , depending only on $k$ and on $\#\unicode[STIX]{x1D6F4}$ , such that the following holds. For any set ${\mathcal{P}}$ of primes with $\bar{\unicode[STIX]{x1D6FF}}({\mathcal{P}})\leqslant \unicode[STIX]{x1D700}$ , there exists $x_{0}\geqslant 2$ depending on $a_{1},\ldots ,a_{k},b_{1},\ldots ,b_{k}$ and on the set ${\mathcal{P}}$ , such that for $x\geqslant x_{0}$ at least half of the elements $n$ of the set $\unicode[STIX]{x1D6FA}_{1}(x,x^{\unicode[STIX]{x1D702}})$ have the property
Remark 4.2. Condition (4.1) implies that $L_{i}(n)$ cannot have divisors in $\unicode[STIX]{x1D6F4}$ ; in particular, ‘ $\unicode[STIX]{x1D6F4}$ -square-free’ from Theorem 3.1 can be replaced by ‘square-free’.
We start from an individual prime. In the sequel, we write $a=a_{k}$ , $b=b_{k}$ and $L(n)=L_{k}(n)=an+b$ . We also set $M=\max \{|a|,|b|\}$ .
Proposition 4.3. Assume the hypothesis of Theorem 3.1. Further, assume that
Then there exist real numbers $C_{3}\geqslant 2$ depending only on $k$ , and $z_{3}\geqslant 2$ depending on $k$ and $M$ such that the following holds. Let $p$ be a prime number, $p\notin \unicode[STIX]{x1D6F4}$ . Then for any $x$ and $z$ satisfying $x\geqslant z\geqslant z_{3}$ , the set $\unicode[STIX]{x1D6FA}_{1}(x,z)$ has at most $C_{3}\cdot 2^{\#\unicode[STIX]{x1D6F4}}(x/p)(\log z)^{-k}$ elements $n$ such that $p\mid L(n)$ .
Proof. In this proof, every constant implied by $O(\cdot )$ , $\ll$ etc. depends only on $k$ . We may assume that $L(n)$ is divisible by $p$ for some $n\in \mathbb{Z}$ (otherwise there is nothing to prove). It follows that $p\nmid a$ . (Indeed, if $p\mid a$ then $p\nmid b$ because $a$ and $b$ are coprime, and the congruence $an\equiv -b~\text{mod}~p$ is impossible.) Hence, there is a unique $u\in \{0,1,\ldots ,p-1\}$ such that $u\equiv -b/a~\text{mod}~p$ .
For $i=1,\ldots ,k$ , set
and write
An immediate verification shows that (3.2), (3.3) and (3.6) remain true with $a_{i}$ , $b_{i}$ and $\unicode[STIX]{x1D6F4}$ replaced by $a_{i}^{\prime }$ , $b_{i}^{\prime }$ and $\unicode[STIX]{x1D6F4}^{\prime }=\unicode[STIX]{x1D6F4}\cup \{p\}$ . Hence, defining, for $x^{\prime }\geqslant z^{\prime }\geqslant 2$ , the set
we may apply Proposition 3.3: there exists $z_{0}^{\prime }$ , depending only on $k$ such that, when $x^{\prime }\geqslant (z^{\prime })^{50k}$ and $z^{\prime }\geqslant z_{0}^{\prime }$ , we have
Every $n$ with $p\mid L(n)$ can be written as $u+n^{\prime }p$ with $n^{\prime }\in \mathbb{Z}$ . If $n\in \unicode[STIX]{x1D6FA}(x,z)$ , then clearly we have $0\leqslant n^{\prime }\leqslant x/p$ . Also,
It follows that the number of $n\in \unicode[STIX]{x1D6FA}(x,z)$ such that $p\mid L(n)$ is bounded by $\#\unicode[STIX]{x1D6FA}^{\prime }(x/p,z)$ .
Unfortunately, we cannot apply (4.3) with $x^{\prime }=x/p$ and $z^{\prime }=z$ , because we do not have $x^{\prime }\geqslant (z^{\prime })^{50k}$ . This is the main reason why we had to replace $\unicode[STIX]{x1D6FA}(x,z)$ by $\unicode[STIX]{x1D6FA}_{1}(x,z)$ , because if $n\in \unicode[STIX]{x1D6FA}_{1}(x,z)$ then we can bound $x/p$ from below.
Indeed, let $n\in \unicode[STIX]{x1D6FA}_{1}(x,z)$ be such that $p\mid L(n)$ . By the definition of the set $\unicode[STIX]{x1D6FA}_{1}(x,z)$ , we know that $L(n)$ is composite and (4.2) implies that $L(n)$ is not divisible by any primes from $\unicode[STIX]{x1D6F4}$ . Hence $L(n)/p$ must be divisible by some prime $p^{\prime }\geqslant z$ . In particular, $|L(n)/p|\geqslant z$ , which implies that $x/p\geqslant z/M-1$ (recall that $M=\max \{|a|,|b|\}$ ). Now setting $x^{\prime }=x/p$ and $z^{\prime }=(z/M-1)^{1/50k}$ , we obtain
provided
If we define $z_{3}=\max \{M(z_{0}^{\prime })^{50k}+M,4M^{2}\}$ , then $z\geqslant z_{3}$ implies both (4.5) and $z/M-1\geqslant z^{1/2}$ . Hence, the right-hand side of (4.4) is $O(2^{\#\unicode[STIX]{x1D6F4}}(x/p)(\log z)^{-k})$ , as wanted.◻
We will also need the following easy lemma.
Lemma 4.4. Let ${\mathcal{P}}$ be a set of prime numbers, $\unicode[STIX]{x1D700}\in (0,1/2]$ and $z_{0}\geqslant 2$ . Assume that for all $t\geqslant z_{0}$ , we have $\unicode[STIX]{x1D70B}_{{\mathcal{P}}}(t)\leqslant \unicode[STIX]{x1D700}\unicode[STIX]{x1D70B}(t)$ . Then for $x\geqslant z\geqslant z_{0}$ we have
the implied constant being absolute.
Proof. Using partial summation, we have
as wanted. ◻
Proof of Theorem 4.1.
Let $\unicode[STIX]{x1D702}$ , $c_{1}$ and $z_{1}$ be as in Theorem 3.1. Then for $x\geqslant z_{1}^{1/\unicode[STIX]{x1D702}}$ , we have $\#\unicode[STIX]{x1D6FA}_{1}\geqslant c_{1}x(\log x)^{-k}$ , where we denote $\unicode[STIX]{x1D6FA}_{1}=\unicode[STIX]{x1D6FA}_{1}(x,x^{\unicode[STIX]{x1D702}})$ .
Now let ${\mathcal{P}}$ be a set of prime numbers, and let $\unicode[STIX]{x1D6FA}_{2}$ be the subset of $\unicode[STIX]{x1D6FA}_{1}$ consisting of $n\in \unicode[STIX]{x1D6FA}_{1}$ such that some $p\in {\mathcal{P}}$ divides $L_{1}(n)\cdots L_{k}(n)$ . Also let $z_{3}$ be as in Proposition 4.3. Define $z_{2}\geqslant \max \{z_{1},z_{3}\}$ so large that for $t\geqslant z_{2}$ , we have $\unicode[STIX]{x1D70B}_{{\mathcal{P}}}(t)\leqslant 2\bar{\unicode[STIX]{x1D6FF}}({\mathcal{P}})\unicode[STIX]{x1D70B}(t)$ , and set $x_{0}=z_{2}^{1/\unicode[STIX]{x1D702}}$ . Proposition 4.3 and Lemma 4.4 imply that for $x\geqslant x_{0}$ , we have
where the implicit constants depend on $k$ and on $\#\unicode[STIX]{x1D6F4}$ .
It follows that there exists $\unicode[STIX]{x1D700}\in (0,1/2]$ , depending on $k$ and on $\#\unicode[STIX]{x1D6F4}$ , such that, when $\bar{\unicode[STIX]{x1D6FF}}({\mathcal{P}})\leqslant \unicode[STIX]{x1D700}$ , we have
This completes the proof of the theorem.◻
5 Proof of Theorems 1.2 and 1.3
Throughout the section, we assume that $f_{1},\ldots ,f_{k}$ are primitive forms of square-free levels (as defined in the beginning of § 1) of weights $\unicode[STIX]{x1D705}_{1},\ldots ,\unicode[STIX]{x1D705}_{k}$ respectively. We also fix, once and for all, distinct positive integers $\unicode[STIX]{x1D708}_{1},\ldots ,\unicode[STIX]{x1D708}_{k}$ satisfying $a_{f_{i}}(\unicode[STIX]{x1D708}_{i})\neq 0$ for $i=1,\ldots ,k$ . We will assume that $k\geqslant 2$ as otherwise we know that any non-zero primitive form has infinitely many non-zero Fourier coefficients (see Proposition 6.1). Set $K=\max \{\unicode[STIX]{x1D708}_{1},\ldots ,\unicode[STIX]{x1D708}_{k}\}$ .
5.1 An application of the Chinese remainder theorem
Proposition 5.1. Let $m\geqslant 1$ be such that
There exists a positive real number $c_{0}$ , depending on $K$ and $f_{1},\ldots ,f_{k}$ , such that for $m$ satisfying (5.1) we have
and
where $m_{i}$ is defined by
Proof. It follows from (5.1) and the definition of $K$ that each $m_{i}$ is coprime to $(2K)!$ . In particular,
Since $a_{f_{i}}(\unicode[STIX]{x1D708}_{i})\neq 0$ for $i=1,\ldots ,k$ , we may define
Hence, by multiplicativity, we have
and
This completes the proof of (5.2). Since $m\geqslant 2K$ , we have
and then, again by multiplicativity, one has
This completes the proof of (5.3).◻
5.2 Sieving and the Sato–Tate conjecture
Next we choose primes $p_{1}<\cdots <p_{k}$ with $p_{1}>2K$ such that
Existence of such primes is guaranteed by Propositions 2.1 and 2.2.
Let $\ell _{1},\ldots ,\ell _{k}$ be positive integers which will be specified later. We now impose on $m$ , besides (5.1), the conditions
Together with (5.1) this puts $m$ into an arithmetic progression modulo $A$ , where
Write $m=An+B$ , where $B<A$ is the smallest positive integer in this progression. Here, $n\geqslant 0$ is some non-negative integer. Then $m+\unicode[STIX]{x1D708}_{i}=\unicode[STIX]{x1D708}_{i}p_{i}^{\ell _{i}}(a_{i}n+b_{i})$ , where
are positive integers.Footnote 3 In particular, the numbers $m_{i}$ defined in (5.4) are given by
where $L_{i}(n)=a_{i}n+b_{i}$ .
Note that
In particular, it follows that the integers $a_{1},\ldots ,a_{k},b_{1},\ldots ,b_{k}$ defined in (5.10) satisfy (3.2) and (3.3). Moreover, setting
conditions (3.6) and (4.1) hold true as well, which allows us to apply our sieving Theorems 3.1 and 4.1. Using them and the Sato–Tate conjecture (as stated in Proposition 2.1), we obtain the following.
Proposition 5.2. There exists a positive number $c_{1}$ , depending on $K$ and on the forms $f_{i}$ such that there exist infinitely many positive integers $n$ with the following property:
Proof. Let $\unicode[STIX]{x1D702}$ and $\unicode[STIX]{x1D700}$ be as in Theorem 3.1 and Theorem 4.1 respectively. Both depend on $k$ and $\#\unicode[STIX]{x1D6F4}$ , but since $\#\unicode[STIX]{x1D6F4}=\unicode[STIX]{x1D70B}(2K)+k$ , this translates into dependence on $K$ .
Now let ${\mathcal{P}}_{\unicode[STIX]{x1D700}}$ be the set of prime numbers $p$ such that for some $i\in \{1,\ldots ,k\}$ we have $|\unicode[STIX]{x1D706}_{f_{i}}(p)|\leqslant \unicode[STIX]{x1D700}/k$ . Proposition 2.1 implies that its relative density is at most $\unicode[STIX]{x1D700}$ . Now Theorems 3.1 and 4.1 together imply that there exist infinitely many positive integers $n$ with the following properties.
(A) Each $L_{i}(n)$ is a square-free positive integer.
(B) For $i=1,\ldots ,k$ , every prime $p\mid L_{i}(n)$ satisfies $p\geqslant n^{\unicode[STIX]{x1D702}}$ .
(C) For $i=1,\ldots ,k$ , every prime $p\mid L_{i}(n)$ satisfies $|\unicode[STIX]{x1D706}_{f_{i}}(p)|>\unicode[STIX]{x1D700}/k$ .
After discarding finitely many numbers $n$ , item (B) implies that
- ( $\text{B}^{\prime }$ )
for $i=1,\ldots ,k$ , every prime $p\mid L_{i}(n)$ satisfies $p\geqslant L_{i}(n)^{\unicode[STIX]{x1D702}/2}$ .
Hence, each $L_{i}(n)$ has at most $2/\unicode[STIX]{x1D702}$ prime divisors. Write $L_{i}(n)=q_{1}\cdots q_{s}$ , where $s\leqslant 2/\unicode[STIX]{x1D702}$ and $q_{1},\ldots ,q_{s}$ are distinct prime numbers satisfying
The inequality on the right is by Deligne’s bound (2.3). By multiplicativity, we now obtain
This completes the proof.◻
Remark 5.3. Slightly modifying the above argument, one proves the following quantitative result: there exist $c_{2}>0$ (depending on $K$ ) and $x_{0}\geqslant 2$ (depending on $K$ , on the forms $f_{i}$ and on our choice of the primes $p_{i}$ and the exponents $\ell _{i}$ ) such that for $x\geqslant x_{0}$ the number of $n\leqslant x$ with the property (5.12) is at least $c_{2}x(\log x)^{-k}$ . The constant $c_{2}$ is effective, but $x_{0}$ is not, because it depends on a ‘quantitative’ form of the Sato–Tate conjecture, which is not known to be effective (to the best of our knowledge).
5.3 The exponents $\ell _{i}$
We now fix a small parameter $\unicode[STIX]{x1D6FF}>0$ (to be specified later) and define, in terms of this $\unicode[STIX]{x1D6FF}$ , our $\ell _{1},\ldots ,\ell _{k}$ .
Proposition 5.4. Let $\unicode[STIX]{x1D6FF}$ be a positive real number. Then there exist positive integers $\ell _{1},\ldots ,\ell _{k}$ such that
We start with an easy lemma.
Lemma 5.5. Let $f$ be a primitive form of weight $\unicode[STIX]{x1D705}$ , let $p$ be a prime number such that $\unicode[STIX]{x1D706}_{f}(p)\neq \pm 2$ , and let $\unicode[STIX]{x1D700}$ a positive real number. Then there exists a positive integer $\ell$ such that $|\unicode[STIX]{x1D706}_{f}(p^{\ell })|<\unicode[STIX]{x1D700}$ .
Proof. We may assume $\unicode[STIX]{x1D703}_{p}/\unicode[STIX]{x1D70B}\notin \mathbb{Q}$ as otherwise there is nothing to prove. Using (2.5), we know that
Since $\unicode[STIX]{x1D703}_{p}/\unicode[STIX]{x1D70B}\notin \mathbb{Q}$ , selecting $\ell$ suitably, we can make $|\sin ((\ell +1)\unicode[STIX]{x1D703}_{p})|$ as small as we please.◻
Corollary 5.6. Let $f,g$ be primitive forms of weights $\unicode[STIX]{x1D705},\unicode[STIX]{x1D70C}$ , respectively, and let $p,q$ be prime numbers. Also let $\ell ^{\prime }$ be a positive integer and $\unicode[STIX]{x1D6FF}$ be a positive real number. Assume that $\unicode[STIX]{x1D706}_{f}(p)\neq \pm 2$ and $a_{g}(q^{\ell ^{\prime }})\neq 0$ . Then there exists a positive integer $\ell$ such that
Proof. Apply Lemma 5.5 with $\unicode[STIX]{x1D700}=\unicode[STIX]{x1D6FF}|\unicode[STIX]{x1D706}_{g}(q^{\ell ^{\prime }})|$ .◻
Proof of Proposition 5.4.
Set $\ell _{k}=1$ and afterwards define $\ell _{k-1},\ldots ,\ell _{1}$ iteratively by applying Corollary 5.6 $(k-1)$ -times. The hypothesis of Corollary 5.6 is assured because of (5.6) and (5.7).◻
Remark 5.7. Using Baker’s theory of logarithmic forms, it is possible to prove that one can find suitable $\ell _{1},\ldots ,\ell _{k}$ effectively bounded in terms of $f_{1},\ldots ,f_{k}$ and $\unicode[STIX]{x1D6FF}$ . We do not go into details since we do not need this.
5.4 Conclusion
Now we are ready to prove Theorems 1.2 and 1.3. Let $c_{0}$ and $c_{1}$ be as in Proposition 5.1 and Proposition 5.2 respectively. Set $\unicode[STIX]{x1D6FF}=(c_{0}c_{1})^{2}/2$ and define the exponents $\ell _{1},\ldots ,\ell _{k}$ as in Proposition 5.4. (It is crucial here that $c_{0}$ and $c_{1}$ depend only on $K$ but not on the exponents $\ell _{i}$ .) Now if $n$ is one of the infinitely many positive integers satisfying property (5.12), then in the set-up of Theorem 1.2 the corresponding $m=An+B$ satisfies
as follows from (5.2), (5.11), (5.12) and (5.13). In the set-up of Theorem 1.3 it satisfies
as follows from (5.3) (with $f_{1}=\cdots =f_{k}=f$ ), (5.11)–(5.13). This completes the proof of Theorems 1.2 and 1.3.
Remark 5.8. As Remark 5.3 suggests, we actually obtain the following quantitative results: for sufficiently large $x$ , there is at least $cx(\log x)^{-k}$ positive integers $m\leqslant x$ with the property (1.3) and (1.4); here $c=c(K,f_{1},\ldots ,f_{k})>0$ is effective and ‘sufficiently large’ is not effective.
6 Proof of Theorem 1.4
In this section $k$ is a positive integer, and $f$ is a primitive form of square-free level, as defined in the beginning of § 1. We want to show that the three conditions (A), (B) and (C) are equivalent. We will assume that $k\geqslant 2$ as otherwise we know that any non-zero primitive form has infinitely many non-zero Fourier coefficients (see Proposition 6.1). Condition (C) trivially implies (B), and (B) implies (C) by putting
in Theorem 1.3.
The implication (B) $\Rightarrow$ (A) is easy. One readily sees that (1.7) is equivalent to the following:
We will check (6.1); let $p$ and $\ell$ be such that $p^{\ell }\leqslant k/2$ . Since $k\geqslant 2p^{\ell }$ , the set $\{\unicode[STIX]{x1D708}+1,\ldots ,\unicode[STIX]{x1D708}+k\}$ contains at least two consecutive multiples of $p^{\ell }$ and so one of them, say $\unicode[STIX]{x1D708}+h$ , is divisible by $p^{\ell }$ but not by $p^{\ell +1}$ . Since $a_{f}$ is multiplicative and $a_{f}(\unicode[STIX]{x1D708}+h)\neq 0$ , we have $a_{f}(p^{\ell })\neq 0$ .
We are left with the implication (A) $\Rightarrow$ (B). We deduce it from Theorems 3.1 and 4.1 with the help of the following lemma.
Lemma 6.1. Let $f$ be a primitive form of square-free level $N$ . For every prime number $p$ there exist infinitely many integers $\ell$ such that
Proof. If $p|N$ , then we know from the Atkin–Lehner theory that
as $N$ is square-free (see [Reference OnoOno04, p. 29]). We shall now only consider primes $p$ with $(p,N)=1$ . We shall indeed prove that among two consecutive non-negative integers $(\ell ,\ell +1)$ , at least one, say $\ell ^{\prime }$ , satisfies $a_{f}(p^{\ell ^{\prime }})\neq 0$ .
Our claim is true for $\ell =0$ since $a_{f}(1)=1$ . Let us assume (induction hypothesis) that it is true for a pair $(\ell ,\ell +1)$ .
If $a_{f}(p^{\ell +1})\neq 0$ , then our claim is true for the pair $(\ell +1,\ell +2)$ . On the other hand, if $a_{f}(p^{\ell +1})=0$ , then $a_{f}(p^{\ell })\neq 0$ by our induction hypothesis, and (2.2) implies that
Hence, our claim is again true for the pair $(\ell +1,\ell +2)$ . This proves the lemma.◻
Alternatively, it is possible to deduce the lemma from equations (2.5), (2.6) and (6.2); we leave the details to the reader.
Proof of the implication (A) $\Rightarrow$ (B).
We assume that (6.1) holds and want to find a positive integer $\unicode[STIX]{x1D708}$ such that (1.8) holds.
Since (6.1) is the same when $k=2h$ and $k=2h+1$ , namely $a_{f}(p^{\ell })\neq 0$ for $p^{\ell }\leqslant h$ , it is sufficient to consider the case when $k$ is odd, say $k=2h+1$ .
We define $\unicode[STIX]{x1D6F4}$ as the set of all primes $p\leqslant 2k$ and those finitely many primes $p$ for which $a_{f}(p)\neq 0$ but $a_{f}(p^{\ell })=0$ for some $\ell >1$ . By Lemma 6.1, to each $p\in \unicode[STIX]{x1D6F4}$ we may associate an integer $\ell _{p}$ such that
By the Chinese remainder theorem, one can find a positive integer $r$ such that
We will show that there exist infinitely many positive integers $m$ such that
where
If $m$ is any such integer, then, setting $\unicode[STIX]{x1D708}=r+Dm-h-1$ , we clearly obtain (1.8).
For $-h\leqslant j\leqslant h$ , we introduce the linear forms $L_{j}(m)=a_{j}m+b_{j}$ by
(There is no risk of confusing the Hecke eigenvalues $a_{f}(n)$ and the integers $a_{j}$ .) Let us first check that the $k$ linear forms $L_{j}$ satisfy the conditions of Theorems 3.1 and 4.1.
∙ By construction, for every $j$ , we have $a_{j}\neq 0$ and $\gcd (a_{j},b_{j})=1$ .
∙ For $i\neq j$ , we have $D(r+j)-D(r+i)=D(j-i)\neq 0$ . Since $a_{i}b_{j}-a_{j}b_{i}$ is a divisor of $D|j-i|$ , it is not $0$ .
∙ By construction, $a_{i}$ is a divisor of $D$ which has only prime divisors from $\unicode[STIX]{x1D6F4}$ .
∙ Similarly, $a_{i}b_{j}-a_{j}b_{i}$ is a divisor of $D|j-i|$ , where $D$ and $|j-i|\leqslant k$ have only prime divisors from $\unicode[STIX]{x1D6F4}$ .
∙ We finally have to verify that every $a_{j}$ is divisible by every prime in the set $\unicode[STIX]{x1D6F4}$ . Since $r\equiv p^{\ell _{p}}~\text{mod}~p^{\ell _{p}+1}$ and $p^{\ell _{p}}>k>h$ , we have $\operatorname{ord}_{p}(r+j)\leqslant \ell _{p}$ (where $\operatorname{ord}_{p}$ denotes the $p$ -adic valuation). Now since
$$\begin{eqnarray}\operatorname{ord}_{p}(a_{j})=\operatorname{ord}_{p}(D)-\operatorname{ord}_{p}(r+j)\end{eqnarray}$$and $p^{\ell _{p}+1}\mid D$ , we have $\operatorname{ord}_{p}(a_{j})\geqslant 1$ .
We can now apply Theorems 3.1 and 4.1, taking for the unwanted set of primes those which are not in $\unicode[STIX]{x1D6F4}$ and for which $a_{f}(p)=0$ . Thus, there exist infinitely many positive integers $m$ such that each of the $k$ numbers $L_{-h}(m),\ldots ,L_{h}(m)$ is square-free, not divisible by any prime from $\unicode[STIX]{x1D6F4}$ nor by any prime $p$ for which $a_{f}(p)=0$ . It follows that for such $m$ , we have
In order to prove that for these $m$ we have (6.6), it is enough to prove that
When $j=0$ , for any $p$ in $\unicode[STIX]{x1D6F4}$ we have $p^{\ell _{p}}\,\Vert \,r$ so that $p^{\ell _{p}}\,\Vert \,\gcd (D,r)$ . Since $a_{f}(p^{\ell _{p}})\neq 0$ by (6.3), we obtain $a_{f}(\gcd (D,r))\neq 0$ by multiplicativity.
If $j\neq 0$ , then, for $p\in \unicode[STIX]{x1D6F4}$ we have $\operatorname{ord}_{p}(j)<\ell _{p}$ because $p^{\ell _{p}}>k$ by (6.4). Hence $p^{\unicode[STIX]{x1D707}}\,\Vert \,\gcd (D,r+j)$ implies that $p^{\unicode[STIX]{x1D707}}\,\Vert \,j$ . It follows that $p^{\unicode[STIX]{x1D707}}\leqslant h\leqslant k/2$ , and our assumption (1.7) implies that $a_{f}(p^{\unicode[STIX]{x1D707}})\neq 0$ . By multiplicativity, this proves (6.7) for $j\neq 0$ as well.
The proof of the implication (A) $\Rightarrow$ (B) is now complete, and so is the proof of Theorem 1.4. ◻
Acknowledgements
The authors would like to thank the referee for her/his extremely careful reading and relevant suggestions which improved the exposition of the paper. F.L. worked on this paper during a visit to the Institute of Mathematics of Bordeaux as an ALGANT scholar in July 2011. He was partially supported by the ALGANT, by grant CPRR160325161141 and an A-rated scientist award both from the NRF of South Africa, by grant no. 17-02804S of the Czech Granting Agency and by IRN ‘GANDA’ (CNRS). Yu.B. was partially supported by the ALGANT, by the Indo-European Action Marie Curie (IRSES moduli) and by IRN ‘GANDA’ (CNRS). J.-M.D. was partially supported by the CEFIPRA project 5401-A, by the Indo-European Action Marie Curie (IRSES moduli) and by IRN ‘GANDA’ (CNRS). S.G. was visiting the Institute of Mathematics of Bordeaux as an ALGANT scholar in 2014 when she started working on this project. She acknowledges support by the ALGANT, a SERB grant and the DAE number theory plan project. During the final stage of preparation of this paper Yu.B. and J.-M.D. enjoyed hospitality of the Institute of Mathematical Sciences at Chennai. The authors thank Satadal Ganguly, Florent Jouve and Gérald Tenenbaum for helpful advice.