Showing 1–2 of 2 results for author: Rasmussen, J B
-
Explicit Computation of Cusp forms via Hecke Action on Cohomology and its Complexity
Authors:
Jonas B. Rasmussen
Abstract:
In the literature, the standard approach to finding bases of spaces of modular forms is via modular symbols and the homology of modular curves. By using the Eichler-Shimura isomorphism, a work by Wang shows how one can use a cohomological viewpoint to determine bases of spaces of cusp forms on $Γ_0(N)$ of weight $k \geq 2$ and character $χ$. It is interesting to look at the complexity of this al…
▽ More
In the literature, the standard approach to finding bases of spaces of modular forms is via modular symbols and the homology of modular curves. By using the Eichler-Shimura isomorphism, a work by Wang shows how one can use a cohomological viewpoint to determine bases of spaces of cusp forms on $Γ_0(N)$ of weight $k \geq 2$ and character $χ$. It is interesting to look at the complexity of this alternative approach, and we do this for an explicit implementation of the algorithm suggested by Wang.
△ Less
Submitted 18 May, 2009;
originally announced May 2009.
-
On congruences mod ${\mathfrak p}^m$ between eigenforms and their attached Galois representations
Authors:
I. Chen,
I. Kiming,
J. B. Rasmussen
Abstract:
Given a prime $p$ and cusp forms $f_1$ and $f_2$ on some $Γ_1(N)$ that are eigenforms outside $Np$ and have coefficients in the ring of integers of some number field $K$, we consider the problem of deciding whether $f_1$ and $f_2$ have the same eigenvalues mod ${\mathfrak p}^m$ (where ${\mathfrak p}$ is a fixed prime of $K$ over $p$) for Hecke operators $T_{\ell}$ at all primes $\ell\nmid Np$.…
▽ More
Given a prime $p$ and cusp forms $f_1$ and $f_2$ on some $Γ_1(N)$ that are eigenforms outside $Np$ and have coefficients in the ring of integers of some number field $K$, we consider the problem of deciding whether $f_1$ and $f_2$ have the same eigenvalues mod ${\mathfrak p}^m$ (where ${\mathfrak p}$ is a fixed prime of $K$ over $p$) for Hecke operators $T_{\ell}$ at all primes $\ell\nmid Np$.
When the weights of the forms are equal the problem is easily solved via an easy generalization of a theorem of Sturm. Thus, the main challenge in the analysis is the case where the forms have different weights. Here, we prove a number of necessary and sufficient conditions for the existence of congruences mod ${\mathfrak p}^m$ in the above sense.
The prime motivation for this study is the connection to modular mod ${\mathfrak p}^m$ Galois representations, and we also explain this connection.
△ Less
Submitted 22 September, 2008;
originally announced September 2008.