A function f is said to be an entire modular form of weight k if it satisfies

1. f is analytic in the upper half-plane H,

2. whenever is a member of the modular group gamma,

3. The Fourier series of f has the form

(1)

Care must be taken when consulting the literature because some authors use the term "dimension " or "degree " instead of "weight k," and others write instead of k (Apostol 1997, pp. 114-115). More general types of modular forms (which are not "entire") can also be defined which allow poles in H or at . Since Klein's absolute invariant J, which is a modular function, has a pole at , it is a nonentire modular form of weight 0.

The set of all entire forms of weight k is denoted , which is a linear space over the complex field. The dimension of is 1 for k = 4, 6, 8, 10, and 14 (Apostol 1997, p. 119).

is the value of f at , and if , the function is called a cusp form. The smallest r such that is called the order of the zero of f at . An estimate for c(n) states that

if and is not a cusp form (Apostol 1997, p. 135).

If is an entire modular form of weight k, let f have N zeros in the closure of the fundamental region (omitting the vertices). Then

where N(p) is the order of the zero at a point p (Apostol 1997, p. 115). In addition,

1. The only entire modular forms of weight k = 0 are the constant functions.

2. If k is odd, k < 0, or k = 2, then the only entire modular form of weight k is the zero function.

3. Every nonconstant entire modular form has weight , where k is even.

4. The only entire cusp form of weight k < 12 is the zero function.

(Apostol 1997, p. 116).

For f an entire modular form of even weight , define for all . Then f can be expressed in exactly one way as a sum

where are complex numbers, is an Eisenstein series, and is the modular discriminant of the Weierstrass elliptic function. cusp forms of even weight k are then those sums for which (Apostol 1997, pp. 117-118). Even more amazingly, every entire modular form f of weight k is a polynomial in and given by

where the are complex numbers and the sum is extended over all integers such that (Apostol 1998, p. 118).

Modular forms satisfy rather spectacular and special properties resulting from their surprising array of internal symmetries. Hecke discovered an amazing connection between each modular form and a corresponding Dirichlet L-series. A remarkable connection between rational elliptic curves and modular forms is given by the Taniyama-Shimura conjecture, which states that any rational elliptic curve is a modular form in disguise. This result was the one proved by Andrew Wiles in his celebrated proof of Fermat's last theorem.

 

Cusp Form, Dirichlet Series, Elliptic Curve, Elliptic Function, Fermat's Last Theorem, Hecke Algebra, Hecke Operator, Modular Function, Schläfli's Modular Form, Taniyama-Shimura Conjecture