Properties

Label 4.12
Level 4
Weight 12
Dimension 1
Nonzero newspaces 1
Newform subspaces 1
Sturm bound 12
Trace bound 0

Downloads

Learn more about

Defining parameters

Level: \( N \) = \( 4\( 4 = 2^{2} \) \)
Weight: \( k \) = \( 12 \)
Nonzero newspaces: \( 1 \)
Newform subspaces: \( 1 \)
Sturm bound: \(12\)
Trace bound: \(0\)

Dimensions

The following table gives the dimensions of various subspaces of \(M_{12}(\Gamma_1(4))\).

Total New Old
Modular forms 7 1 6
Cusp forms 4 1 3
Eisenstein series 3 0 3

Trace form

\( q - 516q^{3} - 10530q^{5} + 49304q^{7} + 89109q^{9} + O(q^{10}) \) \( q - 516q^{3} - 10530q^{5} + 49304q^{7} + 89109q^{9} - 309420q^{11} - 1723594q^{13} + 5433480q^{15} - 2279502q^{17} + 4550444q^{19} - 25440864q^{21} - 7282872q^{23} + 62052775q^{25} + 45427608q^{27} - 69040026q^{29} - 141740704q^{31} + 159660720q^{33} - 519171120q^{35} + 711366974q^{37} + 889374504q^{39} - 1225262214q^{41} - 33606220q^{43} - 938317770q^{45} + 123214608q^{47} + 453557673q^{49} + 1176223032q^{51} + 1106121582q^{53} + 3258192600q^{55} - 2348029104q^{57} - 9062779932q^{59} - 3854150458q^{61} + 4393430136q^{63} + 18149444820q^{65} - 15313764676q^{67} + 3757961952q^{69} + 20619626328q^{71} - 2063718694q^{73} - 32019231900q^{75} - 15255643680q^{77} + 13689871472q^{79} - 39226037751q^{81} + 65570428908q^{83} + 24003156060q^{85} + 35624653416q^{87} - 29715508854q^{89} - 84980078576q^{91} + 73138203264q^{93} - 47916175320q^{95} - 23439626206q^{97} - 27572106780q^{99} + O(q^{100}) \)

Decomposition of \(S_{12}^{\mathrm{new}}(\Gamma_1(4))\)

We only show spaces with even parity, since no modular forms exist when this condition is not satisfied. Within each space \( S_k^{\mathrm{new}}(N, \chi) \) we list the newforms together with their dimension.

Label \(\chi\) Newforms Dimension \(\chi\) degree
4.12.a \(\chi_{4}(1, \cdot)\) 4.12.a.a 1 1

Decomposition of \(S_{12}^{\mathrm{old}}(\Gamma_1(4))\) into lower level spaces

\( S_{12}^{\mathrm{old}}(\Gamma_1(4)) \cong \) \(S_{12}^{\mathrm{new}}(\Gamma_1(1))\)\(^{\oplus 3}\)

Hecke characteristic polynomials

$p$ $F_p(T)$
$2$ 1
$3$ \( 1 + 516 T + 177147 T^{2} \)
$5$ \( 1 + 10530 T + 48828125 T^{2} \)
$7$ \( 1 - 49304 T + 1977326743 T^{2} \)
$11$ \( 1 + 309420 T + 285311670611 T^{2} \)
$13$ \( 1 + 1723594 T + 1792160394037 T^{2} \)
$17$ \( 1 + 2279502 T + 34271896307633 T^{2} \)
$19$ \( 1 - 4550444 T + 116490258898219 T^{2} \)
$23$ \( 1 + 7282872 T + 952809757913927 T^{2} \)
$29$ \( 1 + 69040026 T + 12200509765705829 T^{2} \)
$31$ \( 1 + 141740704 T + 25408476896404831 T^{2} \)
$37$ \( 1 - 711366974 T + 177917621779460413 T^{2} \)
$41$ \( 1 + 1225262214 T + 550329031716248441 T^{2} \)
$43$ \( 1 + 33606220 T + 929293739471222707 T^{2} \)
$47$ \( 1 - 123214608 T + 2472159215084012303 T^{2} \)
$53$ \( 1 - 1106121582 T + 9269035929372191597 T^{2} \)
$59$ \( 1 + 9062779932 T + 30155888444737842659 T^{2} \)
$61$ \( 1 + 3854150458 T + 43513917611435838661 T^{2} \)
$67$ \( 1 + 15313764676 T + \)\(12\!\cdots\!83\)\( T^{2} \)
$71$ \( 1 - 20619626328 T + \)\(23\!\cdots\!71\)\( T^{2} \)
$73$ \( 1 + 2063718694 T + \)\(31\!\cdots\!77\)\( T^{2} \)
$79$ \( 1 - 13689871472 T + \)\(74\!\cdots\!79\)\( T^{2} \)
$83$ \( 1 - 65570428908 T + \)\(12\!\cdots\!67\)\( T^{2} \)
$89$ \( 1 + 29715508854 T + \)\(27\!\cdots\!89\)\( T^{2} \)
$97$ \( 1 + 23439626206 T + \)\(71\!\cdots\!53\)\( T^{2} \)
show more
show less