Namespaces
Variants
Actions

User:Maximilian Janisch/latexlist/Algebraic Groups/Automorphic function

From Encyclopedia of Mathematics
Jump to: navigation, search

This page is a copy of the article Automorphic function in order to test automatic LaTeXification. This article is not my work.


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

\begin{equation} f ( \gamma ( x ) ) = f ( x ) , \quad x \in M , \quad \gamma \in \Gamma \end{equation}

Automorphic functions are often defined so as to include only functions defined on a bounded connected domain $\Omega$ of the $12$-dimensional complex space $C ^ { \prime \prime }$ that are invariant under a discrete group $I$ 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 $R$. It is then natural to include in the definition of an automorphic function the requirement that it can be extended to the entire space $R$ as a meromorphic function. If $M = D$ (i.e. $N$ 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 [1] and H. Poincaré [2] in the 19th century. The manifold $N$ usually considered at that time is a simply-connected domain. Three cases are distinguished: $M = P ^ { 1 } ( C )$ (the complex projective line, or the Riemann sphere), $M = C$ and $M = H$ (the upper half-plane $\{ z \in C : \operatorname { Im } z > 0 \}$). In the first case the discrete groups $I$ 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 = C$ are periodic functions (thus, the function $e ^ { 2 \pi i z }$ is invariant under the translation group $\{ z \rightarrow z + n : n \in 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 $I$ 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 of this curve may be determined by constructing a fundamental domain for $I$ 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 [2], [3], [4]. 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 [3].

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 $I$ such that the space $H / I$ has finite volume. The case of groups $I$ for which $H / I$ has infinite volume (Kleinian groups) is much more difficult; the problems involved are still being intensively investigated [5], [6].

In the 20th century the theory of automorphic functions concentrates on functions of several variables. Perhaps the only case of automorphic functions of $12$ 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 [1], [7]. The first example of automorphic functions of $12$ variables on a bounded domain $\Omega$ are the modular functions of C.L. Siegel [7] (cf. Modular group). Their domain of definition is an $12$-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 $\Omega$. He generalized Poincaré's construction of automorphic functions, mentioned above, and showed that the field $K ( \Gamma )$ always contains at least $12$ algebraically independent functions.

Subsequent efforts were aimed at exhibiting domains $\Omega$ and groups $I$ for which the following theorem on algebraic relations is true. If $f _ { 1 } , \ldots , f _ { x }$ are algebraically independent automorphic functions, then the field $K ( \Gamma )$ is a finite algebraic extension of the field of rational functions $C ( f _ { 1 } , \ldots , 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 [7]; 2) if the group $I$ is pseudo-concave [8]; and 3) if $\Omega$ is a symmetric domain and $I$ is an arithmetic group. A pseudo-concave group is defined as follows. Let $x$ be a subdomain of a domain $\Omega$ with closure also contained in $\Omega$. In this situation a boundary point $x _ { 0 } \in \partial X$ is said to be pseudo-concave if for any open neighbourhood $r$ of $x _ { 0 }$ and for any function $\phi ( x )$ regular in $r$ there exists a point $x \in U \cap X$ for which $| \phi ( x ) | \geq | \phi ( x _ { 0 } ) |$. A group $I$ 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 $I$ 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 $12$ 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 $N$ and an action of a group $I$ on it. It is then possible to consider the sections of $L$ that are invariant under $I$. An automorphic function is obtained if the fibre bundle $L$ and the action of the group $I$ are both trivial.

The study of automorphic functions revealed the important role played by the group of automorphisms of a domain $\Omega$. 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 [10].

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 [11]. Another very promising number-theoretical direction in the theory of automorphic functions is the study of $D$-adic automorphic functions and forms [9]. Finally, one must mention the application of automorphic functions to the study of ordinary differential equations in a complex domain [12] and in the construction of solutions of algebraic equations of degrees higher than four.

References

[1] F. Klein, "Development of mathematics in the 19th century" , 1 , Math. Sci. Press (1979) pp. Chapt.8 (Translated from German) MR0529278 MR0549187 Zbl 0411.01009
[2] H. Poincaré, , Oeuvres de H. Poincaré , 4 , Gauthier-Villars (1916–1965)
[3] L.R. Ford, "Automorphic functions" , Chelsea, reprint (1951) MR1522111 Zbl 55.0810.04 Zbl 46.0621.01 Zbl 45.0693.07
[4] H. Bateman (ed.) A. Erdélyi (ed.) , Higher transcendental functions , 3. Automorphic functions , McGraw-Hill (1955) MR0066496 Zbl 0157.11901 Zbl 0143.29202 Zbl 0146.09301
[5] J. Hadamard, "La géometrie non-euclidienne dans la théorie des fonctions automorphes" , Moscow (1952) (In Russian; translated from French)
[6] I. Kra, "Automorphic forms and Kleinian groups" , Benjamin (1972) MR0357775 Zbl 0253.30015
[7] C.L. Siegel, "Automorphe Funktionen in mehrerer Variablen" , Math. Inst. Göttingen (1955)
[8] A. Andreotti, H. Grauert, "Algebraische Körper von automorphen Funktionen" Nachr. Akad. Wiss. Göttingen , 3 (1961) MR0132211 Zbl 0154.33604 Zbl 0096.28001
[9] J.-P. Serre (ed.) P. Deligne (ed.) W. Kuyk (ed.) , Modular functions of one variable. 1–3 , Lect. notes in math. , 320; 349; 350 , Springer (1973) MR0323724
[10] H. Jacquet, R.P. Langlands, "Automorphic forms on GL(2)" , Springer (1970–1972)
[11] G. Shimura, "Introduction to the arithmetic theory of automorphic functions" , Math. Soc. Japan (1971) MR0314766 Zbl 0221.10029
[12] V.V. Golubev, "Vorlesungen über Differentialgleichungen im Komplexen" , Deutsch. Verlag Wissenschaft. (1958) (Translated from Russian) MR0100119


Comments

The result mentioned above that the field $K ( \Gamma )$ is a finite algebraic extension of a field of rational functions $C ( f _ { 1 } , \ldots , f _ { n } )$ (the theorem on algebraic relations) in the case of a symmetric domain $\Omega$ and an arithmetic group $I$ is due to, independently, W.L. Baily jr. and A. Borel [a6], and I.I. Pyatetskii-Shapiro [a7].

Let $x$ be some kind of space (e.g. complex- or real-analytic, a smooth manifold), $I$ a group of automorphisms of $x$ and $H$ a group acting on a space $V$. Let $( X , H )$ be the set of morphisms from $x$ into $H$. An automorphy factor of $I$ is a $1$-cocycle (crossed homomorphism) $i$ of $I$ with values in $( X , H )$. That means it is a mapping $j : X \times \Gamma \rightarrow H$ such that $j ( x , \gamma \gamma ^ { \prime } ) = j ( x , \gamma ) j ( x \gamma , \gamma ^ { \prime } )$. An example is the Jacobian of $i$ as a diffeomorphism $X \rightarrow X$ (chain rule). An automorphic form of type $i$ is now a morphism $f : X \rightarrow V$ such that $f ( x ) = j ( x , \gamma ) f ( x \gamma )$. Taking the Jacobian as an automorphy factor and $H = GL ( C )$ acting on $m$ via the $m$-th power of the determinant one recovers the more classical notion of an automorphic form of weight $m$, cf. Automorphic form. The automorphy factor $i$ can be used to define an action of $I$ on $X \times V$ by $( x , v ) \gamma = ( x \gamma , j ( x , \gamma ) v )$. If $I$ now operates freely on $X \times V$ as a properly discontinuous group of transformations, then $( X \times V ) / \Gamma$ is a fibre bundle over $X \nmid \Gamma$ with fibre $V$ and the automorphic forms are the cross-sections of this bundle, or, equivalently, the $I$-equivariant cross-sections of the trivial bundle $X \times V \rightarrow X$.

In a still more group-theoretical setting let $k$ be a real semi-simple Lie group with Lie algebra $8$. Identify the universal enveloping algebra $U _ { G }$ of $8$ with the right-invariant differential operators $D ( G )$ on $k$ by extending the mapping which assigns to $u \in \mathfrak { Q }$ the corresponding right-invariant vector field. Let $K$ be a maximal compact subgroup of $k$ and $I$ a discrete subgroup and let $\rho : K \rightarrow \operatorname { GL } ( V )$ be a representation of $K$. A smooth vector-valued function $f : G \rightarrow V$ is called an automorphic form for $I$ if $f ( k g \gamma ) = \rho ( k ) f ( g )$, $( Z g ) f$ is a finite vector space, where $Z ( g ) \subset U g = D ( G )$ is the centre of $U _ { G }$, and $f$ satisfies a certain growth condition. The link with the notion "automorphic form of type j" discussed just above is provided by $X = K \backslash G$, the left coset space of $K$ in $k$, and a canonical automorphy factor (with $H = K _ { C }$) which can be defined in this setting. Cf. [a1] for more details on all this.

Besides the applications of automorphic functions in ordinary differential equations and algebraic equations mentioned above there is also a most revealing connection between the harmonic analysis of functions automorphic with respect to a discrete subgroup of $SL _ { 2 } ( R )$ and Lax–Philips scattering theory applied to the non-Euclidean wave equation, cf. [a4], [a5].

For more material closely related to automorphic forms and automorphic functions, cf. also the articles Modular form; Modular function; Fuchsian group; Discrete subgroup; Discrete group of transformations.

References

[a1] A. Borel, "Introduction to automorphic forms" A. Borel (ed.) G.D. Mostow (ed.) , Algebraic groups and discontinuous subgroups , Proc. Symp. Pure Math. , 9 , Amer. Math. Soc. (1966) pp. 199–210 MR0207650 Zbl 0195.09501 Zbl 0191.09601
[a2] R. Fricke, F. Klein, "Vorlesungen über die Theorie der automorphen Funktionen" , 1–2 , Teubner (1926) MR0183872 Zbl 32.0430.01 Zbl 43.0529.08 Zbl 42.0452.01
[a3] A. Borel (ed.) W. Casselman (ed.) , Automorphic forms, representations and $L$-functions , Proc. Symp. Pure Math. , 33:1–2 , Amer. Math. Soc. (1979) MR0546606 MR0546586
[a4] L.D. Faddeev, B.S. Pavlov, "Scattering theory and automorphic functions" Proc. Steklov Inst. Math. , 27 (1972) pp. 161–198 MR0320781 Zbl 0343.35004
[a5] P.D. Lax, R.S. Phillips, "Scattering theory for automorphic functions" Bull. Amer. Math. Soc. (New Ser.) , 2 (1980) pp. 261–296 MR0555264 Zbl 0442.10018
[a6] W.L., jr. Baily, A. Borel, "Compactifications of arithmetic quotients of bounded symmetric domains" Ann. of Math. , 84 (1966) pp. 442–528 MR0216035
[a7] I.I. Pyatetskii-Shapiro, "Arithmetic groups on complex domains" Russ. Math. Surveys , 19 (1964) pp. 83–109
How to Cite This Entry:
Maximilian Janisch/latexlist/Algebraic Groups/Automorphic function. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Maximilian_Janisch/latexlist/Algebraic_Groups/Automorphic_function&oldid=43989