Related papers: Computing actions on cusp forms

In this paper, we prove the existence of an efficient algorithm for the computation of $q$-expansions of modular forms of weight $k$ and level $\Gamma$, where $\Gamma \subseteq SL_{2}({\mathbb{Z}})$ is an arbitrary congruence subgroup. We…

Cusp forms are certain holomorphic functions defined on the upper half-plane, and the space of cusp forms for the principal congruence subgroup $\Gamma(p)$, $p$ a prime, is acted by $\mathrm{SL}_2(\mathbb{F}_p)$. Meanwhile, there is a…

Let $\Gamma\subset\mathrm{PSL}_{2}(\mathbb{R})$ be a Fuchsian subgroup of the first kind acting on the upper half-plane $\mathbb{H}$. Consider the $d_{2k}$-dimensional space of cusp forms $\mathcal{S}_{2k}^{\Gamma}$ of weight $2k$ for…

A formula for the dimension of the space of cuspidal modular forms on $\Gamma_0(N)$ of weight $k$ ($k\ge2$ even) has been known for several decades. More recent but still well-known is the Atkin-Lehner decomposition of this space of cusp…

Let F be a real quadratic field with ring of integers O and with class number 1. Let Gamma be a congruence subgroup of GL_2 (O). We describe a technique to compute the action of the Hecke operators on the cohomology H^3 (Gamma; C). For F…

We develop an explicit theory of formal modular forms over arbitrary number fields $K$, as functions of modular points. We define modular points for $\Gamma_0({\mathfrak n})$ and $\Gamma_1({\mathfrak n})$, where the level ${\mathfrak n}$ is…

Let $p$ be a prime and let $S_2(\Gamma(p))$ be the space of weight $2$ cusp forms for the principal congruence subgroup $\Gamma(p)$. Then $\mathrm{SL}_2(\mathbb{F}_p)$ acts on $S_2(\Gamma(p))$ in a natural way. Around 1928, Hecke proved…

We calculate the action of some Hecke operators on spaces of modular forms spanned by the Siegel theta-series of certain genera of strongly modular lattices closely related to the Leech lattice. Their eigenforms provide explicit examples of…

In this paper, we describe an algorithm for computing algebraic modular forms on compact inner forms of $\mathrm{GSp}_4$ over totally real number fields. By analogues of the Jacquet-Langlands correspondence for $\mathrm{GL}_2$, this…

Let $\Gamma$ be a cocompact, discrete, and irreducible subgroup of $\mathrm{PSL}_{2}(\mathbb{R})^{n}$. Let $\nu$ be a unitary character of $\Gamma$. For $k\in1\slash 2\,\mathbb{Z}$, let $\sknu$ denote the complex vector space of cusp forms…

Ash, Grayson, and Green [J. Number Theory 19 (1984), pp. 412-436] compute the action of Hecke operators on a certain subspace of the cohomology of low-level congruence subgroups of $\mathsf{SL}(3, \mathbb{Z})$. This subspace contains the…

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…

Based on the notion of strong modular form developed in Part I, we propose to structure the family of cuspidal modular form spaces $(S_{2k}(\Gamma_0(N)))_{k\in \mathbb{N}^*}$ and to determine bases for each of these spaces, once known bases…

In this paper we generalize a well-known isomorphism between the space of cusp forms of weight $k$ for a Fuchsian subgroup of the first kind $\Gamma \subset\mathrm{SL}_{2}(\mathbb{R})$ and the space of certain Maa{\ss} forms of weight $k$…

We derive explicit formulas for some Kloosterman sums on $\Gamma_0(N)$, and for the Fourier coefficients of Eisenstein series attached to arbitrary cusps, around a general Atkin-Lehner cusp.

Let $\bf{G}$ be the connected reductive group of type $E_{7,3}$ over $\mathbb{Q}$ and $\mathfrak{T}$ be the corresponding symmetric domain in $\mathbb{C}^{27}$. Let $\Gamma=\bf{G}(\mathbb{Z})$ be the arithmetic subgroup defined by Baily. In…

Let $\Gamma$ be a principal congruence subgroup of $SL_n(Z)$ and let $\sigma$ be an irreducible representation of SO(n). Let $N(T,\sigma)$ be the counting function of the eigenvalues of the Casimir operator acting in the space of cusp forms…

For $n > 2$, let $\Gamma$ denote either $SL(n, Z)$ or $Sp(n, Z)$. We give a practical algorithm to compute the level of the maximal principal congruence subgroup in an arithmetic group $H\leq \Gamma$. This forms the main component of our…

Let $\Gamma\subseteq\mathrm{PSL}_{2}(\mathbb{R})$ be a Fuchsian subgroup of the first kind acting on the upper half-plane $\mathbb{H}$. Consider the $d$-dimensional space of cusp forms $\mathcal{S}_{k}^{\Gamma}$ of weight $2k$ for $\Gamma$,…

The moduli space of twisted stable maps into the stack $B(\Z/m\Z)^2$ carries a natural $S_n$-action and so its cohomology may be decomposed into irreducible $S_n$-representations. Working over $\Spec \Z[1/m]$ we show that the alternating…