Modular forms are highly self-symmetric functions studied in number theory, with connections to several areas of mathematics. But they are rarely visualized. We discuss ongoing work to compute and visualize modular forms as 3D surfaces and to use these techniques to make videos flying around the peaks and canyons of these modular terrains. Our goal is to make beautiful visualizations exposing the symmetries of these functions.
We establish an isomorphism between certain complex-valued and vector-valued modular form spaces of half-integral weight, generalizing the well-known isomorphism between modular forms for $Gamma_0(4)$ with Kohnens plus condition and modular forms for the Weil representation associated to the discriminant form for the lattice with Gram matrix $(2)$. With such an isomorphism, we prove the Zagier duality and write down the Borcherds lifts explicitly.
We discuss practical and some theoretical aspects of computing a database of classical modular forms in the L-functions and Modular Forms Database (LMFDB).
In this note, we consider discriminant forms that are given by the norm form of real quadratic fields and their induced Weil representations. We prove that there exists an isomorphism between the space of vector-valued modular forms for the Weil representations that are invariant under the action of the automorphism group and the space of scalar-valued modular forms that satisfy some epsilon-condition, with which we translate Borcherdss theorem of obstructions to scalar-valued modular forms. In the end, we consider an example in the case of level 12.
Let $F$ be a totally real field and $p$ be an odd prime which splits completely in $F$. We prove that the eigenvariety associated to a definite quaternion algebra over $F$ satisfies the following property: over a boundary annulus of the weight space, the eigenvariety is a disjoint union of countably infinitely many connected components which are finite over the weight space; on each fixed connected component, the ratios between the $U_mathfrak{p}$-slopes of points and the $p$-adic valuations of the $mathfrak{p}$-parameters are bounded by explicit numbers, for all primes $mathfrak{p}$ of $F$ over $p$. Applying Hansens $p$-adic interpolation theorem, we are able to transfer our results to Hilbert modular eigenvarieties. In particular, we prove that on every irreducible component of Hilbert modular eigenvarieties, as a point moves towards the boundary, its $U_p$ slope goes to zero. In the case of eigencurves, this completes the proof of Coleman-Mazurs `halo conjecture.
Let $k$ be an even integer and $S_k$ be the space of cusp forms of weight $k$ on $SL_2(ZZ)$. Let $S = oplus_{kin 2ZZ} S_k$. For $f, gin S$, we let $R(f, g) = { (a_f(p), a_g(p)) in mathbb{P}^1(CC) | text{$p$ is a prime} }$ be the set of ratios of the Fourier coefficients of $f$ and $g$, where $a_f(n)$ (resp. $a_g(n)$) is the $n$th Fourier coefficient of $f$ (resp. $g$). In this paper, we prove that if $f$ and $g$ are nonzero and $R(f,g)$ is finite, then $f = cg$ for some constant $c$. This result is extended to the space of weakly holomorphic modular forms on $SL_2(ZZ)$. We apply it to studying the number of representations of a positive integer by a quadratic form.