Gamma-invariant in the theory of modular forms

-invariant

Let be a Fuchsian group of the first kind, acting on the real hyperbolic plane . Suppose that is a group of genus zero, i.e. the number of hyperbolic generators of is equal to zero. Let be a conformal mapping of the fundamental domain of onto the complex plane that is extended as an automorphic function to the whole of . In other words, there exists an isomorphism of complex manifolds between the compactification of and the Riemann sphere which induces an univalent automorphic function on . The function is defined up to a fractional-linear mapping and satisfies the Schwarz differential equation (see [a1]; see also Schwarz differential; Schwarz equation).

The function is called a gamma- or automorphic (modular) invariant.

The first example of a gamma-invariant, , was discovered and investigated in the Abel–Gauss–Jacobi and Eisenstein–Weierstrass theory of elliptic and elliptic modular functions between 1820– 1850 (see [a2]). The function was obtained as a function of the quotient of the periods of a certain elliptic integral. It corresponds to the level-two congruence subgroup of the modular group . For the modular group itself, the invariant was constructed in 1877 by R. Dedekind and, one year later and independently, by F. Klein. In this definition, is a certain rational function of the two main modular holomorphic Eisenstein series and . These two classical invariants and satisfy the modular equation.

Gamma-invariants play an important role in various domains of mathematics and mathematical physics. For example, in algebraic number theory the modular equation and its generalizations were used by Ch. Hermite and L. Kronecker to obtain the transcendental solution of the general algebraic equation of the fifth degree (see [a2]). The modular invariant is important in the extension of the Kronecker theorem on Abelian fields for imaginary quadratic ground fields and, more generally, in class field theory (see [a3], [a4]). Other important interpretations and developments of this theory are in algebraic geometry (the theory of elliptic and modular curves) and in the theory of Dirichlet -series (see [a5], [a6]; see also Dirichlet -function).

Automorphic invariants participate also in Selberg's theory of the trace formula for constructing resolvents of automorphic Laplacians (automorphic Green functions) (see [a1], [a6]).

In [a7] modular equations are used for investigating non-congruence subgroups of the modular group.

There is a mysterious relationship between simple finite groups (the Monster, cf. Simple finite group) and automorphic invariants (see [a8], [a9], [a10]). In particular, via this relation there is a connection between modular invariants and mathematical physics (string theory [a11], vertex operator algebra and quantum field theory [a12], [a13], [a14], [a15]).

References

[a1]	A.B. Venkov, "Spectral theory of automorphic functions" , Kluwer Acad. Publ. (1990)
[a2]	J. Lehner, "Discontinuous groups and automorphic functions" , Amer. Math. Soc. (1964)
[a3]	H. Weber, "Lehrbuch der Algebra" , Chelsea (1961)
[a4]	G. Shimura, "Complex multiplication in terms of elliptic curves" , Lecture Notes in Mathematics , 320 , Springer (1973)
[a5]	H. Stark, "Complex multiplication" , Lecture Notes in Mathematics , 320 , Springer (1973)
[a6]	D. Zagier, "-series and the Green functions of modular curves" , Proc. Internat. Congress Mathematicians, Berkeley , Amer. Math. Soc. (1986) pp. 689–698
[a7]	A.O.L. Atkin, H.P.P. Swinnerton-Dyer, "Modular forms on non-congruence subgroups" , Proc. Symp. Pure Math. , 19 , Amer. Math. Soc. (1971) pp. 1–26
[a8]	J.G. Thompson, "Finite groups and modular functions" Bull. London Math. Soc. , 11 (1979) pp. 347–351
[a9]	J.H. Conway, S.P. Norton, "Monstrous moonshine" Bull. London Math. Soc. , 11 (1979) pp. 308–339
[a10]	M. Koike, "Moonshine: a mysterious relationship between simple groups and automorphic functions" Amer. Math. Soc. Transl. Ser. 2 , 160 (1994) pp. 33–45
[a11]	R.E. Borchereds, "Sporadic groups and string theory" , First European Congress of Math. , 1 (1992) pp. 411–421
[a12]	I.B. Frenkel, J. Lepowsky, A. Meurman, "Vertex operator algebras and the monster" , Acad. Press (1988)
[a13]	E. Verlinde, H. Verlinde, "Chiral bosonization,determinants,and the string partition function" Nucl. Phys. , B288 (1987) pp. 357
[a14]	D.J. Smit, "String theory and the algebraic geometry of moduli spaces" Comm. Math. Phys. , 114 (1988) pp. 645
[a15]	E. Witten, "Elliptic genera and quantum field theory" Comm. Math. Phys. , 109 (1987) pp. 525–536