4
$\begingroup$

Let $(P,H)$ be a Euclidean Hartogs figure in $\mathbb{C}^n$, and let $f:H\to \mathbb{C}^n$ be a holomorphic injective map. Then we know that $f$ extends holomorphically to the polydisc $P$, i.e. there is a holomorphic map $F:P\to\mathbb{C}^n$ such that $F\equiv f$ on $H$. Is $F$ also injective?

Any hint would be appreciated.

$\endgroup$

1 Answer 1

4
$\begingroup$

I think what you would like is actually true:

Let $P'=F(P), H'=F(H)=f(H)\subseteq \mathbb C^n$. Consider the holomorphic map $g=f^{-1}:H'\to H$. Since $f$ is injective, $g$ cannot have essential singularities on $P'$, so we may consider it as a meromorphic map $g:P'\to P$.

Now let $x\in P$ a point such that $g=(g_1,\dots,g_n)$ is not defined at $f(x)\in P'$. Then one of the $g_i$'s must be not defined at $f(x)$, say $g_1$. Since $\mathbb C^n$ is non-singular, and hence the (local) ring of local analytic functions on $P'$ at $f(x)$, $\mathscr O_{P',f(x)}$ is a UFD, we may write $g_1=u/v$ where $u,v$ are local analytic functions at $f(x)$ having no common factors in $\mathscr O_{P',f(x)}$, and since $g_1$ is not defined at $x$, we have that $v(f(x))=0$.

Let $z_i$ be a coordinate system on the first $\mathbb C^n$. Then by the above choices, $z_1=f^*(g_1)=f^*(u)/f^*(v)$, i.e., $$ f^*(u)z_1=f^*(v).\tag{$\star$} $$ Clearly, $f^*(v)(x)=v(f(x))=0$ (see above). Set $$Z=(f^*(v)=0)=\left\{x'\in P\vert f^*(v)(x)=v(f(x'))=0 \right\}.$$ Note that then $\dim Z=n-1$ and that $u(f(x'))=0$ for every $x'\in Z$ by $(\star)$. It follows that then $f(Z)\subseteq (u=0)\cap (v=0)$. Suppose $\dim f(Z)=n-1$. Then near $f(x)$ it is locally defined by a single analytic equation, say $h$, in $P'$, which would imply that $h$ divides both $u$ and $v$ in $\mathscr O_{P',f(x)}$, but we assumed that there is no such $h$, so $\dim f(Z)<n-1$. However, this implies that the fibers of $f$ over $f(Z)$ all have positive dimension and hence $g$ is not defined along any point of $f(Z)$. This can only happen if $Z\subseteq P\setminus H$, but that's a contradiction. We obtain that $g$ is defined at every point of $P'$ and hence $F$ is also injective.


Note:

First I did not realize that the question asked for maps from $\mathbb C^n$ to $\mathbb C^n$. In other words, if the two ambient spaces are allowed to have different dimensions, then the statement is false as shown by the following example.

Let $F:\mathbb C^2\to \mathbb C^4$ be defined by $$ (x,y) \mapsto \left(x, xy, (y-1)(y-2), y(y-1)(y-2)\right). $$ This is injective on $H_1=\mathbb C^2\setminus\{(0,1)\}$ and on $H_{2}=\mathbb C^2\setminus\{(0,2)\}$, but not on $\mathbb C^2$.

Take $P$ such that it contains both $(0,1)$ and $(0,2)$ and $H$ such that it contains at most one of them, and define $f=F|_{H}$. Then necessarily, the extension of $f$ onto $P$ will be $F|_P$, which is not injective.

$\endgroup$
2
  • $\begingroup$ Thanks Sándor for the solution, but $H\subset\mathbb{C}^n$. $\endgroup$
    – felipeuni
    Jun 24, 2017 at 14:52
  • $\begingroup$ Oh, I see. I didn't realize that it was the same dimension... :( $\endgroup$ Jun 24, 2017 at 15:00

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.