Defining parameters
| Level: | \( N \) | \(=\) | \( 1638 = 2 \cdot 3^{2} \cdot 7 \cdot 13 \) |
| Weight: | \( k \) | \(=\) | \( 4 \) |
| Character orbit: | \([\chi]\) | \(=\) | 1638.a (trivial) |
| Character field: | \(\Q\) | ||
| Newform subspaces: | \( 37 \) | ||
| Sturm bound: | \(1344\) | ||
| Trace bound: | \(11\) | ||
| Distinguishing \(T_p\): | \(5\), \(11\) |
Dimensions
The following table gives the dimensions of various subspaces of \(M_{4}(\Gamma_0(1638))\).
| Total | New | Old | |
|---|---|---|---|
| Modular forms | 1024 | 90 | 934 |
| Cusp forms | 992 | 90 | 902 |
| Eisenstein series | 32 | 0 | 32 |
The following table gives the dimensions of the cuspidal new subspaces with specified eigenvalues for the Atkin-Lehner operators and the Fricke involution.
| \(2\) | \(3\) | \(7\) | \(13\) | Fricke | Total | Cusp | Eisenstein | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| All | New | Old | All | New | Old | All | New | Old | ||||||||
| \(+\) | \(+\) | \(+\) | \(+\) | \(+\) | \(70\) | \(4\) | \(66\) | \(68\) | \(4\) | \(64\) | \(2\) | \(0\) | \(2\) | |||
| \(+\) | \(+\) | \(+\) | \(-\) | \(-\) | \(60\) | \(5\) | \(55\) | \(58\) | \(5\) | \(53\) | \(2\) | \(0\) | \(2\) | |||
| \(+\) | \(+\) | \(-\) | \(+\) | \(-\) | \(62\) | \(5\) | \(57\) | \(60\) | \(5\) | \(55\) | \(2\) | \(0\) | \(2\) | |||
| \(+\) | \(+\) | \(-\) | \(-\) | \(+\) | \(64\) | \(4\) | \(60\) | \(62\) | \(4\) | \(58\) | \(2\) | \(0\) | \(2\) | |||
| \(+\) | \(-\) | \(+\) | \(+\) | \(-\) | \(62\) | \(6\) | \(56\) | \(60\) | \(6\) | \(54\) | \(2\) | \(0\) | \(2\) | |||
| \(+\) | \(-\) | \(+\) | \(-\) | \(+\) | \(66\) | \(7\) | \(59\) | \(64\) | \(7\) | \(57\) | \(2\) | \(0\) | \(2\) | |||
| \(+\) | \(-\) | \(-\) | \(+\) | \(+\) | \(65\) | \(7\) | \(58\) | \(63\) | \(7\) | \(56\) | \(2\) | \(0\) | \(2\) | |||
| \(+\) | \(-\) | \(-\) | \(-\) | \(-\) | \(63\) | \(6\) | \(57\) | \(61\) | \(6\) | \(55\) | \(2\) | \(0\) | \(2\) | |||
| \(-\) | \(+\) | \(+\) | \(+\) | \(-\) | \(62\) | \(4\) | \(58\) | \(60\) | \(4\) | \(56\) | \(2\) | \(0\) | \(2\) | |||
| \(-\) | \(+\) | \(+\) | \(-\) | \(+\) | \(64\) | \(5\) | \(59\) | \(62\) | \(5\) | \(57\) | \(2\) | \(0\) | \(2\) | |||
| \(-\) | \(+\) | \(-\) | \(+\) | \(+\) | \(64\) | \(5\) | \(59\) | \(62\) | \(5\) | \(57\) | \(2\) | \(0\) | \(2\) | |||
| \(-\) | \(+\) | \(-\) | \(-\) | \(-\) | \(66\) | \(4\) | \(62\) | \(64\) | \(4\) | \(60\) | \(2\) | \(0\) | \(2\) | |||
| \(-\) | \(-\) | \(+\) | \(+\) | \(+\) | \(62\) | \(8\) | \(54\) | \(60\) | \(8\) | \(52\) | \(2\) | \(0\) | \(2\) | |||
| \(-\) | \(-\) | \(+\) | \(-\) | \(-\) | \(66\) | \(6\) | \(60\) | \(64\) | \(6\) | \(58\) | \(2\) | \(0\) | \(2\) | |||
| \(-\) | \(-\) | \(-\) | \(+\) | \(-\) | \(65\) | \(6\) | \(59\) | \(63\) | \(6\) | \(57\) | \(2\) | \(0\) | \(2\) | |||
| \(-\) | \(-\) | \(-\) | \(-\) | \(+\) | \(63\) | \(8\) | \(55\) | \(61\) | \(8\) | \(53\) | \(2\) | \(0\) | \(2\) | |||
| Plus space | \(+\) | \(518\) | \(48\) | \(470\) | \(502\) | \(48\) | \(454\) | \(16\) | \(0\) | \(16\) | ||||||
| Minus space | \(-\) | \(506\) | \(42\) | \(464\) | \(490\) | \(42\) | \(448\) | \(16\) | \(0\) | \(16\) | ||||||
Trace form
Decomposition of \(S_{4}^{\mathrm{new}}(\Gamma_0(1638))\) into newform subspaces
Decomposition of \(S_{4}^{\mathrm{old}}(\Gamma_0(1638))\) into lower level spaces
\( S_{4}^{\mathrm{old}}(\Gamma_0(1638)) \simeq \) \(S_{4}^{\mathrm{new}}(\Gamma_0(6))\)\(^{\oplus 8}\)\(\oplus\)\(S_{4}^{\mathrm{new}}(\Gamma_0(7))\)\(^{\oplus 12}\)\(\oplus\)\(S_{4}^{\mathrm{new}}(\Gamma_0(9))\)\(^{\oplus 8}\)\(\oplus\)\(S_{4}^{\mathrm{new}}(\Gamma_0(13))\)\(^{\oplus 12}\)\(\oplus\)\(S_{4}^{\mathrm{new}}(\Gamma_0(14))\)\(^{\oplus 6}\)\(\oplus\)\(S_{4}^{\mathrm{new}}(\Gamma_0(18))\)\(^{\oplus 4}\)\(\oplus\)\(S_{4}^{\mathrm{new}}(\Gamma_0(21))\)\(^{\oplus 8}\)\(\oplus\)\(S_{4}^{\mathrm{new}}(\Gamma_0(26))\)\(^{\oplus 6}\)\(\oplus\)\(S_{4}^{\mathrm{new}}(\Gamma_0(39))\)\(^{\oplus 8}\)\(\oplus\)\(S_{4}^{\mathrm{new}}(\Gamma_0(42))\)\(^{\oplus 4}\)\(\oplus\)\(S_{4}^{\mathrm{new}}(\Gamma_0(63))\)\(^{\oplus 4}\)\(\oplus\)\(S_{4}^{\mathrm{new}}(\Gamma_0(78))\)\(^{\oplus 4}\)\(\oplus\)\(S_{4}^{\mathrm{new}}(\Gamma_0(91))\)\(^{\oplus 6}\)\(\oplus\)\(S_{4}^{\mathrm{new}}(\Gamma_0(117))\)\(^{\oplus 4}\)\(\oplus\)\(S_{4}^{\mathrm{new}}(\Gamma_0(126))\)\(^{\oplus 2}\)\(\oplus\)\(S_{4}^{\mathrm{new}}(\Gamma_0(182))\)\(^{\oplus 3}\)\(\oplus\)\(S_{4}^{\mathrm{new}}(\Gamma_0(234))\)\(^{\oplus 2}\)\(\oplus\)\(S_{4}^{\mathrm{new}}(\Gamma_0(273))\)\(^{\oplus 4}\)\(\oplus\)\(S_{4}^{\mathrm{new}}(\Gamma_0(546))\)\(^{\oplus 2}\)\(\oplus\)\(S_{4}^{\mathrm{new}}(\Gamma_0(819))\)\(^{\oplus 2}\)