A computation of modular forms
of weight one and small level

This page contains data on classical (holomorphic) modular forms of weight one.

Fourier expansions of cuspidal eigenforms

Magma readable files. Please load the instructions file magma-instructions.m and the file of your choice below. Each such file contains q-expansions of all cuspidal eigenforms of weight one which are new at the levels within the given bounds. (Each form is given to sufficient precision to enable one to recover it to arbitrary precision using a magma function in the instructions file: see the preamble in the instructions file. One Dirichlet character from each Galois conjugacy class has been chosen: see characters.m for further details.)

Eigenforms in levels:

The following very large files give the q-expansions of the cuspidal eigenforms in levels up to 1000 to precision q10000: long-qexps-1-200.m (7 MB), long-qexps-201-400.m (30 MB), long-qexps-401-600.m (47 MB), long-qexps-601-800.m (70 MB), long-qexps-801-1000.m (91 MB).

Sage readable files. Exactly as above for magma, but please read and load the instruction file sage-instructions.sage and then load the file of your choice below.

Eigenforms in levels:

The eigenforms in level above 1000 and the very large files are not available in sage format.

Eigenforms sorted by projective image

Magma readable files. Please load the instructions file magma-instructions.m and the file of your choice below. Each such file contains q-expansions of all cuspidal eigenforms of weight one with level at most 1000, or between 1001 and 1500, and whose associated Galois representation has projective image of the given type. (As above, each form is given to sufficient precision to enable one to recover it to arbitrary precision using a magma function in the instructions file, and one Dirichlet character from each Galois conjugacy class has been chosen.)

This exhausts the possible projective images. The Galois representations with dihedral image are induced from characters of absolute Galois groups of quadratic fields. The "smallest" dihedral form is in level 23. The smallest dihedral form whose Galois representation is induced from a character of a real quadratic field but no imaginary quadratic field is in level 145 (there are several in that level). When the associated projective image is not dihedral one calls the form "exotic". The smallest level in which exotic forms occur with projective image A4, S4, and A5 are 124, 148 and 633, respectively.

Sage readable files. Exactly as above for magma, though only for levels up to 1000. Please read and load the instruction file sage-instructions.sage and then load the file of your choice below.

Dimensions of spaces of cuspidal eigenforms

Magma readable files. The next file gives the dimensions of the old and new spaces in level N for levels N from 1 to 1000: see the preamble and load the file.

The dimensions in each level are given below, broken down according to choosing a representative for each Galois conjugacy class of Dirichlet characters. (The choice of representative is as for the q-expansions above.) Please load the instructions file magma-dims-instructions.m and the file of your choice.

Dimensions by character in levels:

Sage readable files. The dimensions of the old and new spaces in level N for levels N from 1 to 1000: see the preamble and load the file.

Bases of old and new cuspidal spaces

Magma readable files only. Please load the instructions file magma-bases-instructions.m and the file of your choice below. Each such file contains q-expansions of bases for the old and new cuspidal spaces for all characters with modulus in the given range. (As above, each form is given to sufficient precision to enable one to recover it to arbitrary precision using a magma function in the instructions file.)

Bases in levels: