# Continuations of holomorphic functions on submanifolds to the total space

I have the following question:

I know that every holomorphic function $f$ defined on a closed complex submanifold $M$ of the space $\mathbb C^d$ can be extended to a holomorphic function on the total space $\mathbb C^d$.

Now, what about functions which are only defined on an open subset $U$ of $M$? Is it possible to extend them to an open subset of $\mathbb C^d$ containing $U$ ?

I know the corresponding statements are true for real smooth functions since we may une smooth partitions of unity but for holomorphic functions this obviously does not work...

I would be very thankful for any ideas on this subject.

• You can surely do that if $M$ is nonsingular. Write $M$ locally as the range of a biholomorphic map $h : V\subset(\mathbb C^n\times\mathbb C^{d-n}) \to\mathbb C^d$ for some $h$ holomorphic in such a way that $h(X,0)\subset U$. Define simply $\hat f(p):=f(h(X,0))$ for all $p=h(X,Y)$. – Loïc Teyssier Feb 2 '15 at 13:55
• Thanks, but as far as I understood it, this just gives you a local extension. But if I want this extension to be defined on a big set containing my set U, I still have to glue the local extensions together? Or am I missing something? – Tom Feb 2 '15 at 13:58
• How can you extend the holomorphic function $1/z$ defined on $U=\mathbb{C}-{0}$ to the whole of $\mathbb{C}$? – Francesco Polizzi Feb 2 '15 at 16:17
• Maybe my question was too unclear. I have an open subset of the submanifold and I want to extend the function defined on that subset to an open subset of the whole space. I do not need to extend it to the whole space. In that way, I do not have to extend 1/z to a bigger set since it is already defined on an open subset of the whole space. – Tom Feb 2 '15 at 16:47
• @Tom: The glueing together should not be a problemas. Actually you can cover the whole $U$ by the range of a single analytic function $h$ as in this question. – Loïc Teyssier Feb 2 '15 at 19:04

The construction as suggested by Loïc Teyssier can be globalized, with the help of a Stein neighborhood basis. By Corollary 1 in ''Every Stein subvariety admits a Stein neighborhood'' by Siu, every Stein manifold $M$, which is a submanifold of some manifold $N$ has a neighborhood $W$ in $N$ such that there exist a holomorphic retraction $r : W \to M$. In particular, when $N$ is Stein (as is the case here, with $N = \mathbb{C}^d$), then also $M$ is Stein, and the theorem applies.
Thus, if $U \subseteq M$ is open, $f : U \to \mathbb{C}$ is holomorphic, and one lets $V$ be the open set $V := r^{-1}(U) \subseteq W \subseteq \mathbb{C}^d$, then $F = f \circ r : V \to \mathbb{C}$ is an extension of $f$.