English

On the signs of Fourier coefficients of Hilbert cusp forms

Number Theory 2020-02-04 v1

Abstract

We prove that given any ϵ>0\epsilon > 0 and a primitive adelic Hilbert cusp form ff of weight k=(k1,k2,...,kn)(2Z)nk=(k_1,k_2,...,k_n) \in (2 \mathbb{Z})^n and full level, there exists an integral ideal m\mathfrak{m} with N(m)ϵQf9/20+ϵN(\mathfrak{m}) \ll_{\epsilon} Q_{f}^{9/20+ \epsilon} such that the m\mathfrak{m}-th Fourier coefficient of Cf(m)C_{f} (\mathfrak{m}) of ff is negative. Here nn is the degree of the associated number field, N(m)N(\mathfrak{m}) is the norm of integral ideal m\mathfrak{m} and QfQ_{f} is the analytic conductor of ff. In the case of arbitrary weights, we show that there is an integral ideal m\mathfrak{m} with N(m)ϵQf1/2+ϵN(\mathfrak{m}) \ll_{\epsilon} Q_{f}^{1/2 + \epsilon} such that Cf(m)<0C_{f}(\mathfrak{m}) <0. We also prove that when k=(k1,k2,...,kn)(2Z)nk=(k_1,k_2,...,k_n) \in (2 \mathbb{Z})^n, asymptotically half of the Fourier coefficients are positive while half are negative.

Keywords

Cite

@article{arxiv.2002.00919,
  title  = {On the signs of Fourier coefficients of Hilbert cusp forms},
  author = {Ritwik Pal},
  journal= {arXiv preprint arXiv:2002.00919},
  year   = {2020}
}