Abstract
We prove that given any \(\epsilon > 0\) and a primitive adelic Hilbert cusp form f of weight \(k=(k_1,k_2,\ldots ,k_n) \in (2 {\mathbb {Z}})^n\) and full level, there exists an integral ideal \({\mathfrak {m}}\) with \(N({\mathfrak {m}}) \ll _{\epsilon } Q_{f}^{9/20+ \epsilon } \) such that the \({\mathfrak {m}}\)-th Fourier coefficient of \(C_{f} ({\mathfrak {m}})\) of f is negative. Here n is the degree of the associated number field, \(N({\mathfrak {m}})\) is the norm of integral ideal \({\mathfrak {m}}\) and \(Q_{f}\) is the analytic conductor of f. In the case of arbitrary weights, we show that there is an integral ideal \({\mathfrak {m}}\) with \(N({\mathfrak {m}}) \ll _{\epsilon } Q_{f}^{1/2 + \epsilon }\) such that \(C_{f}({\mathfrak {m}}) <0\). We also prove that when \(k=(k_1,k_2,\ldots ,k_n) \in (2 {\mathbb {Z}})^n\), asymptotically half of the Fourier coefficients are positive while half are negative.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
This paper is concerned with a quantitative result on the study of signs of Fourier coefficients of Hilbert cusp forms. This theme of research has seen a lot of activity in the recent past; here we just recall the landmark result of Matomäki for elliptic Hecke cusp forms, which also sets the ground of our results to follow. Let \(Q_{f} \asymp k^2 N\) be the analytic conductor of an elliptic newform f of level N and weight k. Then it was proved in [8] that the first negative eigenvalue of f occurs at some \(n_0 \ge 1\) with \(n_0 \ll Q_{f}^{3/8}\). The method in [8] is based on further refinement of that in [5] wherein a variety of results on statistical distribution of signs of Fourier coefficients of newforms were studied.
In the case of Hilbert newforms of arbitrary weight and level, the only known result seems to be the work of Meher and Tanabe (see [10, Theorems 1.1, 1.2]). To describe their result let us introduce the following notation. Let F be a totally real number field of degree n associated with the adelic Hilbert newform f. Let \(\{ C({\mathfrak {m}}) \}_{{\mathfrak {m}}}\) denote the Fourier coefficients of f, indexed by the integral ideals \({\mathfrak {m}}\), and \(Q_{f}\) denote the analytic conductor of f (see next section for the definition). Then in [10] it is shown that the sequence \(\{C({\mathfrak {m}})\}_{m}\) changes sign infinitely often and more quantitatively the main result of [10] states that there exists an integral ideal \({\mathfrak {m}}\) with
such that \(C({\mathfrak {m}}) <0\), where \(N({\mathfrak {m}})\) is the norm of integral ideal \({\mathfrak {m}}\). One of the aims of this paper is to improve upon this result. Our main result is the following.
Theorem 1.1
Let f be a Hilbert newform of weight \(k=(k_1,k_2,\ldots ,k_n)\) and full level. Let \(C({\mathfrak {m}})\) denote the Fourier coefficient of f at the ideal \({\mathfrak {m}}\). Then for any arbitrary \(\epsilon >0\),
-
(i)
when \(k_1,k_2,\ldots ,k_n\) are all even, we have \(C({\mathfrak {m}})<0\) for some ideal \({\mathfrak {m}}\) with
$$\begin{aligned} N({\mathfrak {m}}) \ll _{n, \epsilon } Q_{f}^{\frac{9}{20}+ \epsilon }; \end{aligned}$$ -
(ii)
otherwise we have \(C({\mathfrak {m}})<0\) for some ideal \({\mathfrak {m}}\) with
$$\begin{aligned} N({\mathfrak {m}}) \ll _{n, \epsilon } Q_{f}^{\frac{1}{2}+ \epsilon }. \end{aligned}$$
The bound in the case (i) is stronger as the Ramanujan conjecture is known in this case but it does not seem to be so in case (ii).
The main difference in our approach with that in [10] is that instead of using the bound \(|{\widetilde{C}}({\mathfrak {p}}) | + |{\widetilde{C}}({\mathfrak {p}}^2)| \ge 1/2\) (see [10, Prop 4.5]) for certain ‘good’ primes \({\mathfrak {p}}\), we work directly with the Hecke relation \({\widetilde{C}}({\mathfrak {p}})^2 -{\widetilde{C}}({\mathfrak {p}}^2)=1\) (see [16, 2.23]), where
Like other results available in the topic, we consider upper and lower bounds of a suitable weighted partial sum of normalized Fourier coefficients \({\widetilde{C}}({\mathfrak {m}})\):
Using the convexity principle for automorphic L-functions and Perron’s formula (see e.g. [4, Chapter 5]) we get an upper bound of S(f, x) in terms of \(Q_{f}\) and x. For the lower bound of S(f, x) in the first case of Theorem 1.1, we adopt a method similar in the spirit of [5, Theorem 1]. The introduction of the weighted \(\log \) in (1.1) is necessary to deal with convergence issues while working with the Perron’s formula, unlike the case in [5]. To find a lower bound, we work with
and recover a corresponding lower bound of S(f, x) by partial summation.
In the second result of this paper, we extend Theorem 1.1 of [9] to the case of primitive Hilbert cusp forms. The method used here relies upon that in [9, Theorem 1.1].
Theorem 1.2
Let \(k_1, k_2,\ldots ,k_n\) be all even and f be an adelic Hilbert newform of weight \(k=(k_1,k_2,\ldots ,k_n)\) and full level. Then one has
The restriction of the weight in Theorem 1.2 is due to the use of Sato–Tate Theorem [1, pp. 1–6], which is available in the case when all of \(k_1, k_2,\ldots , k_n\) are even. We also make a note of the fact that our proofs of both Theorems 1.1 and 1.2 can be generalized to an arbitrary fixed level \({\mathfrak {n}}\) and would get the same result. For simplicity we restrict ourselves to the case of full level.
2 Notation and preliminaries
The setting of the paper is as follows (see [16] for detailed discussion): let F be a totally real number field of degree n and \({\mathcal {O}}_{F}\) be the ring of integers of F. Throughout this paper, the integral ideals and prime ideals of F will be denoted by gothic symbols like \({\mathfrak {m}}\) and \({\mathfrak {p}}\), respectively. We will denote the set of all integral ideals and prime ideals of F by \({\mathcal {I}}\) and \({\mathcal {P}}\), respectively. Let h be the narrow class number of F and \(\{c_{\nu }:= t_{\nu } {\mathcal {O}}_{F}\}_{1}^{h}\) be the complete set of representatives of the narrow class group, with \(t_{\nu }\) being finite ideles. Let \({\mathcal {D}}_{F}\) be the different ideal of F. For each \(c_{\nu }\) consider the following subgroup of \(GL_{2}(F)\):
A classical Hilbert cusp form \(f_{\nu }\) of weight \((k_1,k_2,\ldots , k_n)\) on \(\Gamma (c_{\nu } {\mathcal {D}}_{F}, {\mathcal {O}}_{F})\) has the following Fourier expansion:
To talk about newforms, following [16], we associate an h-tuple \((f_{1},f_{2},\ldots ,f_{h})\) to an adelic Hilbert cusp form f. Recall that f is associated with an automorphic form on \(GL_{2}({\mathbb {A}}_{F})\), where \({\mathbb {A}}_{F}\) is the adele ring of F and the Fourier coefficients \(\{C({\mathfrak {m}}) \}_{{\mathfrak {m}}}\) of f are given by the following relation (see [16, Eqs. 2.17, 2.22])
where \({\mathfrak {m}}=\eta c_{\nu }^{-1}\) for a unique \(\nu \) and some totally positive element \(\eta \) in F. The Hecke theory for adelic Hilbert newforms (sometimes referred to as primitive forms) was established by Shimura in [16]. When f is an adelic Hilbert newform, usually one has the normalization \(C({\mathcal {O}}_{F}) = 1\) (see [16, p. 650]), which we would assume throughout this paper.
2.1 General notation
Suppose \( h(x) >0\) is defined on a subset B of \({\mathbb {R}}\) and let g(x) be such that \(g(x): B \mapsto {\mathbb {R}}\). Whenever we write \(g(x) \ll h(x)\) or \(g(x) = O(h(x))\) or \(g(x) \ll _\epsilon h(x)\), it will always mean that
in the last case M may depend on \(\epsilon \). Let \(u(x), v(x) : {\mathcal {B}} \mapsto {\mathbb {R}}\), where \({\mathcal {B}} \) is a subset of \({\mathbb {R}}\). The notations \(u(x)= o(v(x))\) or \(u(x) \sim v(x)\), respectively, mean that
Whenever we use \(\sum ^{\#}\), it will always signify that the summation is restricted to squarefree integral ideals.
2.2 L-function of an adelic Hilbert newform
Let f be an adelic Hilbert newform of weight \((k_1,k_2,\ldots , k_n)\) and full level. Let \(\{C({\mathfrak {m}})\}_{{\mathfrak {m}}}\) denote its Fourier coefficients. Then the normalized L-function attached to f is an absolutely convergent Dirichlet series for \(\mathfrak {R}s >1\) (see [14, Sect. 4.4] for the details of this subsection), given by
where \({\mathcal {I}}\) and \({\widetilde{C}}({\mathfrak {m}})\) are same as defined before. It is well known that L(s, f) admits an Euler product:
and it can be analytically continued to the whole complex plane \({\mathbb {C}}\). Let us put
The completed L-function \(\Lambda \) is then defined by
which satisfies the functional equation
2.3 Analytic conductor
With the given data in the previous subsection we define the analytic conductor at \(s= 1/2\) (here we follow [4, Chapter 5], where these objects are defined for a more general L-function) \(Q_{f}\) of L(f, s) (or f for brevity) as
3 Proof of Theorem 1.1
Let f be as in Theorem 1.1. Let \(y>0\) be such that for all \({\mathfrak {m}} \in {\mathcal {I}}\) with \(N({\mathfrak {m}}) \le y\) we have \(C({\mathfrak {m}}) \ge 0 \). We will estimate y in terms of \(Q_{f}\) with an implied absolute constant (hence we may assume y to be bigger than some absolute constant at some appropriate place) from the comparison of upper and lower bounds of the sum (for a suitable \(x= y^{\theta }\) for some \(\theta \) to be specified later)
3.1 Upper bound
First let us recall a convexity bound result (see [13, Lemma 3.7]): let \(\epsilon >0\) be arbitrary and \( 0< \sigma < 1\), where \(s= \sigma +it\). Then we have
From Perron’s formula we get
Here (2) in the limit of the integral means the contour of the integral is \(\mathfrak {R}s= 2\). Using (3.1) it is clear that the integral is absolutely convergent for \(\mathfrak {R}s \ge \frac{2n}{2n+1}\). So we shift the line of integration to \(\sigma = \frac{2n}{2n+1} \) (horizontal integrals do not contribute owing to (3.1)). Further using (3.1) we obtain the estimate
3.2 Lower bound
Let us recall the function T(f, x) defined in the introduction:
In this subsection we will find a lower bound of T(f, x) for some suitable x. At this point let us recall the following result about the coefficients \({\widetilde{C}}({\mathfrak {m}})\) (see [16, Eq. 2.23]): for any unramified prime ideal \({\mathfrak {p}}\) (i.e. \({\mathfrak {p}} \not \mid {\mathcal {D}}_{F}\)), one has the Hecke relation
Hence for all unramified primes \({\mathfrak {p}}\) satisfying \(N({\mathfrak {p}})\le y^{\frac{1}{2}}\), we have \({\widetilde{C}}({\mathfrak {p}}) \ge 1\). Following [5] let us introduce an auxiliary multiplicative function \(h\equiv h_y : {\mathcal {I}} \rightarrow {\mathbb {R}}\) defined by
and \(h_y({\mathfrak {p}}^v)=0\) for \(v\ge 2\). Recall that for adelic Hilbert newforms of weight \((k_1, k_2,..., k_n) \in (2 {\mathbb {Z}})^{n}\), by the Ramanujan–Petersson bound one has \(|{\widetilde{C}}({\mathfrak {p}})| \le 2\) (see [2, Theorem 1]). We will now prove the following lemma for further use (see [5, Lemma 2.1] for the case when \(F= {\mathbb {Q}}\)).
Lemma 3.1
For any \(\epsilon >0\), we have
uniformly for \(1 \le u \le \frac{3}{2}\), where \(\zeta _F\) is the Dedekind zeta function, \(c_F\) is the residue \(\zeta _F\) at the pole \(s=1\) and \(\rho (u)\) is the Dickman function, defined as the unique continuous solution of the difference-differential equation
Proof
For \({\mathfrak {m}} \in {\mathcal {I}}\) define
We also define
For \(1 \le u \le 3/2\), from the definition of \(h_{y}\) we get,
Here the sign \(\#\) signifies that the sum is taken over squarefree integral ideals. Let us first estimate the second term of (3.7). We state the following result whose proof is given after this lemma.
where \(c_F\) is the residue of the Dedekind zeta function \(\zeta _F\) at the pole \(s=1\). For the second term of the right-hand side of (3.7), arguing exactly as in [5, pp. 8–9] gives an upper bound
For (3.9) we have also used the fact (see [6, Proposition 2]) that
where B is a constant depending only on F.
The first term in (3.7) is given by the following (the proof is given after this lemma):
Thus the Lemma 3.1 follows from (3.9) and (3.11). \(\square \)
The proofs of the two results that we used in Lemma 3.1 are verbatim with the case of integers (i.e. \({\mathcal {O}}_{F}= {\mathbb {Z}}\)). However for convenience we will give the proofs here.
Proposition 3.2
With the notations as given above, one has
Proof
The Möbius function \(\mu : {\mathcal {I}} \mapsto \{1,0,-1 \}\) is defined by \(\mu ({\mathfrak {p}})=-1\), \(\mu ({\mathfrak {p}}^v)=0\) for \(v \ge 2\) on \({\mathcal {P}}\) and extended multiplicatively to \({\mathcal {I}}\). It satisfies the usual properties
where \(\zeta _{F}\) is the Dedekind zeta function. From [12, Theorem 11.1.5] we write (please see the remark after this proof)
Now we calculate
For the last equation we have used the fact that
\(\square \)
Remark
The error term above is actually of the magnitude \(x^{1-\frac{1}{n}}\) (for e.g. see [12, Theorem 11.1.5]). However this error term bound will not benefit us because of the error term in the next result is of the magnitude \(\frac{x}{\log x}\).
Proposition 3.3
With the notations as given above, one has
Proof
From [11, Lemma 4.1], for \(0<\delta <1\) one has
Now arguing as in the previous proposition we get
Now we put the estimate of (3.13) in the right-hand side of the last equation and the rest of the proof would follow exactly same as in [3, pp. 190–191] where he has proved the same result in the case of integers (i.e. \({\mathcal {O}}_{F}= {\mathbb {Z}}\)). From here [3] used certain properties of the Dickman function \(\rho \) and \(\mu \) function, which are same as in this case (including the \(\mu \) function). \(\square \)
It is clear from Lemma 3.1 that whenever \(\rho (2u)- 2 \log u > 0\) and y is large enough, one has \(\sum _{N({\mathfrak {m}}) \le y^u } h_y({\mathfrak {m}}) > 0\). It is known from [5] that \(\rho (2u)- 2 \log u > 0\) for all \(u< \kappa \), where \(\kappa \) is the solution of the equation \(\rho (2u)= 2 \log u\) and \(\kappa > \frac{10}{9}\).
Lemma 3.4
Let f be a primitive form of weight \((k_1,k_2,\ldots ,k_n) \in (2 {\mathbb {Z}})^n\). Then for any fixed u with \(1 \le u < \kappa \), we have
Proof
Let \(g_{y}: {\mathcal {I}} \rightarrow {\mathbb {R}}\) be the multiplicative function defined by the Dirichlet convolution identity
Hence for any prime ideal \({\mathfrak {p}}\), from the definition of \(h_y\) we have
By multiplicativity \(g_{y}({\mathfrak {m}}) \ge 0\) for any squarefree integral ideal \({\mathfrak {m}}\). Hence for \(u < \kappa \) (so that by the discussion after Lemma 3.1, one has \(\sum _{N({\mathfrak {m}})\le y^{u}} h_{y}({\mathfrak {m}}) > 0\)), we have
The last inequality follows from the fact that every term on the left-hand side of the inequality is positive and \(g_y ({\mathcal {O}}_{F})= 1.\) \(\square \)
Lemma 3.5
Let f be a primitive form of weight \((k_1,k_2,\ldots ,k_n) \in (2 {\mathbb {Z}})^n\). Then for any fixed u, with \(1 \le u < \kappa \), one has
Proof
We have
where \(a(n):= \sum _{N({\mathfrak {m}})=n} {\widetilde{C}}({\mathfrak {m}})\). Now using the Abel-summation formula one has
Now using Lemma 3.4 and the fact that \(T(f,t)\ge 0\) for \(1 \le t \le y\), the lemma follows immediately. \(\square \)
3.3 Proof of Theorem 1.1
-
(i)
When \((k_1,k_2,\ldots ,k_n) \in (2 {\mathbb {Z}})^n \), putting \(u=\frac{10}{9}\), i.e. \(x= y^{\frac{10}{9}}\) and using the comparison of the upper and the lower bounds of \(S(f,y^\frac{10}{9})\) from (3.2) and Lemma 3.5, we have
$$\begin{aligned} y \ll _{n, \epsilon } Q_{f}^{\frac{9}{20}+ \epsilon }. \end{aligned}$$ -
(ii)
For any other weight, note that for \(x \le y\), one has
$$\begin{aligned} S(f,x)= \sum _{N({\mathfrak {m}}) \le x} {\widetilde{C}}({\mathfrak {m}})\log (\frac{x}{N({\mathfrak {m}})}) \gg \sum _{N({\mathfrak {m}}) \le \frac{x}{2}} {\widetilde{C}}({\mathfrak {m}}). \end{aligned}$$We put \(x=y\). Now for \(N({\mathfrak {p}}) \le y^{1/2}\), one has \({\widetilde{C}}({\mathfrak {p}}) \ge 1\). It implies that
$$\begin{aligned} \underset{N({\mathfrak {m}}) \le \frac{y}{2}}{\sum }{\widetilde{C}}({\mathfrak {m}}) \gg \underset{N({\mathfrak {m}}) \le {\frac{y}{2}}}{ \sum {^{\#}}} {\widetilde{C}}({\mathfrak {m}})= \psi ^{\#} \left( \frac{y}{2}, \left( \frac{y}{2}\right) ^{\frac{1}{2}}\right) \gg y, \end{aligned}$$where the last inequality follows from (3.11). Now comparing the upper and the lower bounds of S(f, y), we get
$$\begin{aligned} y \ll _{n, \epsilon } Q_{f}^{\frac{1}{2}+ \epsilon }. \end{aligned}$$
4 Proof of Theorem 1.2
The idea of the proof of Theorem 1.2 is based on the work of Matomäki and Radziwiłł, who proved the result in the case of elliptic newforms of full level and weight (see [9]). The following lemma will be useful to prove Theorem 1.2.
Lemma 4.1
Let \(K,L : {\mathbb {R}}^{+} \rightarrow {\mathbb {R}}^{+} \) be such that \(K(x) \rightarrow 0\) and \(L(x) \rightarrow \infty \) for \(x \rightarrow \infty \). Let \(g : {\mathcal {I}} \rightarrow \{-1,0,1\} \) be a multiplicative function such that for every \(x \ge 2\) and \({\mathfrak {p}} \in {\mathcal {P}}\),
Then one has
where \(c_{F}\) is residue of \(\zeta _F\) at the pole \(s=1\).
To prove Lemma 4.1 we need two other lemmas about the mean value of the function g, which is defined by
where \(N(x; {\mathcal {O}}_{F})\) is the cardinality of integral ideals with norm less than or equals to x. Those two lemmas (i.e. Lemmas 4.4, 4.5) are immediate consequences of certain results proved in [7] on the topic of arithmetic semigroups (an example is the set of integral ideals \({\mathcal {I}}\) ). For the convenience of reading let us rewrite those results by taking the semigroup to be \({\mathcal {I}}\) (see [7, Corollary 4.4, Theorem 6.3]). These results would be used further.
Theorem 4.2
Let \(h: {\mathcal {I}} \rightarrow {\mathbb {R}}\) be a multiplicative function bounded by 1. Then the mean value M(h) exists. In particular if the series
diverges, then M(h) vanishes to zero.
Theorem 4.3
Let \(h: {\mathcal {I}} \rightarrow {\mathbb {C}}\) be a multiplicative function bounded by 1. Further assume that
Then M(h) exists and
Theorems 4.2 and 4.3 follows from [7, Theorem 6.3], [7, Corollary 4.4], respectively.
Lemma 4.4
When g is as given in Lemma 4.1, M(g) exists and is equal to zero.
Proof
From the hypothesis of Lemma 4.1, we note that \(\sum _{{\mathfrak {p}} \in {\mathcal {P}}} \frac{1-g({\mathfrak {p}})}{N({\mathfrak {p}})} \) diverges. It follows from the fact that
Now the lemma immediately follows directly from Theorem 4.2. \(\square \)
The next lemma concerns about the mean value of a non-negative multiplicative function on \({\mathcal {I}}\). It is an obvious consequence of Theorem 4.3. We omit the proof.
Lemma 4.5
Let \(l :{\mathcal {I}} \rightarrow [0,1]\) be a multiplicative function such that \(\sum _{{\mathfrak {p}} \in {\mathcal {P}}} \frac{1-l({\mathfrak {p}})}{N({\mathfrak {p}})}\) converges. Then \(M(l)= \prod _{{\mathfrak {p}} \in {\mathcal {P}}} (1-\frac{1}{N({\mathfrak {p}})}) (1+\frac{| l({\mathfrak {p}}) |}{N({\mathfrak {p}})}+\frac{{| l({\mathfrak {p}}^{2}) |}}{N({\mathfrak {p}})^2}+ \cdots )\) exists.
Proof of Lemma 4.1
Recall that \(N(x; {\mathcal {O}}_{F}) \sim c_{F}x\) (see [12, Theorem 11.1.5]). From Lemma 4.4 we get
Note that from the hypothesis of Lemma 4.1, |g| satisfies the conditions of Lemma 4.5. It follows from the fact that
So putting \(l({\mathfrak {m}})= | g({\mathfrak {m}}) |\) we get from Lemma 4.5 that
Now since g takes only three values \(\{-1,0,1\}\), one has
and
Hence the Lemma 4.1 follows from (4.1) and (4.2). \(\square \)
Lemma 4.1 leads us to the following result.
Lemma 4.6
Let \(K,L : {\mathbb {R}}^{+} \rightarrow {\mathbb {R}}^{+} \) be such that \(K(x) \rightarrow 0\) and \(L(x) \rightarrow \infty \) for \(x \rightarrow \infty \). Let \(j : {\mathcal {I}} \rightarrow {\mathbb {R}}\) be a multiplicative function such that for every \(x \ge 2\) and \({\mathfrak {p}} \in {\mathcal {P}}\),
Then one has
where \(s({\mathfrak {m}})\) is 0 or 1 according as \(j({\mathfrak {m}})=0\) or \(j({\mathfrak {m}}) \ne 0\).
Proof
This is obvious by applying Lemma 4.1 to the multiplicative function which takes value 0 when j is 0 and takes value \(\frac{j({\mathfrak {m}})}{| j({\mathfrak {m}}) |}\) otherwise. \(\square \)
We would need the following lemma to apply Lemma 4.6 to prove Theorem 1.2.
Lemma 4.7
Let f be a primitive adelic Hilbert cusp form of weight \((k_1, k_2,\ldots ,k_n) \in (2 {\mathbb {Z}})^{n}\) and full level. Let \({C({\mathfrak {m}})}\) denote its Fourier coefficients. Then one has
diverges.
Proof
The first result follows immediately from [15, pp. 162–163]. For the second case, from the Sato–Tate theorem one has \(C({\mathfrak {p}}) < 0\) for a positive proportion of prime ideals in \({\mathcal {P}}\), when they are counted according to their norms (see [1, pp. 1–6]). We recall from (3.10) that
The right-hand side diverges. To prove the theorem consider the sum
Now the term \(\frac{1}{N({\mathfrak {p}})}\) is decreasing in the sense that the norms are increasing. So if we consider any set positive proportion of primes with their norms within \([x,e^x]\) and restrict the above sum in this set, the right-hand side would still diverge. Hence the second result follows. \(\square \)
Proof of Theorem 1.2
Lemma 4.7 implies that we can put \(j({\mathfrak {m}})=C({\mathfrak {m}})\) in Lemma 4.6 and hence the theorem follows. \(\square \)
References
Barnet-Lamb, T., Gee, T., Geraghty, D.: The Sato–Tate conjecture for Hilbert modular forms. J. Am. Math. Soc. 24, 411–469 (2011)
Blasius, D.: Hilbert Modular Forms and the Ramanujan Conjecture. Noncommutative Geometry and Number Theory, pp. 35–56. Springer, New York (2006)
Ivić, A.: On squarefree numbers with restricted prime factors. Stud. Sci. Math. Hung. 20, 189–192 (1985)
Iwaniec, H., Kowalski, E.: Analytic Number Theory. American Mathemaical Society, Colloquium Publications, Providence (2004)
Kowalski, E., Lau, Y.K., Soundararajan, K., Wu, J.: On modular signs. Math. Proc. Camb. Philos. Soc. 149, 389–411 (2010)
Lebacque, P.: Generalized Merten’s and Brauer–Siegel theorems. Acta Arith. 130, 333–350 (2007)
Lucht, L.G., Reifenrath, K.: Mean value theorems in arithmetic semigroups. Acta Math. Hung. 93(1–2), 27–57 (2001)
Matomäki, K.: On signs of Fourier coefficients of cusp forms. Math. Proc. Camb. Philos. Soc. 152, 207–222 (2012)
Matomäki, K., Radziwiłł, M.: Sign changes of Hecke eigenvalues. Geom. Funct. Anal. 25, 1937–1955 (2015)
Meher, J., Tanabe, N.: Sign changes of Fourier coefficients of Hilbert modular forms. J. Number Theory. 145, 230–244 (2014)
Moree, P.: An interval result for the number field \(\psi (x, y)\) function. Manuscr. Math. 76, 437–450 (1992)
Murty, M.R.: Problems in Algebraic Number Theory, 2nd edn. Springer, New York (2005)
Qu, Y.: Linnik type problems for automorphic L-functons. J. Numb. Theory 130, 786–802 (2010)
Raghuram, A., Tanabe, N.: Notes on the arithmetic of Hilbert modular forms. J. Ramanujan Math. Soc. 26, 261–319 (2011)
Serre, J.P.: Quelques applications du theoreme de densite de Chebotarev. Publications mathematiques de l’I.H.E.S., tome 54, 123–201 (1981)
Shimura, G.: The special values of the zeta functions associated with Hilbert modular forms. Duke Math. J. 45, 637–679 (1978)
Tenenbaum, G.: Introduction to Analytic and Probabilistic Number Theory, Cambridge Studies in Advanced Mathematics 46. Cambridge University Press, Cambridge (1995)
Acknowledgements
The author thanks Prof. Soumya Das for many valuable discussions and suggestions. He also thanks NBHM for the financial support and IISc, Bengaluru, where this work was done.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Pal, R. On the signs of Fourier coefficients of Hilbert cusp forms. Ramanujan J 53, 467–481 (2020). https://doi.org/10.1007/s11139-019-00206-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11139-019-00206-4