Let be a domain in the complex space , , and let be the discrete group of automorphisms of . If is finite, then any function , , meromorphic on gives rise to an automorphic function
For infinite groups one needs convergence multipliers to obtain a theta-series. A Poincaré series, associated to a group , is a series of the form
where is the Jacobian of the function and is an integer called the weight or the order. The asterisk means that summation is over those which yield distinct terms in the series. Under a mapping , , the function is transformed according to the law , and hence is an automorphic function of weight , associated to . The quotient of two theta-series of the same weight gives an automorphic function.
is called an Eisenstein theta-series, or simply an Eisenstein series, associated with .
H. Poincaré, in a series of articles in the 1880's, developed the theory of theta-series in connection with the study of automorphic functions of one complex variable. Let be a discrete Fuchsian group of fractional-linear transformations
mapping the unit disc onto itself. For this case the Poincaré series has the form
where , for example, is a bounded holomorphic function on . Under the hypothesis that acts freely on and that the quotient space is compact, it has been shown that the series (2) converges absolutely and uniformly on for . With the stated conditions on and , this assertion holds also for the series (1) in the case where is a bounded domain in . For certain Fuchsian groups the series (2) converges also for .
The term "theta-series" is also applied to series expansions of theta-functions, which are used in the representation of elliptic functions (cf. Jacobi elliptic functions) and Abelian functions (cf. Theta-function; Abelian function).
|||L.R. Ford, "Automorphic functions" , Chelsea, reprint (1951)|
|||I.R. Shafarevich, "Basic algebraic geometry" , Springer (1977) (Translated from Russian)|
|||R. Fricke, F. Klein, "Vorlesungen über die Theorie der automorphen Funktionen" , 1–2 , Teubner (1926)|
Let be a lattice. The theta-series of the lattice is defined by
where is the number of points in of squared length . For instance, if is the lattice , then is the number of ways of representing as a sum of four integral squares.
For the lattice the theta-series is
which is the Jacobi theta-function .
For more details on theta-series of lattices, including formulas and tables for many (series of) important lattices such as root lattices and the Leech lattice, and applications, cf. [a2].
|[a1]||A. Weil, "Elliptic functions according to Eisenstein and Kronecker" , Springer (1976)|
|[a2]||J.H. Conway, N.J.A. Sloane, "Sphere packing, lattices and groups" , Springer (1988)|
Theta-series. Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Theta-series&oldid=13141