Related papers: Explicit Computation of Cusp forms via Hecke Actio…

The Eichler-Shimura isomorphism describes a certain cohomology group with coefficients in a space of polynomials by using holomorphic modular/cusp forms. It determines a canonical decomposition of the corresponding de Rham cohomology group…

We compute the cohomology with compact supports of a Picard modular surface as a virtual module over the product of the appropriate Galois group and the appropriate Hecke algebra. We use the method developed by Ihara, Langlands, and…

We establish an Eichler-Shimura isomorphism for weakly modular forms of level one. We do this by relating weakly modular forms with rational Fourier coefficients to the algebraic de Rham cohomology of the modular curve with twisted…

Given the L-series of a half-integral weight cusp form, we construct a cohomology class with coefficients in a finite dimensional vector space in a way that parallels the Eichler cohomology in the integral weight case. We also define a lift…

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…

Let Gamma be a congruence subgroup of the Picard modular group of an imaginary number field k, and let D be the associated symmetric space. We describe a method to compute the integral cohomology of the locally symmetric space Gamma\D. The…

Two integral structures on the Q-vector space of modular forms of weight two on X_0(N) are compared at primes p exactly dividing N. When p=2 and N is divisible by a prime that is 3 mod 4, this comparison leads to an algorithm for computing…

Let $(X,\,D)$ be an $m$-pointed compact Riemann surface of genus at least $2$. For each $x \,\in\, D$, fix full flag and concentrated weight system $\alpha$. Let $P \mathcal{M}_{\xi}$ denote the moduli space of semi-stable parabolic vector…

We define a subspace of the space of holomorphic modular forms of weight $k+1/2$ and level $4M$ where $M$ is odd and square-free. We show that this subspace is isomorphic under the Shimura-Niwa correspondence to the space of newforms of…

Let p be a prime number. The Hasse invariant is a modular form modulo p that is often used to produce congruences between modular forms of different weights. We show how to produce such congruences between forms of weights 2 and p+1, in…

Using a description of the cohomology of local systems on the moduli space of abelian surfaces with a full level two structure, together with a computation of Euler characteristics we find the isotypical decomposition, under the symmetric…

Let $\Gamma$ be a Bianchi group associated to one of the five Euclidean imaginary quadratic fields. We show that the space of weight $k$ period polynomials for $\Gamma$ is ``dual'' to the space of weight $k$ modular symbols for $\Gamma$,…

Let f be a newform, as specified by its Hecke eigenvalues, on a Shimura curve X. We describe a method for evaluating f. The most interesting case is when X arises as a compact quotient of the hyperbolic plane, so that classical q-expansions…

We describe a computational approach to the verification of Maeda's conjecture for the Hecke operator T2 on the space of cusp forms of level one. We provide experimental evidence for all weights less than 12000, as well as some applications…

We construct certain operations on stable moduli spaces and use them to compare cohomology of moduli spaces of closed manifolds with tangential structure. We obtain isomorphisms in a stable range provided the $p$-adic valuation of the Euler…

We describe an implementation for computing holomorphic and skew-holomorphic Jacobi forms of integral weight and scalar index on the full modular group. This implementation is based on formulas derived by one of the authors which express…

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…

In a paper published in 1959, Shimura presented an elegant calculation of the critical values of L-functions attached to elliptic modular forms using the first cohomology group. We will show that a similar calculation is possible for…

We compute Hecke eigenform bases of spaces of level one, degree~three Siegel modular forms and 2-Euler factors of the eigenforms through weight 22. Our method uses the Fourier coefficients of Siegel Eisenstein series, which are fully known…

These course notes are about computing modular forms and some of their arithmetic properties. Their aim is to explain and prove the modular symbols algorithm in as elementary and as explicit terms as possible, and to enable the devoted…