9
$\begingroup$

I've been having a hard time trying to determine if the tangent bundle of a differentiable manifold is trivial. Namely, if there exists a diffeomorphism between the tangent bundle $TM$ of a given manifold $M$ and the product manifold of $M\times \mathbb{R}^n$.

I've managed to build a diffeomorphism from $TS^1$ to $S^1\times \mathbb{R}^1$. But the case with torus $S^1\times S^1$ seems harder, since the dimension is higher.

In general, how do I show that $S^1\times \cdots \times S^1$ has trivial tangent bundle?

  • 0
    @RyanBudney Thanks! I guess that's one way of doing it.2012-09-26

1 Answers 1

15

Here are three ways.

  1. Take one vector field in the direction of each factor to obtain a trivialization. Work by induction.
  2. $\mathbb{S}^1\times\cdots\times\mathbb{S}^1$ is a Lie group. Prove that any Lie group is parallelizable. (Take a left-invariant basis of the tangent space at $(1,1)$ and move it around by the Lie group's self-action.)
  3. Prove that the product of two parallelizable manifolds is again parallelizable (see 1). Corollary: Any product of circles is parallelizable.
  • 0
    You're quite welcome, @henryforever142012-09-27