Namespaces
Variants
Actions

Difference between revisions of "Stein space"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
 
Line 1: Line 1:
 +
<!--
 +
s0876401.png
 +
$#A+1 = 111 n = 1
 +
$#C+1 = 111 : ~/encyclopedia/old_files/data/S087/S.0807640 Stein space,
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
 +
 +
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
''holomorphically-complete space''
 
''holomorphically-complete space''
  
A paracompact complex [[Analytic space|analytic space]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s0876401.png" /> with the following properties:
+
A paracompact complex [[Analytic space|analytic space]] $  ( X, {\mathcal O}) $
 +
with the following properties:
  
1) any compact analytic subset in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s0876402.png" /> is finite (cf. [[Analytic set|Analytic set]] 6));
+
1) any compact analytic subset in $  X $
 +
is finite (cf. [[Analytic set|Analytic set]] 6));
  
2) any compact set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s0876403.png" /> has an open neighbourhood <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s0876404.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s0876405.png" /> such that
+
2) any compact set $  K \subset  X $
 +
has an open neighbourhood $  W $
 +
in $  X $
 +
such that
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s0876406.png" /></td> </tr></table>
+
$$
 +
\left \{ {
 +
x \in W } : {| f( x) | \leq  \sup _ {z \in K }  | f( z) |  \textrm{ for }  \textrm{ all }  f \in
 +
{\mathcal O}( X) } \right \}
 +
$$
  
 
is compact (weak holomorphic convexity).
 
is compact (weak holomorphic convexity).
  
A complex manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s0876407.png" /> is a Stein space if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s0876408.png" /> is a [[Stein manifold|Stein manifold]]. A [[Complex space|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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s0876409.png" />, is a Stein space. Any finite-dimensional Stein space has a proper injective holomorphic mapping (cf. [[Proper morphism|Proper morphism]]) into some <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764010.png" /> 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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764011.png" /> and base <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764012.png" /> that are not Stein manifolds [[#References|[2]]].
+
A complex manifold $  M $
 +
is a Stein space if and only if $  M $
 +
is a [[Stein manifold|Stein manifold]]. A [[Complex space|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 $  \mathbf C  ^ {n} $,  
 +
is a Stein space. Any finite-dimensional Stein space has a proper injective holomorphic mapping (cf. [[Proper morphism|Proper morphism]]) into some $  \mathbf C  ^ {n} $
 +
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 $  \mathbf C  ^ {2} $
 +
and base $  \mathbf C $
 +
that are not Stein manifolds [[#References|[2]]].
  
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764013.png" /> be a [[Coherent analytic sheaf|coherent analytic sheaf]] on a Stein space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764014.png" />. Then the following theorems <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764017.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764018.png" /> of H. Cartan (cf. [[Cartan theorem|Cartan theorem]]) hold:
+
Let $  {\mathcal F} $
 +
be a [[Coherent analytic sheaf|coherent analytic sheaf]] on a Stein space $  ( X, {\mathcal O}) $.  
 +
Then the following theorems $  A $
 +
and $  B $
 +
of H. Cartan (cf. [[Cartan theorem|Cartan theorem]]) hold:
  
A) The space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764019.png" /> generates the stalk <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764020.png" /> of the sheaf <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764021.png" /> at any point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764022.png" />;
+
A) The space $  H  ^ {0} ( X, {\mathcal F}) $
 +
generates the stalk $  {\mathcal F} _ {x} $
 +
of the sheaf $  {\mathcal F} $
 +
at any point $  x \in X $;
  
B) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764023.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764024.png" />.
+
B) $  H  ^ {q} ( X, {\mathcal F}) = 0 $
 +
for all $  q > 0 $.
  
Conversely, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764025.png" /> for any coherent sheaf of ideals <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764026.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764027.png" /> is a Stein space. A domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764028.png" /> is a Stein manifold if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764029.png" />.
+
Conversely, if $  H  ^ {1} ( X, {\mathcal I} ) = 0 $
 +
for any coherent sheaf of ideals $  {\mathcal I} \subseteq {\mathcal O} $,  
 +
then $  X $
 +
is a Stein space. A domain $  D \subset  \mathbf C  ^ {n} $
 +
is a Stein manifold if and only if $  H  ^ {1} ( D, {\mathcal O}) = \dots = H  ^ {n-} 1 ( D, {\mathcal O}) = 0 $.
  
From the Cartan theorems it follows that on a Stein space the first Cousin problem is always solvable, and if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764030.png" />, then the second Cousin problem is solvable as well (see [[Cousin problems|Cousin problems]]). On any Stein manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764031.png" /> the Poincaré problem, i.e. can any meromorphic function be represented in the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764032.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764033.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764034.png" />, is solvable. Furthermore, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764035.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764036.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764037.png" /> can be chosen in such a way that the germs <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764038.png" /> at any point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764039.png" /> are relatively prime. The group of divisor classes of an irreducible reduced Stein space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764040.png" /> is isomorphic to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764041.png" />. For any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764042.png" />-dimensional Stein space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764043.png" />, the homology groups <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764044.png" /> for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764045.png" />, and the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764046.png" /> is torsion-free. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764047.png" /> is a manifold, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764048.png" /> is homotopy equivalent to an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764049.png" />-dimensional cell complex. On the other hand, for any countable Abelian group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764050.png" /> and any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764051.png" /> there is a [[Domain of holomorphy|domain of holomorphy]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764052.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764053.png" />.
+
From the Cartan theorems it follows that on a Stein space the first Cousin problem is always solvable, and if $  H  ^ {2} ( X, \mathbf Z ) = 0 $,  
 +
then the second Cousin problem is solvable as well (see [[Cousin problems|Cousin problems]]). On any Stein manifold $  X $
 +
the Poincaré problem, i.e. can any meromorphic function be represented in the form $  f/g $,  
 +
where $  f, g \in {\mathcal O} ( X) $,  
 +
$  g \neq 0 $,  
 +
is solvable. Furthermore, if $  H  ^ {2} ( X, \mathbf Z ) = 0 $,  
 +
then $  f $
 +
and $  g $
 +
can be chosen in such a way that the germs $  f _ {x} , g _ {x} $
 +
at any point $  x \in X $
 +
are relatively prime. The group of divisor classes of an irreducible reduced Stein space $  X $
 +
is isomorphic to $  H  ^ {2} ( X, \mathbf Z ) $.  
 +
For any $  n $-
 +
dimensional Stein space $  X $,  
 +
the homology groups $  H _ {q} ( X, \mathbf Z ) = 0 $
 +
for $  q > n $,  
 +
and the group $  H _ {n} ( X, \mathbf Z ) $
 +
is torsion-free. If $  X $
 +
is a manifold, then $  X $
 +
is homotopy equivalent to an $  n $-
 +
dimensional cell complex. On the other hand, for any countable Abelian group $  G $
 +
and any $  q \geq  1 $
 +
there is a [[Domain of holomorphy|domain of holomorphy]] $  D \subset  \mathbf C  ^ {2q+} 3 $
 +
such that $  H _ {q} ( D, \mathbf Z ) \cong G $.
  
An important trend in the theory of Stein spaces is connected with studies of the plurisubharmonic functions on them (see [[Levi problem|Levi problem]]; [[Pseudo-convex and pseudo-concave|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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764054.png" />-pseudoconvex function exhausting it.
+
An important trend in the theory of Stein spaces is connected with studies of the plurisubharmonic functions on them (see [[Levi problem|Levi problem]]; [[Pseudo-convex and pseudo-concave|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 $  1 $-
 +
pseudoconvex function exhausting it.
  
Algebras of holomorphic functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764055.png" /> on a Stein space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764056.png" /> (so-called Stein algebras) have the following properties. For a maximal ideal <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764057.png" /> the following conditions are equivalent: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764058.png" /> is closed in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764059.png" /> with respect to the topology of compact convergence; <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764060.png" /> for some point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764061.png" />; and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764062.png" /> is finitely generated. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764063.png" /> is finite-dimensional, then each character <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764064.png" /> is of the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764065.png" /> for some <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764066.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764067.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764068.png" /> are two finite-dimensional Stein spaces with isomorphic algebras <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764069.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764070.png" />; moreover, any isomorphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764071.png" /> is continuous and is induced by some isomorphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764072.png" /> of complex spaces.
+
Algebras of holomorphic functions $  {\mathcal O} ( X) $
 +
on a Stein space $  X $(
 +
so-called Stein algebras) have the following properties. For a maximal ideal $  I \subset  {\mathcal O} ( X) $
 +
the following conditions are equivalent: $  I $
 +
is closed in $  {\mathcal O} ( X) $
 +
with respect to the topology of compact convergence; $  I = \{ {f \in {\mathcal O} ( X) } : {f( x) = 0 } \} $
 +
for some point $  x \in X $;  
 +
and $  I $
 +
is finitely generated. If $  X $
 +
is finite-dimensional, then each character $  \chi : {\mathcal O} ( X) \rightarrow \mathbf C $
 +
is of the form $  \chi ( f  ) = f( x) $
 +
for some $  x \in X $.  
 +
If $  ( X, {\mathcal O} _ {X} ) $,
 +
$  ( Y, {\mathcal O} _ {Y} ) $
 +
are two finite-dimensional Stein spaces with isomorphic algebras $  {\mathcal O} _ {X} ( X) \cong {\mathcal O} _ {Y} ( Y) $,  
 +
then $  ( X, {\mathcal O} _ {X} ) \cong ( Y, {\mathcal O} _ {Y} ) $;  
 +
moreover, any isomorphism $  {\mathcal O} _ {X} ( X) \rightarrow {\mathcal O} _ {Y} ( Y) $
 +
is continuous and is induced by some isomorphism $  Y \rightarrow X $
 +
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|Principal analytic fibration]]) with as basis a given reduced Stein space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764073.png" /> and as structure group a given complex Lie group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764074.png" />, 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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764075.png" /> also coincide.
+
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|Principal analytic fibration]]) with as basis a given reduced Stein space $  X $
 +
and as structure group a given complex Lie group $  G $,  
 +
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 $  X \rightarrow G $
 +
also coincide.
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  H. Grauert,  R. Remmert,  "Theory of Stein spaces" , Springer  (1977)  (Translated from German)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  J.-P. Demailly,  "Un example de fibré holomorphe non de Stein à fibre <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764076.png" /> ayant pour base le disque ou le plan"  ''Invent. Math.'' , '''48''' :  3  (1978)  pp. 293–302</TD></TR><TR><TD valign="top">[3a]</TD> <TD valign="top">  A.L. Onishchik,  "Stein spaces"  ''J. Soviet Math.'' , '''4''' :  5  (1974)  pp. 540–554  ''Itogi Nauk. i Tekhn. Algebra.Topol. Geom.'' , '''11'''  (1974)  pp. 125–151</TD></TR><TR><TD valign="top">[3b]</TD> <TD valign="top">  A.L. Onishchik,  "Pseudoconvexity in the theory of complex spaces"  ''J. Soviet Math.'' , '''14''' :  4  (1977)  pp. 1363–1407  ''Itogi Nauk. i Tekhn. Algebra. Topol. Geom.'' , '''15'''  (1977)  pp. 93–171</TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  H. Grauert,  R. Remmert,  "Theory of Stein spaces" , Springer  (1977)  (Translated from German)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  J.-P. Demailly,  "Un example de fibré holomorphe non de Stein à fibre <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764076.png" /> ayant pour base le disque ou le plan"  ''Invent. Math.'' , '''48''' :  3  (1978)  pp. 293–302</TD></TR><TR><TD valign="top">[3a]</TD> <TD valign="top">  A.L. Onishchik,  "Stein spaces"  ''J. Soviet Math.'' , '''4''' :  5  (1974)  pp. 540–554  ''Itogi Nauk. i Tekhn. Algebra.Topol. Geom.'' , '''11'''  (1974)  pp. 125–151</TD></TR><TR><TD valign="top">[3b]</TD> <TD valign="top">  A.L. Onishchik,  "Pseudoconvexity in the theory of complex spaces"  ''J. Soviet Math.'' , '''14''' :  4  (1977)  pp. 1363–1407  ''Itogi Nauk. i Tekhn. Algebra. Topol. Geom.'' , '''15'''  (1977)  pp. 93–171</TD></TR></table>
 
 
  
 
====Comments====
 
====Comments====
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764077.png" /> be a [[Complex space|complex space]]. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764078.png" /> be the so-called nil radical of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764079.png" />, i.e. the union of the nil radicals of the stalks <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764080.png" />. It is a coherent sheaf (of ideals). The space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764081.png" /> is called the reduction of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764082.png" />, as is the associated mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764083.png" />. A complex space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764084.png" /> is called reduced at a point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764085.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764086.png" />. The space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764087.png" /> is called reduced if it is reduced at all its points (i.e. if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764088.png" />).
+
Let $  X = ( X, {\mathcal O} _ {X} ) $
 +
be a [[Complex space|complex space]]. Let $  {\mathcal n} ( {\mathcal O} _ {X} ) = \cup {\mathcal n} ( {\mathcal O} _ {x} ) $
 +
be the so-called nil radical of $  {\mathcal O} _ {X} $,  
 +
i.e. the union of the nil radicals of the stalks $  {\mathcal O} _ {x} $.  
 +
It is a coherent sheaf (of ideals). The space $  X _ { \mathop{\rm red}  } = ( X, {\mathcal O} _ {X} / {\mathcal n} ( {\mathcal O} _ {X} )) $
 +
is called the reduction of $  ( X, {\mathcal O} _ {X} ) $,  
 +
as is the associated mapping $  X _ { \mathop{\rm red}  } \rightarrow X $.  
 +
A complex space $  X $
 +
is called reduced at a point $  x \in X $
 +
if $  {\mathcal n} ( {\mathcal O} _ {x} ) = 0 $.  
 +
The space $  X $
 +
is called reduced if it is reduced at all its points (i.e. if $  X = X _ { \mathop{\rm red}  } $).
  
The set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764089.png" /> of elements not dividing zero is multiplicative (i.e. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764090.png" /> is open in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764091.png" />; <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764092.png" />; and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764093.png" /> implies <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764094.png" />). Hence <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764095.png" /> (with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764096.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764097.png" />) is a well-defined <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764098.png" />-module. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s08764099.png" /> is called the sheaf of germs of meromorphic functions on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s087640100.png" />. The complex space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s087640101.png" /> is called normal at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s087640102.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s087640103.png" /> is reduced at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s087640104.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s087640105.png" /> is integrally closed in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s087640106.png" />. A complex space is called normal if it is normal at every point. The normalization theorem says that for each reduced complex space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s087640107.png" /> there are a normal complex space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s087640108.png" /> and a finite surjective holomorphic mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s087640109.png" />. The pair <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s087640110.png" /> is called the normalization of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s087640111.png" />. It is uniquely defined up to analytic isomorphisms.
+
The set $  N \subset  {\mathcal O} _ {X} $
 +
of elements not dividing zero is multiplicative (i.e. $  N $
 +
is open in $  {\mathcal O} _ {x} $;  
 +
$  1 \in N $;  
 +
and $  a, b \in N $
 +
implies $  ab \in N $).  
 +
Hence $  {\mathcal M} = {\mathcal O} _ {N} $(
 +
with $  {\mathcal M} _ {x} = ( {\mathcal O} _ {x} ) _ {N _ {x}  } $,  
 +
$  x \in X $)  
 +
is a well-defined $  {\mathcal O} _ {X} $-
 +
module. $  {\mathcal M} $
 +
is called the sheaf of germs of meromorphic functions on $  X $.  
 +
The complex space $  X $
 +
is called normal at $  x \in X $
 +
if $  X $
 +
is reduced at $  x $
 +
and $  {\mathcal O} _ {x} $
 +
is integrally closed in $  {\mathcal M} _ {x} $.  
 +
A complex space is called normal if it is normal at every point. The normalization theorem says that for each reduced complex space $  X $
 +
there are a normal complex space $  \widetilde{X}  $
 +
and a finite surjective holomorphic mapping $  \zeta : \widetilde{X}  \rightarrow X $.  
 +
The pair $  ( \widetilde{X}  , \zeta ) $
 +
is called the normalization of $  X $.  
 +
It is uniquely defined up to analytic isomorphisms.
  
Finally, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s087640112.png" /> is called irreducible at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s087640113.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087640/s087640114.png" /> is an integral domain, and irreducible if it is irreducible at all points. See [[#References|[1]]].
+
Finally, $  ( X , {\mathcal O} _ {X} ) $
 +
is called irreducible at $  x $
 +
if $  {\mathcal O} _ {x} $
 +
is an integral domain, and irreducible if it is irreducible at all points. See [[#References|[1]]].
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  L. Hörmander,  "An introduction to complex analysis in several variables" , North-Holland  (1973)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  L. Kaup,  B. Kaup,  "Holomorphic functions of several variables" , de Gruyter  (1983)  (Translated from German)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  R.C. Gunning,  H. Rossi,  "Analytic functions of several complex variables" , Prentice-Hall  (1965)  pp. Chapt. 1, Sect. C</TD></TR></table>
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  L. Hörmander,  "An introduction to complex analysis in several variables" , North-Holland  (1973)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  L. Kaup,  B. Kaup,  "Holomorphic functions of several variables" , de Gruyter  (1983)  (Translated from German)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  R.C. Gunning,  H. Rossi,  "Analytic functions of several complex variables" , Prentice-Hall  (1965)  pp. Chapt. 1, Sect. C</TD></TR></table>

Latest revision as of 08:23, 6 June 2020


holomorphically-complete space

A paracompact complex analytic space $ ( X, {\mathcal O}) $ with the following properties:

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

2) any compact set $ K \subset X $ has an open neighbourhood $ W $ in $ X $ such that

$$ \left \{ { x \in W } : {| f( x) | \leq \sup _ {z \in K } | f( z) | \textrm{ for } \textrm{ all } f \in {\mathcal O}( X) } \right \} $$

is compact (weak holomorphic convexity).

A complex manifold $ M $ is a Stein space if and only if $ M $ 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 $ \mathbf C ^ {n} $, is a Stein space. Any finite-dimensional Stein space has a proper injective holomorphic mapping (cf. Proper morphism) into some $ \mathbf C ^ {n} $ 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 $ \mathbf C ^ {2} $ and base $ \mathbf C $ that are not Stein manifolds [2].

Let $ {\mathcal F} $ be a coherent analytic sheaf on a Stein space $ ( X, {\mathcal O}) $. Then the following theorems $ A $ and $ B $ of H. Cartan (cf. Cartan theorem) hold:

A) The space $ H ^ {0} ( X, {\mathcal F}) $ generates the stalk $ {\mathcal F} _ {x} $ of the sheaf $ {\mathcal F} $ at any point $ x \in X $;

B) $ H ^ {q} ( X, {\mathcal F}) = 0 $ for all $ q > 0 $.

Conversely, if $ H ^ {1} ( X, {\mathcal I} ) = 0 $ for any coherent sheaf of ideals $ {\mathcal I} \subseteq {\mathcal O} $, then $ X $ is a Stein space. A domain $ D \subset \mathbf C ^ {n} $ is a Stein manifold if and only if $ H ^ {1} ( D, {\mathcal O}) = \dots = H ^ {n-} 1 ( D, {\mathcal O}) = 0 $.

From the Cartan theorems it follows that on a Stein space the first Cousin problem is always solvable, and if $ H ^ {2} ( X, \mathbf Z ) = 0 $, then the second Cousin problem is solvable as well (see Cousin problems). On any Stein manifold $ X $ the Poincaré problem, i.e. can any meromorphic function be represented in the form $ f/g $, where $ f, g \in {\mathcal O} ( X) $, $ g \neq 0 $, is solvable. Furthermore, if $ H ^ {2} ( X, \mathbf Z ) = 0 $, then $ f $ and $ g $ can be chosen in such a way that the germs $ f _ {x} , g _ {x} $ at any point $ x \in X $ are relatively prime. The group of divisor classes of an irreducible reduced Stein space $ X $ is isomorphic to $ H ^ {2} ( X, \mathbf Z ) $. For any $ n $- dimensional Stein space $ X $, the homology groups $ H _ {q} ( X, \mathbf Z ) = 0 $ for $ q > n $, and the group $ H _ {n} ( X, \mathbf Z ) $ is torsion-free. If $ X $ is a manifold, then $ X $ is homotopy equivalent to an $ n $- dimensional cell complex. On the other hand, for any countable Abelian group $ G $ and any $ q \geq 1 $ there is a domain of holomorphy $ D \subset \mathbf C ^ {2q+} 3 $ such that $ H _ {q} ( D, \mathbf Z ) \cong G $.

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 $ 1 $- pseudoconvex function exhausting it.

Algebras of holomorphic functions $ {\mathcal O} ( X) $ on a Stein space $ X $( so-called Stein algebras) have the following properties. For a maximal ideal $ I \subset {\mathcal O} ( X) $ the following conditions are equivalent: $ I $ is closed in $ {\mathcal O} ( X) $ with respect to the topology of compact convergence; $ I = \{ {f \in {\mathcal O} ( X) } : {f( x) = 0 } \} $ for some point $ x \in X $; and $ I $ is finitely generated. If $ X $ is finite-dimensional, then each character $ \chi : {\mathcal O} ( X) \rightarrow \mathbf C $ is of the form $ \chi ( f ) = f( x) $ for some $ x \in X $. If $ ( X, {\mathcal O} _ {X} ) $, $ ( Y, {\mathcal O} _ {Y} ) $ are two finite-dimensional Stein spaces with isomorphic algebras $ {\mathcal O} _ {X} ( X) \cong {\mathcal O} _ {Y} ( Y) $, then $ ( X, {\mathcal O} _ {X} ) \cong ( Y, {\mathcal O} _ {Y} ) $; moreover, any isomorphism $ {\mathcal O} _ {X} ( X) \rightarrow {\mathcal O} _ {Y} ( Y) $ is continuous and is induced by some isomorphism $ Y \rightarrow X $ 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 $ X $ and as structure group a given complex Lie group $ G $, 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 $ X \rightarrow G $ also coincide.

References

[1] H. Grauert, R. Remmert, "Theory of Stein spaces" , Springer (1977) (Translated from German)
[2] J.-P. Demailly, "Un example de fibré holomorphe non de Stein à fibre ayant pour base le disque ou le plan" Invent. Math. , 48 : 3 (1978) pp. 293–302
[3a] A.L. Onishchik, "Stein spaces" J. Soviet Math. , 4 : 5 (1974) pp. 540–554 Itogi Nauk. i Tekhn. Algebra.Topol. Geom. , 11 (1974) pp. 125–151
[3b] A.L. Onishchik, "Pseudoconvexity in the theory of complex spaces" J. Soviet Math. , 14 : 4 (1977) pp. 1363–1407 Itogi Nauk. i Tekhn. Algebra. Topol. Geom. , 15 (1977) pp. 93–171

Comments

Let $ X = ( X, {\mathcal O} _ {X} ) $ be a complex space. Let $ {\mathcal n} ( {\mathcal O} _ {X} ) = \cup {\mathcal n} ( {\mathcal O} _ {x} ) $ be the so-called nil radical of $ {\mathcal O} _ {X} $, i.e. the union of the nil radicals of the stalks $ {\mathcal O} _ {x} $. It is a coherent sheaf (of ideals). The space $ X _ { \mathop{\rm red} } = ( X, {\mathcal O} _ {X} / {\mathcal n} ( {\mathcal O} _ {X} )) $ is called the reduction of $ ( X, {\mathcal O} _ {X} ) $, as is the associated mapping $ X _ { \mathop{\rm red} } \rightarrow X $. A complex space $ X $ is called reduced at a point $ x \in X $ if $ {\mathcal n} ( {\mathcal O} _ {x} ) = 0 $. The space $ X $ is called reduced if it is reduced at all its points (i.e. if $ X = X _ { \mathop{\rm red} } $).

The set $ N \subset {\mathcal O} _ {X} $ of elements not dividing zero is multiplicative (i.e. $ N $ is open in $ {\mathcal O} _ {x} $; $ 1 \in N $; and $ a, b \in N $ implies $ ab \in N $). Hence $ {\mathcal M} = {\mathcal O} _ {N} $( with $ {\mathcal M} _ {x} = ( {\mathcal O} _ {x} ) _ {N _ {x} } $, $ x \in X $) is a well-defined $ {\mathcal O} _ {X} $- module. $ {\mathcal M} $ is called the sheaf of germs of meromorphic functions on $ X $. The complex space $ X $ is called normal at $ x \in X $ if $ X $ is reduced at $ x $ and $ {\mathcal O} _ {x} $ is integrally closed in $ {\mathcal M} _ {x} $. A complex space is called normal if it is normal at every point. The normalization theorem says that for each reduced complex space $ X $ there are a normal complex space $ \widetilde{X} $ and a finite surjective holomorphic mapping $ \zeta : \widetilde{X} \rightarrow X $. The pair $ ( \widetilde{X} , \zeta ) $ is called the normalization of $ X $. It is uniquely defined up to analytic isomorphisms.

Finally, $ ( X , {\mathcal O} _ {X} ) $ is called irreducible at $ x $ if $ {\mathcal O} _ {x} $ is an integral domain, and irreducible if it is irreducible at all points. See [1].

References

[a1] L. Hörmander, "An introduction to complex analysis in several variables" , North-Holland (1973)
[a2] L. Kaup, B. Kaup, "Holomorphic functions of several variables" , de Gruyter (1983) (Translated from German)
[a3] R.C. Gunning, H. Rossi, "Analytic functions of several complex variables" , Prentice-Hall (1965) pp. Chapt. 1, Sect. C
How to Cite This Entry:
Stein space. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Stein_space&oldid=48832
This article was adapted from an original article by A.L. Onishchik (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article