23/03/23 13:41:19.56 gtBUMZjM.net
>>681
つづき
Oka's result has been generalized to domains spread over any Stein manifold: If such a domain D
is a pseudo-convex manifold, then D
is a Stein manifold. The Levi problem has also been affirmatively solved in a number of other cases, for example, for non-compact domains spread over the projective space CPn
or over a Kahler manifold on which there exists a strictly plurisubharmonic function (see ), and for domains in a Kahler manifold with positive holomorphic bisectional curvature [7]. At the same time, examples of pseudo-convex manifolds and domains are known that are not Stein manifolds and not even holomorphically convex. A necessary and sufficient condition for a complex space to be a Stein space is that it is strongly pseudo-convex (see Pseudo-convex and pseudo-concave). Also, a strongly pseudo-convex domain in any complex space is holomorphically convex and is a proper modification of a Stein space (see , [4] and also Modification; Proper morphism).
(引用終り)
以上