Zum Inhalt springen

Benutzer:Holger Brenner/Talk in Mumbai/Local cohomology and ideal closure operations I/latex

Aus Wikiversity

\seitenueberschrift{Local cohomology and ideal closure operations I}


In these two talks I want to discuss three topics related to local cohomology: the affineness of \zusatzklammer {quasi-affine} {} {} schemes, the relation of local cohomology to closure operations, in particular tight closure, and the behavior of local cohomology \zusatzklammer {and cohomological dimension} {} {} in an \zusatzklammer {arithmetic or geometric} {} {} deformation.






\zwischenueberschrift{Affine schemes}

A scheme $U$ is called \stichwort {affine} {} if it is isomorphic to the spectrum of some commutative ring $R$. If the scheme is of finite type over a field \zusatzklammer {or ring} {} {} $K$ \zusatzklammer {if we have a variety} {} {,} then this is equivalent to saying that there exist global functions
\mathdisp {g_1 , \ldots , g_m \in \Gamma(U, {\mathcal O}_U)} { }
such that the mapping \maabbeledisp {} {U} {{\mathbb A}^m_K } {x} {(g_1(x) , \ldots , g_m(x)) } {,} is a closed embedding. The relation to cohomology is given by the following well-known theorem of Serre.


\inputfakt{Noethersches Schema/Affin/Kohomologisches Kriterium/en/Fakt}{Theorem}{} {

\faktsituation {Let $U$ denote a noetherian scheme.}
\faktuebergang {Then the following properties are equivalent.}
\faktfolgerung {\aufzaehlungdrei{$U$ is an affine scheme. }{For every quasicoherent sheaf ${\mathcal F}$ on $U$ and all
\mavergleichskette
{\vergleichskette
{ i }
{ \geq }{ 1 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} we have
\mavergleichskette
{\vergleichskette
{ H^{i}( U, {\mathcal F} ) }
{ = }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} }{For every coherent ideal sheaf ${\mathcal I}$ on $U$ we have
\mavergleichskette
{\vergleichskette
{ H^{1}( U, {\mathcal I} ) }
{ = }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} }}
\faktzusatz {}
\faktzusatz {}

}

It is in general a difficult question whether a given scheme $U$ is affine. For example, suppose that
\mathl{X= \operatorname{Spec} { \left( R \right) }}{} is an affine scheme and
\mathdisp {U=D({\mathfrak a}) \subseteq X} { }
is an open subset \zusatzklammer {such schemes are called quasiaffine} {} {} defined by an ideal
\mathl{{\mathfrak a} \subseteq R}{.} When is $U$ itself affine? The cohomological criterion above simplifies to the condition that
\mathl{H^{i}(U, {\mathcal O}_X)=0}{} for
\mathl{i \geq 1}{.}

Of course, if
\mathl{{\mathfrak a} =(f)}{} is a principal ideal \zusatzklammer {or up to radical a principal ideal} {} {,} then
\mathl{U=D(f) \cong \operatorname{Spec} { \left( R_f \right) }}{} is affine. On the other hand, if
\mathl{(R, {\mathfrak m})}{} is a local ring of dimension $\geq 2$, then
\mathdisp {D( {\mathfrak m} ) \subset \operatorname{Spec} { \left( R \right) }} { }
is not affine, since
\mavergleichskettedisp
{\vergleichskette
{ H^{d-1}(U , {\mathcal O}_X) }
{ =} {H^d_{ {\mathfrak m} }(R) }
{ \neq} {0 }
{ } { }
{ } { }
} {}{}{} by the relation between sheaf cohomology and local cohomology and a theorem of Grothendieck. A variant of this observation shows that for an open affine subset
\mathl{U \subseteq X}{} the closed complement
\mathl{Y=X \setminus U}{} must be of pure codimension one \zusatzklammer {$U$ must be the complement of the support of an effective divisor} {} {.} In a regular or \zusatzklammer {locally $\Q$} {} {-} factorial domain the complement of every divisor is affine, since the divisor can be described \zusatzklammer {at least locally geometrically} {} {} by one equation. But it is easy to give examples to show that this is not true for normal threedimensional domains.


\inputexample{}
{

Let $K$ be a field and consider the ring
\mavergleichskettedisp
{\vergleichskette
{ R }
{ =} { K[x,y,u,v]/(xu-yv) }
{ } { }
{ } { }
{ } { }
} {}{}{.} The ideal
\mavergleichskette
{\vergleichskette
{ {\mathfrak p} }
{ = }{ (x,y) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} is a prime ideal in $R$ of height one. Hence the open subset
\mavergleichskette
{\vergleichskette
{ U }
{ = }{ D(x,y) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} is the complement of an irreducible hypersurface. However, $U$ is not affine. For this we consider the closed subscheme
\mavergleichskettedisp
{\vergleichskette
{ {\mathbb A}^{2}_{K} }
{ \cong} { Z }
{ =} { V(u,v) }
{ \subseteq} { \operatorname{Spec} { \left( R \right) } }
{ } { }
} {}{}{} and
\mavergleichskette
{\vergleichskette
{ Z \cap U }
{ \subseteq }{ U }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} If $U$ were affine, then also the closed subscheme
\mavergleichskette
{\vergleichskette
{ Z \cap U }
{ \cong }{ {\mathbb A}^{2}_{K} \setminus \{(0,0)\} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} would be affine, but this is not true, since the complement of the punctured plane has codimension $2$.

}

The argument employed in this example rests on the following definition and the next theorem.


\inputdefinition
{}
{

Let $R$ be a noetherian commutative ring and let
\mavergleichskette
{\vergleichskette
{ I }
{ \subseteq }{ R }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} be an ideal. The \zusatzklammer {noetherian} {} {} \stichwort {superheight} {} is the supremum
\mathdisp {\operatorname{ sup}_{ } ^{ } { \left( \operatorname{ ht}_{ } ^{ } { \left( IS \right) } :\, S \text{ is a notherian } R-\text{algebra} \right) }} { . }

}




\inputfakt{Quasiaffines Schema/Affin/Superhöhe 1 und endlich erzeugter Schnittring/en/Fakt}{Theorem}{} {

\faktsituation {Let $R$ be a noetherian commutative ring and let
\mavergleichskette
{\vergleichskette
{ I }
{ \subseteq }{ R }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} be an ideal and
\mavergleichskette
{\vergleichskette
{ U }
{ = }{ D(I) }
{ \subseteq }{ X }
{ = }{ \operatorname{Spec} { \left( R \right) } }
{ }{ }
} {}{}{.}}
\faktuebergang {Then the following are equivalent.}
\faktfolgerung {\aufzaehlungzwei {$U$ is an affine scheme. } {$I$ has superheight $\leq 1$ and
\mathl{\Gamma(U, {\mathcal O}_X)}{} is a finitely generated $R$-algebra. }}
\faktzusatz {}
\faktzusatz {}

} It is not true at all that the ring of global sections of an open subset $U$ of the spectrum $X$ of a noetherian ring is of finite type over this ring. This is not even true if $X$ is an affine variety. This problem is directly related to Hilbert's fourteenth problem, which has a negative answer. We will later present examples where $U$ has superheight one, yet is not affine, hence its ring of global sections is not finitely generated.






\zwischenueberschrift{Forcing algebras and their torsors}

We want to deal now with a very special class of open subsets and ask whether they are affine or not and what their cohomological dimension is. Though it is in some sense a very special class it exhibits already a very rich behaviour. These open subsets are given by so-called forcing equations and forcing algebras.




\inputdefinition
{{{{2}}}}
{Let $R$ be a commutative ring and let
\mathl{f_1 , \ldots , f_n}{} and $f$ be elements in $R$. Then the $R$-algebra
\mathdisp {R[T_1 , \ldots , T_n]/ { \left( f_1T_1 + \cdots + f_nT_n - f \right) }} { }
is called the \stichwort {forcing algebra} {} of these elements \zusatzklammer {or these data} {} {.} }

This algebra was introduced by Hochster. The forcing algebra forces that $f$ belongs to the extended ideal
\mathl{(f_1 , \ldots , f_n)B}{.} It yields a scheme morphism \maabbdisp {\varphi} { {\rm Spec }\, B} {X = {\rm Spec }\, R } {.} We are interested in the relationship:

How is $f$ related to $I$?

Does $f$ belong to certain closure operations of $I$?
\mathl{\ \, \, \, \, \, \, \, \, \, \,\, \, \, \, \, \, \, \, \Longleftrightarrow \, \, \, \, \, \, \, \, \, \,\, \, \, \, \, \, \,\, \,\, \, \, \, \, \, \, \, \,\, \, \, \, \, \, \, \, \, \,}{} Properties of $\varphi$.

Examples


\mathdisp {f \in I \Longleftrightarrow \varphi \text{ has a scheme-section}} { . }


\mathdisp {f \in {\rm rad }\, I \Longleftrightarrow \varphi \text{ is surjective}} { . }


\mathdisp {f \in \overline{ I}\, \, (\text{integral closure}) \Longleftrightarrow \varphi \text{ is a universal submersion}} { . }







\zwischenueberschrift{Tight closure}

We want to deal with tight closure, a closure operation introduced by Hochster and Huneke.

Let $R$ be a noetherian domain of positive characteristic, let \maabbeledisp {F} {R} {R } {f} {f^p } {,} be the \definitionswort {Frobenius homomorphism}{} and \maabbeledisp {F^e} {R} {R } {f} {f^q } {} \zusatzklammer {mit
\mavergleichskettek
{\vergleichskettek
{ q }
{ = }{ p^e }
{ }{ }
{ }{ }
{ }{ }
} {}{}{}} {} {} its $e$th iteration. Let $I$ be an ideal and set
\mavergleichskettedisp
{\vergleichskette
{ I^{[q]} }
{ =} { \text{ extended ideal of } I \text{ under } F^e }
{ } { }
{ } { }
{ } { }
} {}{}{.}

Then define the \definitionswort {tight closure}{} of $I$ to be the ideal
\mavergleichskettedisp
{\vergleichskette
{ I^* }
{ =} { { \left\{ f \in R \mid \text{ there exists } z \neq 0
\mathdisplaybruch \text{ such that } zf^q \in I^{[q]} \text{ for all } q=p^e \right\} } }
{ } { }
{ } { }
{ } { }
} {}{}{.}


The relation between tight closure and forcing algebras is given in the following theorem.




\inputfakt{Forcing algebras/Relation to tight closure/Local cohomology/Characterization/Fakt}{Theorem}{} {Let $R$ be a normal excellent local domain with maximal ideal ${\mathfrak m}$ over a field of positive characteristic. Let
\mathl{f_1 , \ldots , f_n}{} generate an ${\mathfrak m}$-primary ideal $I$ and let $f$ be another element in $R$. Then
\mavergleichskette
{\vergleichskette
{ f }
{ \in }{ I^* }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} if and only if
\mavergleichskettedisp
{\vergleichskette
{ H^{\dim (R)}_{\mathfrak m} (B) }
{ \neq} { 0 }
{ } { }
{ } { }
{ } { }
} {}{}{,} where
\mavergleichskette
{\vergleichskette
{ B }
{ = }{ R[T_1 , \ldots , T_n]/ { \left( f_1T_1 + \cdots + f_nT_n +f \right) } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} denotes the forcing algebra of these elements. }

If the dimension $d$ is at least two, then
\mathdisp {H^d_{\mathfrak m} (R) \longrightarrow H^d_{\mathfrak m} (B) \cong H^d_{\mathfrak m B} (B) \cong H^{d-1}(D({\mathfrak m B), \mathcal O_B})} { . }
This means that we have to look at the cohomological properties of the complement of the exceptional fiber over the closed point. Such an open subset is called a torsor. If the dimension is two, then we have to look whether the first cohomology of the structure sheaf vanishes. This is true if and only if the open subset
\mathl{D(\mathfrak m B)}{} is an
\betonung{affine scheme}{} \zusatzklammer {the spectrum of a ring} {} {.}

The right hand side of this equivalence \zusatzgs {the non-vanishing of the top-dimensional local cohomology} {} is independent of any characteristic assumption, and the basis for solid closure.

It is a fact that tight closure is difficult to compute. Since tight closure can be formulated with local cohomology, it follows that it must be quite difficult to give a general criterion for vanishing of local cohomology.

An important property of tight closure is that it is trivial for regular rings, i.e.
\mathl{I^*=I}{} for every ideal $I$. This implies the following cohomological property.




\inputfaktproof
{Regulärer Ring/Positive Charakteristik/Erzwingende Algebra/Nicht drin/Lokale Kohomologie/en/Fakt}
{Corollary}
{}
{

\faktsituation {Let
\mathl{( R, {\mathfrak m} )}{} denote a regular local ring of dimension $d$ and of positive characteristic, let
\mavergleichskette
{\vergleichskette
{ I }
{ = }{ { \left( f_1 , \ldots , f_n \right) } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} be an ${\mathfrak m}$-primary ideal and
\mavergleichskette
{\vergleichskette
{ f }
{ \in }{ R }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} be an element with
\mavergleichskette
{\vergleichskette
{ f }
{ \notin }{ I }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Let
\mavergleichskette
{\vergleichskette
{ B }
{ = }{ R[T_1 , \ldots , T_n]/ { \left( f_1T_1 + \cdots + f_nT_n+f \right) } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} be the corresponding forcing algebra.}
\faktfolgerung {Then the extended ideal
\mathl{{\mathfrak m} B}{} satisfies
\mavergleichskettedisp
{\vergleichskette
{H^d_{ {\mathfrak m} B }(B) }
{ =} {H^{d-1} (D( {\mathfrak m} B), {\mathcal O}_B) }
{ =} { 0 }
{ } { }
{ } { }
} {}{}{.}}
\faktzusatz {}
\faktzusatz {}

}
{

This follows from Fakt and
\mavergleichskette
{\vergleichskette
{ f }
{ \notin }{ I^* }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.}

}


In dimension two this is true in every \zusatzklammer {even mixed} {} {} characteristic.


\inputfakt{Regulärer Ring/Dimension 2/Erzwingende Algebra/Nicht drin/Affin/en/Fakt}{Theorem}{} {

\faktsituation {Let
\mathl{( R, {\mathfrak m} )}{} denote a two-dimensional regular local ring, let
\mavergleichskette
{\vergleichskette
{ I }
{ = }{ { \left( f_1 , \ldots , f_n \right) } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} be an ${\mathfrak m}$-primary ideal and
\mavergleichskette
{\vergleichskette
{ f }
{ \in }{ R }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} an element with
\mavergleichskette
{\vergleichskette
{ f }
{ \notin }{ I }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Let
\mavergleichskettedisp
{\vergleichskette
{ B }
{ =} { R[T_1 , \ldots , T_n]/ { \left( f_1T_1 + \cdots + f_nT_n+f \right) } }
{ } { }
{ } { }
{ } { }
} {}{}{} be the corresponding forcing algebra.}
\faktfolgerung {Then for the extended ideal
\mathl{{\mathfrak m} B}{} we have
\mavergleichskettedisp
{\vergleichskette
{ H^2_{ {\mathfrak m} B }(B) }
{ =} { H^{1} (D( {\mathfrak m} B), {\mathcal O}_B) }
{ =} { 0 }
{ } { }
{ } { }
} {}{}{.}}
\faktzusatz {In particular, the open subset
\mathl{D( {\mathfrak m} B)}{} is an affine scheme if and only if
\mavergleichskette
{\vergleichskette
{ f }
{ \notin }{ I }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.}}
\faktzusatz {}

}

The example above, the equation
\mathl{xu+vy=0}{} can be considered as the forcing algebra for the ideal
\mathl{(x,y)}{} and the element
\mathl{0 \in (x,y)}{.} The non-affineness of
\mathl{D(x,y)}{} corresponds to this containment.

We will continue in the next lecture with a detailed study of the situation of a two-dimensional graded base ring.

In higher dimension in characteristic zero it is not true that a regular ring is solidly closed, as was shown by the following example of Paul Roberts.




\inputexample{}
{

Let $K$ be a field of characteristic $0$ and let
\mavergleichskettedisp
{\vergleichskette
{ B }
{ =} { K[X,Y,Z][U,V,W]/ { \left( X^3U+Y^3V+Z^3W-X^2Y^2Z^2 \right) } }
{ } { }
{ } { }
{ } { }
} {}{}{.} Then the ideal
\mavergleichskette
{\vergleichskette
{ {\mathfrak a} }
{ = }{ (X,Y,Z)B }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} has the property that
\mavergleichskette
{\vergleichskette
{ H^3_{ {\mathfrak a} } (B) }
{ \neq }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} This means that in
\mavergleichskette
{\vergleichskette
{ R }
{ = }{ K[X,Y,Z] }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} the element
\mathl{X^2Y^2Z^2}{} belongs to the solid closure of the ideal
\mathl{{ \left( X^3,Y^3,Z^3 \right) }}{,} and hence the three-dimensional polynomial ring is not solidly closed.

}

This example uses a forcing equation of a special type: For parameters
\mathl{x_1 , \ldots , x_d}{} in a $d$-dimensional local ring $R$ and some
\mathl{s \in \N}{} one considers the forcing algebra given by
\mathdisp {(x_1 \cdots x_d)^s = x_1^{s+1}T_1 + \cdots + x_d^{s+1} T_{d+1}} { . }
The monomial conjecture states that this equation does not have a solution in $R$. It is open only in mixed characteristic. The equation expresses that the \v{C}ech cohomology class
\mathl{{ \frac{ 1 }{ x_1 \cdots x_n } }}{} is mapped to $0$ in the forcing algebra. Robert's computation shows that this does not imply that the complete local cohomology module vanishes. Therefore solid closure is not a characteristic-free replacement for tight closure. There is a variant, called parasolid closure, which is characteristic free and has all the properties of tight closure \zusatzklammer {over a field} {} {.} A detailed understanding of the top-dimensional local cohomology of the torsors given by the forcing algebras for these special equations could solve the monomial conjecture.






\zwischenueberschrift{Plus closure}

The above mentioned \zusatzklammer {finite} {} {} superheight condition is also related to another closure operation, the plus closure.

For an ideal
\mavergleichskette
{\vergleichskette
{ I }
{ \subseteq }{ R }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} in a domain $R$ define its \definitionswort {plus closure}{} by
\mavergleichskettedisp
{\vergleichskette
{ I^+ }
{ =} { { \left\{ f \in R \mid \text{there exists a finite domain extension } R \subseteq T \text{ such that } f \in IT \right\} } }
{ } { }
{ } { }
{ } { }
} {}{}{.} Equivalent: Let $R^+$ be the
\betonung{absolute integral closure}{} of $R$. This is the integral closure of $R$ in an algebraic closure of the quotient field $Q(R)$ \zusatzklammer {first considered by Artin \cite{artinjoins}} {} {.} Then
\mathdisp {f \in I^+ \text{ if and only if } f \in IR^+} { . }
The plus closure commutes with localization.

We also have the inclusion
\mavergleichskette
{\vergleichskette
{ I^+ }
{ \subseteq }{ I^* }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Here the question arises:

Question: Is
\mavergleichskette
{\vergleichskette
{ I^+ }
{ = }{ I^* }
{ }{ }
{ }{ }
{ }{ }
} {}{}{?}

This question is known as the
\betonung{tantalizing question}{} in tight closure theory.

In terms of forcing algebras and their torsors, the containment inside the plus closure means that there exists a $d$-dimensional closed subscheme inside the torsor which meet the exceptional fiber \zusatzklammer {the fiber over the maximal ideal} {} {} in one point, and this means that the superheight of the extended ideal is $d$. In this case the local cohomological dimension of the torsor must be $d$ as well, since it contains a closed subscheme with this cohomological dimension.






\inputremark
{}
{

In characteristic zero, the plus closure behaves very differently compared with positive characteristic. If $R$ is a normal domain of characteristic $0$, then the trace map shows that the plus closure is trivial,
\mavergleichskette
{\vergleichskette
{ I^+ }
{ = }{ I }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} for every ideal $I$. This implies also that if $R$ is a twodimensional normal local ring of characteristic $0$ and $I$ an ${\mathfrak m}$-primary ideal and
\mavergleichskette
{\vergleichskette
{ f }
{ \in }{R }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} an element with
\mavergleichskette
{\vergleichskette
{ f }
{ \notin }{ I }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} then the extendend ideal
\mathl{{\mathfrak m} B}{} inside the forcing algebra $B$ has superheight $1$. If moreover $f$ belongs to the solid closure of $I$, then
\mathl{D( {\mathfrak m}B )}{} is not affine and so by Fakt its ring of global sections is not finitely generated.

}




\inputexample{}
{

Let $K$ be a field and consider the Fermat ring
\mavergleichskettedisp
{\vergleichskette
{ R }
{ =} { K[X,Y,Z]/ { \left( X^d+Y^d+Z^d \right) } }
{ } { }
{ } { }
{ } { }
} {}{}{} together with the ideal
\mavergleichskette
{\vergleichskette
{ I }
{ = }{ (X,Y) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} and
\mavergleichskette
{\vergleichskette
{ f }
{ = }{ Z^2 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} For
\mavergleichskette
{\vergleichskette
{ d }
{ \geq }{ 3 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} we have
\mavergleichskette
{\vergleichskette
{ Z^2 }
{ \notin }{ (X,Y) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} This element is however in the tight closure
\mathl{(X,Y)^*}{} of the ideal in positive characteristic \zusatzklammer {assume that the characteristic $p$ does not divide $d$} {} {} and is therefore also in characteristic $0$ inside the tight closure and inside the solid closure. Hence the open subset
\mavergleichskettedisp
{\vergleichskette
{ D(X,Y) }
{ \subseteq} { \operatorname{Spec} { \left( K[X,Y,Z,S,T]/ { \left( X^d+Y^d+Z^d, SX+TY-Z^2 \right) } \right) } }
{ } { }
{ } { }
{ } { }
} {}{}{} is not an affine scheme. In positive characteristic, $Z^2$ is also contained in the plus closure
\mathl{(X,Y)^+}{} and therefore this open subset contains punctured surfaces \zusatzklammer {the spectrum of the forcing algebra contains two-dimensional closed subschemes which meet the exceptional fiber
\mathl{V(X,Y)}{} in only one point; the ideal
\mathl{(X,Y)}{} has superheight two in the forcing algebra} {} {.} In characteristic zero however, due to Fakt the superheight is one and therefore by Fakt the algebra
\mathl{\Gamma({D(X,Y),\mathcal O}_B )}{} is not finitely generated. For
\mavergleichskette
{\vergleichskette
{ K }
{ = }{ {\mathbb C} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} and
\mavergleichskette
{\vergleichskette
{ d }
{ = }{ 3 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} one can also show that
\mathl{D(X,Y)_{\mathbb C}}{} is, considered as a complex space, a Stein space.

}

Pdf-version