Structure spinorielle

À une telle variété est naturellement associé un fibré des repères orthonormés directs, qui possède une structure de fibré principal ${\displaystyle \pi :P\to M}$ de groupe structural ${\displaystyle \operatorname {SO} (n)}$. Cela signifie que la fibre en un point donné est formée des différents repères de l'espace tangent (qui sont en correspondance avec le groupe structural), et les fonctions de transition d'une fibre à l'autre sont les éléments du groupe structural. Par ailleurs le groupe spinoriel s'insère dans la suite exacte de groupes de Lie

${\displaystyle 1\to \mathbb {Z} _{2}\to \operatorname {Spin} (n)\to \operatorname {SO} (n)\to 1}$

qui illustre qu'il s'agit d'un revêtement à deux feuillets de ${\displaystyle \operatorname {SO} (n)}$. Le problème consiste à chercher s'il existe un analogue du fibré des repères pour le groupe spinoriel, et redonne accès au véritable fibré des repères.

Formellement, une structure Spin est définie comme un relèvement équivariant ${\displaystyle {\tilde {\pi }}:{\tilde {P}}\to M}$ de ${\displaystyle P}$ au groupe spinoriel, c'est-à-dire un fibré principal de groupe structural ${\displaystyle \operatorname {Spin} (n)}$, qui forme à son tour un revêtement à deux feuillets de ${\displaystyle P}$ : ${\displaystyle \rho$ :{\tilde {P}}\to P} qui reprend la suite exacte précédente « fibre à fibre » et tel que ${\displaystyle {\tilde {\pi }}=\pi \circ \rho }$. Lorsqu'une telle construction est possible, on dit qu'on a affaire à une variété de Spin[4].

Il existe une définition analogue de la structure Spin pour le cadre plus général des fibrés riemanniens orientés[3]. L'existence d'une telle structure peut être caractérisée de façon purement topologique : elle est équivalente à l'annulation de la deuxième classe de Stiefel-Whitney. On peut y voir un renforcement de la condition d'orientabilité, puisque la première classe de Stiefel-Whitney représente elle-même l'obstruction à l'orientabilité.

Lorsqu'il en existe, les différentes structures spinorielles sont en correspondance bijective avec ${\displaystyle H^{1}(M,\mathbb {Z} _{2})}$[5]. Par exemple la propriété de 2-connexité (annulation des groupes d'homotopie jusqu'à l'ordre 2) entraîne l'existence d'une unique structure spinorielle.

Avec cette définition étendue aux fibrés, une structure Spin sur une variété riemannienne orientée revient au même qu'une structure Spin sur son fibré tangent. Par commodité on dit qu'une variété est de Spin quand ses deux premières classes de Stiefel-Whitney s'annulent (l'annulation de la première traduisant l'orientabilité) [6].

• Les fibrés triviaux, les variétés parallélisables ont une structure de Spin.
• Les variétés compactes orientables de dimension 3 ou moins sont de Spin.
• Plus généralement, toute variété orientable telle que ${\displaystyle H^{2}(M,{\mathbb {Z} }_{2})}$ est nul est de Spin : c'est le cas des sphères ou sphères d'homologie par exemple.
• Les variétés complexes sont de Spin si et seulement si leur première classe de Chern est congrue à 0 modulo 2.
• Par suite l'espace projectif complexe ${\displaystyle {\mathbb {C} P}^{n}}$ est de spin si et seulement n est impair.
• L'espace projectif réel ${\displaystyle {\mathbb {R} P}^{n}}$ est de spin si et seulement n est congru à 3 modulo 4.
• L'espace projectif quaternionique ${\displaystyle {\mathbb {H} P}^{n}}$ est toujours de spin.

Si une variété M de dimension n possède une structure spin, il est possible de construire le fibré associé aux différentes représentations du groupe ${\displaystyle \operatorname {Spin} (n)}$. Les fibres sont des modules sur l'algèbre de Clifford, et on peut utiliser les résultats de classification connus pour ces dernières : toute représentation se décompose en somme directe de représentations irréductibles, et pour une valeur de n donnée, il n'y a qu'une ou deux représentations irréductibles à équivalence près[7].

De façon plus précise, il existe plusieurs notions de fibrés de spineurs irréductibles, puisqu'on peut considérer des représentations de l'algèbre de Clifford au sens réel, complexe, ou ℤ₂-gradué. Certains auteurs réservent les articles définis pour parler du « fibré des spineurs » issu de « la représentation de Spin » qui est une représentation privilégiée, considérée au sens complexe. Elle est irréductible dans le cas n impair et se décompose en deux « représentations de demi-spin » irréductibles dans le cas n pair[8].

On peut également donner une formulation globale de ces constructions, en introduisant le fibré de Clifford de la variété (dont chaque fibre possède une structure d'algèbre de Clifford) et en considérant les modules sur l'espace de ses sections. Finalement, en présence d'une structure spin sur une variété, on retrouve, point par point, les liens reliant les objets algébrique : algèbre de Clifford, groupe spinoriel et leurs représentations.

La connexion de Levi-Civita est l'opérateur différentiel canoniquement attaché à la métrique. Elle induit une connexion sur le fibré de Clifford, qui a les propriétés d'une dérivation vis à vis du produit de Clifford et qui est compatible avec la connexion de Levi-Civita dans l'isomorphisme canonique entre éléments de l'algèbre de Clifford et les tenseurs antisymétriques[9].

Cette connexion induit à son tour une connexion sur les différents fibrés de spineurs, qui est qualifiée de connexion spinorielle (et notée ${\displaystyle \nabla }$ elle aussi). On définit alors l'opérateur de Dirac qui agit sur les sections σ du fibré des spineurs. Dans une base orthonormale mobile, et en chaque point x, il est donné par la formule

${\displaystyle D\sigma =\sum _{i=1}^{n}e_{i}\times \nabla _{e_{i}}(\sigma )}$

dont on montre qu'elle donne un résultat indépendant de la base choisie[10].

On sait qu'il existe différents opérateurs laplaciens en géométrie riemannienne, reliés entre eux par des formules faisant intervenir la courbure de la variété (formules dites de Weitzenböck). Notamment, à la connexion est attachée un opérateur qualifié de « laplacien brut » ou de « laplacien de connexion »

${\displaystyle \nabla ^{\ast }\nabla \varphi =-\sum _{i=1}^{n}\nabla _{e_{i},e_{i}}^{2}(\varphi )}$

Selon un résultat de Lichnerowicz, l'opérateur de Dirac vérifie lui aussi une identité de Weitzenböck faisant uniquement intervenir la courbure scalaire[11] :

${\displaystyle D^{2}=\nabla ^{\ast }\nabla +{\frac {1}{4}}s}$

Le groupe Spin^c peut être introduit comme

${\displaystyle \operatorname {Spin} ^{\mathrm {c} }(n)=(\operatorname {Spin} (n)\times \operatorname {U} (1))/\{(1,1),(-1,-1)\}}$

Il s'agit d'un revêtement à deux feuillets de ${\displaystyle \operatorname {SO} (n)\times \operatorname {U} (1)}$ : il s'insère dans la suite exacte

${\displaystyle 1\to \mathbb {Z} _{2}\to \operatorname {Spin} ^{\mathrm {c} }(n)\to \operatorname {SO} (n)\times \operatorname {U} (1)\to 1.}$

La notion de structure Spin^c sera introduite de nouveau comme un relèvement équivariant, mais pour cela il faut disposer non seulement du fibré des repères orientés, de groupe structural ${\displaystyle \operatorname {SO} (n)}$, mais aussi d'un autre fibré de groupe structural ${\displaystyle \operatorname {U} (1)}$, ce qui revient au même qu'un fibré en droites complexes.

La définition s'énonce donc ainsi : un fibré principal ${\displaystyle P_{\operatorname {SO} (n)}}$ de groupe structural ${\displaystyle \operatorname {SO} (n)}$ est Spin^c quand il existe un fibré principal ${\displaystyle P_{\operatorname {U} (1)}}$ de groupe structural ${\displaystyle \operatorname {U} (1)}$ un fibré principal ${\displaystyle P_{\operatorname {Spin} ^{\mathrm {c} }(n)}}$ de groupe structural ${\displaystyle \operatorname {Spin} ^{\mathrm {c} }(n)}$ tels que

${\displaystyle P_{\operatorname {Spin} ^{\mathrm {c} }(n)}\to P_{\operatorname {SO} (n)}\times P_{\operatorname {U} (1)}}$

est un relèvement équivariant. À nouveau, on parler de structure Spin^c pour une variété riemannienne orientée en faisant référence à son fibré tangent[12].

Les conditions d'existence d'une structure Spin^c sont moins restrictives que celles rencontrées pour la structure Spin. Notamment une variété Spin admet une structure Spin^c canonique. Toutes les variétés admettant une structure presque complexe sont également Spin^c de façon canonique[13]^,[14].

Pour relier les deux types de structures et illustrer la plus grande facilité de trouver des structures Spin^c, on peut prouver qu'une variété est Spin^c si et seulement si il est possible de rendre le fibré tangent Spin en lui ajoutant un certain fibré en droites complexes L. Par suite, une variété orientable est Spin^c si et seulement si la deuxième classe de Stiefel Whitney est la réduction modulo 2 d'une classe entière (en l'occurrence, issue de la première classe de Chern pour L)[13].

Une conséquence notable de cette caractérisation est que toute variété orientable de dimension 4 admet une structure Spin^c.

Les représentations de spin et de demi spin du groupe ${\displaystyle \operatorname {Spin} (n)}$ possèdent une unique extension au groupe ${\displaystyle \operatorname {Spin} ^{\mathrm {c} }(n)}$. À nouveau, cela permet, lorsqu'on a une structure Spin^c, de définir les fibrés spinoriels associés[15].

En revanche, la connexion de Levi-Civita ne suffit plus pour déterminer une connexion sur ces fibrés spinoriels : il faut également disposer d'une connexion sur le fibré en droites associé à la structure. Puisque l'algèbre de Lie de ${\displaystyle U(1)}$ est ${\displaystyle i\mathbb {R} }$, cela se fait en donnant une fonction A à valeurs imaginaires pures. On peut alors définir un opérateur de Dirac

${\displaystyle D_{A}\sigma =\sum _{i=1}^{n}e_{i}\times \nabla _{A,e_{i}}(\sigma )}$

et la formule de Lichnerowicz doit être adaptée : il apparaît un terme supplémentaire, qui est la courbure de A[16].

${\displaystyle D_{A}^{2}=\nabla _{A}^{\ast }\nabla _{A}+{\frac {1}{4}}s+{\frac {1}{2}}F_{A}}$

• (en) H. Blaine Lawson (en) et Marie-Louise Michelsohn, Spin Geometry, PUP, 1989 (ISBN 978-0-691-08542-5)
• (en) Jürgen Jost, Riemannian Geometry and Geometric Analysis, 2002 [détail des éditions]

• groupe spinoriel
• Fibré principal
• Spineur

• Portail de la géométrie