Defining parameters
Level: | \( N \) | = | \( 3780 = 2^{2} \cdot 3^{3} \cdot 5 \cdot 7 \) |
Weight: | \( k \) | = | \( 1 \) |
Nonzero newspaces: | \( 17 \) | ||
Newform subspaces: | \( 54 \) | ||
Sturm bound: | \(746496\) | ||
Trace bound: | \(45\) |
Dimensions
The following table gives the dimensions of various subspaces of \(M_{1}(\Gamma_1(3780))\).
Total | New | Old | |
---|---|---|---|
Modular forms | 8008 | 1224 | 6784 |
Cusp forms | 808 | 264 | 544 |
Eisenstein series | 7200 | 960 | 6240 |
The following table gives the dimensions of subspaces with specified projective image type.
\(D_n\) | \(A_4\) | \(S_4\) | \(A_5\) | |
---|---|---|---|---|
Dimension | 232 | 0 | 32 | 0 |
Trace form
Decomposition of \(S_{1}^{\mathrm{new}}(\Gamma_1(3780))\)
We only show spaces with odd 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_{1}^{\mathrm{old}}(\Gamma_1(3780))\) into lower level spaces
\( S_{1}^{\mathrm{old}}(\Gamma_1(3780)) \cong \) \(S_{1}^{\mathrm{new}}(\Gamma_1(1))\)\(^{\oplus 48}\)\(\oplus\)\(S_{1}^{\mathrm{new}}(\Gamma_1(2))\)\(^{\oplus 32}\)\(\oplus\)\(S_{1}^{\mathrm{new}}(\Gamma_1(3))\)\(^{\oplus 36}\)\(\oplus\)\(S_{1}^{\mathrm{new}}(\Gamma_1(4))\)\(^{\oplus 16}\)\(\oplus\)\(S_{1}^{\mathrm{new}}(\Gamma_1(5))\)\(^{\oplus 24}\)\(\oplus\)\(S_{1}^{\mathrm{new}}(\Gamma_1(6))\)\(^{\oplus 24}\)\(\oplus\)\(S_{1}^{\mathrm{new}}(\Gamma_1(7))\)\(^{\oplus 24}\)\(\oplus\)\(S_{1}^{\mathrm{new}}(\Gamma_1(9))\)\(^{\oplus 24}\)\(\oplus\)\(S_{1}^{\mathrm{new}}(\Gamma_1(10))\)\(^{\oplus 16}\)\(\oplus\)\(S_{1}^{\mathrm{new}}(\Gamma_1(12))\)\(^{\oplus 12}\)\(\oplus\)\(S_{1}^{\mathrm{new}}(\Gamma_1(14))\)\(^{\oplus 16}\)\(\oplus\)\(S_{1}^{\mathrm{new}}(\Gamma_1(15))\)\(^{\oplus 18}\)\(\oplus\)\(S_{1}^{\mathrm{new}}(\Gamma_1(18))\)\(^{\oplus 16}\)\(\oplus\)\(S_{1}^{\mathrm{new}}(\Gamma_1(20))\)\(^{\oplus 8}\)\(\oplus\)\(S_{1}^{\mathrm{new}}(\Gamma_1(21))\)\(^{\oplus 18}\)\(\oplus\)\(S_{1}^{\mathrm{new}}(\Gamma_1(27))\)\(^{\oplus 12}\)\(\oplus\)\(S_{1}^{\mathrm{new}}(\Gamma_1(28))\)\(^{\oplus 8}\)\(\oplus\)\(S_{1}^{\mathrm{new}}(\Gamma_1(30))\)\(^{\oplus 12}\)\(\oplus\)\(S_{1}^{\mathrm{new}}(\Gamma_1(35))\)\(^{\oplus 12}\)\(\oplus\)\(S_{1}^{\mathrm{new}}(\Gamma_1(36))\)\(^{\oplus 8}\)\(\oplus\)\(S_{1}^{\mathrm{new}}(\Gamma_1(42))\)\(^{\oplus 12}\)\(\oplus\)\(S_{1}^{\mathrm{new}}(\Gamma_1(45))\)\(^{\oplus 12}\)\(\oplus\)\(S_{1}^{\mathrm{new}}(\Gamma_1(54))\)\(^{\oplus 8}\)\(\oplus\)\(S_{1}^{\mathrm{new}}(\Gamma_1(60))\)\(^{\oplus 6}\)\(\oplus\)\(S_{1}^{\mathrm{new}}(\Gamma_1(63))\)\(^{\oplus 12}\)\(\oplus\)\(S_{1}^{\mathrm{new}}(\Gamma_1(70))\)\(^{\oplus 8}\)\(\oplus\)\(S_{1}^{\mathrm{new}}(\Gamma_1(84))\)\(^{\oplus 6}\)\(\oplus\)\(S_{1}^{\mathrm{new}}(\Gamma_1(90))\)\(^{\oplus 8}\)\(\oplus\)\(S_{1}^{\mathrm{new}}(\Gamma_1(105))\)\(^{\oplus 9}\)\(\oplus\)\(S_{1}^{\mathrm{new}}(\Gamma_1(108))\)\(^{\oplus 4}\)\(\oplus\)\(S_{1}^{\mathrm{new}}(\Gamma_1(126))\)\(^{\oplus 8}\)\(\oplus\)\(S_{1}^{\mathrm{new}}(\Gamma_1(135))\)\(^{\oplus 6}\)\(\oplus\)\(S_{1}^{\mathrm{new}}(\Gamma_1(140))\)\(^{\oplus 4}\)\(\oplus\)\(S_{1}^{\mathrm{new}}(\Gamma_1(180))\)\(^{\oplus 4}\)\(\oplus\)\(S_{1}^{\mathrm{new}}(\Gamma_1(189))\)\(^{\oplus 6}\)\(\oplus\)\(S_{1}^{\mathrm{new}}(\Gamma_1(210))\)\(^{\oplus 6}\)\(\oplus\)\(S_{1}^{\mathrm{new}}(\Gamma_1(252))\)\(^{\oplus 4}\)\(\oplus\)\(S_{1}^{\mathrm{new}}(\Gamma_1(270))\)\(^{\oplus 4}\)\(\oplus\)\(S_{1}^{\mathrm{new}}(\Gamma_1(315))\)\(^{\oplus 6}\)\(\oplus\)\(S_{1}^{\mathrm{new}}(\Gamma_1(378))\)\(^{\oplus 4}\)\(\oplus\)\(S_{1}^{\mathrm{new}}(\Gamma_1(420))\)\(^{\oplus 3}\)\(\oplus\)\(S_{1}^{\mathrm{new}}(\Gamma_1(540))\)\(^{\oplus 2}\)\(\oplus\)\(S_{1}^{\mathrm{new}}(\Gamma_1(630))\)\(^{\oplus 4}\)\(\oplus\)\(S_{1}^{\mathrm{new}}(\Gamma_1(756))\)\(^{\oplus 2}\)\(\oplus\)\(S_{1}^{\mathrm{new}}(\Gamma_1(945))\)\(^{\oplus 3}\)\(\oplus\)\(S_{1}^{\mathrm{new}}(\Gamma_1(1260))\)\(^{\oplus 2}\)\(\oplus\)\(S_{1}^{\mathrm{new}}(\Gamma_1(1890))\)\(^{\oplus 2}\)\(\oplus\)\(S_{1}^{\mathrm{new}}(\Gamma_1(3780))\)\(^{\oplus 1}\)