3
$\begingroup$

I'd like to show that the normal bundle of $S^1$ is trivial. That is, I want to find a homeomorphism $\varphi : NS^1 \to S^1 \times \mathbb R$ such that $\varphi \mid_{N_s S^1}$ is linear for every $s \in S^1$ where $S^1$ comes with the embedding $\theta \mapsto (\sin \theta, \cos \theta)$.

Points in $NS^1$ are of the form $(s,v)$ where $s \in S^1$ and $v \in T\mathbb R^n_{(\sin s, \cos s)}$

I'm a bit confused about how to write down the map. It seems to be $(s,y) \mapsto (s,y)$ but is this really correct?

In "pictures": I want $\varphi$ to take what looks like a "flower (in $\mathbb R^2$) with petals that are infinite lines" and map it homeomorphically into the cylinder $S^1 \times \mathbb R$.

Thanks for your help.

  • 0
    @AsafKaragila Yeah : )2012-09-24

1 Answers 1

2

Thank you, t.b., with your help I managed the following:

Claim: The normal bundle of $S^1 \hookrightarrow \mathbb R^2$ is trivial.

Proof: $ N_s S^1 = \{ \lambda s \mid \lambda \in \mathbb R \}$ and $NS^1 = \bigsqcup_{s \in S^1} N_s S^1 = \{ (s, \lambda s) \mid s \in S^1 , \lambda \in \mathbb R\}$ Now we want to give a bundle isomorphism $\varphi : S^1 \times \mathbb R \to NS^1$. Define $\varphi : (s, \lambda ) \mapsto (s, \lambda s)$. It is clear that this map is continuous, bijective and that its inverse is also continuous. Hence $\varphi$ is a homeomorphism. It is also clear that for fixed $s$, $\varphi$ is linear. Hence $\varphi$ is fibrewise linear and hence a bundle isomorphism. Hence $NS^1$ is trivial.


Alternatively, one can use the following definitions:

$(\tt{Def})$ A section of a normal bundle $\pi : NS \to S$, where $S$ is a submanifold of some manifold $M$ is a map $s: S^1 \to NS^1$ such that $\pi \circ s = \mathrm{id}_S$.

$(\tt{Def})$ The normal bundle of a dimension $k$ submanifold $S$ of $\mathbb R^n$ is trivial if and only if there are $k$ sections $s_1 , \dots , s_{k}: S \to NS$ such that $\mathrm{span}\{ s_1 (s), \dots, s_{k}(s)\} = N_sS$ for all $s \in S$.

In the case of $S^1 \hookrightarrow \mathbb R^2$ with the bundle projection $\pi : NS^1 \to S^1, (s,\lambda s) \mapsto s$, $n=2$, $k = n-k = 1$ hence it is enough to give one section $s_1 : S^1 \to NS^1$ such that $\mathrm{span}(s_1(s)) = N_s S^1$ for all $s \in S^1$. Define $s_1: s \mapsto (s,s)$.


The corresponding for the tangent bundle:

$(\tt{Def})$ Let $M$ be a smooth manifold. We define $C^\infty (M) = \{ f: M \to \mathbb R \mid f \circ \varphi^{-1} \text{ is } \infty \text{ many times diff'able for every chart } \varphi : U \to \mathbb R^n \} $. Let $x \in M$. Then a derivation at $x$ is a linear map $D: C^\infty (M) \to \mathbb R$ such that for all $f,g \in C^\infty (M)$ we have $D(fg) = D(f) \cdot g + f \cdot D(g)$. Then the tangent space of $M$ at $x$, $T_x M$, is the set of all derivations at $x$.

$(\tt{Def})$ The tangent bundle $TM \xrightarrow{\pi} M$ of a smooth manifold $M$ is the disjoint union of its tangent spaces, that is, $ TM = \bigsqcup_{x \in M} T_x M = \{ (x, v) \mid x \in M, v \text{ a vector in the tangent space } T_x M \}$ where $T_x M $ is the tangent space to $M$ at $x$.

$(\tt{Def})$ Let $M$ be an $n$-manifold. Then we call $TM \xrightarrow{\pi} M$ trivial if there exist $n$ sections $s_1, \dots , s_n : TM \to M$ such that $\mathrm{span} \{s_1(x) , \dots , s_n(x) \} = TM$.

Can we alternatively define it to be trivial if there exists a (fibrewise) linear homeomorphism $\varphi : TM \to M \times \mathbb R^{N-n}$?

Claim: The tangent bundle of $S^1 \xrightarrow{\mathrm{id}} \mathbb R^2$ is trivial.

Proof:

Note: $T_s S^1$ is a line through the origin.

Let $s$ be a point on $S^1$. Then the tangent at $s$ is a $90$ degree rotation of $s$: $t_s = \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix} s = Rs$. We have $T_s S^1 = \{ \lambda Rs \mid \lambda \in \mathbb R \}$ so that $ TS^1 = \bigsqcup_{s \in S^1} T_s S^1 = \{ (s, \lambda R s ) \mid s \in S^1, \lambda \in \mathbb R \}$

Now define $\varphi : S^1 \times \mathbb R \to TS^1, (s, \lambda) \mapsto (s, \lambda R s)$. It is clear that this map is a homeomorphism and that it is fibrewise linear.

  • 0
    @AsafKaragila Now off to read posts I've been meaning to read but couldn't : )2012-09-24