## Compact surfaces of negative curvature

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

John Hubbard recently told me that he has been asking people if there are compact surfaces of negative curvature in $\mathbb{R}^4$ without getting any definite answers. I had assumed it was possible, but couldn't come up with an easy example off the top of my head.

In $\mathbb{R}^3$ it is easy to show that surfaces of negative curvature can't be compact: throw planes at your surface from very far away. At the point of first contact, your plane and the surface are tangent. But the surface is everywhere saddle-shaped, so it cannot be tangent to your plane without actually piercing it, contradicting first contact.

This easy argument fails in $\mathbb{R}^4$. Can the failure of the easy argument be used to construct an example? Is there a simple source of compact negative curvature surfaces in $\mathbb{R}^4$?

-

2
What is the smallest dimension in which a uniformised genus $g>1$ Riemann surface embeds isometrically? – José Figueroa-O'Farrill Jul 20 2010 at 9:55
Great question. It shows how we still know so little about isometric embeddings of Riemannian manifolds in Euclidean space. – Deane Yang Jul 20 2010 at 14:40

## 2 Answers

You will find examples (topologically, spheres with seven handles) in section 5.5 of Surfaces of Negative Curvature by E. R. Rozendorn, in Geometry III: Theory of surfaces, Yu. D. Burago VI A. Zalgaller (Eds.) EMS 48.

Rozendorn tells us that «from the visual point of view, their construction seems fairly simple.» Well...

-
Mariano, is the curvature constant? Is the embedding at least $C^2$? – Victor Protsak Jul 20 2010 at 6:17

1
Victor, Rozendorn writes that «Efimov stated the supposition, at present not confirmed but also not disproved» that the surface can be deformed, preserving the sign of the curvature, to obtain in the limit a closed surface of constant negative curvature – Mariano Suárez-Alvarez Jul 20 2010 at 6:21

1
Also, the construction can be made $C^\infty$. – Mariano Suárez-Alvarez Jul 20 2010 at 6:25
Interesting, thank you! I even had that book in my possession within the last 3 months, but I completely missed that construction. – Matt Noonan Jul 20 2010 at 12:21

1
If anyone is not convinced by the elegant "throw tangent planes at the surface" argument, it can be translated to "for any compact surface in $\mathbb R^3$, find a point of maximum distance from the origin. At this point, the surface has curvature at least as positive as the sphere defined by that distance from the origin." – Elizabeth S. Q. Goodman Jan 27 2012 at 7:22
show 4 more comments

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

In "Y. Martinez-Maure, A counter-example to a conjectured characterization of the sphere. (Contre-exemple à une caractérisation conjecturée de la sphère.) (French), C. R. Acad. Sci., Paris, Sér. I, Math. 332, 41-44 (2001), the author disproves an old characterization of the 2-sphere by giving an exemple of a "hyperbolic hedgehog" of R^3 (a sphere-homeomorphic envelope parametrized by its Gauss map whose Gaussian curvature K is everywhere negative excepted at four singular points where K is infinite).

By projective duality, this implies the existence of a 2-sphere C^2 embedded in the 3-sphere with a nonpositive extrinsic curvature but not totally geodesic.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 8, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.8907373547554016, "perplexity_flag": "middle"}