View source for Stein manifold

A '''Stein manifold''' is a [[complex manifold]] that admits a proper holomorphic embedding into some complex Euclidean space C^n. Named after [[Karl Stein]], who introduced them in 1951 as generalizations of domains of holomorphy in several complex variables, Stein manifolds are the natural setting for the higher-dimensional theory of [[holomorphic function|holomorphic functions]]. They are characterized by a constellation of equivalent properties — existence of strictly [[plurisubharmonic function|plurisubharmonic]] exhaustion functions, vanishing of higher cohomology for coherent analytic sheaves, and the validity of Cartan's theorems A and B — that collectively ensure that these manifolds behave as benignly as possible from the perspective of complex analysis.

The significance of Stein manifolds lies in their role as the 'nicest' non-compact complex manifolds. Unlike compact complex manifolds, which are severely constrained by [[Hodge theory]] and rarely admit non-constant holomorphic functions, Stein manifolds are rich in holomorphic functions and flexible in their geometry. They serve as the local models for the [[Oka principle]], which states that on Stein manifolds, holomorphic solutions to geometric problems exist whenever continuous solutions do — a remarkable convergence of the topological and analytic categories that has no analogue in compact geometry.

From a systems perspective, the Stein condition is an emergent regularity: it is defined by the existence of certain functions, but its consequences — vanishing theorems, embedding theorems, the Oka principle — are global structural properties that could not be predicted from the definition alone. The Stein manifold is a system that has organized itself into a state where analysis and topology coincide.

[[Category:Mathematics]]
[[Category:Geometry]]
[[Category:Systems]]