TOPICS
Search

Holonomy Group


Holonomy group

On a Riemannian manifold M, tangent vectors can be moved along a path by parallel transport, which preserves vector addition and scalar multiplication. So a closed loop at a base point p, gives rise to a invertible linear map of TM_p, the tangent vectors at p. It is possible to compose closed loops by following one after the other, and to invert them by going backwards. Hence, the set of linear transformations arising from parallel transport along closed loops is a group, called the holonomy group.

Since parallel transport preserves the Riemannian metric, the holonomy group is contained in the orthogonal group O(n). Moreover, if the manifold is orientable, then it is contained in the special orthogonal group. A generic Riemannian metric on an orientable manifold has holonomy group SO(n), but for some special metrics it can be a subgroup, in which case the manifold is said to have special holonomy.

A Kähler manifold is a 2n-dimensional manifold whose holonomy lies in the unitary group U(n) subset O(2n). A Calabi-Yau manifold is a simply connected 2n-dimensional manifold with holonomy in the special unitary group. A 4n-dimensional manifold with holonomy group Sp(n), the quaternionic unitary group, is called a hyper-Kähler manifold, and one with holonomy Sp(n)Sp(1) is called a quaternion Kähler manifold. The possible groups that can arise as a holonomy group of the metric compatible Levi-Civita connection were classified by Berger. The other possibilities for a nonproduct, nonsymmetric manifold are the Lie groups G_2 and Spin(7). (Note that while Berger (1955) listed Spin(9) as a possibility of a Riemannian nonsymmetric, holonomy group, this possibility was excluded by Gray and Brown (1972).)

On a flat manifold, two homotopic loops give the same linear transformation. Consequently, the holonomy group is a group representation of the fundamental group of M. In general though, the curvature of M changes the parallel transport between homotopic loops. In fact, there is a formula for the difference as an integral of the curvature.


See also

Calabi-Yau Space, Curvature Form, Group Representation, Homogeneous Space, Kähler Manifold, Parallel Transport, Principal Bundle Connection, Quaternion Kähler Manifold, Tangent Bundle, Vector Bundle Connection

This entry contributed by Todd Rowland

Explore with Wolfram|Alpha

References

Berger, M. "Sur les groupes d'holonomie homogènes de variétès à conexion affine et des variétès riemanniennes." Bull. Soc. Math. France 283, 279-330, 1955.Gray, A. and Brown, R. B. "Riemannian Manifolds with Holonomy Group Spin(9)." Differential Geometry (In Honor of Kentaor Yano) (Ed. S. Kobayashi, M. Obata, and T. Takahashi). Tokyo: Kinokuniya Book-Store, pp. 41-59, 1972.

Referenced on Wolfram|Alpha

Holonomy Group

Cite this as:

Rowland, Todd. "Holonomy Group." From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein. https://mathworld.wolfram.com/HolonomyGroup.html

Subject classifications