Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $D$ denote the unit complex 1-dimensional disc, together with the hyperbolic metric $h_D=\frac{4dz\wedge d\bar{z}}{(1-|z|^2)^2}$of curvature $-1$. By Nash's embedding theorem, we can always embed the disc $D$ real-analytically and isometrically into real Euclidean space ${\mathbb{R}}^n$ for some large $n$. (I think $n=5=2\dim_{\mathbb{R}}D+1$ is sufficient.)

I'm wondering whether we have a complex-analytic embeddeding of the disc $D$ into complex Euclidean space. Consider complex Euclidean space ${\mathbb{C}}^n$ with the standard Euclidean metric $h_{\mathbb{C}^n}=dz_1\wedge d\bar{z_1}+\cdots+dz_n\wedge d\bar{z_n}$. Does there exist a holomorphic map $f:D\to {\mathbb{C}}^n$ for some large $n$ that is at the same time an isometry, i.e. $f^*h_{\mathbb{C}^n}=h_D$?

If we write the map $f$ in terms of coordinates $f=(f_1,\ldots, f_n)$, this question has the an equivalent formulation solely in terms of holomorphic functions. This question is asking whether there are holomorphic functions $f_i:D\to {\mathbb{C}}$ on the disc, such that $\frac{4}{(1-|z|^2)^2}=f_1(z)\overline{f_1(z)}+\cdots + f_n(z)\overline{f_n(z)}$ for all $z\in D$.

share|improve this question
add comment

2 Answers

up vote 12 down vote accepted

The answer is 'no', there is no holomorphic curve in $\mathbb{C}^n$ (for any $n$) such that the induced metric has constant negative curvature. To my knowledge, this was first proved by E. Calabi many many years ago, essentially using the structure equations for holomorphic curves in $\mathbb{C}^n$. The proof is easy, but it involves knowing something about the structure equations, and I don't want to try to explain that here. A reasonable source for this is Blaine Lawson's Lectures on Minimal Submanifolds, Chapter IV (see Theorem 11).

There is a more general fact, namely that the only minimal surface (let alone holomorphic curve) in $\mathbb{C}^n$ that has constant Gaussian curvature is a flat plane. This is due to M. Pinl, Minimalfl\"achen fester Gau{\ss}chen Kr\"ummung, Math. Ann. 136 (1958), 34-40.

share|improve this answer
add comment

There is a body of work on embedding Riemann surfaces into $\mathbb{C}^n$ for small $n$ (it's possible for large $n$). If I recall correctly, Riemann surfaces can be holomorphically embedded in $\mathbb{C}^3$ easily, but the sharp lower bound that is known for complex manifolds of complex dimension $n > 1$ (which is believe is $2n$) is not known to be sharp for curves in general, although it is known in several cases constructed by hand. Forsternic is a name to look for, e.g.

Holomorphic curves in complex spaces
Barbara Drinovec Drnovšek and Franc Forstnerič
Duke Math. J. Volume 139, Number 2 (2007), 203-253.

(Edit: but this doesn't contain the answer).


I asked Finnur Larusson (one of Forstneric's collaborators) and I was told that $\mathbb{C}^2$ is impossible for the hyperbolic disk as you ask. However I didn't get a positive answer, with Larusson being a bit sceptical about the possibility, but he pointed to the following paper as indicating that an approximate embedding is possible for large $n$:

Bremermann, H. J.
Note on plurisubharmonic and Hartogs functions.
Proc. Amer. Math. Soc. 7 (1956), 771–775.

This may be not known.

share|improve this answer
    
hello david. I briefly glanced at the paper you mentioned. It seems that this paper is about holormophic embedding, but what I'm asking if there is whether there are holomorphic embedding that are at the same time isometries. –  Colin Tan Oct 30 '10 at 9:27
    
@Colin - fair enough. I'll ask the local expert and see what he suggests. –  David Roberts Oct 30 '10 at 22:19
    
Thanks david for checking this out. I'll take a look at Bremermann's paper. –  Colin Tan Nov 1 '10 at 13:24
    
The question concerns isometric embeddings, but doesn't ask them to be proper. I think that David Roberts is thinking about proper embeddings, without asking them to be isometric. These are very different problems. Clearly we can embed the disk holomorphically into complex Euclidean space, as the disk in one complex variable, taking all other variables constant. The existence of a proper holomorphic embedding of the disk into complex Euclidean space of dimension at least 2 was proven in Globevnik, Josip, Discs in Stein manifolds. Indiana Univ. Math. J. 49 (2000), no. 2, 553–574, I think. –  Ben McKay Jul 6 '11 at 16:05
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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