LMFDB definition

Coefficient fields of classical newforms

The coefficient field of a modular form is the subfield of C\C generated by the coefficients ana_n of its qq-expansion ∑anqn\sum a_nq^n. The space of cusp forms Sknew(N,χ)S_k^\mathrm{new}(N,\chi) has a basis of modular forms that are simultaneous eigenforms for all Hecke operators and with algebraic Fourier coefficients. For such eigenforms the coefficient field will be a number field, and Galois conjugate eigenforms will share the same coefficient field. Moreover, if mm is the smallest positive integer such that the values of the character χ\chi are contained in the cyclotomic field Q(ζm)\Q(\zeta_m), the coefficient field will contain Q(ζm)\Q(\zeta_m) For eigenforms, the coefficient field is also known as the Hecke field.

LMFDB source · reviewed

Andreea Mocanu, Stephan Ehlen, David Roe, Andrew Sutherland, John Voight. CC BY-SA 4.0. Snapshot 2026-09-22; formatting adapted for this site.

All definitions →