# Theta-series

$\theta$- series

A series of functions used in the representation of automorphic forms and functions (cf. Automorphic form; Automorphic function).

Let $D$ be a domain in the complex space $\mathbf C ^ {p}$, $p \geq 1$, and let $\Gamma$ be the discrete group of automorphisms of $D$. If $\Gamma$ is finite, then any function $H ( z)$, $z = ( z _ {1} \dots z _ {p} )$, meromorphic on $D$ gives rise to an automorphic function

$$\sum _ {\gamma \in \Gamma } H ( \gamma ( z)).$$

For infinite groups one needs convergence multipliers to obtain a theta-series. A Poincaré series, associated to a group $\Gamma$, is a series of the form

$$\tag{1 } \theta _ {m} ( z) = \ \sum _ {\gamma \in \Gamma } {} ^ {*} J _ \gamma ^ {m} ( z) H ( \gamma ( z)),$$

where $J _ \gamma ( z) = d \gamma ( z)/dz$ is the Jacobian of the function $z \mapsto \gamma ( z)$ and $m$ is an integer called the weight or the order. The asterisk means that summation is over those $\gamma \in \Gamma$ which yield distinct terms in the series. Under a mapping $z \mapsto \alpha ( z)$, $\alpha \in \Gamma$, the function $\theta _ {m} ( z)$ is transformed according to the law $\theta _ {m} ( \alpha ( z)) = J _ \alpha ^ {-} m ( z) \theta _ {m} ( z)$, and hence is an automorphic function of weight $m$, associated to $\Gamma$. The quotient of two theta-series of the same weight gives an automorphic function.

The theta-series

$$E _ {m} ( z) = \ \sum _ {\gamma \in \Gamma } {} ^ {*} J _ \gamma ^ {m} ( z)$$

is called an Eisenstein theta-series, or simply an Eisenstein series, associated with $\Gamma$.

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 $\Gamma$ be a discrete Fuchsian group of fractional-linear transformations

$$\gamma ( z) = \ \frac{az + b }{cz + d } ,\ \ ad - bc = 1,$$

mapping the unit disc $D = \{ {z } : {| z | < 1 } \}$ onto itself. For this case the Poincaré series has the form

$$\tag{2 } \theta _ {m} ( z) = \ \sum _ {\gamma \in \Gamma } {} ^ {*} ( cz + d) ^ {-} 2m H \left ( \frac{az + b }{cz + d } \right ) ,$$

where $H$, for example, is a bounded holomorphic function on $D$. Under the hypothesis that $\Gamma$ acts freely on $D$ and that the quotient space $X = D/ \Gamma$ is compact, it has been shown that the series (2) converges absolutely and uniformly on $D$ for $m \geq 2$. With the stated conditions on $H$ and $\Gamma$, this assertion holds also for the series (1) in the case where $D$ is a bounded domain in $\mathbf C ^ {p}$. For certain Fuchsian groups the series (2) converges also for $m = 1$.

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).

How to Cite This Entry:
Theta-series. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Theta-series&oldid=48964
This article was adapted from an original article by E.D. Solomentsev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article