In number theory, a branch of mathematics, a cusp form is a particular kind of modular form with a zero constant coefficient in the Fourier series expansion.
A cusp form is distinguished in the case of modular forms for the modular group by the vanishing of the constant coefficient a0 in the Fourier series expansion (see q-expansion)
This Fourier expansion exists as a consequence of the presence in the modular group's action on the upper half-plane via the transformation
For other groups, there may be some translation through several units, in which case the Fourier expansion is in terms of a different parameter. In all cases, though, the limit as q → 0 is the limit in the upper half-plane as the imaginary part of z → ∞. Taking the quotient by the modular group, this limit corresponds to a cusp of a modular curve (in the sense of a point added for compactification). So, the definition amounts to saying that a cusp form is a modular form that vanishes at a cusp. In the case of other groups, there may be several cusps, and the definition becomes a modular form vanishing at all cusps. This may involve several expansions.
The dimensions of spaces of cusp forms are, in principle, computable via the Riemann–Roch theorem. For example, the Ramanujan tau function τ(n) arises as the sequence of Fourier coefficients of the cusp form of weight 12 for the modular group, with a1 = 1. The space of such forms has dimension 1, which means this definition is possible; and that accounts for the action of Hecke operators on the space being by scalar multiplication (Mordell's proof of Ramanujan's identities). Explicitly it is the modular discriminant
which represents (up to a normalizing constant) the discriminant of the cubic on the right side of the Weierstrass equation of an elliptic curve; and the 24-th power of the Dedekind eta function. The Fourier coefficients here are written
and called 'Ramanujan's tau function', with the normalization τ(1) = 1.
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
droite|vignette|500x500px|La fonction êta de Dedekind est une forme automorphe dans le plan complexe. Une forme automorphique, en analyse harmonique et théorie des nombres, est une fonction d'un groupe topologique G à valeurs dans le corps des nombres complexes (ou un espace vectoriel complexe) qui est invariante sous l'action d'un sous-groupe discret du groupe topologique et qui vérifie certaines conditions de dérivabilité et de croissance à l'infini.
En mathématiques, en particulier dans la théorie des formes modulaires, un opérateur de Hecke, étudié par Erich Hecke, est un certain type d'opérateur de « moyennage » qui joue un rôle important dans la structure des espaces vectoriels de formes modulaires et de représentations automorphes plus générales. Mordell (1917) a utilisé les opérateurs de Hecke sur les formes modulaires dans un article sur les formes paraboliques spéciales de Ramanujan, bien avant la théorie générale développée par Hecke (1937a, 1937b).
En mathématiques, une forme modulaire est une fonction analytique sur le demi-plan de Poincaré satisfaisant à une certaine sorte d'équation fonctionnelle et de condition de croissance. La théorie des formes modulaires est par conséquent dans la lignée de l'analyse complexe mais l'importance principale de la théorie tient dans ses connexions avec le théorème de modularité et la théorie des nombres.
This course is a modern exposition of "Duke's Theorems" which describe the distribution of representations of large integers by a fixed ternary quadratic form. It will be the occasion to introduce the
Couvre le produit interne de Petersson et les opérateurs de Hecke dans la théorie des formes modulaires, en explorant leurs définitions et leurs propriétés.
We prove nontrivial bounds for general bilinear forms in hyper-Kloosterman sums when the sizes of both variables may be below the range controlled by Fourier-analytic methods (Polya-Vinogradov range). We then derive applications to the second moment of cus ...
We derive a Motohashi-type formula for the cubic moment of central values of -functions of level cusp forms twisted by quadratic characters of conductor , previously studied by Conrey and Iwaniec and Young. Corollaries of this formula include Weyl-subconve ...
In this thesis we consider the problem of estimating the correlation of Hecke eigenvalues of GL2 automorphic forms with a class of functions of algebraic origin defined over finite fields called trace functions. The class of trace functions is vast and inc ...