# Domain of holomorphy

A domain in a complex space for which there exists a function , holomorphic in , that is not holomorphically extendable to a larger domain; the domain is then called the natural domain of definition of . For example, the natural domain of definition of the function

is the unit disc, which is thus a domain of holomorphy in . Any domain in is a domain of holomorphy. In , , on the contrary, not all domains are domains of holomorphy. E.g., no domain of the form , where is a compactum contained in , is a domain of holomorphy.

A domain is said to be holomorphically convex if for each compact set there exists a compact set containing such that for any point there exists a holomorphic function in such that

A domain is a domain of holomorphy if and only if it is holomorphically convex (the Cartan–Thullen theorem). A domain is a domain of holomorphy if and only if each point has a barrier — a holomorphic function in that cannot be holomorphically continued to . For example, if is an arbitrary domain in , then the function is a barrier at any point , so that is a domain of holomorphy; if is a convex domain in and if

is the supporting plane at a point , then the function is a barrier at , and for this reason any convex domain in is a domain of holomorphy.

The intersection of domains of holomorphy is a domain of holomorphy; any biholomorphic mapping maps a domain of holomorphy onto a domain of holomorphy (the Behnke–Stein theorem).

A domain is said to be pseudo-convex if the function is a plurisubharmonic function in , where is the distance from the point to . A domain is a domain of holomorphy if and only if it is pseudo-convex (Oka's theorem). That, in Oka's theorem, this condition is sufficient, forms the content of the Levi problem, formulated by E. Levi in 1911. It was solved by K. Oka in 1942 for ; it was solved independently by Oka, F. Norguet and H. Bremermann in 1953–1954 for .

A domain of holomorphy with a sufficiently smooth boundary can be locally described. A domain is said to be pseudo-convex at a point if there exists a neighbourhood of and a real-valued function of class such that: a) ; and b) on the plane

the Hessian form

If in condition b) strict inequality holds for all vectors under consideration, the domain is said to be strictly pseudo-convex at the point . A domain is said to be (strictly) pseudo-convex in the sense of Levi if it is (strictly) pseudo-convex at all points .

If a domain is strictly pseudo-convex in the sense of Levi, it is pseudo-convex (Levi's theorem).

The domain of holomorphy of a function , defined in an initial neighbourhood , can be constructed by expansions into Taylor series using the principle of holomorphic continuation; it may then turn out that in the domain thus constructed the holomorphic function is not single-valued. In order to make the function single-valued, the concept of a domain must be widened. This is done by the introduction of a Riemann (Riemannian) domain (a covering domain, a multi-sheeted domain) over (a Riemann domain over is known as a Riemann surface). The concept of a domain of holomorphy is generalized to Riemann domains and even to objects of a more general structure — complex manifolds and complex spaces. The generalization of the concept of a domain of holomorphy leads to Stein spaces (cf. Stein space).

#### References

[1] | V.S. Vladimirov, "Methods of the theory of functions of several complex variables" , M.I.T. (1966) (Translated from Russian) |

[2] | B.V. Shabat, "Introduction of complex analysis" , 2 , Moscow (1976) (In Russian) |

[3] | L. Hörmander, "An introduction to complex analysis in several variables" , North-Holland (1973) |

#### Comments

The following is usually also considered as part of the above-mentioned Behnke–Stein theorem: The (countable) union of an increasing sequence of domains of holomorphy is a domain of holomorphy.

See Riemannian domain for the notion of "domain of holomorphy" on Riemann surfaces. For pseudo-convex domains, etc. see also Pseudo-convex and pseudo-concave.

**How to Cite This Entry:**

Domain of holomorphy. V.S. Vladimirov (originator),

*Encyclopedia of Mathematics.*URL: http://www.encyclopediaofmath.org/index.php?title=Domain_of_holomorphy&oldid=12285