Parallelizable manifold

In mathematics, a differentiable manifold M{displaystyle M} of dimension n is called parallelizable^[1] if there exist smooth vector fields

{V1,…,Vn}{displaystyle {V_{1},dots ,V_{n}}}

on the manifold, such that at every point p{displaystyle p} of M{displaystyle M} the tangent vectors

{V1(p),…,Vn(p)}{displaystyle {V_{1}(p),dots ,V_{n}(p)}}

provide a basis of the tangent space at p{displaystyle p}. Equivalently, the tangent bundle is a trivial bundle,^[2] so that the associated principal bundle of linear frames has a section on M.{displaystyle M.}

A particular choice of such a basis of vector fields on M{displaystyle M} is called a parallelization (or an absolute parallelism) of M{displaystyle M}.

Contents

• 
  1 Examples
  


• 
  2 Remarks
  


• 
  3 See also
  


• 
  4 Notes
  


• 
  5 References
  

Examples

• An example with n = 1 is the circle: we can take V₁ to be the unit tangent vector field, say pointing in the anti-clockwise direction. The torus of dimension n is also parallelizable, as can be seen by expressing it as a cartesian product of circles. For example, take n = 2, and construct a torus from a square of graph paper with opposite edges glued together, to get an idea of the two tangent directions at each point. More generally, every Lie group G is parallelizable, since a basis for the tangent space at the identity element can be moved around by the action of the translation group of G on G (every translation is a diffeomorphism and therefore these translations induce linear isomorphisms between tangent spaces of points in G).


• A classical problem was to determine which of the spheres Sⁿ are parallelizable. The zero-dimensional case S⁰ is trivially parallelizable. The case S¹ is the circle, which is parallelizable as has already been explained. The hairy ball theorem shows that S² is not parallelizable. However S³ is parallelizable, since it is the Lie group SU(2). The only other parallelizable sphere is S⁷; this was proved in 1958, by Michel Kervaire, and by Raoul Bott and John Milnor, in independent work. The parallelizable spheres correspond precisely to elements of unit norm in the normed division algebras of the real numbers, complex numbers, quaternions, and octonions, which allows one to construct a parallelism for each. Proving that other spheres are not parallelizable is more difficult, and requires algebraic topology.


• The product of parallelizable manifolds is parallelizable.


• Every orientable three-dimensional manifold is parallelizable.

Remarks

• Any parallelizable manifold is orientable.


• The term framed manifold (occasionally rigged manifold) is most usually applied to an embedded manifold with a given trivialisation of the normal bundle, and also for an abstract (i.e. non-embedded) manifold with a given stable trivialisation of the tangent bundle.

See also

• Chart (topology)


• Differentiable manifold


• Frame bundle


• Kervaire invariant


• Orthonormal frame bundle


• Principal bundle


• Connection (mathematics)


• G-structure

Notes

1. 
   ^ Bishop, R.L.; Goldberg, S.I. (1968), Tensor Analysis on Manifolds, p. 160.mw-parser-output cite.citation{font-style:inherit}.mw-parser-output .citation q{quotes:"""""""'""'"}.mw-parser-output .citation .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/6/65/Lock-green.svg/9px-Lock-green.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/d/d6/Lock-gray-alt-2.svg/9px-Lock-gray-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .citation .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/a/aa/Lock-red-alt-2.svg/9px-Lock-red-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration{color:#555}.mw-parser-output .cs1-subscription span,.mw-parser-output .cs1-registration span{border-bottom:1px dotted;cursor:help}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/4/4c/Wikisource-logo.svg/12px-Wikisource-logo.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output code.cs1-code{color:inherit;background:inherit;border:inherit;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;font-size:100%}.mw-parser-output .cs1-visible-error{font-size:100%}.mw-parser-output .cs1-maint{display:none;color:#33aa33;margin-left:0.3em}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration,.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left,.mw-parser-output .cs1-kern-wl-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right,.mw-parser-output .cs1-kern-wl-right{padding-right:0.2em}
   


2. 
   ^ Milnor, J.W.; Stasheff, J.D. (1974), Characteristic Classes, p. 15
   

References

• 
  Bishop, R.L.; Goldberg, S.I. (1968), Tensor Analysis on Manifolds (First Dover 1980 ed.), The Macmillan Company, ISBN 0-486-64039-6
  


• 
  Milnor, J.W.; Stasheff, J.D. (1974), Characteristic Classes, Princeton University Press
  

This page is only for reference, If you need detailed information, please check here