How to implement a modular form
The computation of modular forms is of current interest for modular forms of higher rank and, for example, has led to a number of conjectures that are analogous to what happens in the case of classical modular forms (e.g., the work of \textit{C. Poor} and \textit{D. S. Yuen} on the Paramodular Conjecture [J. Korean Math. Soc. 50, No. 2, 445--464 (2013; Zbl 1329.11042)]). Whereas in the case of classical modular forms, modular symbols provide a general (and efficient) way to compute Fourier expansions, for many other kinds of modular forms there is no such thing. In this paper the author presents and describes an answer to the following question: How does one represent a modular form in as compact a way as possible by taking advantage of the invariance of the coefficients of the modular form? By ``modular form the author means something very general: in particular, the implementation he has developed can be used to represent vector-valued elliptic modular forms, scalar- and vector-valued Siegel (para)modular forms, Hermitian modular forms, Jacobi modular forms, among others. The construction is based on category theory and the common object he uses to represent a modular form is something the author calls an ``equivariant monoid power series. The framework in which this is implemented can be downloaded from \url{https://github.com/martinra/psage}. The paper includes some examples of how to use the framework.
- Modular forms in Pari/GP
- Modular forms, a computational approach. With an appendix by Paul E. Gunnells
- On the computation of general vector-valued modular forms
- Introduction to Applications of Modular Forms
- scientific article; zbMATH DE number 592841
- An introduction to computing modular forms using modular symbols
- Computing genus 1 Jacobi forms
- Computational arithmetic of modular forms
- Modular forms. A classical and computational introduction
- An even unimodular 72-dimensional lattice of minimum 8
- Automorphic forms with singularities on Grassmannians
- Computations of Siegel Modular Forms of Genus Two
- Computations of spaces of Siegel modular cusp forms
- Efficiently generated spaces of classical Siegel modular forms and the Böcherer conjecture
- Graded rings of Hermitian modular forms of degree 2
- scientific article; zbMATH DE number 4002178 (Why is no real title available?)
- scientific article; zbMATH DE number 3577263 (Why is no real title available?)
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- scientific article; zbMATH DE number 2078167 (Why is no real title available?)
- Invariant theory
- Iwahori-spherical representations of \(\mathrm{GSp}(4)\) and Siegel modular forms of degree 2 with square-free level
- Modular forms on half-spaces of quaternions
- On certain vector valued Siegel modular forms of degree two
- On Siegel Modular Forms of Genus Two
- Proof of the Alder-Andrews conjecture
- Quaternionic theta constants
- Some modular varieties of low dimension
- Some numerical computations concerning spinor zeta functions in genus $\boldsymbol{2}$ at the central point
- The 1-2-3 of modular forms. Lectures at a summer school in Nordfjordeid, Norway, June 2004
- The Magma algebra system. I: The user language
This page was built for publication: How to implement a modular form
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q651876)
