Stein manifold

Stein manifold

In mathematics, a Stein manifold in the theory of several complex variables and complex manifolds is a complex submanifold of the vector space of "n" complex dimensions. The name is for Karl Stein.

Definition

A complex manifold X of complex dimension n is called a Stein manifold if the following conditions hold:

* X is holomorphically convex, i.e. for every compact subset K subset X, the so-called "holomorphic convex hull",

::ar K = {z in X: |f(z)| leq sup_K |f| forall f in mathcal O(X) },

:is again a "compact" subset of X. Here mathcal O(X) denotes the ring of holomorphic functions on X.

* X is holomorphically separable, i.e. if x eq y are two points in X, then there is a holomorphic function

::f in mathcal O(X)

:such that f(x) eq f(y).

Properties and examples of Stein manifolds

* The standard complex space mathbb C^n is a Stein manifold.
* It can be shown quite easily that every closed complex submanifold of a Stein manifold is a Stein manifold, too.
* The embedding theorem for Stein manifolds states the following: Every Stein manifold X of complex dimension n can be embedded into mathbb C^{2 n+1} by a biholomorphic proper map. (The proof of this theorem involves complex analysis).

These facts imply that a Stein manifold is a closed complex submanifold of complex space, whose complex structure is that of the ambient space (because the embedding is biholomorphic).

* In one complex dimension the Stein condition can be simplified: a connected Riemann surface is a Stein manifold if and only if it is not compact. This can be proved using a version of the Runge theorem for Riemann surfaces, due to Behnke and Stein.
* Every Stein manifold X is holomorphically spreadable, i.e. for every point x in X, there are n holomorphic functions defined on all of X which form a local coordinate system when restricted to some open neighborhood of x.
* Being a Stein manifold is equivalent to being a (complex) "strongly pseudoconvex manifold". The latter means that it has a strongly pseudoconvex (or plurisubharmonic) exhaustive function, i.e. a smooth real function psi on X (which can be assumed to be a morse function) with i partial ar partial psi >0, such that the subsets {z in X, psi (z)leq c } are compact in X for every real number c. This is a solution to the so-called Levi problem [ [http://planetmath.org/encyclopedia/LeviProblem.html PlanetMath: solution of the Levi problem ] ] . The function psi invites a generalization of "Stein manifold" to the idea of a corresponding class of compact complex manifolds with boundary called Stein domains. A Stein domain is the preimage {z|-inftyleqpsi(z)leq c}. Some authors call such manifolds therefore strictly pseudoconvex manifolds.
*Related to the previous item, another equivalent and more topological definition in complex dimension 2 is the following: a Stein surface is a complex surface "X" with a real-valued Morse function "f" on "X" such that, away from the critical points of "f", the field of complex tangencies to the preimage "X""c" = "f"−1("c") is a contact structure that induces an orientation on "Xc" agreeing with the usual orientation as the boundary of "f"−1(−,"c"). That is, "f"−1(−,"c") is a Stein filling of "Xc".

Numerous further characterizations of such manifolds exist, in particular capturing the property of their having "many" holomorphic functions taking values in the complex numbers. See for example Cartan's theorems A and B, relating to sheaf cohomology. The initial impetus was to have a description of the properties of the domain of definition of the (maximal) analytic continuation of an analytic function.

In the GAGA set of analogies, Stein manifolds correspond to affine varieties.

Stein manifolds are in some sense dual to the elliptic manifolds in complex analysis which admit "many" holomorphic functions from the complex numbers into themselves. It is known that a Stein manifold is elliptic if and only if it is fibrant in the sense of so-called "holomorphic homotopy theory".

Notes

Literature

* | year=1990 | volume=7 (including a proof of the embedding theorem)
* | year=1998 | journal=Annals of Mathematics. Second Series | issn=0003-486X | volume=148 | issue=2 | pages=619–693 (definitions and constructions of Stein domains and manifolds in dimension 4)


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Kähler manifold — In mathematics, a Kähler manifold is a manifold with unitary structure (a U ( n ) structure) satisfying an integrability condition.In particular, it is a complex manifold, a Riemannian manifold, and a symplectic manifold, with these three… …   Wikipedia

  • CR manifold — In mathematics, a CR manifold is a differentiable manifold together with a geometric structure modeled on that of a real hypersurface in a complex vector space, or more generally modeled on an edge of a wedge. Formally, a CR manifold is a… …   Wikipedia

  • Karl Stein — may refer to:*Karl Stein (politician) *Karl Stein (mathematician), eponym of Stein manifold …   Wikipedia

  • Karl Stein (mathematician) — Karl Stein (1 January 1913 ndash; 19 October 2000) was a German mathematician born in Hamm. He is well known for complex analysis and cryptography. He gave the Stein manifold his name. Life Karl Stein received his doctorate with his dissertation… …   Wikipedia

  • Complex manifold — In differential geometry, a complex manifold is a manifold with an atlas of charts to the open unit disk[1] in Cn, such that the transition maps are holomorphic. The term complex manifold is variously used to mean a complex manifold in the sense… …   Wikipedia

  • List of mathematics articles (S) — NOTOC S S duality S matrix S plane S transform S unit S.O.S. Mathematics SA subgroup Saccheri quadrilateral Sacks spiral Sacred geometry Saddle node bifurcation Saddle point Saddle surface Sadleirian Professor of Pure Mathematics Safe prime Safe… …   Wikipedia

  • Symplectic filling — In mathematics, a filling of a manifold X is a cobordism W between X and the empty set. More to the point, the n dimensional topological manifold X is the boundary of an n+1 dimensional manifold W . Perhaps the most active area of current… …   Wikipedia

  • Plurisubharmonic function — In mathematics, plurisubharmonic functions form an important class of functions used in complex analysis. On a Kahler manifold,plurisubharmonic functions form a subset of the subharmonic functions. However, unlikesubharmonic functions (which are… …   Wikipedia

  • Cousin problems — In mathematics, the Cousin problems are two questions in several complex variables, concerning the existence of meromorphic functions that are specified in terms of local data. They were introduced in special cases by P. Cousin in 1895. They are… …   Wikipedia

  • List of differential geometry topics — This is a list of differential geometry topics. See also glossary of differential and metric geometry and list of Lie group topics. Contents 1 Differential geometry of curves and surfaces 1.1 Differential geometry of curves 1.2 Differential… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”