Dimensions of the spaces of cusp forms and newforms on _0(N) and _1(N)

DOI10.1016/J.JNT.2004.10.009MaRDI QIDQ557565zbMATH OpenOpenAlexFDO

Authors Greg Martin

Publication date 30 June 2005

Published in Journal of Number Theory (Search for Journal in Brave)

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

zbMATH Keywords

modular formscusp formscongruence groupsnewformsAtkin-Lehner decomposition

Mathematics Subject Classification ID

Holomorphic modular forms of integral weight (11F11) Hecke-Petersson operators, differential operators (one variable) (11F25)

Abstract: A formula for the dimension of the space of cuspidal modular forms on $Gamm{a}_0(N)$ of weight $k$ ($kge2$ even) has been known for several decades. More recent but still well-known is the Atkin-Lehner decomposition of this space of cusp forms into subspaces corresponding to newforms on $Gamm{a}_0(d)$ of weight $k$, as $d$ runs over the divisors of $N$. A recursive algorithm for computing the dimensions of these spaces of newforms follows from the combination of these two results, but it would be desirable to have a formula in closed form for these dimensions. In this paper we establish such a closed-form formula, not only for these dimensions, but also for the corresponding dimensions of spaces of newforms on $Gamm{a}_1(N)$ of weight $k$ ($kge2$). This formula is much more amenable to analysis and to computation. For example, we derive asymptotically sharp upper and lower bounds for these dimensions, and we compute their average orders; even for the dimensions of spaces of cusp forms, these results are new. We also establish sharp inequalities for the special case of weight-2 newforms on $Gamm{a}_0(N)$, and we report on extensive computations of these dimensions: we find the complete list of all $N$ such that the dimension of the space of weight-2 newforms on $Gamm{a}_0(N)$ is less than or equal to 100 (previous such results had only gone up to dimension 3).

Recommendations

• Dimensions of spaces of modular forms for \(\Gamma _H(N)\)
• Publication:3481778
• scientific article; zbMATH DE number 1305368
• The dimension formula of the space of cusp forms of weight one for \(\Gamma _ 0(p)\)
• A remark on dimensions of spaces of modular forms

Cites work

• scientific article; zbMATH DE number 1467844 (Why is no real title available?)
• scientific article; zbMATH DE number 195101 (Why is no real title available?)
• A remark on dimensions of spaces of modular forms
• Courbes de Fermat: résultats et problèmes
• Hecke operators on \(\Gamma_0(m)\)

Cited in

(43)

• Explicit small image theorems for residual modular representations
• Dimensions of spaces of modular forms for \(\Gamma _H(N)\)
• The dimension formula of the space of cusp forms of weight one for \(\Gamma _ 0(p)\)
• An upper bound on the least prime for certain modular congruences
• A remark on dimensions of spaces of modular forms
• Asymptotic behavior of supercuspidal representations and Sato-Tate equidistribution for families
• Dimension formulas for modular form spaces with character for Fricke groups
• On signatures of elliptic curves and modular forms
• Distinguishing newforms
• Coefficient bounds for level 2 cusp forms
• Explicit large image theorems for modular forms
• A dimension formula for a certain space of automorphic forms of SU(p,1). II: The case of \(\Gamma\) (N) with N\(\geq 3\)
• Cubic forms, powers of primes and classification of elliptic curves
• Products of Eisenstein series and Fourier expansions of modular forms at cusps
• Bias of root numbers for modular newforms of cubic level
• Analytic isolation of newforms of given level
• One-level density for holomorphic cusp forms of arbitrary level
• Modular forms and effective Diophantine approximation
• A note on the dimension of the largest simple Hecke submodule
• Klein forms and the generalized superelliptic equation
• Root number bias for newforms
• Factorization tests and algorithms arising from counting modular forms and automorphic representations
• The dimension formula of the space of cusp forms of weight one for Γ₀(p)
• Solving 𝑆-unit, Mordell, Thue, Thue–Mahler and Generalized Ramanujan–Nagell Equations via the Shimura–Taniyama Conjecture
• Solving \(a x^p + b y^p = c z^p\) with \(abc\) containing an arbitrary number of prime factors
• A control theorem for \(p\)-adic automorphic forms and Teitelbaum's \(\mathcal{L} \)-invariant
• Kontsevich-Zagier integrals for automorphic Green's functions. I
• Refined dimensions of cusp forms, and equidistribution and bias of signs
• Integers represented by \(x^4 - y^4\) revisited
• Powers in recurrence sequences: Pell equations
• Evaluation of the convolution sums \(\sum_{l+15m=n}\sigma (l)\sigma (m)\) and \(\sum_{3l+5m=n}\sigma (l)\sigma (m)\) and an application
• Factoring new parts of Jacobians of certain modular curves
• Exact averages of central values of triple product \(L\)-functions
• On the sparsity of positive-definite automorphic forms within a family
• scientific article; zbMATH DE number 4150279 (Why is no real title available?)
• Rational points on Erdős-Selfridge superelliptic curves
• Valence formulas for certain arithmetic groups and their applications
• On newforms of half-integral weight and Jacobi forms
• Higher moments of the pair correlation function for Sato-Tate sequences
• ON THE NATURE OF ADDITIONAL SPACE AT CUTTING OF SPACES OF CUSP FORMS
• On smooth plane models for modular curves of Shimura type
• Constructing simultaneous Hecke eigenforms
• Shimura curves and the abc conjecture

This page was built for publication: Dimensions of the spaces of cusp forms and newforms on \(\Gamma_0(N)\) and \(\Gamma_1(N)\)

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