Namespaces
Variants
Actions

Riemannian domain

From Encyclopedia of Mathematics
Jump to: navigation, search


Riemann domain, complex (-analytic) manifold over $ \mathbf C ^{n} $


An analogue of the Riemann surface of an analytic function $ w = f(z) $ of a single complex variable $ z $ for the case of analytic functions $ w = f(z) $, $ z = (z _{1} \dots z _{n} ) $, of several complex variables $ z _{1} \dots z _{n} $, $ n \geq 2 $.


More precisely, a path-connected Hausdorff space $ R $ is called an (abstract) Riemann domain if there is a local homeomorphism (a projection) $ \pi : \ R \rightarrow \mathbf C ^{n} $ such that for each point $ p _{0} \in R $ there is a neighbourhood $ U(p _{0} ; \ \epsilon ) $ that transforms homeomorphically into a polydisc

$$ D(z ^{0} ; \ \epsilon )\ = $$


$$ = \ \{ {z = (z _{1} \dots z _{n} ) \in \mathbf C ^ n} : { | z _{j} - z _{j} ^{0} | < \epsilon ,\ j = 1 \dots n} \} $$


in the complex space $ \mathbf C ^{n} $. A Riemann domain is a separable space.

A complex function $ g $ is called holomorphic on $ R $ if for any point $ p _{0} \in R $ the function $ g[ \pi ^{-1} (z)] $ of $ n $ complex variables $ z _{1} \dots z _{n} $ is holomorphic in the corresponding polydisc $ D(z ^{0} ; \ \epsilon ) $. The projection $ \pi $ is given by the choice of $ n $ holomorphic functions $ \pi = ( \pi _{1} \dots \pi _{n} ) $, which correspond to coordinates $ z _{1} \dots z _{n} $ in $ \mathbf C ^{n} $. Starting from a given regular element of an analytic function $ w = f(z) $, its Riemann domain is constructed in the same way as the Riemann surface of a given analytic function of one complex variable, i.e. initially by means of analytic continuation one constructs the complete analytic function $ w = f(z) $, and then, using neighbourhoods, one introduces a topology into the set of elements of the complete analytic function. Like Riemann surfaces, Riemann domains arise unavoidably in connection with analytic continuation of a given element of an analytic function when, following the ideas of B. Riemann, one tries to represent the complete analytic function $ w = f(z) $ as a single-valued point function on a domain.

In particular, Riemann domains arise as multi-sheeted domains of holomorphy of analytic functions of several complex variables. Oka's theorem states that a Riemann domain is a domain of holomorphy if and only if it is holomorphically convex (see Holomorphically-convex complex space).

Modern studies of Riemann domains are conducted within the framework of the general theory of analytic spaces. A generalization of the concept of a domain of holomorphy leads to Stein spaces (cf. Stein space).

References

[1] B.V. Shabat, "Introduction of complex analysis" , 2 , Moscow (1976) (In Russian)
[2] R.C. Gunning, H. Rossi, "Analytic functions of several complex variables" , Prentice-Hall (1965)
[3] L. Hörmander, "An introduction to complex analysis in several variables" , North-Holland (1973)


Comments

The notion as presented above of a Riemann domain has been extended in several ways: Instead of $ \mathbf C ^{n} $ one may choose any (model) complex-analytic space $ S $( cf. Complex space). An unramified Riemann domain over $ S $ is a triple $ ( R,\ \Phi ,\ S ) $ where $ R $ is a complex-analytic space and $ \Phi $ is a locally biholomorphic mapping from $ R $ into $ S $.


Next, a ramified Riemann domain over $ S $ is a triple $ (R ,\ \Phi ,\ S ) $ where again $ R $ is a complex-analytic space and $ \Phi $ is now a discrete open holomorphic mapping from $ R $ to $ S $[a1].

References

[a1] H. Behnke, P. Thullen, "Theorie der Funktionen meherer komplexer Veränderlichen" , Springer (1970) pp. Chapt. VI (Elraged & Revised Edition. Original: 1934)
[a2] H. Grauert, K. Fritzsche, "Several complex variables" , Springer (1976) (Translated from German)
How to Cite This Entry:
Riemannian domain. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Riemannian_domain&oldid=44356
This article was adapted from an original article by E.D. Solomentsev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article