# Automorphic function

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

A meromorphic function of several complex variables that is invariant under some discrete group of transformations $\Gamma$ of analytic transformations of a given complex manifold $M$ :

$$f ( \gamma ( x ) ) = f ( x ) , x \in M , \gamma \in \Gamma .$$

Automorphic functions are often defined so as to include only functions defined on a bounded connected domain $D$ of the $n$-dimensional complex space $\mathbf C ^{n}$ that are invariant under a discrete group $\Gamma$ of automorphisms of this domain.

The quotient space $X = M / \Gamma$ can be given a complex structure and automorphic functions are then meromorphic functions on $X$ . A large number of cases studied concern a space $X$ with a compactification $\bar X$ . It is then natural to include in the definition of an automorphic function the requirement that it can be extended to the entire space $\bar X$ as a meromorphic function. If $M = D$ (i.e. $M$ is a bounded connected domain), this condition must be required for $n = 1$ only (if $n > 1$ or if $M / \Gamma$ is compact, the condition is automatically fulfilled). It can readily be shown that the automorphic functions constitute a field $K ( \Gamma )$ and the study of this field is one of the main tasks in the theory of automorphic functions.

Automorphic functions of a single variable have been very thoroughly studied. The theoretical foundations were laid by F. Klein  and H. Poincaré  in the 19th century. The manifold $M$ usually considered at that time is a simply-connected domain. Three cases are distinguished: $M = P ^{1} ( \mathbf C )$ (the complex projective line, or the Riemann sphere), $M = \mathbf C$ and $M = H$ (the upper half-plane $\{ {z \in \mathbf C} : { \mathop{\rm Im}\nolimits z > 0} \}$ ). In the first case the discrete groups $\Gamma$ are finite, the curves $M / \Gamma$ are algebraic curves of genus 0 (cf. Genus of a curve) and, consequently, the automorphic functions generate a field of rational functions. Examples of automorphic functions in the case $M = \mathbf C$ are periodic functions (thus, the function $e ^ {2 \pi i z}$ is invariant under the translation group $\{ {z \rightarrow z + n} : {n \in \mathbf Z} \}$ ) and, in particular, elliptic functions. In this latter case, the curve $M / \Gamma$ is compact and is an elliptic curve, while the field $K( \Gamma )$ is the field of all algebraic functions on $M / \Gamma$ . Finally, for $M = H$ and a discrete group $\Gamma$ such that $M / \Gamma$ is compact or has a finite volume (in the Poincaré metric), $M / \Gamma$ is an algebraic curve and $K ( \Gamma )$ is again the field of algebraic functions on $M / \Gamma$ . The genus $g$ of this curve may be determined by constructing a fundamental domain for $\Gamma$ in the form of a polygon in the upper half-plane $H$ (here regarded as the Lobachevskii plane). The basic method for constructing an automorphic function in this situation is to consider the quotient of two automorphic forms (cf. Automorphic form) of the same, sufficiently large, weight. The method is due to Poincaré, who used it to prove the results mentioned above concerning the structure of the fields of automorphic functions , , . An analogous construction for elliptic functions is to represent such functions in terms of quotients of theta-functions. It can be shown, using uniformization theory, that all fields of algebraic functions of a single variable are obtained in this way .

These results, which were obtained as early as the 19th century, give a full description of the fields of automorphic functions for $n = 1$ and of the groups $\Gamma$ such that the space $H / \Gamma$ has finite volume. The case of groups $\Gamma$ for which $H / \Gamma$ has infinite volume (Kleinian groups) is much more difficult; the problems involved are still being intensively investigated , .

In the 20th century the theory of automorphic functions concentrates on functions of several variables. Perhaps the only case of automorphic functions of $n$ variables studied in detail in the 19th century concerned Abelian functions, which are related to Abelian varieties in a way similar to the relationship between elliptic functions and elliptic curves , . The first example of automorphic functions of $n$ variables on a bounded domain $D$ are the modular functions of C.L. Siegel  (cf. Modular group). Their domain of definition is an $n$-dimensional generalization of the upper half-plane $H$ , and is one of the main examples of a bounded, symmetric domain. Siegel must also be credited with the first general results obtained concerning arbitrary automorphic functions on a bounded domain $D$ . He generalized Poincaré's construction of automorphic functions, mentioned above, and showed that the field $K ( \Gamma )$ always contains at least $n$ algebraically independent functions.

Subsequent efforts were aimed at exhibiting domains $D$ and groups $\Gamma$ for which the following theorem on algebraic relations is true. If $f _{1}, \dots, f _{n}$ are algebraically independent automorphic functions, then the field $K ( \Gamma )$ is a finite algebraic extension of the field of rational functions $\mathbf C ( f _{1}, \dots, f _{n} ) \subset K ( \Gamma )$ .

At the time of writing (1977) this theorem was proved for the following cases: 1) if the quotient space $D / \Gamma$ is compact ; 2) if the group $\Gamma$ is pseudo-concave ; and 3) if $D$ is a symmetric domain and $\Gamma$ is an arithmetic group. A pseudo-concave group is defined as follows. Let $X$ be a subdomain of a domain $D$ with closure also contained in $D$ . In this situation a boundary point $x _{0} \in \partial X$ is said to be pseudo-concave if for any open neighbourhood $U$ of $x _{0}$ and for any function $\phi (x)$ regular in $U$ there exists a point $x \in U \cap X$ for which $| \phi (x) | \geq | \phi ( x _{0} ) |$ . A group $\Gamma$ is said to be pseudo-concave if there exists a subdomain $X \subset D$ such that each boundary point $x \in \partial X$ can be transformed by means of an element of $\Gamma$ into an interior point of $X$ or into a pseudo-concave point of the boundary $\partial X$ .

The nature and the properties of the algebraic varieties occurring in the theory of automorphic functions of $n$ variables have not been intensively studied, as distinct from the case of a single variable.

Important generalizations of the concept of automorphic functions — automorphic forms, theta-functions (cf. Theta-function) and certain other generalizations — are all special cases of the following general construction. Consider a fibre bundle (cf. Fibration) $L$ over $M$ and an action of a group $\Gamma$ on it. It is then possible to consider the sections of $L$ that are invariant under $\Gamma$ . An automorphic function is obtained if the fibre bundle $L$ and the action of the group $\Gamma$ are both trivial.

The study of automorphic functions revealed the important role played by the group of automorphisms of a domain $D$ . It is in this way that the concepts and methods of the theory of automorphic functions were applied in the theory of algebraic groups, in which they play an important part in the description of infinite-dimensional representations .

From the very beginning of its development, the theory of automorphic functions has been connected in numerous ways with other branches of mathematics. This applies in particular to algebraic geometry. In addition to the results discussed above, methods in the theory of automorphic functions are important in the study of moduli varieties for objects such as algebraic curves and Abelian varieties. Automorphic functions are also of importance in number theory. At the time of writing they are the only tool in the study of zeta-functions of algebraic varieties . Another very promising number-theoretical direction in the theory of automorphic functions is the study of $p$-adic automorphic functions and forms . Finally, one must mention the application of automorphic functions to the study of ordinary differential equations in a complex domain  and in the construction of solutions of algebraic equations of degrees higher than four.

How to Cite This Entry:
Automorphic function. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Automorphic_function&oldid=52492
This article was adapted from an original article by A.N. AndrianovA.N. Parshin (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article