Defining parameters
Level: | \( N \) | = | \( 600 = 2^{3} \cdot 3 \cdot 5^{2} \) |
Weight: | \( k \) | = | \( 2 \) |
Nonzero newspaces: | \( 18 \) | ||
Newform subspaces: | \( 81 \) | ||
Sturm bound: | \(38400\) | ||
Trace bound: | \(8\) |
Dimensions
The following table gives the dimensions of various subspaces of \(M_{2}(\Gamma_1(600))\).
Total | New | Old | |
---|---|---|---|
Modular forms | 10272 | 3815 | 6457 |
Cusp forms | 8929 | 3651 | 5278 |
Eisenstein series | 1343 | 164 | 1179 |
Trace form
Decomposition of \(S_{2}^{\mathrm{new}}(\Gamma_1(600))\)
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.
Decomposition of \(S_{2}^{\mathrm{old}}(\Gamma_1(600))\) into lower level spaces
\( S_{2}^{\mathrm{old}}(\Gamma_1(600)) \cong \) \(S_{2}^{\mathrm{new}}(\Gamma_1(15))\)\(^{\oplus 8}\)\(\oplus\)\(S_{2}^{\mathrm{new}}(\Gamma_1(20))\)\(^{\oplus 8}\)\(\oplus\)\(S_{2}^{\mathrm{new}}(\Gamma_1(24))\)\(^{\oplus 3}\)\(\oplus\)\(S_{2}^{\mathrm{new}}(\Gamma_1(25))\)\(^{\oplus 8}\)\(\oplus\)\(S_{2}^{\mathrm{new}}(\Gamma_1(30))\)\(^{\oplus 6}\)\(\oplus\)\(S_{2}^{\mathrm{new}}(\Gamma_1(40))\)\(^{\oplus 4}\)\(\oplus\)\(S_{2}^{\mathrm{new}}(\Gamma_1(50))\)\(^{\oplus 6}\)\(\oplus\)\(S_{2}^{\mathrm{new}}(\Gamma_1(60))\)\(^{\oplus 4}\)\(\oplus\)\(S_{2}^{\mathrm{new}}(\Gamma_1(75))\)\(^{\oplus 4}\)\(\oplus\)\(S_{2}^{\mathrm{new}}(\Gamma_1(100))\)\(^{\oplus 4}\)\(\oplus\)\(S_{2}^{\mathrm{new}}(\Gamma_1(120))\)\(^{\oplus 2}\)\(\oplus\)\(S_{2}^{\mathrm{new}}(\Gamma_1(150))\)\(^{\oplus 3}\)\(\oplus\)\(S_{2}^{\mathrm{new}}(\Gamma_1(200))\)\(^{\oplus 2}\)\(\oplus\)\(S_{2}^{\mathrm{new}}(\Gamma_1(300))\)\(^{\oplus 2}\)