Timeline for How to get the dimension of Atkin-Lehner eigenspace or do you have any data already obtained?
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 21, 2022 at 11:22 | vote | accept | kslhg | ||
| Sep 21, 2022 at 8:05 | comment | added | kslhg | Wow! It’s great! Thanks a lot!! | |
| Sep 21, 2022 at 7:21 | comment | added | David Loeffler | I've edited the answer to include a function which allows you to input any combination of levels and weights. | |
| Sep 21, 2022 at 7:19 | history | edited | David Loeffler | CC BY-SA 4.0 |
fixed code for higher weight
|
| Sep 21, 2022 at 6:14 | vote | accept | kslhg | ||
| Sep 21, 2022 at 6:15 | |||||
| Sep 21, 2022 at 6:14 | comment | added | kslhg | Oh thank you! I fixed it. | |
| Sep 21, 2022 at 5:49 | comment | added | David Loeffler | I'm guessing you didn't compensate for the normalisation which makes $W_Q^2$ a nontrivial power of Q when the weight is $>2$. | |
| Sep 21, 2022 at 3:03 | comment | added | kslhg | For the first code, in case Gamma0(21), wt=12, I got (x + 4084101)^13 * (x - 4084101)^15, as I expected. (we know that $\dim S_{k}(\Gamma_{0}(21))=28$ and $\dim S_{k}(\Gamma_{0}^{+}(21))=13$.) However, for the second code, I got [1, 1] 0, [1, -1] 0, [-1, 1] 0, [-1, -1] 0. I expect [1, 1] 8, since $\dim S_{k}(\Gamma_{0}^{*}(21))=8$. Here $\Gamma_{0}^{+}(21)=<\Gamma_{0}(21) , W_{21}>$ and $\Gamma_{0}^{*}(21)$ is the group generated by $\Gamma_{0}(21)$ and all A-L involution. What's the problem? Is it because I didn't understand the modular symbol deeply and just followed the code you gave me..? | |
| Sep 20, 2022 at 9:57 | history | answered | David Loeffler | CC BY-SA 4.0 |