Opérateurs laplaciens en géométrie riemannienne
En géométrie riemannienne, il existe plusieurs généralisations couramment utilisées de l'opérateur laplacien. La plus simple est l'opérateur de Laplace-Beltrami qui s'applique aux fonctions numériques. On peut définir des opérateurs permettant de dériver des objets plus généraux, formes différentielles, tenseurs ou sections de fibrés vectoriels, de différentes manières, parfois concurrentes. Plusieurs d'entre eux méritent d'être qualifiés de laplaciens, à partir de leur symbole principal, c'est-à-dire les termes de dérivation de plus haut degré[1]. Dès lors, ils partagent différentes caractéristiques, comme leur caractère elliptique. Il est possible de les relier les uns aux autres par des formules dites de Weitzenböck qui font intervenir la courbure et d'en déduire des propriétés intéressantes reliant la topologie et l'analyse fonctionnelle.
Définition commune
[modifier | modifier le code]Dans tout ce qui suit on se place sur une variété riemannienne (M,g). On utilisera les symboles du produit scalaire et de la norme et pour la métrique induite sur les tenseurs ou les formes différentielles.
Opérateur de Laplace-Beltrami
[modifier | modifier le code]Dans le cas des fonctions numériques on définit le laplacien par la formule[2]
cette convention, couramment pratiquée en géométrie différentielle est opposée à celle qu'on trouve habituellement en analyse ; cela s'explique notamment par le fait de privilégier le signe « + » dans l'expression du lien avec la différentielle extérieure et la codifférentielle (qui se généralisera avec le laplacien de Hodge)
Ce laplacien constitue un opérateur différentiel elliptique et autoadjoint. En intégrant la relation grâce au théorème de Stokes, sur une variété compacte, son noyau (ensemble des fonctions dites harmoniques) est réduit aux constantes[3].
Opérateurs laplaciens en général
[modifier | modifier le code]Dans le cadre euclidien, on peut définir une notion générale de symbole d'un opérateur différentiel, c'est-à-dire une expression donnant les coefficients et les ordres de dérivation. Mais pour les variétés différentielles, les coefficients sont modifiés lors des changements de cartes. Seul le symbole principal se conserve, sous forme d'un tenseur symétrique[4].
Sur une variété riemannienne (M,g) il est donc possible de qualifier de laplaciens tous les opérateurs différentiels agissant sur les sections d'un fibré vectoriel E et dont le symbole principal
est directement relié à la métrique via les relations[5]
Différents opérateurs
[modifier | modifier le code]Laplacien de connexion (ou laplacien brut)
[modifier | modifier le code]Puisqu'à la métrique riemannienne est canoniquement associée la connexion de Levi-Civita, on dispose d'une dérivée covariante permettant de dériver les fonctions, formes différentielles et tous types de tenseurs, à tout ordre. Le laplacien brut, ou laplacien de connexion est donné à l'aide de la trace (c'est-à-dire de la contraction selon g) de la dérivée seconde[6]
On peut aussi étendre cette définition pour calculer le laplacien sur tout fibré vectoriel riemannien E puisqu'on dispose alors d'une dérivation covariante sur les covecteurs à valeurs dans E :
en notant l'adjoint formel de la connexion[5]. Le symbole principal de justifie qu'il s'agit bien d'un opérateur laplacien, qui est en outre formellement autoadjoint et positif. Si la variété est compacte, le noyau est formé des sections vérifiant ,c'est-à-cire avec T globalement parallèle[7].
Laplacien de Hodge
[modifier | modifier le code]Le laplacien de Hodge n'est défini que sur les formes différentielles ; il porte aussi les noms d'opérateur de Laplace-De Rham, ou de Laplace-Beltrami, voire de laplacien tout court[8]. Dans le cas d'une variété riemannienne orientée, on peut définir la codifférentielle grâce à l'opérateur de dualité de Hodge : en dimension n, pour les p-formes
Le laplacien combine la différentielle et la codifférentielle
et l'opérateur obtenu commute avec l'opérateur de Hodge.
Cependant, si un changement d'orientation modifie l'opérateur de Hodge, on retrouve la même codifférentielle, et partant, le même laplacien, qui peuvent donc être définis même sur des variétés non orientables.
Les formes différentielles de laplacien nul sont dites harmoniques. Sur une variété compacte et orientée, ces formes harmoniques annulent à la fois la différentielle et la codifférentielle, et on peut établir le théorème de décomposition de Hodge : toute forme différentielle s'écrit de façon unique comme somme d'une forme exacte, d'une forme co-exacte et d'une forme harmonique[3].
Laplacien de Lichnerowicz
[modifier | modifier le code]Laplaciens de Dirac
[modifier | modifier le code]On peut définir une notion générale d'opérateur de Dirac : ce sont des opérateurs définis sur certains fibrés dès lors qu'on a de bonnes propriétés de compatibilité avec le fibré de Clifford de la variété[9]. Ils ont tous en commun d'avoir un carré qui est un opérateur laplacien. Parmi les exemples notables il convient de citer l'opérateur suivant sur le fibré des formes différentielles, et dont le carré est le laplacien de Hodge mentionné ci-dessus[10] :
Toutefois, dans cette famille, deux opérateurs spécifiques sont plus fréquemment qualifiés d'opérateur de Dirac. Ils ne sont pas définis sur toute variété riemannienne, mais seulement lorsqu'on dispose d'une structure Spin ou Spinc et du fibré des spineurs associé[11]. Dans le cas d'une structure Spin, il existe un opérateur de Dirac privilégié et quand on souhaite le distinguer de la famille générale qui précède, on parle d'opérateur d'Atiyah-Singer[12]. Dans une base orthonormale mobile, et en chaque point x, il est donné par la formule
faisant apparaître un produit de Clifford et dont on montre qu'elle donne un résultat indépendant de la base choisie et qu'elle a bien pour carré un laplacien (laplacien de Dirac ou d'Atiyah-Singer)[11]. Pour une structure Spinc, il y a un choix de connexion à faire sur le fibré en droites associé à la structure, donc plusieurs opérateurs de Dirac et laplaciens possibles.
Formules de Weitzenböck et méthode de Bochner
[modifier | modifier le code]Relations entre les laplaciens : les formules de Weitzenböck
[modifier | modifier le code]La formule historique de Weitzenböck, établie en 1923 et redécouverte par Bochner en 1948, relie le laplacien de Hodge pour une forme différentielle au laplacien de connexion ; elle montre que la différence entre ces deux laplaciens est un terme sophistiqué faisant intervenir la courbure[13]. Dans le cas des 1-formes, elle s'écrit à l'aide d'une version du tenseur courbure de Ricci (forme bilinéaire de Ricci sur le fibré cotangent)[14]
On peut en donner une formulation plus générale et plus élégante, englobant dans un premier temps tous les laplaciens de Dirac
où le terme supplémentaire s'exprime avec une multiplication de Clifford et l'opérateur de courbure [7]
Il en découle plusieurs cas particuliers intéressants : pour l'opérateur de Dirac d'Atiyah-Singer le terme de courbure est particulièrement simple, limité à un terme de courbure scalaire (formule dite de Lichnerowicz)[15]
Applications : la technique de Bochner
[modifier | modifier le code]Bochner établit en 1946 que, pour des variétés riemanniennes, la positivité de la courbure de Ricci donne une limite la valeur d'un invariant topologique, le premier nombre de Betti. Ce résultat est intéressant en lui-même, puisqu'il fait partie d'une gamme de résultats qui montrent l'incidence des hypothèses de courbure sur la topologie des variétés. Et la démarche de Bochner, qui exploite les formules de Weitzenböck, a vu son emploi s'étendre largement pour produire de nombreux fruits.
Pour le théorème originel de Bochner, on tire de cette formule la valeur du laplacien du carré de la norme d'une 1-forme harmonique
- .
L'intégrale de l'expression est nulle par le théorème de Stokes et on peut alors exploiter les propriétés de positivité ou stricte positivité[16].
Un résultat parent, de Gallot et Meyer, donne la nullité de tous les nombres de Betti d'ordre autres que 1 et n, en faisant cette fois une hypothèse de stricte positivité sur l'opérateur de courbure : on a affaire dans ce cas à une sphère d'homologie[17]. On peut comparer ce résultat au théorème de la sphère qui donne un difféomorphisme sous des hypothèses plus exigeantes.
De la formule de Lichnerowicz on tire également un certain nombre de conséquences sur les variétés de Spin qui sont compactes : si la courbure scalaire est strictement positive, le noyau de l'opérateur de Atiyah-Singer est réduit à 0 (pas de spineur harmonique). Et on peut trouver des contraintes sur un autre invariant, le -genre[17].
La technique de Bochner permet de trouver d'autres types d'informations : une borne sur les valeurs propres du laplacien si la courbure de Ricci est suffisamment grande, ou encore des propriétés des champs de Killing[13].
Laplacien pour les applications entre variétés riemanniennes
[modifier | modifier le code]En 1964, James Eells et Joseph H. Sampson, ont introduit une notion d'application harmonique entre deux variétés riemanniennes et , comme solution d'un certain problème variationnel, généralisant le problème de Dirichlet. Au moins dans un cadre simple (variétés compactes orientes), il s'agit de trouver les points critiques d'une fonctionnelle appelée énergie de Dirichlet. L'équation d'Euler-Lagrange associée s'écrit
(avec la connexion de Levi-Civita pour h), ou encore en coordonnées locales (et avec les symboles de Christoffel pour chacune des deux métriques et l'emploi de la convention de sommation d'Einstein)[18]
Ce champ de tension peut s'interprèter comme le gradient de l'énergie de Dirichlet, ou encore comme laplacien généralisé de (trace du hessien généralisé).
Notes et références
[modifier | modifier le code]- C'est le choix de Besse 1987, p. 52
- Jost 2002, p. 84-85.
- Thierry Aubin, (1998), « Some nonlinear problems in Riemannian geometry », Springer Monographs in Mathematics, Springer-Verlag, Berlin, (ISBN 3-540-60752-8), pp. 28-29
- Lawson et Michelsohn 1989, p. 167-168.
- Besse 1987, p. 52
- Berger 2003, p. 707
- Lawson et Michelsohn 1989, p. 155
- Jost 2002, p. 83
- On en trouve une étude complète, sous le nom de fibrés et opérateurs de Dirac, in Lawson et Michelsohn 1989, p. 112-153
- Lawson et Michelsohn 1989, p. 123
- Jost 2002, p. 144
- Lawson et Michelsohn 1989, p. 121
- Berger 2003, p. 708
- Lawson et Michelsohn 1989, p. 156
- Besse 1987, p. 55
- Berger 2003, p. 595
- Lawson et Michelsohn 1989, pp. 158-159
- Jost 2002, p. 393
Bibliographie
[modifier | modifier le code]- (en) Marcel Berger, A Panoramic View of Riemannian Geometry, [détail de l’édition]
- (en) Arthur Besse, Einstein Manifolds, Berlin, Springer-Verlag, coll. « Ergebnisse der Mathematik und ihrer Grenzgebiete », , chapitre 1 section I (pages 52 et suivantes)
- (en) Jürgen Jost, Riemannian Geometry and Geometric Analysis, [détail des éditions]
- (en) H. Blaine Lawson et Marie-Louise Michelsohn, Spin Geometry, PUP, (ISBN 978-0-691-08542-5), partie II