13
$\begingroup$

I asked this on mathstackexchange, but got no answer.

Let $N\geq1$ be an integer, and let $\mathbb{T}$ be the Hecke algebra acting on the cusp forms of weight k and level $\Gamma_0(N)$.

Then $\mathbb{T}$ is finite and flat over $\mathbb{Z}$, but the proof I know for this fact is slightly roundabout, by letting it act on homology.

How can one compute $\mathbb{T}$ in explicit examples? By which I mean, writing a presentation for it. I am not necessarily looking for an algorithm, but all the examples I have seen are pretty degenerate (i.e. level 1, weight 12 or level 23, weight 2), and I would like to get some better feel for it. Moreover, it seems to me this sort of data cannot be easily found on the LMFDB.

Answers to slight variations of this question are also very welcome (i.e. level $\Gamma_1(N)$, or all forms instead of just cusp forms).

Thanks!

Improve this question
$\endgroup$

1 Answer 1

Reset to default
3
$\begingroup$

This isn't quite an answer, but since I cant comment, I'll do it here.

In MAGMA you can ask for HeckeAlgebra of a space of ModularSymbols (or maybe it only works for the cuspidal subspace of such), but in any case, it'll give you some generators and such. You can see more here https://magma.maths.usyd.edu.au/magma/handbook/text/1613

I think one can also do something similar in Sage, see here http://doc.sagemath.org/html/en/reference/hecke/sage/modular/hecke/algebra.html

Improve this answer
$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .