## Largest hyperbolic disk embeddable in Euclidean 3-space?

Hilbert proved that there's no complete regular (C^k for sufficiently large k) isometric embedding of the hyperbolic plane into R^3. On the other hand, the pseudosphere is locally isometric to the hyperbolic plane up to its cusps (though it has the topology of a cylinder). What's the largest hyperbolic disk (with Gaussian curvature -1) that can be smoothly (or C^2, say) isometrically embedded in R^3?

edit: This doesn't seem to be getting many views, so I'll bump this by adding in a rather easy lower bound from the pseudosphere. First, the pseudosphere is parametrized by the region PS={z | Im z ≥ 1, -π < Re z ≤ π} on the upper half plane model of H^2. Let z=x+iy, so that ordered pairs (x,y)∈ H^2 when y>0.

Next, Euclidean circles drawn on in the upper-half plane model with center (x,y\cosh r) and radius y\sinh r correspond to hyperbolic circles with center (x,y) and radius r. I can fit a Euclidean circle of radius π centered at (0,1+π) into the region PS. This corresponds to a hyperbolic disk of radius arctanh(π/(1+π)) ~ 0.993.

Surely one can do better?

edit2: fixed mistakes in formulas above (didn't affect the bound). Here're some pictures:

-

I didn't see the exact answer to your question in the Borisenko paper, since section 2.4 only seems to address immersions of subsets of ℍ2 into ℝ3. However, a perturbation of the pseudosphere, Dini's surface, which is an isometrically embedded horodisk, seems to do the trick since it contains arbitrarily large disks in the hyperbolic plane. See Dini's Surface at the Geometry Center.

-
 Thank you. I believe you mean that Dini's surface is an isometrically embedded horodisk, though? (The horocycle ought to be the cusp of Dini's surface.) I had been meaning to come back to update this question after following up on some of the references in Borisenko's paper, where I found that the immersions weren't particularly close to what I had in mind. – jc Nov 2 2009 at 3:12 yes, thanks, I changed it to horodisk. – Agol Nov 2 2009 at 3:32

Several russian geometers have addressed this question. I suggest you a survey on Isometric immersions by A. Borisenko (2001, I think) in Russian Mathematical Surveys (it is in English)

-
 Thanks! If you mean iop.org/EJ/abstract/0036-0279/56/3/R01, then it looks like section 2.4 has exactly what I've been looking for! – jc Oct 21 2009 at 21:43 Could you also post an answer here, please? – Ilya Nikokoshev Nov 2 2009 at 0:06 I will edit the question above with an answer (and hopefully some graphics) at some point in the future. – jc Nov 2 2009 at 3:13

I think that you can get an arbitrarily large disk. The proof is by crochet. Since there's a pattern for crocheting constant negative curvature disks where you increase the radius as you go and since we live in 3-space, it follows that you can get arbitrarily large disks.

See this TED talk for some cool applications of hyperbolic crochet to biology, or this article for a more rigorous explanation.

-
It's my reading of the second link that these crotcheted surfaces are not even C^1 though. Thanks for the links though. – jc Oct 15 2009 at 0:47
I should point out that the crochet article linked above has references to research literature. In particular, it mentions that there are no C^2 embeddings of the whole plane, but there is a C^1 embedding. – S. Carnahan Oct 15 2009 at 0:50
That's actually the reason I put in C^2 in my question. There's a recent book on isometric embeddings, by Han and Hong, which tackles related problems from an analysis viewpoint. There seem to be plenty of results on local isometric embedding without any explicit bounds or constructions, unless there are general ways to back out bounds from such proofs that I'm not aware of. – jc Oct 15 2009 at 0:56
I'm confused, my reading of that link is that they don't give a C^1 embedding of the whole hyperbolic plane. But I can't see how they wouldn't be C^1 for arbitrarily large (but finite) radius. – Noah Snyder Oct 15 2009 at 1:14
Yeah, I was just looking at the [journal version of that article](springerlink.com/content/5q1j2nqj21625360) to see if there were more details, and there the sentence reads "The finite surfaces described here can apparently be extended indefinitely, but they appear always not to be differentiably embedded (see Figure 12)." Figure 12 is a picture of one of their crotcheted surfaces with the center pulled up so that it kind of looks like a pseudosphere, with the caption "Crotcheted pseudosphere". – jc Oct 15 2009 at 1:20
show 2 more comments

I can't comment on Noah's answer, so:

The reason for the C^1 condition is that Nash's C1 embedding theorem says that any Riemannian k-manifold with a short embedding into Rn has an isometric C1 embedding into Rn for any n > k. In particular, there is an isometric C1 embedding of the hyperbolic plane into R3. The very beautiful proof proceeds by "pleating" the embedding to be closer and closer to isometric, while keeping it contained in a not-much-larger region.

-
 Thanks, I didn't know that about the pleating. Like I said, I'm more interested in the smooth cases, but I guess I'll look into the proof of Nash-Kuiper at some point as well. – jc Oct 17 2009 at 21:24