On the Fourier coefficients of 2-dimensional vector-valued modular forms

DOI10.1090/S0002-9939-2011-11098-0MaRDI QIDQ2884412zbMATH OpenFDO

Authors Geoffrey Mason

Publication date 29 May 2012

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

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

zbMATH Keywords

modular groupvector-valued modular forms

Mathematics Subject Classification ID

Fourier coefficients of automorphic forms (11F30) Discontinuous groups and automorphic forms (11F99)

Abstract: Let $ho:SL(2,mathbbZ)oGL(2,mathbbC)$ be an irreducible representation of the modular group such that $ho(T)$ has finite order $N$. We study holomorphic vector-valued modular forms $F(au)$ of integral weight associated to $ho$ which have emph{rational} Fourier coefficients. (These span the complex space of all integral weight vector-valued modular forms associated to $ho$.) As a special case of the main Theorem, we prove that if $N$ does emph{not} divide 120 then every nonzero $F(au)$ has Fourier coefficients with emph{unbounded denominators}.

Review text

Let \(\Gamma=\text{SL}_2(\mathbb Z)\) be the modular group, \(\rho\) a complex two dimensional representation of \(\Gamma\). A holomorphic vector-valued modular form of weight \(k\) associated to \(\rho\) is a pair \(F=(f_1,f_2)\), so that under the action of \(\gamma\in \Gamma\), \(\gamma\circ F=F\rho(\gamma)\).NEWLINENEWLINEWhen the kernel of \(\rho\) contains a congruence subgroup of \(\Gamma\), we say \(\rho\) is modular. In this case the forms \(f_1\) and \(f_2\) must be classical modular forms with respect to that congruence subgroup. It is well known the Fourier coefficients of the classical modular forms have bounded denominator property. The paper studies the converse under the assumption that \(\rho\) has a finite projective level--meaning \(\rho(T)\) has finite order \(M\) in \(\text{PGL}_2(\mathbb C)\). (Here \(T\) is one of the standard generators of \(\Gamma\)).NEWLINENEWLINEThe paper states the conjecture that (under the above assumption of \(\rho\)) \(\rho\) is modular if and only if some \(F\) has bounded denominator property. It proves the conjecture under the assumption that the order \(M\) does not divide \(60\). Indeed in this case none of the \(\rho\) is modular and all \(F\) with rational Fourier coefficients have unbounded denominators.

Recommendations

• Fourier coefficients of vector-valued modular forms of dimension 2
• The arithmetic of vector-valued modular forms on \(\Gamma_0(2)\)
• Fourier coefficients of three-dimensional vector-valued modular forms
• On vector-valued modular forms and their Fourier coefficients
• Logarithmic vector-valued modular forms and polynomial-growth estimates of their Fourier coefficients

Cites work

• 2-dimensional vector-valued modular forms
• An extension of F. Klein's level concept
• scientific article; zbMATH DE number 3534862 (Why is no real title available?)
• scientific article; zbMATH DE number 3372104 (Why is no real title available?)
• On Generalized Modular forms and their Applications
• On modular forms for some noncongruence subgroups of \(\text{SL}_2(\mathbb Z)\)
• On modular forms for some noncongruence subgroups of SL₂ (ℤ) II
• On the canonical decomposition of generalized modular functions
• On vector-valued modular forms and their Fourier coefficients
• Structure of the module of vector-valued modular forms
• VECTOR-VALUED MODULAR FORMS AND LINEAR DIFFERENTIAL OPERATORS

Cited in

(19)

• On unbounded denominators and hypergeometric series
• On the Fourier coefficients of modular forms. II
• Logarithmic vector-valued modular forms and polynomial-growth estimates of their Fourier coefficients
• Hecke bound of vector-valued modular forms and its relationship with cuspidality
• Discreteness and integrality in conformal field theory
• The eigenstructure and Jordan form of the Fourier transform over fields of characteristic 2 and a generalized Vandermonde-type formula
• Fourier coefficients of vector-valued modular forms of dimension 2
• On vector-valued modular forms and their Fourier coefficients
• A New Constructive Procedure for 2-D Coprime Realization in Fornasini–Marchesini Model
• Fourier coefficients of three-dimensional vector-valued modular forms
• Period relations for Riemann surfaces with many automorphisms
• Constructions of vector-valued modular forms of rank four and level one
• Quasimodular forms as solutions of modular differential equations
• The module of vector-valued modular forms is Cohen-Macaulay.
• The arithmetic of vector-valued modular forms on \(\Gamma_0(2)\)
• Eisenstein metrics
• Exposé Bourbaki 1197 : The unbounded denominators conjecture [after F. Calegari, V. Dimitrov, and Y. Tang]
• The unbounded denominators conjecture
• Three-dimensional imprimitive representations of the modular group and their associated modular forms

This page was built for publication: On the Fourier coefficients of 2-dimensional vector-valued modular forms

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