elliptic modular function, of one complex variable
An automorphic function of a complex variable , associated with the group of all fractional-linear transformations of the form
where are real integers (this group is called the modular group). The transformations of transform the real axis into itself and the domain of definition of a modular function can be regarded as being the upper half-plane . The group is generated by the two transformations , .
A fundamental domain of the modular group is depicted in Fig. a; this is the curvilinear quadrangle with vertices , , , two sides of which, and , are segments of the lines and , respectively, and is an arc of the circle . and are included in , and are not. The images of under all possible mappings of cover the half-plane without intersections.
The study of modular functions began in the 19th century in connection with the study of elliptic functions and preceded the appearance of the general theory of automorphic functions. In the theory of modular functions the following theta-series are used as basic modular forms:
where and the asterisk means that the null pair is omitted. According to the terminology of K. Weierstrass these are relative invariants, playing a major role in his theory of elliptic functions (see Weierstrass elliptic functions), and is also called the discriminant. From the point of view of the theory of automorphic functions (cf. Automorphic function; Automorphic form) these are automorphic forms of weights , and , respectively, associated with the modular group. The fundamental modular form has the form
is also called the absolute invariant. It is regular in the upper half-plane and in the interior of the fundamental domain it takes each finite value, except and , precisely once; in addition, , .
The modular function plays a major role in the theory of elliptic functions, allowing one to determine the periods , with respect to given Weierstrass relative invariants , , , and, consequently, to construct all Weierstrass elliptic functions. If is the unique solution in the fundamental domain of the equation
then for , one has , ; for one has , and is determined by the equation
for one has , and is determined by the equation
For the construction of Jacobi elliptic functions, instead of it is more convenient to use
also called a modular function. By the same token, is an automorphic function only relative to the subgroup of , where consists of all transformations of the form (1) in which (as an extra condition) and are odd numbers and and are even. The fundamental domain of is depicted in Fig. b; this is the curvilinear quadrangle with vertices , , , , two sides of which, and , are segments of the lines and , respectively, and and are arcs of the circles and , respectively. The parts of the boundary to the left of the imaginary axis are included and and are not included.
The function is also regular in the upper half-plane . In the interior of it takes each finite value, except and , precisely once; in addition, and . For the construction of a Jacobi elliptic function of given modulus the value , or , uniquely defined by the equation , is required. In practice, in the normal case , one first determines , where , and then constructs a solution of this equation in the form of a series . The modular functions and are related by
The modular function gives the most convenient representation of the conformal classes of Riemann surfaces of elliptic functions (cf. Riemann surfaces, conformal classes of), when the genus and the Euler characteristic . Corresponding to each there is a solution of , which determines a conformal class and the corresponding field of elliptic functions. For example, corresponds to a period parallelogram in the form of a rhombus with angles and , and corresponds to a square. Modular functions have also been applied in the study of conformal mapping; boundary properties of analytic functions and cluster sets (cf. Cluster set). The modular function gives a conformal mapping of the left half of the fundamental domain (Fig. a), that is, the curvilinear triangle , onto the upper half-plane , where , and are mapped to , and , respectively. The modular function conformally maps the curvilinear triangle (Fig. b) onto the upper half-plane, where , and are mapped to , and , respectively.
In geometric questions it is often more convenient to take the unit disc as the domain of the modular functions. The modular group (1) is then replaced by the modular group of automorphisms of the unit disc. For example, it is convenient to apply the fractional-linear transformation
which maps the upper half-plane onto the unit disc , where , and are mapped to , and , respectively, on the unit circle (Fig. c).
Then the composite function is a modular function that is regular in the unit disc and takes there all values except , and . It conformally maps the curvilinear triangle (Fig. c) onto the upper half-plane . It is precisely this modular function that is used in the proof of the Picard theorem and in a number of geometric questions.
|||A. Hurwitz, R. Courant, "Vorlesungen über allgemeine Funktionentheorie und elliptische Funktionen" , 1 , Springer (1964) pp. Chapt.8|
|||N.I. Akhiezer, "Elements of the theory of elliptic functions" , Amer. Math. Soc. (1990) (Translated from Russian)|
|||L.R. Ford, "Automorphic functions" , Chelsea, reprint (1951)|
|||F. Klein, R. Fricke, "Vorlesungen über die Theorie der elliptischen Modulfunktionen" , 1–2 , Teubner (1890–1892)|
When considering the upper half-plane and the modular group acting on it, the point and the rational points on the real axis are often referred to as cusps.
More generally, consider the group of invertible complex -matrices, , and the corresponding fractional-linear transformations
The fractional-linear transformation (a1) is called parabolic if it is and the associated matrix has two equal eigen values (cf. also Fractional-linear mapping). This is equivalent to saying that the Jordan canonical form is of the form , or, if is also imposed, that . Now let be some discrete subgroup of . A point is called a cusp of if there is a parabolic element of which has as a fixed point.
The cusps of are precisely the points of . To aid visualization, cf. Fig. a, the point is written as ( the point in Fig. a).
Let be the extended upper half-plane , where . The action of on naturally extends to , and all the points of form one orbit. The translates of the fundamental region of Fig. aform a tesselation of (or of ), called the modular tesselation. Each translate , , is called a modular triangle. In the special points , , , six modular triangles meet; in the special points , , , two modular triangles meet; and in a cusp (a point of ) countably infinite many modular triangles meet (at angle 0; whence the terminology "cusp" ).
The modular functions form a field. Indeed, this is the field , where is the fundamental modular function (2) above.
Let be a subgroup of finite index in . The quotient can be given a natural complex structure making it a compact Riemann surface, cf. e.g. [a1], Chapt. IV, § 6. This is a natural compactification of . For one finds the Riemann sphere (of genus zero). For the principal congruence subgroups
the resulting quotients , the modular curves , for have genus 0, 0, 0, 0, 1, 3, 5, 10, 13, 26, 25, respectively. For the general formula cf. Modular curve.
A modular function for a subgroup of finite index of is a complex meromorphic function on such that for , , and such that at a rational cusp , , admits an expansion of the form
for some , natural number and . This is valid for with large enough. This last condition reflects the requirement that also defines a meromorphic function on the compactification of , cf. Automorphic function. In case this last requirement takes the following form: There is an such that for , , has an expansion of the form
|[a1]||B. Schoeneberg, "Elliptic modular functions" , Springer (1974)|
|[a2]||G. Shimura, "Introduction to the arithmetic theory of automorphic functions" , Princeton Univ. Press (1971)|
|[a3]||R.A. Rankin, "Modular forms and functions" , Cambridge Univ. Press (1977)|
|[a4]||S. Lang, "Elliptic functions" , Addison-Wesley (1973)|
Modular function. E.D. Solomentsev (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Modular_function&oldid=14166