On the computation of general vector-valued modular forms

DOI10.1090/MCOM/3847arXiv2202.06676OpenAlexW4377824620MaRDI QIDQ6133450FDOQ6133450

Martin Raum, Author name not available (Why is that?)

Publication date: 18 August 2023

Published in: Mathematics of Computation (Search for Journal in Brave)

Abstract: 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 subgroup. It complements two available algorithms that are limited to inductions of Dirichlet characters and to Weil representations, thus covering further applications like Moonshine or Jacobi forms for congruence subgroups. We examine the calculation of invariants in specific representations via techniques from permutation groups, which greatly aids runtime performance. We explain how a generalization of cusp expansions of classical modular forms enters our implementation. After a heuristic consideration of time complexity, we relate the formulation of our algorithm to the two available ones, to highlight the compromises between level of generality and performance that each them makes.

Full work available at URL: https://arxiv.org/abs/2202.06676

zbMATH Keywords

holomorphic modular formsFourier expansionsvector-valued modular formscusp expansions

Mathematics Subject Classification ID

Holomorphic modular forms of integral weight (11F11) Fourier coefficients of automorphic forms (11F30) Jacobi forms (11F50)

Cites Work

• Title not available (Why is that?)
• Umbral moonshine and the Niemeier lattices
• Title not available (Why is that?)
• Gaussian elimination is not optimal
• Computational Aspects of Modular Forms and Galois Representations
• Title not available (Why is that?)
• Modular forms, a computational approach. With an appendix by Paul E. Gunnells
• Title not available (Why is that?)
• Title not available (Why is that?)
• Les Schémas de Modules de Courbes Elliptiques
• The theory of Jacobi forms
• Automorphic forms with singularities on Grassmannians
• Lie Groups
• Title not available (Why is that?)
• Generalized Mathieu Moonshine
• Title not available (Why is that?)
• Title not available (Why is that?)
• Jacobi forms of critical weight and Weil representations
• The Weil Representation of and Some Applications
• On the classification of automorphic products and generalized Kac-Moody algebras
• Eisenstein series attached to lattices and modular forms on orthogonal groups
• Title not available (Why is that?)
• Toric modular forms and nonvanishing of \(L\)-functions
• Toric varieties and modular forms
• The Scalar Product of Modular Forms
• Borcherds products everywhere
• Fast linear algebra is stable
• Moduli interpretation of Eisenstein series
• Toric modular forms of higher weight
• Modular forms in Pari/GP
• KUDLA’S MODULARITY CONJECTURE AND FORMAL FOURIER–JACOBI SERIES
• COMPUTATIONS WITH FINITE INDEX SUBGROUPS OF PSL₂(ℤ) USING FAREY SYMBOLS
• Arb: Efficient Arbitrary-Precision Midpoint-Radius Interval Arithmetic
• Title not available (Why is that?)
• Products of vector valued Eisenstein series
• Poincaré square series for the Weil representation
• Nemo/Hecke
• Vector-valued Hirzebruch-Zagier series and class number sums
• Harmonic theta series and the Kodaira dimension of \(\mathcal{A}_6\)
• All modular forms of weight 2 can be expressed by Eisenstein series
• THETA BLOCK FOURIER EXPANSIONS, BORCHERDS PRODUCTS AND A SEQUENCE OF NEWMAN AND SHANKS
• Overpartition $M2$-rank differences, class number relations, and vector-valued mock Eisenstein series
• Modular forms invariant under non-split Cartan subgroups
• Arithmetic geometry, number theory, and computation

Cited In (7)

• Title not available (Why is that?)
• Logarithmic vector-valued modular forms
• Generators for modules of vector-valued Picard modular forms
• Modularity of Nahm sums for the tadpole diagram
• Definite orthogonal modular forms: computations, excursions, and discoveries
• A computational study of the asymptotic behaviour of coefficient fields of modular forms
• How to implement a modular form

This page was built for publication: On the computation of general vector-valued modular forms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6133450)