Isotopy and attaching handles
[8/100%]Recall that a homeomorphism is called periodic of period if either (for order preserving) or (for order reversing). Given an order-preserving homeomorphism , define by writing uniquely as with , , and setting . Show that the map defined this way is a periodic homeomorphism.
Given two disjoint arcs in the circle , choose intervals so that , , where , . The unique order-preserving affine linear homeomorphism from to induces (via ) a standard'' homeomorphism from $I$ to $I'$. Show that this standard'' homeomorphism does not depend on the choice of .
Any order-preserving homeomorphism (where ) is isotopic to the identity.
Any order-reversing homeomorphism is isotopic to .
Part (a) is proved using the isotopy . Prove part (b).
Use the homeomorphism , , and the fact that any order-preserving homeomorphism is isotopic to the identity while any order-reversing one is isotopic to (where ), to prove the analogous statement for :
Any order-preserving homeomorphism is isotopic to the identity.
Any orientation-reversing homeomorphism is isotopic to the reflection .
Define an embedding of into to be orientation preserving (resp.reversing) if it is the composition of an order-preserving (reversing) embedding of into and the map , . A homeomorphism from to is orientation preserving if it comes from a periodic homeomorphism of which is order preserving.
Suppose are orientation-preserving embeddings. Show they are ambient isotopic.
Suppose are orientation-reversing embeddings. Show they are ambient isotopic.
Suppose are embeddings so that preserves orientation and reverses orientation. Show they are not ambient isotopic.
A related fact you may use: any orientation-preserving homeomorphism sending to is isotopic to the identity, where is sent to at each stage of the isotopy; any orientation-preserving homeomorphism is isotopic to the identity; this exercise asks you to prove the remaining case:
Any orientation-reversing homeomorphism is isotopic to .
When a -handle is attached to a single boundary circle of a handlebody, there are two standard ways of attaching it up to homeomorphism, pictured in Figure 2.17: on the left, the new boundary has two components in place of one; on the right, the new boundary still consists of one boundary circle, and there is a Möbius band embedded in the surface using a piece of the collar and the handle .
Attaching a 1-handle to one boundary circle.
Find the Möbius band that is referred to above on the right surface in Figure 2.17.
Show that the result of attaching a 1-handle to the same boundary circle is never homeomorphic to what you get when it is attached to two different boundary circles.
Consider the number of boundary circles in each case.
Theorem: Let be a handlebody with a handle decomposition with -handles and -handles. Then: (a) is homeomorphic to the disjoint union of a finite number of circles; (b) there is a neighborhood of which is homeomorphic to , where is sent to via the standard identification .
The proof outline is by induction on the number of -handles: the case of -handles alone is immediate, and for the inductive step one writes , assumes (a) and (b) hold for , and uses the existence of a collar where the -handle is attached to determine the new boundary and its neighborhood, treating separately the case where the two attaching arcs of lie on the same boundary circle of and the case where they lie on two different boundary circles of .
Fill in the details of this proof.