The coefficient field of a modular form is the subfield of $\C$ generated by the coefficients $a_n$ of its $q$-expansion $\sum a_nq^n$. The space of cusp forms $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 $m$ is the smallest positive integer such that the values of the character $\chi$ are contained in the cyclotomic field $\Q(\zeta_m)$, the coefficient field will contain $\Q(\zeta_m)$ For eigenforms, the coefficient field is also known as the Hecke field.
Knowl status:
- Review status: reviewed
- Last edited by David Roe on 2018-09-29 02:43:43
Referred to by:
History:
(expand/hide all)
- cmf.analytic_rank
- cmf.coefficient_ring
- cmf.defining_polynomial
- cmf.dualform
- cmf.embedding
- cmf.galois_conjugate
- cmf.inner_twist
- cmf.inner_twist_count
- cmf.inner_twist_group
- cmf.label
- cmf.root
- cmf.selfdual
- cmf.trace_bound
- cmf.trace_form
- rcs.cande.cmf
- rcs.rigor.cmf
- lmfdb/classical_modular_forms/main.py (line 831)
- lmfdb/classical_modular_forms/main.py (line 1544)
- lmfdb/classical_modular_forms/templates/cmf_newform_common.html (line 67)
- lmfdb/classical_modular_forms/templates/cmf_newform_common.html (line 85)
- lmfdb/modlmf/templates/modlmf-single.html (line 55)
- 2018-09-29 02:43:43 by David Roe (Reviewed)