Hostname: page-component-848d4c4894-x24gv Total loading time: 0 Render date: 2024-06-09T01:47:20.840Z Has data issue: false hasContentIssue false

Power Residues of Fourier Coefficients of Modular Forms

Published online by Cambridge University Press:  20 November 2018

Tom Weston*
Affiliation:
Department of Mathematics and Statistics, University of Massachusetts, Amherst, Amherst, MA 01003 U.S.A., e-mail: weston@math.umass.edu
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

Let $\rho :\,{{G}_{Q}}\,\to \,\text{G}{{\text{L}}_{n}}\left( {{Q}_{\ell }} \right)$ be a motivic $\ell $-adic Galois representation. For fixed $m\,>\,1$ we initiate an investigation of the density of the set of primes $p$ such that the trace of the image of an arithmetic Frobenius at $p$ under $\rho $ is an $m$-th power residue modulo $p$. Based on numerical investigations with modular forms we conjecture (with Ramakrishna) that this density equals $1/m$ whenever the image of $\rho $ is open. We further conjecture that for such $\rho $ the set of these primes $p$ is independent of any set defined by Cebatorev-style Galois-theoretic conditions (in an appropriate sense). We then compute these densities for certain $m$ in the complementary case of modular forms of $\text{CM}$-type with rational Fourier coefficients; our proofs are a combination of the Cebatorev density theorem (which does apply in the $\text{CM}$ case) and reciprocity laws applied to Hecke characters. We also discuss a potential application (suggested by Ramakrishna) to computing inertial degrees at $p$ in abelian extensions of imaginary quadratic fields unramified away from $p$.

Type
Research Article
Copyright
Copyright © Canadian Mathematical Society 2005

References

[1] Cremona, J., Algorithms for Modular Elliptic Curves. Second edition, Cambridge University Press, Cambridge, 1997.Google Scholar
[2] Deligne, P., La conjecture de Weil. I. Inst. Hautes Études Sci. Publ. Math. 43(1974), 273307.Google Scholar
[3] de Shalit, E., Iwasawa theory of elliptic curves with complex multiplication. p-adic L functions. Perspectives in Mathematics 3, Academic Press, Boston, MA, 1987.Google Scholar
[4] Fontaine, J.-M. and Mazur, B., Geometric Galois representations. In: Elliptic Curves,Modular Forms and Fermat's Last Theorem, Number Theory 1, International Press, Cambridge, MA, 1995, pp. 4178.Google Scholar
[5] Gross, B., Arithmetic on elliptic curves with complex multiplication. Lecture Notes in Mathematics 776, Springer-Verlag, Berlin, 1980.Google Scholar
[6] Khare, C., Larsen, M.l., and Ramakrishna, R., Construction of semisimple p-adic Galois representations with prescribed properties, preprint.Google Scholar
[7] Lemmermeyer, F., Reciprocity Laws: From Euler to Eisenstein. SpringerMonographs in Mathematics, Springer-Verlag, Berlin, 2000.Google Scholar
[8] Ribet, K., Galois representations attached to eigenforms with nebentypus. In: Modular Functions of One Variable, V, Lectures Notes in Math. 601, Springer, Berlin, 1977, pp. 751.Google Scholar
[9] Rubin, K., Elliptic curves with complex multiplication and the conjecture of Birch and Swinnerton-Dyer. In: Arithmetic Theory of Elliptic Curves, Lectures Notes in Math. 1716, Springer, Berlin, 1999, pp. 167234.Google Scholar
[10] Scholl, A., Motives for modular forms, Invent.Math. 100(1990), 419430.Google Scholar
[11] Silverman, J., Advanced topics in the arithmetic of elliptic curves. Graduate Texts in Mathematics 151, Springer-Verlag, New York, 1994.Google Scholar
[12] William, Stein, The modular forms explorer, available at: http://modular.fas.harvard.edu/mfd/mfe/.Google Scholar