I can't seem to find any work on the following question: Can every (closed, of finite type) Riemann surface $S$ be realized as an embedded (or even immersed) smooth surface in Euclidean $3$-space, where by realized, I mean that the induced conformal structure on $T \subset \mathbb{E}^3$ is the conformal structure on $S?$ The answer is obviously yes when $S$ is of genus $0,$ but that's where the obvious statements end -- I don't know the answer for $g=1.$
Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)
|
17
5
|
||||||||||||
|
|
19
|
The embedding question has been answered in the affirmative by Adriano Garsia in 1961. Here is the link to MR. In fact, he has shortly after shown that the embedding might be chosen with real algebraic image. |
|||||
|
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.
|
6
|
I have thought about this question before, but at the moment I can't remember links or references. Nonetheless, many years ago I thought of a sketch of an argument that should eventually work to prove that it's always possible. Namely, start with any smooth embedding of $S$ into $\mathbb{R}^3$. This surface has some conformal structure, and any other conformal structure is described by an ellipse field well-defined up to a scale. Then it is intuitive that that you can match the ellipse field by "wrinkling" $S$, in other words by making $S$ locally wavy in the long direction of the ellipses. More rigorously, $S$ is replaced by a graph of a function that is locally sinusoidal. You don't even have to match it exactly; approximations are good enough if you can encircle the desired conformal structure in Teichmuller space. There is a similar trick for a different purpose in the video "Outside In". Of course it's messy to make all of the required transitions between the patches of wrinkles on the surface. Moreover the surface is not flat, only flat to first order, and a function cannot be graphed rectilinearly, only approximately so. I think that Garsia's paper uses the same idea or a similar idea, but he slogs through all of the approximations to make it work. |
||
|
|

