7
$\begingroup$

I'm introducing the Classification Theorem on closed and orientable surfaces in a talk on (intuitive) topology, and to motivate it I'd like an example of an embedding of a surface in $\mathbb{R}^3$ whose genus is very hard to find. The requirements are:

  • Closed and orientable 2-manifold
  • Difficult to mentally bend and twist (even allowing "ghostly passing-through") into any familiar surface (e.g. connected sum of $g$ tori)

I allow "ghostly passing-through" so that knotting won't hinder the investigation of homeomorphisms. But after allowing that, some nice examples becomes easy:

enter image description her

(Image from "An Introduction to Topology" by E. C. Zeeman)

The above example would have been hard, but once ghostly passing-through is allowed, It's easy to pull out the internal tunnels and show that it is homeomorphic to a triple torus.

The difficulty of finding the surface's genus will also help me to motivate my introduction of the Euler characteristic.

$\endgroup$
3
+50
$\begingroup$

The great dodecahedron and small rhombihexahedron may be viewed as closed, orientable surfaces whose genera are difficult to see geometrically. (Each has genus $4$.)

$\endgroup$
  • $\begingroup$ In the comments to another answer, the OP asks for an embedded surface, which these are not. I upvoted anyway since this does answer the question posed. $\endgroup$ – Cheerful Parsnip Apr 9 '14 at 23:49
  • $\begingroup$ @GrumpyParsnip: Oops...right you are. I'll leave the answer for now, in case the OP is willing to relax "embedding" to "concretely representable". $\endgroup$ – Andrew D. Hwang Apr 10 '14 at 0:06
5
$\begingroup$

When I was taught the classification theorem, my professor emphasized being able to compute the Euler characteristic, and his favorite examples that he set as exercises were Seifert surfaces.

For example, you can try to compute the Euler characteristic of the Hopf link: http://en.wikipedia.org/wiki/File:Hopf_band_wikipedia.png.

Or something weirder, like this surface: http://en.wikipedia.org/wiki/File:Borromean_Seifert_surface.png

Both of these images are found in the Wikipedia article for Seifert surfaces. You could easily draw more complicated Seifert surfaces, and their Euler characteristics are not so obvious to compute. The easiest way to compute the Euler characteristic of these two surfaces is to use the inclusion-exclusion principle for Euler characteristic:

$$ \chi(A\cup B) = \chi(A) + \chi(B) - \chi(A\cap B).$$

This lets you decompose the surface into more manageable objects, like disks, lines, and points, for which you should have the Euler characteristic already. So Euler characteristic becomes a recursive calculation.

You can determine orientability of these surfaces fairly easily. Consider a planar projection of the Hopf link surface: it is just the Hopf link, with the region consisting of the surface marked (perhaps shaded). Imagine you color the regions of the Hopf link with black and white, like so: first color any region black. Move to a region neighboring the first region, i.e. separated by a crossing of the link (a twist), and label that region white. Then repeat, switching color each time you move across a twist. If this coloring is consistent, then the surface is orientable. Otherwise, it is non-orientable. So the Hopf link is easily shown by this algorithm to be orientable; on the other hand, the Seifert surface of the trefoil knot is not orientable.

Finally, the number of boundary components is trivial to count.

Once you have all these ingredients, you can use the classification of surfaces with boundary to see what the surface is. I encourage using the Seifert surface of a trefoil to highlight the non-orientable case.

Another way to use the classification theorem is for polygonal representations of surfaces, for example http://en.wikipedia.org/wiki/File:KleinBottleAsSquare.svg. If you have a representation of a surface as a disc with certain pairs of sides identified, then you can easily find its Euler characteristic via the formula $$\chi = V-E+F.$$

Here we need to determine $V$, $E$, and $F$. $F=1$ if we're only considering one disc, since it's the only $2$-dimensional component. For $E$, go around the boundary of the disc and count the number of edges, with identified edges counting once. For $V$, do the same, keeping track of which vertices end up identified. For the Klein bottle example in the picture, we have $F = 1$, $E = 2$, and $V = 1$, so the Euler characteristic is $1-2+1 = 0$. The Klein bottle has no boundary, so the classification theorem states $0 = 2-2g$, so $g=1$. Hence the Klein bottle is closed and nonorientable with genus $1$, which determines its homeomorphism class.

Strictly speaking, this is sort of a special case of surfaces with boundary: the number of boundary components is the number of nonidentified edges. But in any case, this gives you an easy way to generate complicated surfaces with easily computable classifications: take some $n$-sided polygon with $n$ as large as you want, arbitrarily put orientations on the edges, identify pairs of edges, and get to work computing $V$, $E$, and $F$. The surface is non-orientable if there is a pair of identified edges both oriented clockwise or counterclockwise around the disc: basically, if edges can be oriented $+$ (clockwise) and $-$ (counterclockwise), then a non-orientable pair is $++$ or $--$. So orientability is a simple check as well. Find the number of boundary components, and now you have the Euler characteristic, number of boundary components ($0$ if you just make sure all edges are identified with another; you'll need an even-sided polygon to do this), and the orientability of the surface, everything you need to compute the genus. Hence you can classify all such surfaces.

$\endgroup$
  • $\begingroup$ Thanks, these are indeed good examples for surfaces with boundary. However, to keep my talk simple I'll focus on closed surfaces, which have no boundary. Do you have examples for those as well? $\endgroup$ – Herng Yi Apr 6 '14 at 5:59
  • $\begingroup$ Maybe from an abstract gluing it's not easy to immediately see what surface it becomes, but I'd like to have an actual embedding in Euclidean space - so that the audience can see that even with an embedding, it can be hard to recognize it as some familiar surface. $\endgroup$ – Herng Yi Apr 6 '14 at 10:56
  • $\begingroup$ Sorry, I'm running out of examples. Though you certainly have embeddings for the Klein bottle, and I find it difficult to immediately see the Klein bottle as a connected sum of projective planes or as a sphere with a Mobius band. I'm not familiar with more complicated examples. $\endgroup$ – Gyu Eun Lee Apr 6 '14 at 16:13
  • $\begingroup$ A klein bottle is not orientable, as my question requires. $\endgroup$ – Herng Yi Apr 7 '14 at 0:11

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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