Modular form
of one complex variable, elliptic modular form
A function on the upper half-plane
satisfying for some fixed
the automorphicity condition
![]() | (1) |
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 [8] 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 [4])
![]() |
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 [3]).
For each the complex torus
is analytically isomorphic to the elliptic curve given by the equation
![]() | (2) |
where ,
. The discriminant of the cubic polynomial on the right-hand side of (2) is a parabolic modular form of weight 12:
![]() |
where is the Ramanujan function (see [1]).
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 [7]). Best estimates for numbers of the type
have been obtained (see [2]).
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 [3], [7]). 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 [6]). A survey of the number-theoretic applications of modular forms is given in [5].
References
[1] | A. Hurwitz, R. Courant, "Vorlesungen über allgemeine Funktionentheorie und elliptische Funktionen" , 1 , Springer (1964) pp. Chapt.8 |
[2] | P. Deligne, "La conjecture de Weil I" Publ. Math. IHES , 43 (1974) pp. 273–307 |
[3] | S. Lang, "Introduction to modular forms" , Springer (1976) |
[4] | J.-P. Serre, "A course in arithmetic" , Springer (1973) (Translated from French) |
[5] | 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 |
[6] | 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) |
[7] | A. Ogg, "Modular forms and Dirichlet series" , Benjamin (1969) |
[8] | R.A. Rankin, "Modular forms and functions" , Cambridge Univ. Press (1977) |
Comments
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=49308