Parallelizable manifold

A manifold $ M $ of dimension $ n $ admitting a (global) field of frames $ e = ( e _ {1}, \dots, e _ {n} ) $ (cf. also Frame), that is, $ n $ vector fields $ e _ {1}, \dots, e _ {n} $ that are linearly independent at each point. The field $ e $ determines an isomorphism of the tangent bundle $ \tau : TM \rightarrow M $ onto the trivial bundle $ \epsilon : \mathbf R ^ {n} \times M \rightarrow M $, which sends a tangent vector $ v \in T _ {p} M $ to its coordinates with respect to the frame $ e \mid _ {p} $ and its origin. Therefore a parallelizable manifold can also be defined as a manifold having a trivial tangent bundle. Examples of parallelizable manifolds are open submanifolds of a Euclidean space, all three-dimensional manifolds, the space of an arbitrary Lie group, and the manifolds of frames of an arbitrary manifold. The sphere $ S ^ {n} $ is a parallelizable manifold only for $ n = 1, 3, 7 $. A necessary and sufficient condition for the parallelizability of a $ 4 $-dimensional manifold is the vanishing of the second Stiefel–Whitney characteristic class. In the general case the vanishing of the second characteristic classes of Stiefel— Whitney, Chern and Pontryagin are necessary but not sufficient conditions for a manifold to be parallelizable.

References

[a1]	M. Gromov, "Partial differential relations" , Springer (1986) (Translated from Russian)
[a2]	D. Husemoller, "Fibre bundles" , McGraw-Hill (1966)