# Stein space

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

holomorphically-complete space

A paracompact complex analytic space with the following properties:

1) any compact analytic subset in is finite (cf. Analytic set 6));

2) any compact set has an open neighbourhood in such that is compact (weak holomorphic convexity).

A complex manifold is a Stein space if and only if is a Stein manifold. A complex space is a Stein space if and only if its reduction has this property. Any holomorphically-convex open subspace in a Stein space is a Stein space. A reduced complex space is a Stein space if and only if its normalization is a Stein space. Any closed analytic subspace in a Stein space, for instance in , is a Stein space. Any finite-dimensional Stein space has a proper injective holomorphic mapping (cf. Proper morphism) into some which is regular at every non-singular point. Any unramified covering of a Stein space is a Stein space. The direct product of two Stein spaces is a Stein space. In many cases a holomorphic fibre space whose base and fibres are Stein spaces is a Stein space (e.g. if the structure group is a complex Lie group with a finite number of connected components). However, there are holomorphic fibre spaces with fibre and base that are not Stein manifolds .

Let be a coherent analytic sheaf on a Stein space . Then the following theorems and of H. Cartan (cf. Cartan theorem) hold:

A) The space generates the stalk of the sheaf at any point ;

B) for all .

Conversely, if for any coherent sheaf of ideals , then is a Stein space. A domain is a Stein manifold if and only if .

From the Cartan theorems it follows that on a Stein space the first Cousin problem is always solvable, and if , then the second Cousin problem is solvable as well (see Cousin problems). On any Stein manifold the Poincaré problem, i.e. can any meromorphic function be represented in the form , where , , is solvable. Furthermore, if , then and can be chosen in such a way that the germs at any point are relatively prime. The group of divisor classes of an irreducible reduced Stein space is isomorphic to . For any -dimensional Stein space , the homology groups for , and the group is torsion-free. If is a manifold, then is homotopy equivalent to an -dimensional cell complex. On the other hand, for any countable Abelian group and any there is a domain of holomorphy such that .

An important trend in the theory of Stein spaces is connected with studies of the plurisubharmonic functions on them (see Levi problem; Pseudo-convex and pseudo-concave). The basic result here is that a Stein space is characterized as a space on which there exists a strongly -pseudoconvex function exhausting it.

Algebras of holomorphic functions on a Stein space (so-called Stein algebras) have the following properties. For a maximal ideal the following conditions are equivalent: is closed in with respect to the topology of compact convergence; for some point ; and is finitely generated. If is finite-dimensional, then each character is of the form for some . If , are two finite-dimensional Stein spaces with isomorphic algebras , then ; moreover, any isomorphism is continuous and is induced by some isomorphism of complex spaces.

A significant role in the theory of Stein spaces is played by the so-called Oka principle, which states that a problem in the class of analytic functions on a Stein space is solvable if and only if it is solvable in the class of continuous functions. The second Cousin problem satisfies this principle. The following statement is still more general: The classification of the principal analytic fibrations (cf. Principal analytic fibration) with as basis a given reduced Stein space and as structure group a given complex Lie group , coincides with the classification of the topological fibrations with the same basis and the same structure group. The groups of connected components in the groups of analytic and continuous functions also coincide.

How to Cite This Entry:
Stein space. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Stein_space&oldid=17413
This article was adapted from an original article by A.L. Onishchik (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article