Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

The topology of a closed surface can be constructed by identifying edges of a fundamental polygon of an even number $2n$ of edges. Labeling the edges and using $\pm 1$ exponents to indicate direction, the construction can be specified by a string of $2n$ symbols: $a b a^{-1} b^{-1}$ for the torus, $a a b b$ for the Klein bottle, etc.

My question is: Does it make sense to have an infinite number of boundary identifications, i.e., does it define some topological object?

More specifically:

  1. Does an infinite string of symbols representing pairwise identifications correspond to some surface? For example, the generalization of a non-orientable genus-$n$ surface as $n \rightarrow \infty$: $$a_1 a_1 a_2 a_2 a_3 a_3 \cdots a_i a_i \cdots \;.$$
  2. Does it make sense to have an uncountable number of pairwise point identification around a circle? For example, parametrize the circle circumference from 0 to 1 and identify points with complementary binary representations: $$.011100100011\ldots \leftrightarrow .100011011100\ldots \;.$$

These extensions may be nonsensical, in which case I apologize for the distraction! But if something along these lines has been studied, I'd appreciate a reference. Thanks!

Edit. What was nonsensical was my bit-complement example, as pointed out by both Victor and Sergei. I'll leave it so their remarks make sense. I intended a more patternless pairing.

share|improve this question
2  
The points with complementary binary representations have coordinates $x$ and $1-x,$ so the corresponding identification coincides with the identification obtained from a digon with the word $aa^{-1}.$ –  Victor Protsak Sep 4 '10 at 17:18
    
@Victor: Good observation by you and Sergei---I had intended the example to be "some weird pairwise identification" to quote Sergei, but inadvertently specified $aa^{−1}$! –  Joseph O'Rourke Sep 4 '10 at 22:51
3  
Here is a construction worth thinking about. Let $C$ be a nowhere dense closed subset of the unit circle $S=\partial D, U$ be its complement, so that $U$ is a union of at most countable family of open intervals, and σ be a fixed-point free involution on the set of components of $U.$ Then σ generates an orientation-preserving equivalence relation $\sim$ on $S$ and we form the quotient $X=D/\sim$ of the closed unit disk by $\sim.$ If, in addition, σ preserves the length of the intervals then $X$ carries a natural metric and if $C$ is finite, $X$ is a closed surface. What if $C$ is a Cantor set? –  Victor Protsak Sep 5 '10 at 10:51
    
@Victor: I was trying to formulate a way to incorporate the Cantor set myself, without success. So your clear and precise construction is welcome indeed! At this point I cannot fathom what $X$ is in this case. –  Joseph O'Rourke Sep 5 '10 at 15:59
add comment

2 Answers 2

up vote 10 down vote accepted

Identification spaces with infinitely complicated identifications do occur naturally in various contexts. Here are a few more remarks:

  1. If you define an involution on a countable set of intervals on the boundary of a surface, as in Victor Protsak's remark, and extend the equivalence relation to finite equivalence classes of the closure (i.e., vertices), you can construct arbitrary noncompact surfaces. The classification of these is known, and rather interesting. In the orientable case: The first invariant is the set of ends of the space, meaning, the inverse limit of the set of components of complements of compact sets. I think this is the same as the closure of the equivalence relation extended to the rest of the circle, minus the surface, but I haven't thought it through properly. The set of ends can be an arbitrary closed homemorphism type of compact totally disconnected space. I believe it's known that the number of types has the cardinality of the continuum; it's easy to see it's at least $\omega$ and at most $2^\omega$. The second invariant is a closed subset of the set of ends, that is the limit of "handles", that is, pairs of curves that intersect in one point. Finally, if there are only finitely many handles, you need the genus.

  2. There is a structure called a geodesic lamination in the disk: a closed collection of disjoint hyperbolic lines ending at infinity. Given a lamination, you can identify the endpoints. This kind of identification arises in multiple ways. First, it describes the structure of the cut locus" for a curve in the plane. For which pairs of points is there a circle whose interior is contained on the inside, but touches only those two points? Second, if you identify all lines to points, the resulting space is still homeomorphic to the plane. They give explanations for the structure of Julia sets and limit sets of Kleinian groups, etc. More generally, one can represent identifications by collections of lines that are allowed to cross, but the theory becomes more complicated. In the case of Julia sets, the identification is in some sense isometric. (Actually, the involution is nontrivial only on a set of measure 0 with dense complement, but it is a limit of isometric involution on finite collections of intervals.) If you identify the circle using two geodesic laminations, one on the inside and one on the outside, you typically get $S^2$, and the circle becomes a space-filing curve: a sort of Hamiltonian path that is a limit of simple curves.

  3. For a dynamical system, it is natural to look at the set of all orbits. This is an identification space that is somtimes "nice" but more often is (in Ivanov's words) weird: non-Hausdorff and failing other separation properties. Nonetheless, these quotient spaces often carry structure that is helpful to understanding the dynamics. A simple example: the flow in the plane minus the origin $\phi_t(x,y) = (\exp(t) x, \exp(-t) y) of a linear differential equation. The orbit space is a 1-dimensional manifold, because you can take a cross-section near any point that meets any orbit at most once, so it embeds in the quotient space. However, the quotient is not Hausdorff.
share|improve this answer
    
Thank you so much for this rich set of information! Much of this is new to me, particularly geodesic laminations, which I see you introduced in The geometry and topology of three-manifolds and in "On the geometry and dynamics of diffeomorphisms of surfaces." I am particularly interested to pursue the connection to the cut locus. Perhaps the survey by Francis Bonahon ("Geodesic laminations on surfaces") might be a good source for me. Thanks again, to you and Sergei and Victor! –  Joseph O'Rourke Sep 11 '10 at 17:25
    
@Joseph : A particularly easy source for the basics of geodesic laminations is the book "Automorphisms of surfaces after Nielsen and Thurston" by Casson and Bleiler. –  Andy Putman Sep 11 '10 at 17:52
    
For laminations in the related but different context of complex dynamics context, see my article in "Complex Dynamics: families and friends, edited by Dierk Schleicher on rational maps (a published version of a long-time preprint). Laminations also occur in describing the flat structures of convex hulls: the cut locus for a curve in the plane is equivalent to data obtained by stereographic projection to the sphere and forming the convex hull, the "bending lamination". The cut locus and the convex hull are Moebius-natural so are best described using 3D hyperbolic measurements. –  Bill Thurston Sep 11 '10 at 18:19
    
@Andy & Bill: Thanks again! Incidentally, when I searched for "bending lamination," I learned that "lamination bending" is a term used in furniture woodworking! uniqueartfurniture.com/mitesteach/bending.htm More furniture hits than math hits. :-) –  Joseph O'Rourke Sep 11 '10 at 21:00
    
Incidentally, if I may be permitted to advertise the Schleicher book Complex Dynamics: Families and Friends: My library didn't have it, so I purchased it for myself. It is delightful, from the opening classic paper by Thurston on laminations to the closing 17th chapter whose last figure is a beautiful image of the Löbell 10 polyhedron. –  Joseph O'Rourke Sep 20 '10 at 22:56
add comment

I am not sure what the question is, but will try to answer anyway. This is basic general topology stuff, sorry if you meant something deeper in your question.

For any topological space $X$ and any equivalence relation $\sim$ on $X$ there is a natural topology on the quotient $X/\sim$, see e.g. this Wikipedia article. Intuitively, the quotient space is the result of "gluing together" all points in every equivalence class of $\sim$.

Making a surface from a polygon is a partial case. For example, the gluing scheme $aabb$ represent the following equivalence relation on a square $ABCD$: an interior points is not equivalent to anything but itself, a point $X$ on the side $AB$ is equivalent to a point $X'$ in $BC$ such that $AX:XB=BX:XC$ and similarly for the sides $CD$ and $DA$. By transitivity, all four vertices $A,B,C,D$ are in the same equivalence class. (In other gluing schemes, such as $abab$, the vertices can form more than one equivalence class.) The quotient space is a Klein bottle. In general, it is easy to prove that for any gluing scheme of a $2n$-gon (where every letter appears exactly two times) the resulting quotient space is a compact surface without boundary. Then there is a topological classification of such surfaces, and so on.

Note that you don't have to begin with a polygon. Any shape homeomorphic to a polygon (e.g., a 2-dimensional round disc) will work the same way because homeomorphic spaces are identical from the topological perspective.

Speaking about generalizations, once you have defined a topological space that serves as a "generalized polygon" and an equivalence relation (the gluing rule) on it, you get a valid topological space as a quotient. However it can be some "weird" space rather than a surface, and it may depend on how exactly you generalize the notion of a polygon.

For example, if you asked about a two-sided infinite string like "$\dots a_{-1}a_{-1}a_0a_0a_1a_1\dots$", it would be natural to take the half-plane as a "polygon", divide its boundary into unit segments and glue them according to the string. Sometimes the result is a (non-compact) surface, sometimes it is not. Namely, if every equivalence class is finite, the quotient is a surface (= two-dimensional manifold), otherwise it is not (because it is not locally compact). In my example, all "vertices" end up in the same equivalence class, so the quotient is not a surface.

Alternatively, you could pack these infinitely many segments around a circle. In this case the quotient is compact but most likely it will fail to be a surface around accumulation points.

You second example is clear. You identify points $x$ and $y$ if $x+y=1$. Equivalently, you could divide the circle into two segments $[0,1/2]$ and $[1/2,1]$ and apply the gluing scheme $aa^{-1}$ to this "2-gon". The resulting surface is the sphere. Another well-known construclion is to identify every point on the circle with the opposite one - this is the same as "$aa$" gluing and the result is the projective plane. However if you make some weird pairwise identification, most likely the result will be some weird topological space.

share|improve this answer
    
I appreciate this richly detailed answer! What I was after was the "weird spaces," and you have clarified how they might occur. The half-plane example is great. Thanks! –  Joseph O'Rourke Sep 4 '10 at 22:50
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.