 Holonomy

In differential geometry, the holonomy of a connection on a smooth manifold is a general geometrical consequence of the curvature of the connection measuring the extent to which parallel transport around closed loops fails to preserve the geometrical data being transported. For flat connections, the associated holonomy is a type of monodromy, and is an inherently global notion. For curved connections, holonomy has nontrivial local and global features.
Any kind of connection on a manifold gives rise, through its parallel transport maps, to some notion of holonomy. The most common forms of holonomy are for connections possessing some kind of symmetry. Important examples include: holonomy of the LeviCivita connection in Riemannian geometry (called Riemannian holonomy), holonomy of connections in vector bundles, holonomy of Cartan connections, and holonomy of connections in principal bundles. In each of these cases, the holonomy of the connection can be identified with a Lie group, the holonomy group. The holonomy of a connection is closely related to the curvature of the connection, via the Ambrose–Singer theorem.
The study of Riemannian holonomy has led to a number of important developments. The holonomy was introduced by Cartan (1926) in order to study and classify symmetric spaces. It was not until much later that holonomy groups would be used to study Riemannian geometry in a more general setting. In 1952 Georges de Rham proved the de Rham decomposition theorem, a principle for splitting a Riemannian manifold into a Cartesian product of Riemannian manifolds by splitting the tangent bundle into irreducible spaces under the action of the local holonomy groups. Later, in 1953, M. Berger classified the possible irreducible holonomies. The decomposition and classification of Riemannian holonomy has applications to physics, and in particular to string theory.
Contents
Definitions
Holonomy of a connection in a vector bundle
Let E be a rank k vector bundle over a smooth manifold M and let ∇ be a connection on E. Given a piecewise smooth loop γ : [0,1] → M based at x in M, the connection defines a parallel transport map . This map is both linear and invertible and so defines an element of GL(E_{x}). The holonomy group of ∇ based at x is defined as
The restricted holonomy group based at x is the subgroup coming from contractible loops γ.
If M is connected then the holonomy group depends on the basepoint x only up to conjugation in GL(k, R). Explicitly, if γ is a path from x to y in M then
Choosing different identifications of E_{x} with R^{k} also gives conjugate subgroups. Sometimes, particularly in general or informal discussions (such as below), one may drop reference to the basepoint, with the understanding that the definition is good up to conjugation.
Some important properties of the holonomy group include:
 Hol^{0}(∇) is a connected, Lie subgroup of GL(k, R).
 Hol^{0}(∇) is the identity component of Hol(∇).
 There is a natural, surjective group homomorphism π_{1}(M) → Hol(∇)/Hol^{0}(∇) where π_{1}(M) is the fundamental group of M which sends the homotopy class [γ] to the coset P_{γ}·Hol^{0}(∇).
 If M is simply connected then Hol(∇) = Hol^{0}(∇).
 ∇ is flat (i.e. has vanishing curvature) if and only if Hol^{0}(∇) is trivial.
Holonomy of a connection in a principal bundle
The definition for holonomy of connections on principal bundles proceeds in parallel fashion. Let G be a Lie group and P a principal Gbundle over a smooth manifold M which is paracompact. Let ω be a connection on P. Given a piecewise smooth loop γ : [0,1] → M based at x in M and a point p in the fiber over x, the connection defines a unique horizontal lift such that . The end point of the horizontal lift, , will not generally be p but rather some other point p·g in the fiber over x. Define an equivalence relation ~ on P by saying that p ~ q if they can be joined by a piecewise smooth horizontal path in P.
The holonomy group of ω based at p is then defined as
The restricted holonomy group based at p is the subgroup coming from horizontal lifts of contractible loops γ.
If M and P are connected then the holonomy group depends on the basepoint p only up to conjugation in G. Explicitly, if q is any other chosen basepoint for the holonomy, then there exists a unique g ∈ G such that q ~ p g. With this value of g,
In particular,
Moreover, if p ~ q then Hol_{p}(ω) = Hol_{q}(ω). As above, sometimes one drops reference to the basepoint of the holonomy group, with the understanding that the definition is good up to conjugation.
Some important properties of the holonomy and restricted holonomy groups include:
 Hol^{0}_{p}(ω) is a connected Lie subgroup of G.
 Hol^{0}_{p}(ω) is the identity component of Hol_{p}(ω).
 There is a natural, surjective group homomorphism π_{1}(M) → Hol_{p}(ω)/Hol^{0}_{p}(ω).
 If M is simply connected then Hol_{p}(ω) = Hol^{0}_{p}(ω).
 ω is flat (i.e. has vanishing curvature) if and only if Hol^{0}_{p}(ω) is trivial.
Holonomy bundles
Let M be a connected paracompact smooth manifold and P a principal Gbundle with connection ω, as above. Let p ∈ P be an arbitrary point of the principal bundle. Let H(p) be the set of points in P which can be joined to p by a horizontal curve. Then it can be shown that H(p), with the evident projection map, is a principal bundle over M with structure group Hol^{0}_{p}(ω). This principal bundle is called the holonomy bundle (through p) of the connection. The connection ω restricts to a connection on H(p), since its parallel transport maps preserve H(p). Thus H(p) is a reduced bundle for the connection. Furthermore, since no subbundle of H(p) is preserved by parallel transport, it is the minimal such reduction.^{[1]}
As with the holonomy groups, the holonomy bundle also transforms equivariantly within the ambient principal bundle P. In detail, if q ∈ P is another chosen basepoint for the holonomy, then there exists a unique g ∈ G such that q ~ p g (since, by assumption, M is pathconnected). Hence H(q) = H(p) g. As a consequence, the induced connections on holonomy bundles corresponding to different choices of basepoint are compatible with one another: their parallel transport maps will differ by precisely the same element g.
Monodromy
The holonomy bundle H(p) is a principal bundle for Hol_{p}(ω), and so also admits an action of the restricted holonomy group Hol^{0}_{p}(ω) (which is a normal subgroup of the full holonomy group). The discrete group Hol_{p}(ω)/Hol^{0}_{p}(ω) is called the monodromy group of the connection; it acts on the quotient bundle H(p)/Hol^{0}_{p}(ω). There is a surjective homomorphism φ : π_{1}(M) → Hol_{p}(ω)/Hol^{0}_{p}(ω), so that φ(π_{1}(M)) acts on H(p)/Hol^{0}_{p}(ω). This action of the fundamental group is a monodromy representation of the fundamental group.^{[2]}
Local and infinitesimal holonomy
If π : P → M is a principal bundle, and ω is a connection in P, then the holonomy of ω can be restricted to the fibre over an open subset of M. Indeed, if U is a connected open subset of M, then ω restricts to give a connection in the bundle π^{−1}U over U. The holonomy (resp. restricted holonomy) of this bundle will be denoted by Hol_{p}(ω, U) (resp. Hol_{p}^{0}(ω, U)) for each p with π(p) ∈ U.
If U ⊂ V are two open sets containing π(p), then there is an evident inclusion
The local holonomy group at a point p is defined by
for any family of nested connected open sets U_{k} with .
The local holonomy group has the following properties:
 It is a connected Lie subgroup of the restricted holonomy group Hol_{p}^{0}(ω).
 Every point p has a neighborhood V such that Hol_{p}*(ω)=Hol_{p}^{0}(ω,V). In particular, the local holonomy group depends only on the point p, and not the choice of sequence U_{k} used to define it.
 The local holonomy is equivariant with respect to translation by elements of the structure group G of P; i.e., Hol_{pg}*(ω) = Ad(g^{−1})Hol_{p}*(ω) for all g ∈ G. (Note that, by property 1., the local holonomy group is a connected Lie subgroup of G, so the adjoint is welldefined.)
The local holonomy group is not wellbehaved as a global object. In particular, its dimension may fail to be constant. However, the following theorem holds:
 If the dimension of the local holonomy group is constant, then the local and restricted holonomy agree: Hol_{p}*(ω) = Hol_{p}^{0}(ω).
The infinitesimal holonomy is the Lie algebra of the restricted holonomy group.
Ambrose–Singer theorem
The Ambrose–Singer theorem relates the holonomy of a connection in a principal bundle with the curvature form of the connection. To make this theorem plausible, consider the familiar case of an affine connection (or a connection in the tangent bundle — the LeviCivita connection, for example). The curvature arises when one travels around an infinitesimal parallelogram.
In detail, if σ : [0, 1] × [0, 1] → M is a surface in M parametrized by a pair of variables x and y, then a vector V may be transported around the boundary of σ: first along (x, 0), then along (1, y), followed by (x, 1) going in the negative direction, and then (0, y) back to the point of origin. This is a special case of a holonomy loop: the vector V is acted upon by the holonomy group element corresponding to the lift of the boundary of σ. The curvature enters explicitly when the parallelogram is shrunk to zero, by traversing the boundary of smaller parallelograms over [0, x] × [0, y]. This corresponds to taking a derivative of the parallel transport maps at x = y = 0:
where R is the curvature tensor.^{[3]} So, roughly speaking, the curvature gives the infinitesimal holonomy over a closed loop (the infinitesimal parallelogram). More formally, the curvature is the differential of the holonomy action at the identity of the holonomy group. In other words, R(X, Y) is an element of the Lie algebra of Hol_{p}(ω).
In general, consider the holonomy of a connection in a principal bundle P → M over P with structure group G. Denoting the Lie algebra of G by g, the curvature form of the connection is a gvalued 2form Ω on P. The Ambrose–Singer theorem states:^{[4]}
 The Lie algebra of Hol_{p}(ω) is spanned by all the elements of g of the form Ω_{q}(X,Y) as q ranges over all points which can be joined to p by a horizontal curve (q ~ p), and X and Y are horizontal tangent vectors at q.
Alternatively, the theorem can be restated in terms of the holonomy bundle:^{[5]}
 The Lie algebra of Hol_{p}(ω) is the subspace of g spanned by elements of the form Ω_{q}(X, Y) where q ∈ H(p) and X and Y are horizontal vectors at q.
Riemannian holonomy
The holonomy of a Riemannian manifold (M, g) is just the holonomy group of the LeviCivita connection on the tangent bundle to M. A 'generic' ndimensional Riemannian manifold has an O(n) holonomy, or SO(n) if it is orientable. Manifolds whose holonomy groups are proper subgroups of O(n) or SO(n) have special properties.
One of the earliest fundamental results on Riemannian holonomy is the theorem of Borel & Lichnerowicz (1952), which asserts that the holonomy group is a closed Lie subgroup of O(n). In particular, it is compact.
Reducible holonomy and the de Rham decomposition
Let x ∈ M be an arbitrary point. Then the holonomy group Hol(M) acts on the tangent space T_{x}M. This action may either be irreducible as a group representation, or reducible in the sense that there is a splitting of T_{x}M into orthogonal subspaces T_{x}M = T′_{x}M ⊕ T′′_{x}M, each of which is invariant under the action of Hol(M). In the latter case, M is said to be reducible.
Suppose that M is a reducible manifold. Allowing the point x to vary, the bundles T′M and T′′M formed by the reduction of the tangent space at each point are smooth distributions which are integrable in the sense of Frobenius. The integral manifolds of these distributions are totally geodesic submanifolds. So M is locally a Cartesian product M′ × M′′. The (local) de Rham isomorphism follows by continuing this process until a complete reduction of the tangent space is achieved:^{[6]}
 Let M be a simply connected Riemannian manifold,^{[7]} and TM = T^{(0)}M ⊕ T^{(1)}M ⊕ ... ⊕ T^{(k)}M be the complete reduction of the tangent bundle under the action of the holonomy group. Suppose that T^{(0)}M consists of vectors invariant under the holonomy group (i.e., such that the holonomy representation is trivial). Then locally M is isometric to a product

 where V_{0} is an open set in a Euclidean space, and each V_{i} is an integral manifold for T^{(i)}M. Furthermore, Hol(M) splits as a direct product of the holonomy groups of each M_{i}.
If, moreover, M is assumed to be geodesically complete, then the theorem holds globally, and each M_{i} is a geodesically complete manifold.^{[8]}
The Berger classification
In 1955, M. Berger gave a complete classification of possible holonomy groups for simply connected, Riemannian manifolds which are irreducible (not locally a product space) and nonsymmetric (not locally a Riemannian symmetric space). Berger's list is as follows:
Hol(g) dim(M) Type of manifold Comments SO(n) n Orientable manifold U(n) 2n Kähler manifold Kähler SU(n) 2n Calabi–Yau manifold Ricciflat, Kähler Sp(n)·Sp(1) 4n QuaternionKähler manifold Einstein Sp(n) 4n Hyperkähler manifold Ricciflat, Kähler G_{2} 7 G_{2} manifold Ricciflat Spin(7) 8 Spin(7) manifold Ricciflat (Berger's original list also included the possibility of Spin(9) as a subgroup of SO(16). Riemannian manifolds with such holonomy were later shown independently by D. Alekseevski and BrownGray to be necessarily locally symmetric, i.e., locally isometric to the Cayley plane F_{4}/Spin(9) or locally flat. See below.) It is now known that all of these possibilities occur as holonomy groups of Riemannian manifolds. The last two exceptional cases were the most difficult to find. See G_{2} manifold and Spin(7) manifold.
Note that Sp(n) ⊂ SU(2n) ⊂ U(2n) ⊂ SO(4n), so every hyperkähler manifold is a Calabi–Yau manifold, every Calabi–Yau manifold is a Kähler manifold, and every Kähler manifold is orientable.
The strange list above was explained by Simons's proof of Berger's theorem. A simple and geometric proof of Berger's theorem was given by Carlos Olmos in 2005. One first shows that if a Riemannian manifold is not a locally symmetric space and the reduced holonomy acts irreducibly on the tangent space, then it acts transitively on the unit sphere. The Lie groups acting transitively on spheres are known: they consist of the list above, together with 2 extra cases: the group Spin(9) acting on R^{16}, and the group T·Sp(m) acting on R^{4m}. Finally one checks that the first of these two extra cases only occurs as a holonomy group for locally symmetric spaces (that are locally isomorphic to the Cayley projective plane), and the second does not occur at all as a holonomy group.
Berger's original classification also included nonpositivedefinite pseudoRiemannian metric nonlocally symmetric holonomy. That list consisted of SO(p,q) of signature (p,q), U(p,q) and SU(p,q) of signature (2p,2q), Sp(p,q) and Sp(p,q)·Sp(1) of signature (4p,4q), SO(n,C) of signature (n,n), SO(n,H) of signature (2n,2n), split G_{2} of signature (4,3), G_{2}(C) of signature (7,7), Spin(4,3) of signature (4,4), Spin(7,C) of signature (7,7), Spin(5,4) of signature (8,8) and, lastly, Spin(9,C) of signature (16,16). The split and complexified Spin(9) are necessarily locally symmetric as above and should not have been on the list. The complexified holonomies SO(n,C), G_{2}(C), and Spin(7,C) may be realized from complexifying real analytic Riemannian manifolds. The last case, manifolds with holonomy contained in SO(n,H), were shown to be locally flat by R. McLean.^{[citation needed]}
Riemannian symmetric spaces, which are locally isometric to homogeneous spaces G / H have local holonomy isomorphic to H. These too have been completely classified.
Finally, Berger's paper lists possible holonomy groups of manifolds with only a torsionfree affine connection; this is discussed below.
Special holonomy and spinors
Manifolds with special holonomy play a fundamental role in the theory of spinors, and particularly pure spinors.^{[9]} In particular, the following facts hold:
 Hol(ω) ⊂ U(n) if and only if M admits a covariantly constant (or parallel) projective pure spinor field.
 If M is a spin manifold, then Hol(ω) ⊂ SU(n) if and only if M admits a parallel pure spinor field. In fact, a parallel pure spinor field determines a canonical reduction of the structure group to SU(n).
 If M is a sevendimensional spin manifold, then M carries a nontrivial parallel spinor field if and only if the holonomy is contained in G_{2}.
 If M is an eightdimensional spin manifold, then M carries a nontrivial parallel spinor field if and only if the holonomy is contained in Spin(7).
The unitary and special unitary holonomies are often studied in connection with twistor theory,^{[10]} as well as in the study of almost complex structures.^{[9]}
Applications to string theory
Riemannian manifolds with special holonomy play an important role in string theory compactifications.^{[11]} This is because special holonomy manifolds admit covariantly constant (parallel) spinors and thus preserve some fraction of the original supersymmetry. Most important are compactifications on Calabi–Yau manifolds with SU(2) or SU(3) holonomy. Also important are compactifications on G_{2} manifolds.
Affine holonomy
Affine holonomy groups are the groups arising as holonomies of torsionfree affine connections; those which are not Riemannian or pseudoRiemannian holonomy groups are also known as nonmetric holonomy groups. The deRham decomposition theorem does not apply to affine holonomy groups, so a complete classification is out of reach. However, it is still natural to classify irreducible affine holonomies.
On the way to his classification of Riemannian holonomy groups, Berger developed two criteria that must be satisfied by the Lie algebra of the holonomy group of a torsionfree affine connection which is not locally symmetric: one of them, known as Berger's first criterion, is a consequence of the Ambrose–Singer theorem, that the curvature generates the holonomy algebra; the other, known as Berger's second criterion, comes from the requirement that the connection should not be locally symmetric. Berger presented a list of groups acting irreducibly and satisfying these two criteria; this can be interpreted as a list of possibilities for irreducible affine holonomies.
Berger's list was later shown to be incomplete: further examples were found by R. Bryant (1991) and by Q. Chi, S. Merkulov, and L. Schwachhöfer (1996). These are sometimes known as exotic holonomies. The search for examples ultimately led to a complete classification of irreducible affine holonomies by Merkulov and Schwachhöfer (1999), with Bryant (2000) showing that every group on their list occurs as an affine holonomy group.
The Merkulov–Schwachhöfer classification has been clarified considerably by a connection between the groups on the list and certain symmetric spaces, namely the hermitian symmetric spaces and the quaternionKähler symmetric spaces. The relationship is particularly clear in the case of complex affine holonomies, as demonstrated by Schwachhöfer (2001).
Let V be a finite dimensional complex vector space, let H ⊂ Aut(V) be an irreducible semisimple complex connected Lie subgroup and let K ⊂ H be a maximal compact subgroup.
 If there is an irreducible hermitian symmetric space of the form G/(U(1) · K), then both H and C^{∗} · H are nonsymmetric irreducible affine holonomy groups, where V the tangent representation of K.
 If there is an irreducible quaternionKähler symmetric space of the form G/(Sp(1) · K), then H is a nonsymmetric irreducible affine holonomy groups, as is C^{∗} · H if dim V = 4. Here the complexified tangent representation of Sp(1) · K is C^{2} ⊗ V, and H preserves a complex symplectic form on V.
These two families yield all nonsymmetric irreducible complex affine holonomy groups apart from the following:
Using the classification of hermitian symmetric spaces, the first family gives the following complex affine holonomy groups:
where Z_{C} is either trivial, or the group C^{*}.
Using the classification of quaternionKähler symmetric spaces, the second family gives the following complex symplectic holonomy groups:
(In the second row, Z_{C} must be trivial unless n = 2.)
From these lists, an analogue of Simon's result that Riemannian holonomy groups act transitively on spheres may be observed: the complex holonomy representations are all prehomogeneous vector spaces. A conceptual proof of this fact is not known.
The classification of irreducible real affine holonomies can be obtained from a careful analysis, using the lists above and the fact that real affine holonomies complexify to complex ones.
Etymology
There's a similar word, "holomorphic", that was introduced by two of Cauchy's students, Briot (1817–1882) and Bouquet (1819–1895), and derives from the Greek ὅλος (holos) meaning "entire", and μορφή (morphē) meaning "form" or "appearance".^{[12]} The etymology of "holonomy" shares the first part with "holomorphic" (holos). About the second part:
"It is remarkably hard to find the etymology of holonomic (or holonomy) on the web. I found the following (thanks to John Conway of Princeton): 'I believe it was first used by Poinsot in his analysis of the motion of a rigid body. In this theory, a system is called "holonomic" if, in a certain sense, one can recover global information from local information, so the meaning "entirelaw" is quite appropriate. The rolling of a ball on a table is nonholonomic, because one rolling along different paths to the same point can put it into different orientations. However, it is perhaps a bit too simplistic to say that "holonomy" means "entirelaw". The "nom" root has many intertwined meanings in Greek, and perhaps more often refers to "counting". It comes from the same IndoEuropean root as our word "number." ' "—S.Golwala, ^{[13]}Notes
 ^ Kobayashi & Nomizu 1963, §II.7
 ^ Sharpe 1997, §3.7
 ^ Spivak 1999, p. 241
 ^ Sternberg 1964, Theorem VII.1.2
 ^ Kobayashi & Nomizu 1963, Volume I, §II.8
 ^ Kobayashi Nomizu, §IV.5
 ^ This theorem generalizes to nonsimply connected manifolds, but the statement is more complicated.
 ^ Kobayashi & Nomizu §IV.6
 ^ ^{a} ^{b} Lawson & Michelsohn 1989, §IV.9–10
 ^ Baum 1991
 ^ Gubser, S. (2004), "Special holonomy in string theory and Mtheory", in Gubser S. et al., Special holonomy in string theory and Mtheory, River Edge, NJ: World Scientific, pp. 197–233, arXiv:hepth/0201114, ISBN 9812387889.
 ^ Markushevich, A.I. 2005
 ^ Golwala 2007, pp. 65–66
References
 Agricola, Ilka (2006), "The Srni lectures on nonintegrable geometries with torsion", Arch. Math 42: 5–84
 Ambrose, W.; Singer, I. M. (1953), "A theorem on holonomy", Trans. Amer. Math. Soc. (American Mathematical Society) 75 (3): 428–443, doi:10.2307/1990721, JSTOR 1990721
 Baum, H.; Friedrich, Th.; Grunewald, R.; Kath, I. (1991), Twistors and Killing spinors on Riemannian manifolds, B.G. Teubner
 Berger, M. (1953), "Sur les groupes d'holonomie des variétés a connexion affine et des variétés riemanniennes", Bull. Soc. Math. France 83: 279–330, MR0079806, http://www.numdam.org/numdambin/fitem?id=BSMF_1955__83__279_0
 Besse, Arthur L. (1987), Einstein manifolds, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], vol. 10, Berlin, New York: SpringerVerlag, pp. xii+510, ISBN 9783540152798
 Borel, Armand; Lichnerowicz, André (1952), "Groupes d'holonomie des variétés riemanniennes", Les Comptes rendus de l'Académie des sciences 234: 1835–1837, MR0048133
 Bryant, Robert L. (1987), "Metrics with exceptional holonomy", Annals of Mathematics (Annals of Mathematics) 126 (3): 525–576, doi:10.2307/1971360, JSTOR 1971360.
 Bryant, Robert L. (1991), "Two exotic holonomies in dimension four, path geometries, and twistor theory", Amer. Math. Soc. Proc. Symp. Pure Math. 53: 33–88
 Bryant, Robert L. (2000), "Recent Advances in the Theory of Holonomy", Asterisque, Seminaire Bourbaki 1998–1999 266: 351–374 arXiv:math.DG/9910059.
 Cartan, Élie (1926), "Sur une classe remarquable d'espaces de Riemann", Bulletin de la Société Mathématique de France 54: 214–264, ISSN 00379484, MR1504900
 Cartan, Élie (1927), "Sur une classe remarquable d'espaces de Riemann", Bulletin de la Société Mathématique de France 55: 114–134, ISSN 00379484
 Chi, QuoShin; Merkulov, Sergey A.; Schwachhöfer, Lorenz J. (1996), "On the Incompleteness of Berger's List of Holonomy Representations", Invent. Math. 126: 391–411 arXiv:dgda/9508014.
 Joyce, D. (2000), Compact Manifolds with Special Holonomy, Oxford University Press, ISBN 0198506015
 Kobayashi, S.; Nomizu, K. (1963), Foundations of Differential Geometry, Vol. 1 & 2, WileyInterscience (published 1996 New edition), ISBN 0471157333
 Lawson, H. B.; Michelsohn, ML. (1989), Spin Geometry, Princeton University Press, ISBN 0691085420
 Merkulov, Sergei A.; Schwachhöfer, Lorenz J. (1999), "Classification of irreducible holonomies of torsionfree affine connections", Ann. Of Math. (Annals of Mathematics) 150 (1): 77–149, doi:10.2307/121098, JSTOR 121098 arXiv:math.DG/9907206; "Addendum", Ann. Of Math. 150 (3): 1177–1179, 1999, doi:10.2307/121067, JSTOR 121067. arXiv:math.DG/9911266.
 Olmos, C. (2005), "A geometric proof of the Berger Holonomy Theorem" (– ^{Scholar search}), Annals of Mathematics 161 (1): 579–588, doi:10.4007/annals.2005.161.579, http://annals.math.princeton.edu/issues/2005/Jan2005/Olmos.pdf^{[dead link]}
 Sharpe, R.W. (1997), Differential Geometry: Cartan's Generalization of Klein's Erlangen Program, SpringerVerlag, New York, ISBN 0387947329
 Schwachhöfer, Lorenz J. (2001), "Connections with irreducible holonomy representations", Advances in Mathematics 160 (1): 1–80, doi:10.1006/aima.2000.1973
 Simons, J. (1962), "On the transitivity of holonomy systems", Annals of Mathematics (Annals of Mathematics) 76 (2): 213–234, doi:10.2307/1970273, JSTOR 1970273
 Spivak, M. (1999), A comprehensive introduction to differential geometry, Volume II, Houston, Texas: Publish or Perish, ISBN 0914098713
 Sternberg, S. (1964), Lectures on differential geometry, New York: Chelsea, ISBN 0828403163
 Golwala, S. (2007), Lecture Notes on Classical Mechanics for Physics 106ab, http://www.astro.caltech.edu/~golwala/ph106ab/ph106ab_notes.pdf
 Markushevich, A.I.; Silverman, Richard A. (ed.) (2005) [1977], Theory of functions of a Complex Variable (2nd ed.), New York: American Mathematical Society, p. 112, ISBN 082183780X, http://books.google.com/?id=H8xfPRhTOcEC&dq
Further reading
 Literature about manifolds of special holonomy, a bibliography by Frederik Witt.
Various notions of curvature defined in differential geometry Differential geometry of curves Differential geometry of surfaces Riemannian geometry Curvature of connections Categories: Differential geometry
 Riemannian geometry
 Structures on manifolds
 Connection (mathematics)
 Curvature (mathematics)
Wikimedia Foundation. 2010.