Classification of surfaces composed of circles - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-20T11:55:25Z http://mathoverflow.net/feeds/question/47471 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/47471/classification-of-surfaces-composed-of-circles Classification of surfaces composed of circles Joseph O'Rourke 2010-11-27T00:05:13Z 2010-11-28T15:35:42Z <p>Define a <em>circle</em> as a geometric circle of positive, finite radius: a set of points in $\mathbb{R}^3$ congruent to the set $x^2 + y^2 = r^2$ in the $xy$-plane. [Edited as per BMann's comment.] I am interested in classifying surfaces $S$ embedded in $\mathbb{R}^3$ in two categories:</p> <ol> <li> Define $S$ to be a <em>circled surface</em> if every point of $S$ is contained in a circle that lies in $S$. (I choose the name "circled" in analogy with <em>ruled surfaces</em>.) Thus, $S$ is a union of circles; it is covered by circles. </li> <li> Define $S$ to be a <em>hoop surface</em> if it may be partitioned into circles, i.e., it is a disjoint union of circles (hoops). In such a partition, every point of $S$ is contained in a unique circle of the partition that lies in $S$. [Edited as per Charles Siegel's comment.] </li> </ol> <p>A specialization would be to restrict the circles in either class to be congruent, unit-radius circles. Generalizations include: (a) relaxing embedded to immersed; (b) replacing circles by spheres in $\mathbb{R}^d$; (c) replacing geometric circles with topological circles.</p> <p>Setting aside these variants, let me list the hoop surfaces I know: <br /><img src="http://cs.smith.edu/~orourke/MathOverflow/TubularSpline.jpg" alt="--Tubular Spline Image--"><br /></p> <ol> <li> Tubular surfaces, topological cylinders, either infinite in both directions, or with a circular boundary at one or both ends. These are sometimes called <em>tubular splines</em> in computer graphics. </li> <li> Tubular surfaces capped at either or both ends but with one point missing from the cap. </li> <li> Torus surfaces; genus 1. </li> <li> Disk-like surfaces (composed of nested circles) with one interior point removed. [Edited as per J.C. Ottem's comment.] </li> <li> A surface homemorphic to the plane with one point removed. </li> <li> [Due to Cristi Stoica, explained in his answer below.] A surface homeomorphic to two planes connected by a wormhole. </li> </ol> <p>Is this list complete?</p> <p>Every hoop surface is a circled surface, but planes and spheres are circled surfaces. I cannot see how to form a circled surface of genus greater than 1.</p> <p>Have these concepts been explored before, and if so, under what names? My searches have been unsuccessful. Thanks for any ideas or literature pointers!</p> <p><b>Addendum</b>. The variant of immersed hoops surfaces partitioned into topological circles has been thoroughly analyzed in a paper by Gábor Moussong and Nándor Simányi, "<a href="http://arxiv.org/abs/1009.0575" rel="nofollow">Circle Decompositions of Surfaces</a>":</p> <blockquote> <p>"The main result in this note is Corollary 3 ... stating that any surface with a circle decomposition is homeomorphic to either a torus, a Klein bottle, an annulus, a Möbius band, an open annulus, a half-open annulus, or an open Möbius band."</p> </blockquote> http://mathoverflow.net/questions/47471/classification-of-surfaces-composed-of-circles/47478#47478 Answer by BMann for Classification of surfaces composed of circles BMann 2010-11-27T01:39:37Z 2010-11-27T01:39:37Z <p>Perhaps I am confused by your question, most probably by the definition of "geometric." I would be willing to bet there are ways to embed tori in $\mathbb{R}^3$ which do not admit a hoop surface structure by geometric circles (i.e. put a "dent" in the torus).</p> <p>On the other hand, if we are just talking about writing a surface as the disjoint union of topological circles, then you are correct that one cannot have a closed surface of genus $\geq 2$ which is a hoop surface as you defined it. This is because a surface with non-zero Euler characteristic cannot admit a continuous vector field which is non-vanishing at every point, and writing the surface as a disjoint union of circles would give us this.</p> http://mathoverflow.net/questions/47471/classification-of-surfaces-composed-of-circles/47479#47479 Answer by Michael Hardy for Classification of surfaces composed of circles Michael Hardy 2010-11-27T02:04:45Z 2010-11-27T02:04:45Z <p>Since you want to "explore" an idea rather than seeking an answer to a well-defined question, maybe you'd be interested in Wikipedia's article titled <a href="http://en.wikipedia.org/wiki/Villarceau_circles" rel="nofollow">Villarceau circles</a>.</p> http://mathoverflow.net/questions/47471/classification-of-surfaces-composed-of-circles/47491#47491 Answer by sleepless in beantown for Classification of surfaces composed of circles sleepless in beantown 2010-11-27T08:23:31Z 2010-11-27T08:31:59Z <p>If you had a torus in $\mathbb{R}^3$ created by sweeping a circle of radius $1$ perpendicular to the path defined by the circle $x^2+y^2=1$ (or equivalently the parametrized version of the circle as $x=sin(\theta), y=cos(\theta), 0 \le \theta \le 2\pi$), then the point $(0,0,0)$ is contained in an infinite number of circles.</p> <p>I believe you are asking about the outer hull of a swept surface defined by sweeping an outline/path object along another outline or path object. As Michael Hardy pointed out, there is more than one way to specify a torus as the sweep of a circle. In fact, there are four ways with the Villarceau circles. Sometimes, specifying one of the non-obvious circles is a better way to solve certain problems (see <a href="http://mathoverflow.net/questions/37295/advanced-view-of-the-napkin-ring-problem/" rel="nofollow">http://mathoverflow.net/questions/37295/advanced-view-of-the-napkin-ring-problem/</a> about the volume of napkin rings)</p> <p>There's a great image of the non-obvious Villarceau circles at Benoît Kloeckner's web site:</p> <p><a href="http://www-fourier.ujf-grenoble.fr/~bkloeckn/images/villarceau.png" rel="nofollow">http://www-fourier.ujf-grenoble.fr/~bkloeckn/images/villarceau.png</a></p> <p>If the radius of curvature of the sweep-path becomes smaller than the radius of the circle being swept, then you get strangeness unless your meshing algorithm remembers to remove the extraneous mesh-points that are within the swept-volume's outer hull.</p> <p>I am not sure I'm completely following your differentiation between <em>circled</em> vs. <em>hoop</em> surfaces, unless you mean that in a circled surface the swept circle is maintained perpendicular to the sweep path, whereas in a hoop surface, it is not. Is that what you meant?</p> <p>It's also possible to define a sweep surface where the radius of the swept circle also varies parametrically along the sweep path, and if you do that in two-dimensions, you can emulate the behaviour of an ink-pen or a marker where increasing the pressure (or slowing the speed of the pen) leads to a thicker weight line being drawn at certain regions of the "writing path".</p> http://mathoverflow.net/questions/47471/classification-of-surfaces-composed-of-circles/47494#47494 Answer by Spencer for Classification of surfaces composed of circles Spencer 2010-11-27T09:38:20Z 2010-11-27T09:38:20Z <p>I recently spent an unhealthy amount of time thinking about whether or not you can cover R3 with circles. Turns out you can. For your own search it might be worth looking at Szulkin, Andrzej, 'R 3 is the Union of Disjoint Circles', Amer. Math. Monthly 90 (1983) and then move on to more recent papers which cite it, to get some idea of where people went next.</p> <p>I don't know how well known this is, but for those who are dying to know: Observe that you can cover a two-punctured sphere (Falls under 2. In Joseph's list). Now consider a family of circles lying in the xy plane, radii 1, centred at the points (4k+1,0,0). Each sphere about the origin intersects this family in exactly two places.</p> http://mathoverflow.net/questions/47471/classification-of-surfaces-composed-of-circles/47497#47497 Answer by Cristi Stoica for Classification of surfaces composed of circles Cristi Stoica 2010-11-27T11:01:23Z 2010-11-27T11:23:59Z <p>We can simplify the problem by first thinking at it from topological viewpoint, then adding the metric.</p> <p>We are looking for surfaces in $\mathbb R^3$ which are obtained as $I\times S^1$, where $S^1$ is the circle. Now, $I$ can be homeomorphic with an interval from $\mathbb R$, or with $S^1$. So, from topological viewpoint, you can have open and closed tubes - cylinders and tori. We can exclude Klein's bottle because the surfaces are embedded in $\mathbb R^3$.</p> <p>Adding now the metric, we see that we can get various shapes of tori, and cylinders with none, one or both ends infinite, as you said. Then, the radius being allowed to vary, you can get the punctured caps, which are not necessarily spheres, and may even be conical. They can even be flat, obtaining in particular the punctured disk or the punctured plane you mentioned. Or combinations: the caps can be partially flat. If you do not impose the surface to be smooth, you can have something like a cylinder with both its bases, provided they are punctured.</p> <p>Another surface which is homeomorphic to a tube is obtained by taking two parallel planes, removing two disks, and smoothly joining the holes with a tube - <a href="http://www.lokitimes.com/wordpress/wp-content/uploads/2009/06/wormhole_diagram.jpg" rel="nofollow">a wormhole</a>.</p> <p>In the case of tori, there are two main subcases, depending whether you choose to deform the "big circle" or the "small circle".</p> http://mathoverflow.net/questions/47471/classification-of-surfaces-composed-of-circles/47530#47530 Answer by Bill Thurston for Classification of surfaces composed of circles Bill Thurston 2010-11-27T19:41:49Z 2010-11-27T19:41:49Z <p>Here's how to get circled surfaces of arbitrary genus:</p> <p>First: Any open subset of $S^2$ is circlable. If the boundary is smooth, it is circlable with circles of constant size: the size just needs to be less than the minimum distance of the boundary from the cut locus (the cut locus is the set of points with more than one shortest arc to the boundary).</p> <p>Therefore, if you take any finite union of balls with no triple intersections and whose boundaries are not tangent, the boundary of the union is circlable by circles of constant (small) size. These surfaces can have arbitrary genus.</p> <p>There are also $C^\infty$ smooth circlable genus $g$ surfaces, but they require circles of varying radii. Just take one of the surfaces above, and replace neighborhoods of the circles of intersection by short tubes that are smoothly tangent to the pair of intersecting spheres.</p>