# Holonomie

En mathématiques, et plus précisément en géométrie différentielle, l'holonomie d'une connexion sur une variété différentielle est une mesure de la façon dont le transport parallèle le long de boucles fermées modifie les informations géométriques transportées. Cette modification est une conséquence de la courbure de la connexion (ou plus généralement de sa "forme"). Pour des connexions plates, l'holonomie associée est un type de monodromie, et c'est dans ce cas une notion uniquement globale. Pour des connexions de courbure non nulle, l'holonomie a des aspects locaux et globaux non triviaux.
Toute connexion sur une variété donne naissance, grâce aux applications de transport parallèle, à une notion d'holonomie. Parmi les exemples importants, on trouve : l'holonomie de la connexion de Levi-Civita (appelée holonomie riemannienne), les holonomies des connexions des fibrés vectoriels, l'holonomie des connexions de Cartan (en), et l'holonomie des connexions des fibrés principaux. Dans chacun de ces cas, l'holonomie de la connexion peut s'identifier à un groupe de Lie, le groupe d'holonomie. L'holonomie d'une connexion est étroitement liée à sa courbure, par le théorème d'Ambrose-Singer.

## Exemples et définitions informelles

Sur la figure ci-contre, on voit que le vecteur indiqué tourne de l'angle α lorsqu'on le déplace parallèlement le long du trajet ANBA. Dans ce déplacement, l'ensemble des vecteurs du plan tangent en A subit donc une rotation de α ; cette transformation (nécessairement une isométrie vectorielle) est ainsi associée au chemin fermé ANBA, qui est un lacet de la sphère. L'ensemble de toutes ces transformations (pour tous les lacets) forme un sous-groupe du groupe des isométries vectorielles du plan (il s'agit dans ce cas du groupe des rotations SO(2)), qu'on appelle le groupe d'holonomie de la sphère. Plus précisément, l'angle α associé ainsi à un lacet mesure (dans ce cas) la courbure de la surface qu'il délimite ; on le vérifie aisément pour un triangle sphérique, en remarquant qu'alors α est égal à la somme des angles du triangle moins π, ce qui, d'après la formule de Girard, est aussi égal à l'aire du triangle divisé par le carré du rayon de la sphère.
Dans le cas d'une surface sans courbure, les lacets contractiles correspondent à l'identité du plan tangent, mais l'holonomie n'est pas forcément triviale ; ainsi, sur un ruban de Möbius, le transport parallèle autour du ruban renverse l'orientation, ce qui correspond à une symétrie (vectorielle) ; le groupe d'holonomie est dans ce cas réduit à deux éléments.
En dimensions supérieures, les lacets ne découpent plus de régions, mais permettent encore de définir l'holonomie ; ainsi, si on considère la figure comme représentant un lacet de la 3-sphère, on vérifie que les vecteurs de l'espace (de dimension 3) tangent en A subissent une rotation d'angle α et d'axe le vecteur orthogonal aux deux vecteurs tangents aux arcs AN et AB; le groupe d'holonomie est alors dans ce cas le groupe des rotations SO(3).

## Définitions rigoureuses
### Holonomie d'une connexion d'un fibré vectoriel

Soit E un fibré vectoriel de rang k sur une variété différentielle M et soit ∇ une connexion sur E. Étant donné un lacet dérivable par morceaux γ : [0,1] → M avec γ(0) = γ(1) = x, la connexion définit une application de transport parallèle $P_{\gamma }$ : $E_{x}\to E_{x}$. Cette application est un automorphisme de E$_x$, et donc définit un élément de GL(E$_x$). Le groupe d'holonomie de ∇ en x est défini par
${\mbox{Hol}}_{x}(\nabla )=\{P_{\gamma }\in {\mbox{GL}}(E_{x})\mid \gamma {\mbox{ est un lacet de point de base }}x\}.$
Le groupe d'holonomie restreint en x est le sous-groupe ${\mbox{Hol}}_{x}^{0}(\nabla )$ correspondant aux lacets γ contractiles.
Si M est connexe, les groupes d'holonomie de deux points de base x et y sont isomorphes : si $\gamma$ est un chemin de x vers y dans M, alors
${\mbox{Hol}}_{y}(\nabla )=P_{\gamma }{\mbox{Hol}}_{x}(\nabla )P_{\gamma }^{-1}.$
Le choix d'une autre identification de E$_x$ avec R$^k$ donne un autre sous-groupe conjugué. Parfois, en particulier pour des discussions générales ou informelles (comme ci-dessous), on ne mentionne pas le point de base, la définition étant alors supposée faite à une conjugaison près.
Parmi les propriétés importantes du groupe d'holonomie, on a :
* Hol$^0$(∇) est un sous-groupe de Lie connexe de GL(k, R).
* Hol$^0$(∇) est la composante connexe de l'identité (appelée aussi composante neutre) de Hol(∇).
* Il y a un morphisme de groupes surjectif naturel π$_1$(M) → Hol(∇)/Hol$^0$(∇), où π$_1$(M) est le groupe fondamental de M, qui envoie la classe d'homotopie [γ] vers la classe P$_γ$·Hol$^0$(∇).
* Si M est simplement connexe, alors Hol(∇) = Hol$^0$(∇).
* ∇ est plate (de courbure nulle en tout point) si et seulement si Hol$^0$(∇) est trivial.

### Holonomie d'une connexion d'un fibré principal

La définition de l'holonomie d'une connexion sur un fibré principal est analogue à la précédente. Soit G un groupe de Lie et P un G-fibré principal au-dessus d'une variété différentielle paracompacte M. Soit ω une forme de connexion sur P. Étant donné un lacet dérivable par morceaux γ : [0,1] → M avec γ(0)= x, et un point p de la fibre au-dessus de x, la connexion définit un unique relèvement horizontal ${\tilde {\gamma }}\colon [0,1]\to P$ tel que ${\tilde {\gamma }}(0)=p$. L'extrémité ${\tilde {\gamma }}(1)$ du relèvement ne sera pas en général p, mais un autre point p.g de la fibre. On définit une relation d'équivalence ~ sur P en disant que p~q s'ils peuvent être reliés par un chemin P horizontal et différentiable par morceaux.
Le groupe d'holonomie de ω (en p) est alors défini par
${\mbox{Hol}}_{p}(\omega )=\{g\in G\mid p\sim p\cdot g\}.$
Le groupe d'holonomie restreint en p est le sous-groupe ${\mbox{Hol}}_{p}^{0}(\omega )$ correspondant aux relèvements horizontaux de lacets γ contractiles.
Si M et P sont connexes, le groupe d'holonomie ne dépend du point de base p qu'à une conjugaison près (dans G). Plus précisément, si q est un autre point de base, il existe un g unique de G tel que q ~ p g, et alors :
${\mbox{Hol}}_{q}(\omega )=g^{-1}{\mbox{Hol}}_{p}(\omega )g.$
En particulier,
${\mbox{Hol}}_{p\cdot g}(\omega )=g^{-1}{\mbox{Hol}}_{p}(\omega )g,$
De plus, si p~q, Hol$_p$(ω) = Hol$_q$(ω).
Comme précédemment, on omet parfois la référence au point de base, en raisonnant à une conjugaison près.
Parmi les propriétés importantes du groupe d'holonomie et du sous-groupe restreint, on a :
* Hol$^0$$_p$(ω) est un sous-groupe de Lie connexe de G.
* Hol$^0$$_p$(ω) est la composante connexe de l'identité de Hol$_p$(ω).
* Il y a un homomorphisme naturel de groupe, surjectif π$_1$(M) → Hol$_p$(ω)/Hol$^0$$_p$(ω).
* Si M est simplement connexe, Hol$_p$(ω) = Hol$^0$$_p$(ω).
* ω est plate (de courbure nulle) si et seulement si Hol$^0$$_p$(ω) est trivial.

### Fibrés d'holonomie

Soit M une variété différentielle connexe et paracompacte, et P un G-fibré principal avec une connexion ω, comme ci-dessus. Soit $p\in P$ un point arbitraire du fibré. Notons H(p) l'ensemble des points de P qui peuvent être reliés à p par un chemin horizontal. On peut alors montrer que H(p), avec l'application de projection évidente, est un fibré principal au-dessus de M, de groupe structural Hol$^0$$_p$(ω). Ce fibré principal s'appelle le fibré d'holonomie (à travers p) de la connexion. La connexion ω se restreint à une connexion H(p), puisque les applications de transport parallèle conservent H(p). Ainsi, H(p) est un fibré réduit pour la connexion. De plus, puisque aucun sous-fibré H(p) n'est conservé par transport parallèle, c'est la réduction minimale de ce type.
Comme pour les groupes d'holonomie, le fibré d'holonomie est transformé de manière uniforme par déplacement dans le fibré principal ambiant P. Plus précisément, si, $q\in P$ est un autre point de base, il existe un unique $g\in G$ tel que q ~ p g (puisque, par hypothèse, M est connexe par arcs). Ainsi H(q) = H(p) g. Par conséquent, les connexions induites correspondant à différents choix de points de base sont compatibles entre elles : leurs applications de transport parallèle ne diffèrent que de g.

### Monodromie

Le fibré d'holonomie H(p) est un fibré principal pour Hol$_p$(ω), et admet donc également une action du groupe restreint d'holonomie Hol$^0$$_p$(ω) (qui est un sous-groupe normal du groupe d'holonomie complet). Le groupe discret Hol$_p$(ω)/Hol$^0$$_p$(ω) est appelé le groupe de monodromie de la connexion ; il agit sur le fibré quotient H(p)/Hol$^0$$_p$(ω). Il y a un homomorphisme surjectif φ : π$_1$(M) → Hol$_p$(ω)/Hol$^0$$_p$(ω), tel que φ(π$_1$(M)) agit sur H(p)/Hol$^0$$_p$(ω). Cette action du groupe fondamental s'appelle une représentation de monodromie du groupe fondamental.

### Holonomie locale et infinitésimale

Si π:P→M est un fibré principal, et si ω est une connexion de P, l'holonomie de ω peut être restreinte à la fibre au-dessus d'un ouvert de M. Plus précisément, si U est un ouvert connexe de M, la restriction de ω est une connexion du fibré π$^{-1}$U sur U. L'holonomie (respectivement l'holonomie restreinte) de ce fibré sera notée par Hol$_p$(ω, U) (respectivement Hol$_p$$^0$(ω, U)) pour chaque p tel que π(p)∈U.
Si U⊂V sont deux ouverts contenant π(p), il y a une inclusion évidente
$\mathrm {Hol} _{p}^{0}(\omega ,U)\subset \mathrm {Hol} _{p}^{0}(\omega ,V).$
Le groupe local d'holonomie en un point p est défini par
$\mathrm {Hol} ^{*}(\omega )=\cap _{k=1}^{\infty }\mathrm {Hol} ^{0}(\omega ,U_{k})$
pour toute famille d'ouverts connexes emboités, U$_k$, telle que $\cap _{k}U_{k}=\pi (p)$.
Le groupe local d'holonomie a les propriétés suivantes :
* C'est un sous-groupe de Lie connexe du groupe restreint d'holonomie Hol$_p$$^0$(ω).
* Chaque point p admet un voisinage V tel que Hol$_p$*(ω)=Hol$_p$$^0$(ω,V). En particulier, le groupe local d'holonomie ne dépend que du point p, et non du choix de la famille U$_k$.
* L'holonomie locale est invariante par translation par les éléments du groupe structural G de P, c'est-à- dire que Hol$_{pg}$*(ω)=Ad(g$^{-1}$)Hol$_p$*(ω) pour tous les g∈G (d'après la première propriété, le groupe d'holonomie local est un sous-groupe de Lie connexe de G, donc son adjoint est bien défini).
Le groupe local d'holonomie n'a pas de comportement global prévisible. En particulier, sa dimension peut ne pas être constante. Cependant, on a le résultat suivant :
* Si la dimension du groupe local d'holonomie est constante, les holonomies locales et restreintes coïncident : Hol$_p$*(ω)=Hol$_p$$^0$(ω).
L’holonomie infinitésimale est l'algèbre de Lie du groupe d'holonomie restreinte.

## Le théorème d'Ambrose-Singer

Le théorème d'Ambrose-Singer relie l'holonomie d'une connexion d'un fibré principal à la 2-forme de courbure de la connexion ; on peut le voir comme généralisant le cas familier d'une connexion affine (ou d'une connexion du fibré tangent — la connexion de Levi-Civita, par exemple), où la courbure provient du déplacement le long d'un parallélogramme infinitésimal.
Dans le détail, si σ : [0,1] × [0,1] → M est une surface de M paramétrée par un couple de variables x et y, un vecteur V peut être transporté le long de la frontière de σ : le long de (x,0), puis de (1,y), puis de (x,1) (dans le sens négatif), et enfin de (0,y), revenant à l'origine. C'est un cas particulier d'un lacet d'holonomie : l'élément du groupe d'holonomie correspondant au relèvement de la frontière de σ agit sur le vecteur V. La courbure intervient explicitement quand le parallélogramme tend vers 0, en traversant la frontière de parallélogrammes plus petits (sur [0,x] × [0,y]) ; cela revient à prendre la dérivée des applications de transport parallèle en x=y=0 :
${\frac {D}{dx}}{\frac {D}{dy}}V-{\frac {D}{dy}}{\frac {D}{dx}}V=R\left({\frac {\partial \sigma }{\partial x}},{\frac {\partial \sigma }{\partial y}}\right)V$
où R est le tenseur de courbure. Ainsi, on peut dire en gros que la courbure donne l'holonomie infinitésimale sur une boucle fermée (le parallélogramme infinitésimal). Plus rigoureusement, la courbure est la différentielle de l'action de l'holonomie en l'identité du groupe d'holonomie ; en d'autres termes, R(X,Y) est un élément de l'algèbre de Lie de Hol$_p$(ω).
En général, considérons l'holonomie d'une connexion d'un fibré principal P → M au-dessus de P, avec G comme groupe structural. Notant g l'algèbre de Lie de G, la forme courbure de la connexion est une 2-forme Ω, à valeurs dans g sur P. Le théorème d'Ambrose-Singer affirme que :
* L'algèbre de Lie de Hol$_p$(ω) est engendrée par les éléments de g de la forme Ω$_q$(X,Y), où q parcourt l'ensemble des points qui peuvent être reliés à p par une courbe horizontale (q ~ p), et X et Y sont des vecteurs horizontaux tangents en q.
Le théorème peut se réénoncer à l'aide du fibré d'holonomie :
* L'algèbre de Lie de Hol$_p$(ω) est le sous-espace de g engendré par les éléments de la forme Ω$_q$(X,Y), où q ∈ H(p) et X et Y sont des vecteurs horizontaux en q.

## Holonomie riemannienne

L'holonomie d'une variété riemannienne (M, g) est simplement le groupe d'holonomie de la connexion de Levi-Civita sur le fibré tangent de M. Une variété riemannienne 'générique' de dimension n a une holonomie O(n) (ou SO(n) si cette variété est orientable). Les variétés dont l'holonomie est un sous-groupe propre de O(n) ou SO(n) ont des propriétés particulières.
Un des premiers résultats fondamentaux concernant l'holonomie riemannienne est le théorème de Borel et Lichnerowicz (1952), qui affirme que le groupe d'holonomie est un sous-groupe de Lie fermé de O(n). En particulier, il est compact.

### Holonomie réductible et décomposition de de Rham

Soit x un point arbitraire de M. Le groupe d'holonomie Hol(M) agit sur l'espace tangent T$_x$M. En tant que représentation de groupe, cette action peut être irréductible, ou il peut exister une décomposition de T$_x$M en sous-espaces orthogonaux T$_x$M = T′$_x$M ⊕ T′′$_x$M, chacun de ces sous-espaces étant invariant sous l'action de Hol(M). Dans ce dernier cas, on dit que M est réductible.
Supposons que M soit une variété réductible. Quand x varie, les fibrés T′$_x$M et T′′$_x$M forment des distributions lisses, qui sont intégrables au sens de Frobenius. Les variétés intégrales (en) de ces distributions sont des sous-variétés complètement géodésiques. Ainsi, M est localement un produit cartésien M′ × M′′. L'isomorphisme (local) de de Rham en résulte, en continuant ce processus jusqu'à ce qu'une réduction complète de l'espace tangent soit achevée :
* Soit M une variété riemannienne simplement connexe, et TM = T$^{(0)}$M ⊕ T$^{(1)}$M ⊕ ... ⊕ T$^{(k)}$M la réduction complète du fibré tangent sous l'action du groupe d'holonomie. Supposons que T$^{(0)}$M soit formé de vecteurs que le groupe d'holonomie laisse invariants (donc, tels que la représentation d'holonomie soit triviale). Alors, M est localement isométrique à un produit $V_{0}\times V_{1}\times \dots \times V_{k}$, où V$_0$ est un ouvert d'un espace euclidien, et chaque V$_i$ est une variété intégrale pour T$^{(i)}$M. De plus, Hol(M) se décompose en produit direct des groupes d'holonomie de chaque M$_i$.
Si, de plus, M est supposée être géodésique, alors le théorème est vrai globalement, et chaque M$_i$ est une variété géodésique.

### La classification de Berger

En 1953, Marcel Berger donna une classification complète des groupes d'holonomie correspondants aux variétés riemanniennes simplement connexes, irréductibles (ne s'identifiant pas localement à un espace produit) et non symétriques (n'étant pas localement un espace symétrique). La liste de Berger est la suivante :
| Hol(g) | dim(M) | Type de variété | Commentaires |
| SO(n) | n | variété orientable |
| U(n) | 2n | variété de Kähler | Kähler |
| SU(n) | 2n | variété de Calabi-Yau | courbure de Ricci nulle, Kähler |
| Sp(n)·Sp(1) | 4n | variété de Kähler quaternionique (en) | variété einsteinienne |
| Sp(n) | 4n | variété hyperkählerienne (en) | courbure de Ricci nulle, Kähler |
| G$_2$ | 7 | variété G$_2$ (en) | courbure de Ricci nulle |
| Spin(7) | 8 | variété Spin(7) (en) | courbure de Ricci nulle |
Les variétés avec groupe d'holonomie Sp(n)·Sp(1) ont été étudiées indépendamment en 1965 par Edmond Bonan (en) et Vivian Yoh Kraines qui construsirent la 4-forme invariante. Les variétés avec groupes d'holonomie G$_2$ et Spin(7) furent introduites par Edmond Bonan, qui construisit les formes invariantes et prouva la nullité de leur courbure de Ricci.
La liste originale de Berger envisageait également Spin(9) comme sous-groupe de SO(16) ; mais, comme on le verra plus bas, les variétés riemanniennes ayant cette holonomie sont nécessairement localement symétriques, ce qui fut montré (indépendamment) par D. Alekseevski et Brown-Gray). On sait désormais que toutes ces possibilités sont réalisées en tant que groupes d'holonomie de variétés riemanniennes ; des exemples des deux derniers cas furent particulièrement difficiles à découvrir.
On remarque que Sp(n) ⊂ SU(2n) ⊂ U(2n) ⊂ SO(4n), et donc toute variété hyperkählerienne (en) est une variété de Calabi-Yau, toute variété de Calabi-Yau est une variété de Kähler, et toute variété de Kähler est orientable.
Cette étrange liste fut expliquée par la preuve de James Simons du théorème de Berger. Une preuve géométrique simple de ce théorème fut donnée par Carlos Olmos en 2005. On montre d'abord que si une variété riemannienne n'est pas localement symétrique et que l'holonomie réduite agit de façon irréductible sur l'espace tangent, elle agit transitivement sur la sphère unité. Les groupes de Lie agissant transitivement sur les sphères sont connus : ils forment la liste précédente, ainsi que deux autres cas : le groupe Spin(9) agissant sur R$^{16}$, et le groupe T·Sp(m) agissant sur R$^{4m}$. Enfin, on vérifie que le premier de ces deux cas ne peut apparaître comme groupe d'holonomie que pour des espaces localement symétriques (qui sont localement isomorphes au plan projectif de Cayley), et que le second n'est jamais un groupe d'holonomie.

### Holonomie spéciale et spineurs

Les variétés munies d'une holonomie spéciale jouent un rôle fondamental dans la théorie des spineurs, en particulier de celle des spineurs simples (en). On a les résultats suivants :
* Hol(ω) ⊂ U(n) si et seulement si M admet un champ projectif parallèle (constant de manière covariante) de spineurs simples.
* Si M est une variété munie d'une structure spin, alors Hol(ω) ⊂ SU(n) si et seulement si M admet un champ parallèle de spineurs simples. En fait, un champ parallèle de spineurs simples détermine une réduction canonique du groupe de structure à SU(n).
* Si M est une variété de spin de dimension 7, M admet un champ parallèle de spineurs simples non trivial si et seulement si le groupe d'holonomie est contenu dans G$_2$.
* Si M est une variété de spin de dimension 8, M admet un champ parallèle de spineurs simples non trivial si et seulement si le groupe d'holonomie est contenu dans Spin(7).
De même, les holonomies unitaires et spéciales unitaires sont souvent étudiées en relation avec la théorie des twisteurs, ainsi que dans l'étude des variétés presque complexes.

#### Applications à la théorie des cordes

Les variétés riemanniennes munies d'une holonomie spéciale jouent un rôle important en théorie des cordes, et plus particulièrement dans les techniques de compactification (en). Cela vient de ce que ces variétés admettent des champs de spineurs parallèles, et conservent ainsi une partie de la supersymétrie initiale. C'est en particulier le cas des variétés de Calabi-Yau ayant pour holonomie SU(2) ou SU(3), et des compactifications des variétés G$_2$ (en).

## Holonomie affine

Les groupes d'holonomie affine sont les groupes d'holonomie des connexions affines dont le tenseur de torsion est nul ; ceux qui ne sont pas riemanniens ou pseudo-riemanniens sont aussi appelés des groupes d'holonomie non métriques. Le théorème de décomposition de de Rham ne s'applique pas aux groupes d'holonomie affine, et une classification complète semble donc inaccessible. Cependant, il reste naturel de classifier les holonomies affines irréductibles.
Au cours de sa classification des groupes d'holonomie riemannienne, Berger obtint deux critères que doit satisfaire l'algèbre de Lie du groupe d'holonomie d'une connexion affine sans torsion non localement symétrique ; le premier critère de Berger, conséquence du théorème d'Ambrose-Singer, est que la courbure doit engendrer l'algèbre (le second critère de Berger, plus technique, provient de l'exigence de non-symétrie locale). Berger donna une liste de groupes agissant de manière irréductible, et satisfaisant ces deux critères ; on peut l'interpréter comme une liste des possibilités d'holonomies affines irréductibles.
Par la suite, il fut montré que cette liste de Berger était incomplète : d'autres exemples furent découverts par R. Bryant (en 1991) et par Q. Chi, S. Merkulov, et L. Schwachhöfer (en 1996); ils sont parfois appelés des holonomies exotiques. Cette recherche mena finalement à une classification complète des holonomies affines irréductibles par Merkulov et Schwachhöfer (en 1999), Bryant montrant en 2000 que chaque groupe de leur liste se réalise effectivement comme un groupe d'holonomie affine.
La classification de Merkulov-Schwachhöfer a été simplifiée par la découverte d'une relation entre les groupes de la liste et certains espaces symétriques, les espaces symétriques hermitiens et les espaces symétriques Kähler-quaternioniques. Cette relation est particulièrement claire dans le cas des holonomies complexes affines, comme cela fut démontré par Schwachhöfer (2001).
Soit V un espace vectoriel complexe de dimension finie, soit H ⊂ Aut(V) un sous-groupe de Lie irréductible, semi-simple et connexe, et soit K ⊂ H un sous-groupe compact maximal de H.
* S'il existe un espace symétrique hermitien irréductible de la forme G/(U(1) · K), alors H et C$^∗$ · H sont des groupes d'holonomie affine non-symétriques irréductibles, où V est la représentation tangente de K.
* S'il existe un espace symétrique Kähler-quaternionique irréductible de la forme G/(Sp(1) · K), alors H est un groupe d'holonomie affine non-symétrique irréductible, et il en est de même de C$^∗$ · H si dim V = 4. Ici, la représentation complexifiée tangente de Sp(1) · K est C$^2$ ⊗ V, et H laisse invariante une forme complexe symplectique sur V.
Ces deux familles donnent naissance à tous groupes d'holonomie affine non-symétriques irréductibles complexes, en dehors des trois suivants :
${\begin{aligned}&\mathrm {Sp} (2,\mathbb {C} )\cdot \mathrm {Sp} (2n,\mathbb {C} )&&\subset \mathrm {Aut} (\mathbb {C} ^{2}\otimes \mathbb {C} ^{2n})\\&G_{2}^{\mathbb {C} }&&\subset \mathrm {Aut} (\mathbb {C} ^{7})\\&\mathrm {Spin} (7,\mathbb {C} )&&\subset \mathrm {Aut} (\mathbb {C} ^{8}).\end{aligned}}$
Utilisant la classification des espaces hermitiens symétriques, la première famille correspond aux groupes d'holonomie affine suivants :
${\begin{aligned}&Z_{\mathbb {C} }\cdot \mathrm {SL} (m,\mathbb {C} )\cdot \mathrm {SL} (n,\mathbb {C} )&&\subset \mathrm {Aut} (\mathbb {C} ^{m}\otimes \mathbb {C} ^{n})\\&Z_{\mathbb {C} }\cdot \mathrm {SL} (n,\mathbb {C} )&&\subset \mathrm {Aut} (\Lambda ^{2}\mathbb {C} ^{n})\\&Z_{\mathbb {C} }\cdot \mathrm {SL} (n,\mathbb {C} )&&\subset \mathrm {Aut} (S^{2}\mathbb {C} ^{n})\\&Z_{\mathbb {C} }\cdot \mathrm {SO} (n,\mathbb {C} )&&\subset \mathrm {Aut} (\mathbb {C} ^{n})\\&Z_{\mathbb {C} }\cdot \mathrm {Spin} (10,\mathbb {C} )&&\subset \mathrm {Aut} (\Delta _{10}^{+})\cong \mathrm {Aut} (\mathbb {C} ^{16})\\&Z_{\mathbb {C} }\cdot E_{6}^{\mathbb {C} }&&\subset \mathrm {Aut} (\mathbb {C} ^{27})\end{aligned}}$
where Z$_C$ is either trivial, or the group C$^*$.
De même, la classification des espaces symétrique Kähler-quaternioniques amène aux groupes d'holonomie suivants :
${\begin{aligned}&\mathrm {Sp} (2,\mathbb {C} )\cdot \mathrm {SO} (n,\mathbb {C} )&&\subset \mathrm {Aut} (\mathbb {C} ^{2}\otimes \mathbb {C} ^{n})\\&(Z_{\mathbb {C} }\,\cdot )\,\mathrm {Sp} (2n,\mathbb {C} )&&\subset \mathrm {Aut} (\mathbb {C} ^{2n})\\&Z_{\mathbb {C} }\cdot \mathrm {SL} (2,\mathbb {C} )&&\subset \mathrm {Aut} (S^{3}\mathbb {C} ^{2})\\&\mathrm {Sp} (6,\mathbb {C} )&&\subset \mathrm {Aut} (\Lambda _{0}^{3}\mathbb {C} ^{6})\cong \mathrm {Aut} (\mathbb {C} ^{14})\\&\mathrm {SL} (6,\mathbb {C} )&&\subset \mathrm {Aut} (\Lambda ^{3}\mathbb {C} ^{6})\\&\mathrm {Spin} (12,\mathbb {C} )&&\subset \mathrm {Aut} (\Delta _{12}^{+})\cong \mathrm {Aut} (\mathbb {C} ^{32})\\&E_{7}^{\mathbb {C} }&&\subset \mathrm {Aut} (\mathbb {C} ^{56})\\\end{aligned}}$
(dans la seconde ligne, Z$_C$ doit être trivial sauf si n = 2.)
À partir de ces listes, on peut observer un analogue du résultat de Simon affirmant que les groupes d'holonomie riemannienne agissent transitivement sur les sphères : les représentations des holonomies complexes sont toutes des espaces vectoriels préhomogènes (en). On ne connait pas de démonstration synthétique de ce résultat.
La classification des holonomies affines irréductibles réelles se déduit des listes précédentes à l'aide d'une analyse soigneuse utilisant le fait que les holonomies affines réelles se complexifient pour donner des holonomies affines complexes.

## Historique

La notion d'holonomie fut introduite par Élie Cartan en 1926 dans le but d'étudier et de classifier les espaces symétriques. Ce n'est que longtemps après que les groupes d'holonomie furent utilisés pour étudier la géométrie riemannienne dans un cadre plus général. En 1952, Georges de Rham démontra le théorème de décomposition de de Rham, permettant de décomposer une variété riemannienne en produit cartésien de variétés, en décomposant le fibré tangent en sous-espaces irréductibles sous l'action du groupe local d'holonomie. En 1953, M. Berger complèta ce théorème en donnant une classification des holonomies irréductibles ; ces résultats devaient trouver des applications en physique, en particulier en théorie des cordes.

## Étymologie

Un mot similaire, "holomorphe", fut introduit par deux des élèves de Cauchy, Briot et Bouquet, qui le formèrent à partir du grec ὅλος (holos), signifiant "entier", et μορφή (morphē) signifiant "forme" ou "apparence".
L'étymologie de "holonomie" est plus obscure : S. Golwala l'attribue à Poinsot, qui aurait introduit le mot dans son analyse du mouvement du solide, l'utilisant pour parler de systèmes permettant de déterminer l'information globale à partir de données locales, le mot étant forgé à partir de holos et de νόμος (nomos), signifiant "loi" (mais voir aussi -nomie pour d'autres significations possibles de ce suffixe).