Properties

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

Downloads

Learn more about

Defining parameters

Level: \( N \) = \( 12 = 2^{2} \cdot 3 \)
Weight: \( k \) = \( 20 \)
Nonzero newspaces: \( 2 \)
Newforms: \( 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

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

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 the 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}\)