Related papers: Computing Classical Modular Forms for Arbitrary Co…

For positive integers $k$ and $N$, we describe how to compute the natural action of $SL_2(\mathbb{Z})$ on the space of cusp forms $S_k(\Gamma(N))$, where a cusp form is given by sufficiently many terms of its $q$-expansion. This will reduce…

We introduce and study certain hyperbolic versions of automorphic Lie algebras related to the modular group. Let $\Gamma$ be a finite index subgroup of $\mathrm{SL}(2,\mathbb{Z})$ with an action on a complex simple Lie algebra $\mathfrak…

We present and discuss an algorithm and its implementation that is capable of directly determining Fourier expansions of any vector-valued modular form of weight at least $2$ associated with representations whose kernel is a congruence…

We develop a new algorithm to compute a basis for $M_k(\Gamma_0(N))$, the space of weight $k$ holomorphic modular forms on $\Gamma_0(N)$, in the case when the graded algebra of modular forms over $\Gamma_0(N)$ is generated at weight two.…

We show that noncongruence subgroups of SL_2(Z) projectively equivalent to congruence subgroups are ubiquitous. More precisely, they always exist if the congruence subgroup in question is a principal congruence subgroup Gamma(N) of level…

We give a computationally effective criterion for determining whether a finite-index subgroup of SL(2, Z) is a congruence subgroup, extending earlier work of Hsu for subgroups of PSL(2, Z).

The notion of formal Siegel modular forms for an arithmetic subgroup $\Gamma$ of the symplectic group of genus $n$ is a generalization of symmetric formal Fourier-Jacobi series. Assuming an upper bound on the affine covering number of the…

We give a geometric perspective on the algebra of Drinfeld modular forms for congruence subgroups $\Gamma\leq \GL_2(\bbF_q[T]).$ In particular, we describe an isomorphism between the section ring of a line bundle on the stacky modular curve…

We obtain asymptotic formulas for the number of matrices in the congruence subgroup \[ \Gamma_0(Q) = \left\{ A\in\mathrm{SL}_2(\mathbb Z):~c \equiv 0 \pmod Q\right\}, \] which are of naive height at most $X$. Our result is uniform in a very…

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…

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$…

This is a report on recent work, with Wen-Ching Winnie Li and Ling Long. In that work explicit formulas are given, involving hypergeometric character sums, for the traces of Hecke operators $T_p$ acting spaces of cusp forms $S_k(\Gamma)$ of…

In previous work, the first author developed an algorithm for the computation of Hilbert modular forms. In this paper, we extend this to all totally real number fields of even degree and nontrivial class group. Using the algorithm over…

We investigate the sixth moment of the family of $L$-functions associated to holomorphic modular forms on $GL_2$ with respect to a congruence subgroup $\Gamma_1(q)$. We improve on previous work and obtain an unconditional upper bound of the…

In this paper we describe a method for computing a basis for the space of weight $2$ cusp forms invariant under a non-split Cartan subgroup of prime level $p$. As an application we compute, for certain small values of $p$, explicit…

We present two approaches that can be used to compute modular forms on noncongruence subgroups. The first approach uses Hejhal's method for which we improve the arbitrary precision solving techniques so that the algorithm becomes about up…

We establish uniform bounds for the sup-norms of modular forms of arbitrary real weight $k$ with respect to a finite index subgroup $\Gamma$ of $\mathrm{SL}_2(\mathbb{Z})$. We also prove corresponding bounds for the supremum over a compact…

Arithmetic quotients are quotients of bounded symmetric domains by arithmetic groups, and modular subvarieties of arithmetic quotients are themselves arithmetic quotients of lower dimension which live on arithmetic quotients, by an…

We give two congruence properties of Hermitian modular forms of degree 2 over $\mathbb{Q}(\sqrt{-1})$ and $\mathbb{Q}(\sqrt{-3})$. The one is a congruence criterion for Hermitian modular forms which is generalization of Sturm's theorem.…

We discuss the best methods available for computing the gamma function $\Gamma(z)$ in arbitrary-precision arithmetic with rigorous error bounds. We address different cases: rational, algebraic, real or complex arguments; large or small…