↑

Properties

Label 12.20
Level 12
Weight 20
Dimension 40
Nonzero newspaces 2
Newform subspaces 3
Sturm bound 160
Trace bound 1

Downloads

Learn more

Defining parameters

Level: \( N \) = \( 12 = 2^{2} \cdot 3 \)
Weight: \( k \) = \( 20 \)
Nonzero newspaces: \( 2 \)
Newform subspaces: \( 3 \)
Sturm bound: \(160\)
Trace bound: \(1\)

Dimensions

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

Total New Old
Modular forms 81 44 37
Cusp forms 71 40 31
Eisenstein series 10 4 6

Trace form

\( 40 q - 47880 q^{4} - 2642328 q^{5} + 21771144 q^{6} - 22356880 q^{7} + 740208312 q^{9} + O(q^{10}) \) \( 40 q - 47880 q^{4} - 2642328 q^{5} + 21771144 q^{6} - 22356880 q^{7} + 740208312 q^{9} - 4162950000 q^{10} + 19697749344 q^{11} - 2268767880 q^{12} + 33702689744 q^{13} - 76604031504 q^{15} + 791689296672 q^{16} - 593676014040 q^{17} + 2852271258192 q^{18} - 1120481284000 q^{19} - 2274601593528 q^{21} + 7247870602416 q^{22} + 3058170374880 q^{23} + 23719435803936 q^{24} - 82077069150416 q^{25} - 7629081673968 q^{28} - 20632695071256 q^{29} + 37456727138640 q^{30} - 353268036790864 q^{31} + 562050181030320 q^{33} - 248241675948480 q^{34} + 101839235263776 q^{35} - 1177548745309416 q^{36} + 3492436239515120 q^{37} + 151949185567200 q^{39} - 40433256181440 q^{40} + 481400137188360 q^{41} - 2709671988768336 q^{42} - 5148001223004640 q^{43} - 5389102119946392 q^{45} + 17206125364795104 q^{46} - 10457602667272800 q^{47} + 1561106052682272 q^{48} - 33043775752066320 q^{49} + 1342847550674016 q^{51} + 16558671470242896 q^{52} + 30131832529686600 q^{53} + 40087412948587896 q^{54} - 13367303894026368 q^{55} + 83994822579003192 q^{57} - 34645536255764880 q^{58} - 95254877571624576 q^{59} + 50260381053157440 q^{60} + 142698311428025072 q^{61} - 8661513382114320 q^{63} - 139766490424918656 q^{64} - 301750589490544080 q^{65} - 87772097712685968 q^{66} + 420432590712268160 q^{67} - 780638608309943808 q^{69} + 244663962371376480 q^{70} + 147467537428629600 q^{71} + 54134736422921280 q^{72} - 1085559448828078192 q^{73} + 1083175956794066112 q^{75} + 2744130151937256048 q^{76} - 3446123571889300800 q^{77} + 1125465917961999024 q^{78} + 249052172722763888 q^{79} + 1633676782541038920 q^{81} + 1064985418859680800 q^{82} - 4459007835083711520 q^{83} + 1920709484261873424 q^{84} + 3133310833050055056 q^{85} + 6329919533648769360 q^{87} - 9209792381828477760 q^{88} - 5967971715685201560 q^{89} - 5194944179528261040 q^{90} + 6611734573552861600 q^{91} + 17075256530728117896 q^{93} - 3835186345170303552 q^{94} - 34539126254816774400 q^{95} - 11947184361208227456 q^{96} + 30758007426443375888 q^{97} + 7631311683051909216 q^{99} + O(q^{100}) \)

Display 100 coefficients 10 coefficients

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

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 available newforms together with their dimension.

Label \(\chi\) Newforms Dimension \(\chi\) degree
12.20.a \(\chi_{12}(1, \cdot)\) 12.20.a.a 2 1
12.20.a.b 2
12.20.b \(\chi_{12}(11, \cdot)\) 12.20.b.a 36 1

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

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