Section 2.3

Isotopy and attaching handles

[8/100%]
Show
LaTeX
Problem 2.3.1

Recall that a homeomorphism f:R→Rf: \mathbb {R} \to \mathbb {R} is called periodic of period 11 if either f(x+1)=f(x)+1f(x+1) = f(x) + 1 (for ff order preserving) or f(x+1)=f(x)−1f(x+1) = f(x) - 1 (for ff order reversing). Given an order-preserving homeomorphism f′:[a,a+1]→[b,b+1]f': [a, a+1] \to [b, b+1], define f:R→Rf: \mathbb {R} \to \mathbb {R} by writing x∈Rx \in \mathbb {R} uniquely as x=t+nx = t + n with n∈Zn \in \mathbb {Z}, t∈[a,a+1)t \in [a, a+1), and setting f(x)=f′(t)+nf(x) = f'(t) + n. Show that the map ff defined this way is a periodic homeomorphism.

?
Problem 2.3.2

Given two disjoint arcs I,I′I, I' in the circle S1S^{1}, choose intervals J,J′⊂RJ, J' \subset \mathbb {R} so that p(J)=Ip(J) = I, p(J′)=I′p(J') = I', where p:R→S1p: \mathbb {R} \to S^{1}, p(t)=(cos⁡2πt,sin⁡2πt)p(t) = (\cos 2\pi t, \sin 2\pi t). The unique order-preserving affine linear homeomorphism from JJ to J′J' induces (via pp) a standard'' homeomorphism from $I$ to $I'$. Show that this standard'' homeomorphism does not depend on the choice of J,J′J, J'.

?
Problem 2.3.3
?
(a)

Any order-preserving homeomorphism f:I→If: I \to I (where I=[−1,1]I = [-1,1]) is isotopic to the identity.

(b)

Any order-reversing homeomorphism f:I→If: I \to I is isotopic to r′(t)=−tr'(t) = -t.

Part (a) is proved using the isotopy Gt(s)=(1−t)f(s)+tsG_{t}(s) = (1-t)f(s) + ts. Prove part (b).

Problem 2.3.4

Use the homeomorphism h:D1→Ih: D^{1} \to I, h(s)=12(s+1)h(s) = \frac{1}{2}(s+1), and the fact that any order-preserving homeomorphism f:I→If: I \to I is isotopic to the identity while any order-reversing one is isotopic to r′(t)=−tr'(t) = -t (where I=[−1,1]I = [-1,1]), to prove the analogous statement for D1D^{1}:

?
(a)

Any order-preserving homeomorphism g:D1→D1g: D^{1} \to D^{1} is isotopic to the identity.

(b)

Any orientation-reversing homeomorphism g:D1→D1g: D^{1} \to D^{1} is isotopic to the reflection r(t)=−tr(t) = -t.

Problem 2.3.5

Define an embedding of D1D^{1} into S1S^{1} to be orientation preserving (resp.reversing) if it is the composition of an order-preserving (reversing) embedding of D1D^{1} into R\mathbb {R} and the map p:R→S1p: \mathbb {R} \to S^{1}, p(t)=(cos⁡2πt,sin⁡2πt)p(t) = (\cos 2\pi t, \sin 2\pi t). A homeomorphism from S1S^{1} to S1S^{1} is orientation preserving if it comes from a periodic homeomorphism of R\mathbb {R} which is order preserving.

?
(a)

Suppose f1,f2:D1→S1f_{1}, f_{2}: D^{1} \to S^{1} are orientation-preserving embeddings. Show they are ambient isotopic.

(b)

Suppose f1,f2:D1→S1f_{1}, f_{2}: D^{1} \to S^{1} are orientation-reversing embeddings. Show they are ambient isotopic.

(c)

Suppose f1,f2:D1→S1f_{1}, f_{2}: D^{1} \to S^{1} are embeddings so that f1f_{1} preserves orientation and f2f_{2} reverses orientation. Show they are not ambient isotopic.

A related fact you may use: any orientation-preserving homeomorphism f:S1→S1f: S^{1} \to S^{1} sending 11 to 11 is isotopic to the identity, where 11 is sent to 11 at each stage of the isotopy; any orientation-preserving homeomorphism f:S1→S1f: S^{1} \to S^{1} is isotopic to the identity; this exercise asks you to prove the remaining case:

Remark.
?

Any orientation-reversing homeomorphism f:S1→S1f: S^{1} \to S^{1} is isotopic to r(x,y)=(x,−y)r(x,y) = (x,-y).

Problem 2.3.6

When a 11-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 h1h^{1}.

Attaching a 1-handle to one boundary circle.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.

?
Problem 2.3.7

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.

?
Remark.
?

Consider the number of boundary circles in each case.

Problem 2.3.8

Theorem: Let HH be a handlebody with a handle decomposition with 00-handles and 11-handles. Then: (a) ∂H\partial H is homeomorphic to the disjoint union of a finite number of circles; (b) there is a neighborhood N(∂H)N(\partial H) of ∂H\partial H which is homeomorphic to ∂H×I\partial H \times I, where ∂H×{0}⊂∂H×I\partial H \times \left\{ 0\right\} \subset \partial H \times I is sent to ∂H⊂H\partial H \subset H via the standard identification (x,0)↦x(x,0) \mapsto x.

The proof outline is by induction on the number of 11-handles: the case of 00-handles alone is immediate, and for the inductive step one writes H=H1∪h1H = H_{1} \cup h^{1}, assumes (a) and (b) hold for H1H_{1}, and uses the existence of a collar where the 11-handle is attached to determine the new boundary and its neighborhood, treating separately the case where the two attaching arcs of h1h^1 lie on the same boundary circle of H1H_1 and the case where they lie on two different boundary circles of H1H_1.

Fill in the details of this proof.

?