of one complex variable, elliptic modular form
A function on the upper half-plane satisfying for some fixed the automorphicity condition
for any element
( is the group of integer-valued matrices with determinant ), and such that
where , , . The integer is called the weight of the modular form . If , then is called a parabolic modular form. There is also  a definition of modular forms for all real values of .
An example of a modular form of weight is given by the Eisenstein series (see )
where the asterisk means that the pair is excluded from summation. Here for odd and
where and is the -th Bernoulli number (cf. Bernoulli numbers).
The set of modular forms of weight is a complex vector space, denoted by ; in this connection, . The direct sum forms a graded algebra isomorphic to the ring of polynomials in the independent variables and (see ).
where , . The discriminant of the cubic polynomial on the right-hand side of (2) is a parabolic modular form of weight 12:
For each integer modular forms of higher level have been introduced, satisfying (1) only for elements
of a congruence subgroup of level of the modular group. In this case, related to the modular form is the holomorphic differential on the modular curve . A well-known example of a modular form of higher level is the theta-series associated to an integer-valued positive-definite quadratic form :
which is a modular form of higher level and of weight . In this example is the integer equal to the number of solutions of the Diophantine equation .
The theory of modular forms allows one to obtain an estimate, and sometimes a precise formula, for numbers of the type (and congruences, such as the Ramanujan congruence ()), and also to investigate their divisibility properties (see ). Best estimates for numbers of the type have been obtained (see ).
Important arithmetic applications of modular forms are related to the Dirichlet series
i.e. the Mellin transform of . Such Dirichlet series have been the subject of detailed study (estimates of coefficients, analyticity properties, the functional equation, Euler product expansion) in view of the presence of a non-trivial ring of correspondences on a modular curve. For a curve this ring is generated by the correspondence , where runs through the set of all representatives of the elements of the quotient set
The correspondences induce linear operators (Hecke operators) acting on the space of modular forms. They are self-adjoint relative to the Peterson scalar product (see , ). Modular forms which are eigen functions of the Hecke operators are characterized by the fact that their Mellin transforms have Euler product expansions.
Another direction in the theory of modular forms is related to the study of modular curves and the associated fibrations, the Kuga varieties (cf. Modular curve), and also to the theory of infinite-dimensional representations of algebraic adèle groups. Here the theory of modular forms of one variable was successfully transferred to the case of several variables (see ). A survey of the number-theoretic applications of modular forms is given in .
|||A. Hurwitz, R. Courant, "Vorlesungen über allgemeine Funktionentheorie und elliptische Funktionen" , 1 , Springer (1964) pp. Chapt.8|
|||P. Deligne, "La conjecture de Weil I" Publ. Math. IHES , 43 (1974) pp. 273–307|
|||S. Lang, "Introduction to modular forms" , Springer (1976)|
|||J.-P. Serre, "A course in arithmetic" , Springer (1973) (Translated from French)|
|||O.M. Fenko, "Applications of the theory of modular forms to number theory" J. Soviet Math. , 14 : 4 (1977) pp. 1307–1362 Itogi Nauk. i Tekhn. Algebra Topol. Geom. , 15 (1977) pp. 5–91|
|||J.-P. Serre (ed.) P. Deligne (ed.) W. Kuyk (ed.) , Modular functions of one variable. 1–6 , Lect. notes in math. , 320; 349; 350; 476; 601; 627 , Springer (1973–1977)|
|||A. Ogg, "Modular forms and Dirichlet series" , Benjamin (1969)|
|||R.A. Rankin, "Modular forms and functions" , Cambridge Univ. Press (1977)|
A parabolic modular form is also called a cusp form.
Modular form. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Modular_form&oldid=13435