Does every smoothly embedded surface $\mathbb{R}^3$ inherit a natural complex structure, and if so, which one? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T22:28:04Z http://mathoverflow.net/feeds/question/107126 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/107126/does-every-smoothly-embedded-surface-mathbbr3-inherit-a-natural-complex-str Does every smoothly embedded surface $\mathbb{R}^3$ inherit a natural complex structure, and if so, which one? Steven Gubkin 2012-09-13T21:27:11Z 2012-09-14T07:00:11Z <p>Smoothly embed a genus g surface in $\mathbb{R}^3$, and pick a normal vector pointing "out" of the surface at each point. Then on each tangent plane, I have a map which rotates the tangent plane 90 degrees in the direction given by the right hand rule. This gives an almost complex structure on the manifold, and every almost complex structure is integrable in real dimension 2, so this defines a complex structure on the surface.</p> <p><strong>Question 1</strong>: Does the above paragraph make sense? I am at the point where I think I can make grammatically correct sentences using the words above, but I am still not sure about all of the logical interconnections.</p> <p>Say the first paragraph is correct. Then for each smooth embedding of the g-holed torus into $\mathbb{R}^3$ I get a complex structure on that surface. But I know that there are many different complex structures on the g-holed torus (and that the moduli space of such curves is 3g-3 complex dimensional for g>1). </p> <p><strong>Question 2,3,4</strong>: How many of these complex structures can I get through different embeddings? If I give you actual equations for an embedding, can you compute which point in the moduli space I am determining? In the particular case of the torus, can you tell me which $\tau$ corresponds to a given embedding?</p> http://mathoverflow.net/questions/107126/does-every-smoothly-embedded-surface-mathbbr3-inherit-a-natural-complex-str/107127#107127 Answer by Igor Rivin for Does every smoothly embedded surface $\mathbb{R}^3$ inherit a natural complex structure, and if so, which one? Igor Rivin 2012-09-13T21:51:14Z 2012-09-13T21:51:14Z <p>Question 1: Looks good to me.</p> <p>Question 2: is a duplicate of <a href="http://mathoverflow.net/questions/53999/conformal-embedding-of-riemann-surfaces-into-3-space" rel="nofollow">this question</a> (the answer is: every conformal structure can be so realized).</p> <p>Question 3/4. There are algorithms to compute the conformal structure given a surface, due to <a href="http://arxiv.org/find/nlin/1/au%3A+Bobenko_A/0/1/0/all/0/1" rel="nofollow">Sasha Bobenko</a> and his collaborators, which work by discretizing the surface, and then computing periods. Looking at the list of arxiv preprints, I am not seeing something directly on this topic, so this may be in preparation, but you can write to him.</p> http://mathoverflow.net/questions/107126/does-every-smoothly-embedded-surface-mathbbr3-inherit-a-natural-complex-str/107129#107129 Answer by Alexandre Eremenko for Does every smoothly embedded surface $\mathbb{R}^3$ inherit a natural complex structure, and if so, which one? Alexandre Eremenko 2012-09-13T22:06:47Z 2012-09-13T22:06:47Z <p>Question 1 makes sense, and can be stated without "almost complex structure", just in classical terms. There is a Riemannian metric on your surface, induced from $R^3$. The distance between two points is the length of a rope on the surface stretched stretched between these two points. The length is measured as usual in $R^3$. Every Riemannian metric on a surface defines a complex structure. This is the same structure you are talking about.</p> <p>I agree with Igor that every complex structure arises in this way.</p> http://mathoverflow.net/questions/107126/does-every-smoothly-embedded-surface-mathbbr3-inherit-a-natural-complex-str/107150#107150 Answer by Sebastian for Does every smoothly embedded surface $\mathbb{R}^3$ inherit a natural complex structure, and if so, which one? Sebastian 2012-09-14T07:00:11Z 2012-09-14T07:00:11Z <p>Your first paragraph does not only make sense but is a very important observation for studying the differential geometry of surfaces in 3-space: For special surfaces classes one can use the induced Riemann surface structure to reduce the differential geometric problem to an algebraic geometric one. Let me just mention some examples</p> <ol> <li><p>The most obvious one is about minimal surfaces in $\mathbb R^3.$ The (conformal) immersion is harmonic, and is determined (up to euclidean motions) by a pair of holomorphic spinors. Further restriction to special behavior at the ends led to an algebraic geometric problem.</p></li> <li><p>Willmore spheres turn out to be (after a moebius transformation) minimal spheres with planar ends. They are all given by special contact curves in $\mathbb CP^3.$ (see the surfaces papers of Bryant).</p></li> <li><p>CMC tori: Their Gauss map is harmonic. This turns out to be an integrable system. There exists an associated family of flat $SL(2,\mathbb C)$-connections, which is completely deterimend by a (special) compact Riemannn surface together with some additional spectral data, see Hitchin (Harmonic maps froma torus to $S^3$) and Pinkall Sterling (all CMC tori in $\mathbb R^3$).</p></li> </ol> <p>Q2,3,4: For $g\geq 2$ I am not aware of any explicit embedding, nevertheless there are implicitely constructed surfaces, and for some of them one can compute the complex structure explicitely, see for example Lawson's minimal surfaces.</p> <p>For tori, it depends (of course) how your formula for your embedding looks like. But there are many examples (even of geometric interesting tori) where you can compute the modulus $\tau$ explicitely. I think the easiest way to obtain all complex structures on a 2-torus through emebddings in $\mathbb R^3$ is given by a work of Pinkall (Hopf tori in S^3): The preimage of a (simple, closed) curve in $S^2$ under the Hopf fibration is a torus, and its modulus can be computeted easily in terms of the enclosed area and of the length of the curve. (After stereographic projection, which is conformal, you get a torus in $\mathbb R^3$.)</p>