Difference between revisions of "Riemannian domain"
(Importing text file) |
Ulf Rehmann (talk | contribs) m (tex done) |
||
Line 1: | Line 1: | ||
− | + | {{TEX|done}} | |
− | + | ''Riemann domain, complex (-analytic) manifold over $ \mathbf C ^{n} $'' | |
− | |||
− | + | An analogue of the [[Riemann surface|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|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|domain of holomorphy]] if and only if it is holomorphically convex (see [[Holomorphically-convex complex space|Holomorphically-convex complex space]]). | 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|domain of holomorphy]] if and only if it is holomorphically convex (see [[Holomorphically-convex complex space|Holomorphically-convex complex space]]). | ||
Line 23: | Line 60: | ||
====Comments==== | ====Comments==== | ||
− | The notion as presented above of a Riemann domain has been extended in several ways: Instead of | + | 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|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 | + | 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 $[[#References|[a1]]]. | ||
====References==== | ====References==== | ||
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> H. Behnke, P. Thullen, "Theorie der Funktionen meherer komplexer Veränderlichen" , Springer (1970) pp. Chapt. VI (Elraged & Revised Edition. Original: 1934)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> H. Grauert, K. Fritzsche, "Several complex variables" , Springer (1976) (Translated from German)</TD></TR></table> | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> H. Behnke, P. Thullen, "Theorie der Funktionen meherer komplexer Veränderlichen" , Springer (1970) pp. Chapt. VI (Elraged & Revised Edition. Original: 1934)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> H. Grauert, K. Fritzsche, "Several complex variables" , Springer (1976) (Translated from German)</TD></TR></table> |
Latest revision as of 19:58, 28 January 2020
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) |
Riemannian domain. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Riemannian_domain&oldid=44356