Abstract
Extending the approach of Iwaniec and Duke, we present strong uniform bounds for Fourier coefficients of half-integral weight cusp forms of level N. As an application, we consider a Waring-type problem with sums of mixed powers.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
A positive, integral, symmetric \(k \times k\) matrix A with even diagonal elements gives rise to a quadratic form \(q(x):= \frac{1}{2} x^{t} A x\). It is a central problem of number theory to study the representation function
One way to do so is by examining the theta series
which is a modular form of (generally) half-integral weight of level N, where N is the level of q. To understand r(q, n), decompose \(\theta (q,z)\) into an Eisenstein series and a cusp form. To treat the cusp form contribution, one may apply the results from the late eighties from Iwaniec [7], Duke [3] and Duke–Schulze-Pillot [4]. Let \(f(z) = \sum _{n \ge 1} a(n)e(nz)\) be a holomorphic cusp form of half-integral weight \(k/2,\,k\ge 3\) for the group \(\Gamma = \Gamma _0(N)\), normalised with respect to
Then, it was shown in [3, 7] that, for squarefree n,
The aim of this paper is threefold: we extend the bound (2) to arbitrary n, we include forms of level N with arbitrary nebentypus and improve the bound with respect to N. For the second point we need to bear in mind that the Weil–Estermann bound does not necessarily hold for twisted Kloosterman sums for prime power moduli (cf. [10, Example 9.9]). The main strategy follows the work of Duke and Iwaniec [3, 7] with the extensions of Blomer [1].
Let U be the subspace of theta functions of \(S_{3/2}(N,\chi )\) of type \(\sum _{n \ge 1} \psi (n) n e(tn^2z)\) for some real character \(\psi \) and 4t|N, so that for all \(f \in U^{\bot }\) the Shimura lift of f is cuspidal. If d divides a power of x, we write \(d | x^{\infty }\), and we denote the squarefree kernel by \( rad (n)\).
Theorem 1
Fix an orthonormal basis \(\{\varphi _{j}=\sum _{n\ge 1} a_{j}(n) e(nz)\}_{j=1}^{d}\) of \(S_{k/2}(N,\chi )\) for odd \(k \ge 5\) and of \(U^{\bot }\) for \(k=3\). Then it holds for \(n= t v^2 w^2\) with t squarefree, \(v | N^{\infty }\), \((w,N)=1\) and quadratic \(\chi \) that
For arbitrary \(\chi \), the last term within the bracket changes to \(\frac{v (n,N)}{N } \left( c_{\chi } rad (c_\chi ) \right) ^{1/4}\), where \(c_\chi \) is the conductor of \(\chi \).
Theorem 1 is ultimately based on Iwaniec’s method of bounding sums of half-integral weight Kloosterman sums. By a very different approach, based on Waldspurger’s theorem and subconvexity, one can bound \(a_j(n)\) by \(\mathcal {O}(n^{k/4-5/16})\) cf. [2, Corollary 2] which is slightly better in terms of n. However, the implied constant depends quite strongly on N. For many applications involving families of cusp forms, such as the one presented below, Theorem 1 leads therefore to stronger results.
We singled out the case of quadratic \(\chi \) because this is the relevant case for quadratic forms and the main application that we proceed to present. It has been investigated by Wooley [21] under which conditions on the exponents \(k_j,\, j=1,\ldots ,t\) the Diophantine equation
has solutions for all sufficiently large n. His proof is based, among other things, on a result of Golubeva [5, Theorem 2] which we can improve by Theorem 1 as follows.
Theorem 2
Let \(P\ne 3\) be an odd prime, \((n,6P)=1\) and \(n=tv^2\) with t squarefree. Then
is solvable for \((x,y,z) \in {\mathbb N}^{3}\) if \(P^{1+{\epsilon }} \le \mathrm {min}(n^{1/17}v^{12/17},n^{1/11}v^{6/11},n^{1/3})\). This holds, in particular, if \(nv^{28/3}>P^{17 + {\epsilon }}\).
In [5], the bound is \(nv^{12} > P^{21+{\epsilon }}\). For \(k_i \in {\mathbb N}\) and \(2 \le k_1 \le \ldots \le k_t\) set
Theorem 3
Assume the Riemann hypothesis for all L-functions associated with Dirichlet characters. Then, provided that \(\gamma (k) < \frac{28}{39}\), all sufficiently large numbers n are represented in the form of (3). The same conclusions hold without the assumption of the Riemann hypothesis if
-
1.
\(t \ge 2\) and \(\tilde{\gamma }(k) < \frac{58}{81}\) or
-
2.
\(\gamma (k) < \frac{58}{81}\) and the exponents \(k_1,\ldots ,k_t\) are not all even.
The original bounds in [21, Theorem 1.2] are \(\gamma (k) < 12/17\) with the assumption of the Riemann hypothesis, \(\tilde{\gamma }(k) < 74/105\) for (i) and \(\gamma (k) < 74/105\) for (ii). As a consequence, it follows that every sufficiently large number n is represented in the form
with odd \(t \le 81\), or in the form
if the truth of the Riemann hypothesis is assumed.
2 Shimura’s lift and Maaß forms
We follow the exposition of [1]. For \(0 \ne z \in {\mathbb C}\) and \(v \in {\mathbb R}\) define \(z^v\) by
For a holomorphic function on the upper half plane \(f: {\mathbb H}\rightarrow {\mathbb C}\) and \(\gamma = \begin{pmatrix} a &{} b \\ c &{} d \end{pmatrix} \in \Gamma _0(4)\) set
where \(\left( \frac{c}{d} \right) \) is the extended Kronecker symbol (cf. [19, p. 442]) and \({\epsilon }_d = \left( \frac{-1}{d} \right) ^{1/2}\). From now on, \(\chi \) will always denote a character mod N and 4|N. For odd k, we denote the spaces of modular forms and cusp forms of half-integral weight k / 2 for \(\Gamma _0(N)\) and transformation behaviour \(f|[\gamma ]_{k/2}(z) = \chi (d) f(z)\) by \(M_{k/2}(N,\chi )\) and \(S_{k/2}(N,\chi )\). For \(f,g \in S_{k/2}(\Gamma , \chi ) \), the inner product is defined by (1). For \((n,N) =1\), let \(T(n): M_k(N,\chi ) \rightarrow M_k(N,\chi )\) be the Hecke operator (cf. [11, Chapter 4.3]).
For \(f=\sum _{n \ge 1} c(n)e(nz) \in S_{k/2}(N,\chi )\), \(k \ge 3\) odd, \(\varepsilon =(-1)^{(k-1)/2}\) and t without square factors (other than 1) prime to N, define \(C_t(n)\) by the formal identity
Then \(F_t(z) = \sum _{n=1}^{\infty } C_t(n) e(nz) \in M_{k-1}(N/2,\chi ^{2})\) is called the t-Shimura lift. If f is an eigenform for all Hecke operators \(T(p^2),~p \not \mid N\) with eigenvalues \(\lambda _p\), then \(F_t\), if it is not equal to 0, is an eigenform for all \(T_p, p \not \mid N\) with the same eigenvalues, and it holds for \((n,N)=1\) that [19, Corollary 1.8]
There exists an orthonormal basis of \(U^{\bot }\) and of \(S_{k/2}(N,\chi ), k \ge 5\), of simultaneous eigenforms for all \(T(p^2), p \not \mid N\). Consequently, if the t-Shimura lift of f is cuspidal, it follows by Deligne’s bound for integral-weight modular forms for \((w,N)=1\) that
For \(k \ge 5\) the Shimura lift is always cuspidal. However, for \(k=3\) the t-Shimura lift is cuspidal for all squarefree t if and only if \(f \in U^{\bot }\), i.e. f does not live in the subspace of theta functions.
The theory of Maaß forms with general weights was introduced by Selberg [18]. For \(\gamma \in \Gamma _0(4)\) and \(k \in {\mathbb Z}\) set
We call a function \(f:~ {\mathbb H}\rightarrow {\mathbb C}\) an automorphic form of weight k / 2 if it satisfies for all \( \gamma \in \Gamma \) the transformation rule
and \(f(z) \ll y^{\sigma } + y^{1-\sigma }\) for some \(\sigma >0\). A Maaß form is an automorphic form that is an eigenfunction of
with eigenvalue \(\lambda = s (1-s)\). We denote the space of such forms by \(\mathcal {A}_s(\Gamma {\setminus } {\mathbb H},k/2,\chi ).\) Their inner product is defined by
Every form f in \(\mathcal {A}_s(\Gamma {\setminus } {\mathbb H},k/2,\chi )\) has a Fourier expansion at the cusp \(\infty \) given by
where \(W_{\alpha ,\beta }(z)\) denotes the standard Whittaker function [12, p. 295]. If the zero coefficient of \(f \in \mathcal {A}_s(\Gamma {\setminus } {\mathbb H},k/2,\chi ) \) vanishes at every cusp, then it is called a Maaß cusp form and the space of such forms is denoted by \(\mathcal {C}_s(\Gamma {\setminus } {\mathbb H},k/2,\chi )\).
3 Proof of Theorem 1
Let \(\{\varphi _{j}=\sum _{n\ge 1} a_{j}(n) e(nz)\}_{j=1}^{d}\) be an orthonormal basis of \(S_{k/2}(N,\chi )\) for odd \(k \ge 5\) and of \(U^{\bot }\) for \(k=3\). Set \(n=tv^2w^2\) with \(\mu ^2(t)=1\), \(v | N^{\infty }\) and \((w,N)=1\). The square part of n coprime to N, w, can be easily handled by (4) since \(({|{a_j(n)}|}^2 \ll w^{k/2-1+\epsilon } {|{a_j(tv^2)}|}^2)\). Therefore, it is sufficient to prove that
for \(n=tv^2\), with \(\mu ^2(t)=1\) and v arbitrary.
The proof follows the Iwaniec–Duke approach very closely and we assume some familiarity with the article [7]. For \(k\ge 5\), we directly apply the Petersson formula while for \(k=3\), we first embed the weight 3 / 2 cusp forms into the space of Maaß cusp forms of weight 3 / 2 via \(f(x+iy) \mapsto y^{3/4}f(x+iy)\) and then apply the Kuznetsov formula. The Petersson formula for half-integral weights states that [16, p. 89]
where \(J_{k/2-1}\) is the Bessel function of order \(k/2-1\) and
is a twisted Kloosterman sum. If f(z) is a normalised cusp form for \(\Gamma _0(N)\) with respect to (1), then \([\Gamma _0(Q):\Gamma _0(N)]^{-1/2}f(z)\) is a normalised cusp for \(\Gamma _0(Q)\) provided that N|Q. Instead of applying the Petersson formula for the level N, we use it for higher levels \(Q= pN\) with primes \(p \in \mathcal {P}=\{p\, | \, P< p \le 2P, p \not \mid 2nN \}\). Since \([\Gamma _0(pN):\Gamma _0(N)] \le p+1\), this yields (cf. [7, p. 400])
where we choose \(P > 1+ (\text {log} 2nN)^2\) to ensure that \(\# \mathcal {P} \asymp P (\text {log}P)^{-1}\). After expressing the Bessel function by means of its asymptotic formula and applying partial summation, it remains to find a bound for sums of the type \(\sum _{Q \in {\mathbb Q}} |K_Q(x)|\), where
with \(-1 \le \nu \le 1\) and \(Q \in \mathcal {Q} = \{pN \, | \, p \in \mathcal {P} \}\).
First, we factor the modulus c into qr, where q is coprime to 2nN and \(r | (2nN)^{\infty }\). This way, (7) decomposes into a Kloosterman sum of modulus r and a Salié sum of modulus q which is explicitly computable. Very similar to [7, Lemma 6], we obtain
The main difference is that
Lemma 4
For quadratic \(\chi \), one has the following bound
while, for arbitrary \(\chi \) one gets an additional factor of \((c_\chi rad (c_\chi ))^{1/4}\) on the right-hand side.
Proof
If we split the sum for \(c=r q, r | 2^{\infty }, (2,q)=1\) we obtain
where \(\chi _r\) and \(\chi _q\) are characters modulo r and q, respectively, and the latter sum
is a Kloosterman sum twisted by a character. For arbitrary \(\chi \), we apply [10, Theorem 9.3] and get \({|{S_{\chi }(n,n;q)}|} \le \tau (q) (n,q)^{1/2} q^{1/2} (q_\chi rad (q_\chi ))^{1/4}\). Since the conductor of a real character with odd modulus is always squarefree, we obtain the Weil bound for real \(\chi \) by applying [10, Proposition 9.4, 9.7 and 9.8], i.e. \({|{S_{\chi }(n,n;q)}|} \le \tau (q ) (n,q)^{1/2} q^{1/2}\). To bound the first term on the right-hand side of (11), we modify [8, Lemma 12.2 and Lemma 12.3]. Therefore, we set \(r=2^{\alpha }\) and assume that \({\alpha }\ge 4\) to ensure that \({\epsilon }_r = {\epsilon }_a\) for \(r = a + b\, 2^{{\beta }}\), where \({\mathbb N}\ni {\beta }= \frac{{\alpha }}{2}\) or \(\frac{{\alpha }-1}{2}\), respectively. By following the argument of Iwaniec very closely, we obtain
where M is the number of solutions modulo \(2^{{\beta }}\) of \(-n a^2 + Ba +n \equiv 0~ \text {mod}\, 2^{{\beta }}\) for B defined as in [8, Lemma 12.2 and Lemma 12.3]. To bound M, we proceed as in [10, Lemma 9.6, Proposition 9.7 and Proposition 9.8] obtaining \(|K_{\chi }^{k}(n,n;r)| \le \tau (r) (n,r)^{1/2}r^{1/2}\). \(\square \)
We split \(K_Q(x)\) according to whether t|c. By applying Lemma 4 we get, for quadratic \(\chi \), that
since \((t,Q)^{2} (v^{2},Q/(Q,t))\) divides both \(Q^{2}\) and \(n^{2}\). In particular, one has
For general \(\chi \), we get an additional factor of \((c_{\chi }\text {rad}(c_{\chi }))^{1/4}\) on the right-hand side. The remaining part of \(K_Q(x)\) can be reduced to partial sums of the type
with \(4 \le y \le x\). There are \(\mathcal {O}( log (x))\) such partial sums. For even t, we trivially estimate \(|K_{[t/2,Q]}(x)|\) and assume that \(K_Q^{\star }(y)\) runs over c with \(\frac{t}{2} \not \mid c\) to ensure that n / (n, r) is not a perfect square. By (10) we conclude that
where \(\mathfrak {R} = \{r\, ; \, N | r | (2nN)^{\infty } ,\, t \not \mid r \}\) and
with \((ab,2nN)=1\). We treat \(F_{r,s}^{\pm }(p)\) according to the values of a and b and split it into dyadic ranges \(A < a \le 2A\) and \(B < b \le 2B\) with \(y < rAB \le 2y\) and \(A,B \ge \frac{1}{2}\) which we denote by F(A, B; p).
For either A or B small, we apply the Weil bound for the Kloosterman sum and estimate trivially. Following [7, p.396] word by word, we get
with m defined by \(m p_b \equiv r \bar{r} + 1 + s b \bar{b} ( mod\, br)\) and \(A_1,A_2\) such that \(Ap_b = A_1 < A_2 \le 2 A p_b\), where \(p_b := p / (b,p)\). Set \(\delta _1 = \frac{n}{(n,r)}\) and \(\delta _2 = \frac{r}{(n,r)}\). At this point, we cannot proceed as in Iwaniec [7, Section 5] because \(8 | \delta _2\) is generally not satisfied. To solve this, we distinguish three cases:
-
\( 2 \not \mid \delta _1\). Set \(\Delta _1 = \delta _1\) and \(\Delta _2 = 16 \delta _2\).
-
\(\text {ord}_2(\delta _1)=1\) or 2. Set \(\Delta _1 = 2^{-\text {ord}_2(\delta _1)} \delta _1 \) and \(\Delta _2 = 2^{2+\text {ord}_2(\delta _1)}\delta _2\).
-
\(8 | \delta _1 \). Set \(\Delta _1 = \delta _1\) and \(\Delta _2 = \delta _2\).
In each case \(\Delta _1\) and \(\Delta _2\) satisfy that \(\left( \frac{ \pm nr}{a} \right) = \left( \frac{\pm \Delta _1 \Delta _2}{a} \right) \), either \(8 | \Delta _1\) or \(8 | \Delta _2\) and \(\Delta _1, \Delta _2\) and b are pairwise coprime. Set \(2 \frac{n}{r} = 2^{j} \frac{\Delta _1}{\Delta _2}\), where \(j=5\), \(j=3 + 2 \, \text {ord}_2(\delta _1)\) or \(j=1\) according to the corresponding case. Thus, the innermost sum of (15) is equal to
By applying [7, (3.14)] it follows for \(D=\Delta _1 \Delta _2 b\) that
The sum modulo D can be factored into three sums in the same manner as in [7, p. 396]. Note that \(\Delta _1\) is not a perfect square because there exists an odd prime divisor of t which, by definition of \(\mathfrak {R}\), does not divide r. Therefore, \(x \mapsto \left( \frac{\Delta _1}{x} \right) \) is not the trivial character. By following Iwaniec step by step and making use of \((n,r) ^{-1} \le (n,N)^{-1}\) since N|r, we get
and
If both A and B are large, we make use of the flexibility gained through the averaging over the levels. We want to estimate
Setting \(\lambda _P := \text {sgn} F(A,B;p)\) we get
To bound this, we follow [7, Section 6] step by step. First, we split the sum according to whether p|a or p|b. In each case we interchange the sums, apply Cauchy–Schwarz to the square and change the sums back. Hence, we have two p-sums. If the summands of both p-sums coincide, we trivially estimate, otherwise we apply the Weil bound. Since [7, Lemma 7] does not hold, we cannot use \((n,r) \le r^{1/2}\) for [7, (6.1)]. Instead, we use \((n,N) \le (n,r) \le r\) and (6.3) from Iwaniec changes to
In particular, we lose a factor of \(r^{-1/4}\) in the second term within the bracket. To bound \(K_Q(y)\), we modify [7, Section 7] accordingly and apply (16) and (17) in case that either A or B is
respectively, and (18) otherwise and obtain
According to (13), it remains to sum this inequality over \(s~(\text {mod}~r/2)\) and \(r \in \mathfrak {R}\). The more general form of \(f_r(2s,\chi )\) does not affect [7, (7.2) and (7.3)]. Hence,
Combining this with (12), we conclude, for quadratic \(\chi \), that
which is an improvement of [7, Theorem 3]. By (8), we infer
Choosing \(P = n^{1/7} (n,N)^{2/7} / N^{3/7} + (nN)^{{\epsilon }}\) yields, for real \(\chi \), that
while, for an arbitrary character \(\chi \), the first term changes to \( \frac{v (n,N)}{N} (c_\chi \text {rad}(c_\chi ))^{1/4}. \) This concludes the proof for \(k \ge 5\).
To prove the case \(k=3\) we follow [3, Sections 3 and 5], but include an arbitrary nebentypus \(\chi \). The map \(f(z) \mapsto y^{3/4} f(z)\) induces an injective mapping \(S_{3/2}(N,\chi ) \mapsto C_{3/4}(N,3/2,\chi )\) and one has \(a(n)=(4\pi n)^{3/4} \rho (n)\), where a(n) denote the Fourier coefficients of f and \(\rho (n)\) the coefficients, see (6), of the corresponding Maaß cusp form. Let \(u_i(z)\) be an orthonormal basis of Maaß cusp forms of weight 3 / 2 with eigenvalues \(\lambda _j\) and Fourier coefficients \(\rho _j(n)\) and let \(\{f_{ij}= \sum _{n \ge 1} a_{ij}(n) e(nz)\}_{i=1}^{d_j} \) be an orthonormal basis of \(S_{3/2+2j}(N,\chi )\). Then it holds, by Proskurin’s variant [14, p. 3888] of the Kuznetsov formula, that
Here, \(\varphi (x)\) is a suitable test function, \(\sum _{{\mathfrak a}}\) refers to the summation over the non-equivalent non-singular cusps of \(\Gamma _0(N)\), \(t_j\) is defined by \(s_j = 1/2 + i t_j\) and \(\phi _{{\mathfrak a},n}\) are the coefficients of an Eisenstein series (cf. [14, p. 3876]). Similar to the choice in [4, p. 51], we set \(\varphi (x) = c_0 x^{-7/2} J_{13/2}(x)\) for \(c_0= - 2^{4} e(-3/8) \pi ^{-2} \Gamma (9/2)^{-1}\) and \(J_k(z)\) to denote the Bessel function of order k. This choice fulfils all requirements for the Kuznetsov formula and by means of the Weber–Schafheitlin integral [6, (6.574.2)] it is straightforward to calculate
Observe that \(\hat{\varphi }(t) >0\) for \(t \in {\mathbb R}\) and for \(t \in [-i/4 ,i/4]\), the value at \(it=1/4\) defined by
Thus, we may drop all terms of the first sum on the right-hand side of (20) which represent eigenvalues distinct to 3 / 16 as well as the contribution from the continuous spectrum (the integral over the Eisenstein coefficients). Since the weights of \(f_{ij}\) are greater than or equal to 5 / 2, we can use our previous results to bound the last term of (20). As before, we apply Iwaniec’s method of averaging over the levels. If u(z) is a normalised Maaß cusp form for \(\Gamma _0(N)\), then \([\Gamma _0(Q):\Gamma _0(N)]^{-1/2} u(z)\) is a normalised Maaß cusp form for \(\Gamma _0(Q)\), \(Q \in \mathcal {Q}\). Hence, by applying the Kuznetsov formula for every level \(Q \in \mathcal {Q}\), it follows
Since 13 / 2 is half integral and since for \(x>n\)
the right-hand side of (21) can be treated exactly as in [7, Section 8] taking into account (19) and our choice of P. This concludes the proof of Theorem 1.
4 An application
Finally, we give an application of Theorem 1, particularly an improvement of [21, Theorem 1.2]. For this purpose, let A be a positive, integral, symmetric \(k \times k\) matrix with even diagonal elements, let \(q(x) := \frac{1}{2} x^{t} A x\) be the corresponding quadratic form and let N be the level of A, i.e. the smallest integer such that \(N A^{-1}\) is integral with even diagonal. This section aims at finding a lower bound for the Fourier coefficients \(r(q,n) = \# \{x \in {\mathbb Z}^{k} |\, q(x)=n \}\) of \(\theta (q,z)\) to conclude that n is represented by q. By direct computation, one can show that \(\theta (q,z) \in M_{k/2}(N, \chi _{(-1)^{k} \text {det}A} )\) [19, p. 456].
Two positive quadratic forms are in the same genus if they are equivalent over all \({\mathbb Z}_p\). Define the theta series of the genus \(\theta (\text {gen}\,q,z) = \sum _{n = 0}^{\infty } r(\text {gen}\,q,n) e(nz)\) by
where the summation is taken over a set of representative classes in the genus. Let \(S(z) = \theta (q,z) - \theta (\text {gen}\,q,z)\). Then S(z) is the orthogonal projection of \(\theta (q,z)\) onto the subspace of cusp forms and \(\theta (\text {gen}\,q,z)\) is an Eisenstein series [17, Korollar 1]. Consequently, write
We would like to treat \(r(\text {gen}\,q,n)\) as the main term for r(q, n) and a(q, n) as the error term. To compute the Eisenstein coefficients \(r(\text {gen}\,q,n) \), we use Siegel’s formula [20]. From now on, let \(k=3\). Then
where \(\Delta \) is the determinant of A and \(r_p(q,n)\) are the p-adic densities defined by
Apart from a finite number of cases, \((p,Nn) \ne 1\), the densities are easy to compute [20, Hilfssatz 12]
The space of theta functions U poses a problem since their Fourier coefficients grow like \(\asymp n^{1/2}\) which is roughly the same size as \(r(\text {gen}\,q,n)\). Thus, to show that n can be represented by a quadratic form q using Theorem 1, it is necessary that the n-th coefficient of the projection of \(\theta (q,z)\) onto U vanishes.
For a ring R let \(O_{R}(q) := \{ S \in GL_{2k}(R) | S^{t}AS = A \}\) be the finite set of R-automorphs of q. Two quadratic forms \(A_1,A_2\) in the same genus with \(A_1 = S^{t} A_2 S\) for \(S \in GL_{k}({\mathbb Z})\) belong to the same spinor genus, if \(S \in O_{Q}(A_2) \bigcap _{p} O'_{Q_p}(A_2)GL_{k}({\mathbb Z}_p)\), where \(O'_{Q_p}(A)\) is the subgroup of p-adic automorphs \(O_{Q_p}(A)\) of determinant and spinor norm 1 (cf. [13, Section 55]). Define the theta series of the spinor genus \(\theta (\text {spn}\,q,z) = \sum _{n = 0}^{\infty } r(\text {spn}\,q,n) e(nz)\) by
where the summation is taken over a set of representative classes in the spinor genus of q. Schulze-Pillot [17] has shown that the orthogonal projection of \(\theta (q,z)\) onto the subspace of \(U^{\bot }\) is \(\theta (q,z)-\theta (\text {spn}\,q,z)\). Therefore, write
with \(H(z)= \theta (\text {spn}\,q,z) - \theta (\text {gen}\,q,z)\in U\) and \(f \in U^{\bot }\). The contribution from the Fourier coefficients of f is easy to handle by Theorem 1. If \(r(\text {gen}\,q,n) = r(\text {spn}\,q,n)\), then the n-the Fourier coefficient of H(z) vanishes. This obviously holds when \(n \notin \{ tm^2: 4t | N, m \in {\mathbb N}\}\) since the coefficients of the theta functions vanish. According to the definitions (22) and (24) it follows that \(r(\text {spn}\,q, n) = r(\text {gen}\,q, n)\) is satisfied if
for all \(q'\) in the same genus as q. According to Schulze-Pillot [17, Korollar 2.3 (ii)] it holds for any \(q,q'\) in the same genus and squarefree t that
if \(N= 4 t\, t'\, h^2\) with squarefree \(t'\) and h|m. In particular, if N / 4 is squarefree, one has \(\theta (\text {gen}\,q,z) = \theta (\text {spn}\,q,z)\).
Proof of Theorem 2
Let \(\theta (q,z)\) be the theta series of the quadratic form \(q=x^2 + y^2 + 6 P z^2\). Then, \(\theta (q,z) \in M_{3/2}(24P, \chi )\) for a quadratic character \(\chi \) and since 6P is squarefree, it holds that \(\theta (\text {gen}\,q,z) = \theta (\text {spn}\,q,z)\). Thus, the orthogonal projection of \(\theta (q,z)\) onto the subspace of cusp forms is in \(U^{\bot }\). Let \(\{\varphi _j(z)= \sum _{n \ge 1 } a_j(n) e(nz) \}_{j=1}^{d}\) be an orthonormal basis of \(U^{\bot }\). Then
From \(\sqrt{\sum _{j=1}^{d} c_{j}^{2}} = \mathcal {O}(P^{1/4+{\epsilon }})\) (cf. [5, Theorem 3]) and Theorem 1, we conclude that
To bound \(r(\text {gen}\,q,n)\) from below, we apply (23), Siegel’s formula. If \(p \not \mid 6P\), it holds by [20, Hilfssatz 16] that
To treat the remaining densities, \(r_2(n,q),r_3(n,q)\) and \(r_P(n,q)\), we rely on Hensel’s lemma (cf. also [9, Section 15]). \(\square \)
Lemma 5
Assume that \(P \in {\mathbb Z}[x_1,\ldots ,x_d]\) and \(\alpha \in {\mathbb Z}^d\) satisfy \(P(\alpha ) \equiv 0 \mathrm {~mod~} p^{k}\). If it holds for at least one \(x_j\) that
then \(P(x) \equiv 0 \mathrm {~mod~} p^{k+m}\) has \(p^{m(d-1)}\) integer solutions. Each of these solutions \({\beta }\) satisfies that \( {\beta }_j \equiv \alpha _j {\text {mod}} p^{k-l+1}\) and \({\beta }_i \equiv \alpha _i {\text {mod}} p^{k}\) for all \(i \ne j\).
Proof
The case \(d=1\) is proven in [15, p. 48]. Assume \(j=1\). For each choice \({\beta }_2,\ldots ,{\beta }_d\) mod \(p^{k+m}\) with \({\beta }_i \equiv {\alpha }_1\) mod \(p^k\), we can apply the one-variable case to find \({\beta }_1\) such that \( P({\beta }) \equiv 0 \text { mod } p^{k+m}\). \(\square \)
For \(p=2\), consider the congruence
for arbitrary odd n. For each \(x \equiv 1,3 {\text {mod}}4 \ (y \equiv 1,3 {\text {mod}}4)\), there are two possible choices for \(y {\text {mod}}8 \ (x {\text {mod}}8)\) and four possibilities for \(z {\text {mod}} 8\) to solve (26). It follows by Lemma 5 that
If p is a prime, then \({\mathbb Z}\slash p{\mathbb Z}\) is a finite field. In a finite field of odd order q, every element unequal to zero can be expressed as the sum of two squares in \(q-1\) ways. Hence, for , there exist \(P^2 -P\) solutions of
with . By Lemma 5 we infer \(r_3(n,q) \ge 2/3\) and \(r_P(n,q) \ge 1 - \frac{1}{P}\). It follows \(r(\text {gen}\,q,n) \gg \frac{n^{1/2-{\epsilon }}}{ P^{1/2}}. \) Thus, the main term of (25) dominates the error term as soon as
If this holds true, it follows that \(x^2+y^2+6Pz^2=n\) has a solution in \({\mathbb Z}^{3}\). Furthermore, we may assume that x, y and z are natural numbers since the number of integer solutions of \(x^2+y^2=n\) is \(\mathcal {O} (n^{{\epsilon }})\).
Proof of Theorem 3
We keep the notation from Wooley [21, Section 3] and modify only the parts concerning the bound of Golubeva’s theorem. The necessary requirements to apply Theorem 2, \((i)\, NM^{12}> p^{17}, (ii)\,NM^6 > p^{11}\) and \((iii)\, N>p^{3}\), are fulfilled provided that (cf. [21, p. 14])
-
(i)
\(\gamma _0(6/c+1) - 4/c - {\epsilon }> 17 \gamma _0 - 34/3 + {\epsilon },\)
-
(ii)
\(\gamma _0(3/c+1) - 2/c - {\epsilon }> 11 \gamma _0 - 22/3 + {\epsilon }\) and
-
(iii)
\(\gamma _0 - {\epsilon }> 3 \gamma _0 - 2 + {\epsilon }. \)
These inequalities yield the following conditions
Assuming the Riemann hypothesis, Wooley chooses \(c=2+2{\epsilon }\) (cf. [21, p.15]). With this choice and \({\epsilon }\) sufficiently small, the conditions are satisfied as long as \(\gamma _0 < 28/39= \mathrm {min}(28/39,38/51,1)\). Otherwise, without assuming the Riemann hypothesis, the choice is \(c=\frac{12}{5}+2 {\epsilon }\), and it follows \(\gamma _0 < 58/81 = \mathrm {min}(58/81,26/35,1)\). The rest of the proof can be conducted exactly as in [21, Section 3]. \(\square \)
References
Blomer, V.: Uniform bounds for fourier coefficients of theta-series with arithmetic applications. Acta Arith. 114, 1–21 (2004)
Blomer, V., Harcos, G.: Hybrid bounds for twisted l-functions. Crelle’s J. 621, 53–79 (2008)
Duke, W.: Hyperbolic distribution problems and half-integral weight Maass forms. Invent. Math. 92, 73–90 (1988)
Duke, W., Schulze-Pillot, R.: Representation of integers by positive ternary quadratic forms and equidistribution of lattice points on ellipsoids. Invent. Math. 99, 49–57 (1990)
Golubeva, E.P.: A bound for the representability of large numbers by ternary quadratic forms and nonhomogenous waring equations. J. Math. Sci. 157(4), 543–552 (2009)
Gradshteyn, I.S., Ryzhik, I.M.: Table of Integrals, Series, and Products, 5th edn. Academic Press, Cambridge (1994)
Iwaniec, H.: Fourier coefficients of modular forms of half-integral weight. Invent. Math. 87, 385–401 (1987)
Iwaniec, H., Kowalski, E.: Analytic Number Theory. Colloquium Publications, vol. 53. American Mathematical Society, Providence, RI (2004)
Kneser, M.: Quadratische Formen. Springer, Berlin (2002)
Knightly, A., Li, C.: Kuznetsov’s Trace Formula and the Hecke Eigenvalues of Maass Forms, Mem, vol. 224. American Mathematical Society, Providence, RI (2013)
Koblitz, N.: Introduction to Elliptic Curves and Modular Forms. Graduate Texts in Mathematics, vol. 97. Springer, New York (1993)
Oberhettinger, M.: Formulas and Theorems for the Special Functions of Mathematical Physics. Springer, New York (1966)
O’Meara, O.T.: Introduction to Quadratic Forms. Grundlehren Math. Wiss., vol. 117. Springer, New York (1973)
Proskurin, N.V.: On the general Kloosterman sums. J. Math. Sci. 129(3), 3874–3889 (2005)
Robert, A.M.: A Course in p-adic Analysis. Graduate Texts in Mathematics. Springer, New York (2000)
Sarnak, P.: Some Applications of Modular Forms. Cambridge Tracts in Mathematics. Cambridge University Press, Cambridge (1990)
Schulze-Pillot, R.: Thetareihen positiv definiter quadratischer formen. Invent. Math. 75, 283–299 (1984)
Selberg, A.: Harmonic analysis and discontinuous groups in weakly symmetric riemannian spaces with applications to Dirichlet series. J. Indian Math. Soc. 20, 47–87 (1956)
Shimura, G.: On modular forms of half integral weight. Ann. Math. (2) 97, 440–481 (1973)
Siegel, C.L.: Über die analytische theorie der quadratischen formen. Ann. of Math. (2) 38, 212–291 (1935)
Wooley, T.D.: On Waring’s problem: some consequences of Golubeva’s method. J. Lond. Math. Soc. 88, 699–715 (2013)
Acknowledgements
I would like to express my gratitude to Prof. Blomer for the many useful suggestions and remarks.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Waibel, F. Fourier coefficients of half-integral weight cusp forms and Waring’s problem. Ramanujan J 47, 185–200 (2018). https://doi.org/10.1007/s11139-017-9934-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11139-017-9934-1