LES GROUPES COMME UNIVERSAUX
Jean-Marie SOURIAU
Université de Provence
L'histoire des sciences respecte scrupuleusement la chronologie des idées. L'un des rôles de l'épistémologie, c'est de déchirer ce livre d'histoire, et d'en ajuster autrement les feuillets.
Plaçons-nous pour commencer au 14ème siècle, et lisons Guillaume d'Ockham : "Un Universel, c'est un projet de l'esprit qui s'applique à un grand nombre d'objets".
L'Universel groupe remonte aux années 1870 (Sophus Lie, Felix Klein). Il a d'abord été "groupe de transformations" (Lagrange 1770, Abel 1826, Galois 1832).
Puis il est devenu "abstrait", et accompagné par les "actions de groupe", qui l'appliquent
à un grand nombre d'objets.
Dirons-nous aujourd'hui, comme Felix Klein : "une géométrie, c'est une action de groupe" ? Non, choisissons plutôt: une géométrie, c'est un groupe.
-o-o-o-o-o-o-o-o-o-o-
I
Commençons par la géométrie euclidienne, construite au ~IIIème siècle en utilisant les déplacements des "points de l'espace".
Déplacements qui constituent à l'évidence un "groupe de permutations", le Groupe d'Euclide.
Le Groupe d'Euclide "abstrait" peut aussi s'appliquer à d'autres objets que les points. Euclide l'applique aux objets couples-de-points, puis aux triplets-de-points, etc.
Ces divers objets sont classés par l'action du groupe : deux couples de points sont "de même classe" si un déplacement amène l'un sur l'autre. Les classes de couples, ce sont donc les "distances". Ce qui pose immédiatement le problème du "troisième cas d'égalité des triangles".
Le Groupe d'Euclide fait aussi apparaître des objets réguliers (polyèdres par exemple) ; leur régularité, c'est le sous-groupe constitué des éléments qui ne changent pas l'objet.
Ces notions duales : classe et régularité, s'étendent évidemment à toute action de tout groupe. Les classes d'une action de groupe peuvent s'interpréter "en compréhension" ou "en extension" — comme l'enseigne la Logique de Port-Royal (1662).
-o-o-o-o-o-o-o-o-o-o-
II
Le Groupe d'Euclide, nous venons de le définir par son action sur les points. Mais notre programme consiste à attribuer la primauté au groupe, indépendamment du choix d'une action particulière : au revoir et merci, chers petits points.
Au ~IIIème siècle déjà, Archimède avait utilisé des objets euclidiens qui ne sont pas constitués de points : Les moments.
Un moment peut se définir par son "travail" dans un "déplacement virtuel infinitésimal" (Lagrange, 1788).
Autrement dit, un moment est un "tenseur" défini sur le groupe d'Euclide, au point neutre.
La notion de moment s'applique ainsi aux groupes qui possèdent une structure infinitésimale convenable (les groupes "difféologiques", "groupes de Lie" par exemple). Alors le groupe agit naturellement sur ses moments: "action coadjointe" dit-on.
La statique selon Archimède (leviers, corps flottants) s'exprime ainsi : si un corps est en équilibre, la somme des moments qu'il subit est nulle.
Ce "principe d'Archimède" implique donc les moments et l'action coadjointe dans la physique de la matière.
Un intéressant théorème du 20ème siècle : la géométrie induite sur chaque "classe de moments" s'accompagne d'une "sur-géométrie", dite "symplectique".
Prenons l'exemple d'un moment euclidien réduit à une seule force — comme la poussée de l'eau sur un navire au repos.
La "classe coadjointe" de cette force est donc symplectique ; plus précisément, c'est une "variété symplectique de dimension 4". On peut se la représenter comme l'ensemble des droites orientées, transmettant chacune une force de la même intensité que la force choisie initialement.
Nous en rencontrons dans la nature, des droites orientées : les rayons lumineux. La géométrie euclidienne de la lumière s'accompagne donc nécessairement d'une géométrie symplectique. Essayons de l'analyser.
Chaque classe euclidienne de rayons lumineux se caractérise par une "grandeur" (qui correspond à l'intensité de la force) : cette grandeur, c'est la couleur.
Quand un rayon lumineux "monochromatique" traverse un instrument d'optique, il en ressort avec la même couleur, et la correspondance [ entrée → sortie ] respecte la "forme symplectique". Aussi bien pour les
"systèmes dioptriques" (les verres de lunettes) que pour les "systèmes catadioptriques" (les miroirs ardents de Syracuse ou les télescopes).
Un petit problème : il existe un phénomène gênant, appelé "diffraction", qui empêche d'isoler un rayon lumineux. La diffraction permet, au mieux, de concentrer la lumière sur un ensemble de rayons appelé "faisceau lumineux" ; et pour le géomètre, ce faisceau est une "variété lagrangienne" (dont la définition est symplectique). Conséquence : un faisceau lumineux "lagrangien" est encore lagrangien quand il ressort d'un instrument d'optique.
Voilà pourquoi les reflets sur les parois d'une tasse éclairée par le soleil peuvent produire au fond une courbe rebroussée, appelée "caustique".
Mais nous avons négligé jusqu'ici une autre "grandeur" caractéristique des classes de rayons lumineux ( dans la métaphore archimédienne, elle caractérise la "torsion", droite ou gauche, du moment). Grandeur qui appartient en propre à la lumière : c'est la "constante de Planck réduite", que l'on écrit h .Si petite soit-elle, sa prise en compte a une conséquence qualitative importante : la classe des rayons lumineux se découpe en deux "composantes"; la lumière se partage en deux états de "polarisation circulaire", "à gauche" et "à droite". Dans les années 1810, Augustin Fresnel a expérimenté la "biréfringence rotatoire" des prismes de quartz — qui séparent les deux nappes.
Dès le ~VIème siècle, une autre géométrie était apparue, concernant les "figures semblables". Elle est définie par le Groupe de Thalès, groupe des "similitudes" dont le Groupe d'Euclide est "sous-groupe invariant".
Pour le Groupe de Thalès, il n'existe qu'une seule classe de couples de points distincts. Ceci permet de définir le "rapport de deux distances", qui appartient nécessairement au "groupe-quotient Thalès/Euclide". Groupe que nous décrivons comme "groupe multiplicatif des réels positifs".
Ainsi apparaît l'art de mesurer.
La nature ne permet pas de faire agir le Groupe de Thalès comme le Groupe d'Euclide.
Cependant on rencontre quelques objets qui présentent une régularité "thalésienne" et "non euclidienne". Signe certain de leur origine : elle n'est pas "naturelle", mais "artificielle". Exemple : les coquilles que les bigorneaux savent construire grâce à leur art surnaturel.
Tout aussi artificiellement, nous pouvons faire agir le Groupe de Thalès sur les moments : il modifie à la fois les forces et les couleurs. De cette action résulte la "proportion" :
h / couleur = torsion / force
d'où les amateurs d'analyse dimensionnelle déduiront que la couleur est une impulsion.
Impulsion de quoi? Des atomes de lumière, disons les "photons newtoniens". Et par suite, h sera le tournoiement (ou spin) commun à tous ces photons.
Nous voyons comment le groupe de Thalès permet de mesurer autre chose que les distances.
Depuis le 18ème siècle, cette numérisation est achevée, en ce sens que nous savons construire un groupe de "matrices" (tableaux de nombres dont la loi de groupe ressort des "quatre opérations" de l'arithmétique), groupe qui sera déclaré "isomorphe" au Groupe d'Euclide.
Les ingrédients qui l'ont permis sont dus à Pythagore (son théorème permet de "numériser l'angle droit") et à Lagrange (qui a inventé au milieu du 18ème siècle les "coordonnées orthonormales" que l'on dit "cartésiennes").
Ainsi s'est construite la géométrie analytique ; géométrie que Lagrange a complétée en 1788 par la mécanique analytique.
-o-o-o-o-o-o-o-o-o-o-
III
Mécanique, science des machines, devenue science des mouvements quand Kepler eut fondé la "mécanique céleste" (1609-1621).
Pour la développer, le Groupe d'Euclide sera remplacé par le Groupe de Galilée.
Groupe de Galilée qui agit sur "l'espace-temps", constitué des "événements" (couples point-instant).
Groupe de Galilée qui est lui aussi "isomorphe à un groupe de matrices". Dans la géométrie euclidienne d'Archimède, un moment non nul condamnait les choses au déséquilibre, donc au mouvement.
En géométrie galiléenne, un moment sera associé à chaque mouvement de chaque chose (doublet latin momentum—movimentum).
Moment qui engendre héréditairement un moment de chaque sous-groupe.
Il y a un sous-groupe du Groupe de Galilée que nous subissons et que nous croyons bien connaître : il est constitué des "translations temporelles" : "il y a cinq minutes", "dans cinquante ans", etc. Ce groupe, appelons-le Chronos.
Le groupe Chronos, nous avons des machines pour en découper des sous-groupes: les chronomètres, et autres oscillateurs.
Le rythme, élément universel de toutes les musiques, c'est un choix de tels sous-groupes.
C'est aussi Chronos qui définit "l'espace" : un point immobile dans l'espace, c'est une classe d'événements sous l'action de Chronos .
Chaque mouvement de chaque chose est pourvu d'un moment galiléen ; donc aussi du sous-groupe Chronos. Voilà l'énergie.
Cette énergie, ce n'est qu'une partie émergée de l'iceberg moment. Pour découvrir les 90% qui restent, il faut envisager d'autres sous-groupes.
C'est ainsi qu'on peut faire apparaître l'impulsion et le tournoiement, qu'on peut retrouver le "centre de masse" sur lequel travaillait déjà Archimède.
Quand deux choses se rencontrent, elles ajoutent leurs moments ; quand elles se séparent, elles le partagent ; elles peuvent en échanger une partie, mais le moment total reste nécessairement constant.
C'est pourquoi nous manipulons le moment avec adresse et prudence quand nous courons entre des obstacles, quand nous prenons ou quittons un escalator, quand nous conduisons une voiture.
Mais un horrible scandale va éclabousser cette belle construction : une analyse élémentaire montre que Chronos n'est pas "invariant" dans le groupe de Galilée.
La géométrie galiléenne ne permet pas de l'y distinguer : Chronos , et l'espace qui va avec, sont donc subjectifs.
L'espace dans lequel vous vivez, c'est vous qui l'avez choisi. C'est celui qui respecte votre confort.
Mais vous acceptez quelquefois de changer de Chronos, de quitter l'espace de votre maison pour habiter celui d'une auto, d'un train, d'un avion.
L'expression classique "espace-temps" est donc subjective, elle aussi. Pour respecter la géométrie, il faudra l'éviter : l'ensemble des événements, arène du Groupe de Galilée, le physicien l'appellera "Univers".
De même l'énergie, moment du groupe Chronos, est aussi subjective que l'espace : l'énergie d'un mouvement que vous faites dans un train, ce n'est pas du tout celle que constatent les observatrices situées dans la campagne environnante.
D'où nous vient donc l'illusion d'un espace absolu ? Le mot "géométrie" nous le suggère : de notre filiation terrestre.
Née du tumulte et de la fureur, notre planète-mère a acquis progressivement une régularité presque parfaite. Le Chronos de tout le monde, ce n'est que cette régularité de la Terre.
C'est un fait général : une chose isolée qui vieillit tend à acquérir son propre Chronos. Un principe premier de la thermodynamique dissipative.
Quelques précisions : Le vieillissement de la chose peut se mesurer ; le résultat s'appelle "entropie" (Boltzmann, 1877). Le "second principe de la thermodynamique" nous affirme que cette entropie ne peut jamais décroître.
Et le "premier principe" ? il est contenu dans un principe dix fois plus riche, la constance du "moment galiléen". La croissance de l'entropie doit donc respecter cette décuple constance.
Les amateurs de "calcul des variations" reconnaîtront une circonstance familière: un "multiplicateur de Lagrange" β va intervenir, qui caractérisera chacun des "états " où l'entropie ne peut plus croître.
Géométriquement, β , en dualité avec le moment, habite "l'algèbre de Lie" du Groupe de Galilée ; il peut se représenter comme un "quadri-vecteur" d'Univers.
Et le Chronos propre de la chose est engendré par β .
Les astres suffisamment vieux ressemblent à ce portrait, chacun avec son propre β . Mais le Chronos associé est souvent un peu plus compliqué que celui que nous avions imaginé tout à l'heure : les planètes et les étoiles tournent.
Le fait est là, la Terre tourne, elle aussi.
Le β de la Terre caractérise sa période de rotation ; le "jour sidéral", 23h 56 min. environ.
Cette rotation, la géométrie demande que ce soit celle d'un "solide" — même si la planète conserve une certaine fluidité-plasticité.
La rotation de la Terre casse l'apparente régularité euclidienne, et produit des effets mécaniques paradoxaux : gyroscope de Foucault (1852), alizés et quarantièmes rugissants.
Heureusement, elle ne gêne pas les musiciens.
Pour tout système isolé en équilibre, le quadri-vecteur β définit aussi la température d'équilibre (la mesure de β est l'inverse de la température absolue).
Même en dehors d'un équilibre thermodynamique achevé, le "vecteur-température" β subsiste localement. Max Planck, en décembre 1900, nous a donné le moyen de le mesurer en observant le rayonnement : c'est ainsi que nous savons qu'autour de notre Galaxie, la température est de 2.73 ° Kelvin.
β , c'est enfin la flèche qui nous indique dans quel sens coule le temps.
Flèche du temps qui permet le finalisme de la vie : action sur le futur grâce au souvenir du passé.
Flèche qui interdit toute action sur le passé et tout souvenir du futur : regrets et espoirs.
-o-o-o-o-o-o-o-o-o-o-
IV
Le Groupe de Galilée possède une qualité particulière, la "cohomologie symplectique", qui se mesure avec une nouvelle quantité particulière : la masse.
Quelques conséquences de cette cohomologie galiléenne : Si la masse n'est pas nulle, chaque mouvement de chaque chose isolée se décompose en un couple : ( mouvement du centre de masse, mouvement autour du centre de masse ).
On peut construire un nouveau groupe, "extension centrale" du Groupe de Galilée ; cette extension, c'est le Groupe de Bargmann.
Chaque "particule élémentaire" est associée à une "classe coadjointe" du Groupe de Bargmann — qui représente l'ensemble de ses mouvements possibles.
On décrit ainsi les "points matériels", les "particules à spin", et même les "photons" (classés par impulsion, donc par couleur).
L'espace des mouvements de chaque particule est ainsi muni d'une "géométrie symplectique", respectée par l'action du Groupe de Galilée.
-o-o-o-o-o-o-o-o-o-o-
V
Jusqu'ici, nous avons négligé de prendre en compte la pesanteur.
Pourtant, nous la pratiquons assidûment depuis l'instant de notre naissance, et nous savons que rien ne lui échappe. Ce caractère universel doit pouvoir s'étayer par la géométrie. Oeuvre entreprise en 1916 par Einstein, élaboration de la Relativité Générale.
Dans les années 1920, Einstein parlait de "mollusques de référence" ; Salvador Dali dessinait des "montres molles".
Ces images illustrent l'intervention d'une nouvelle géométrie : la géométrie différentielle, qui est définie par le "groupe des difféomorphismes de classe C∞ ".
Dans le cas des difféomorphismes de l'Univers, nous le nommerons simplement : Groupe Souple.
Comment un tel groupe, beaucoup plus grand que le groupe de Galilée (on dit que "sa dimension est infinie"), peut-il intervenir dans la physique ?
Très simplement, si on veut bien examiner la simple "chute des corps".
Comme nous l'a enseigné Galilée, tout "point matériel" qui tombe emprunte "l'accélération de la pesanteur". Cette loi s'applique aussi bien aux astres qu'à la pomme de Newton. Or on peut l'écrire avec la nouvelle géométrie : La pesanteur peut s'interpréter comme objet souple : une "connexion affine symétrique" D .
La "ligne d'Univers" d'un point matériel, associée à sa "masse", devient aussi un objet souple T : un "2-tenseur-distribution-contravariant-symétrique".
Alors la "loi de la chute des corps" devient :
"TDZ = 0 si Z est un 1-tenseur C∞ à support compact" ;
en abrégé :
TD = 0 .
L'intérêt de cette écriture, c'est qu'elle peut devenir une propriété universelle de la matière :
TD = 0 implique d'abord la "conservation de la masse" au cours du mouvement.
Si deux particules T1 et T 2 tombent indépendamment, leur chute commune sera décrite par la distribution T = T1+T2 , nouvelle solution de TD = 0.
Si ces particules se choquent, l'équation TD = 0 implique aussi toutes les "lois des collisions", celles qui ont été formulées au 17ème siècle (Galilée, Mariotte, Huygens).
Un seul objet T , solution de l'équation TD = 0 , peut ainsi peupler l'Univers d'une infinité de particules qui tombent en s'entrechoquant : vide, atomes et clinamen selon Démocrite et Lucrèce.
Une loi de probabilité sur les solutions du type précédent permet de définir une solution "moyenne" T, géométrisant la "théorie cinétique des gaz".
Apparition de la "pression".
Ces solutions, et d'autres, permettent de modéliser les divers "milieux continus". Dans ces cas-là, T peut s'exprimer avec la densité, la vitesse et la contrainte du milieu. Alors TD = 0 produit le système des équations d'Euler (1755) ; équations écrites ici "linéairement".
Par ailleurs, un simple calcul montre que toute solution isolée de l'équation TD = 0 , associée à une solution tensorielle Z de l'équation DZ = 0, définit une "grandeur conservée".
Si l'on se trouve dans une station spatiale, en "impesanteur", il y a beaucoup de solutions de l'équation DZ = 0, donc beaucoup de grandeurs conservées pour chaque mouvement. On connaît déjà la masse : on trouve en plus l'impulsion, le tournoiement , le centre de masse. Dix grandeurs au total sur lesquelles peuvent
s'appuyer les astronautes dans leurs évolutions.
L'objet protéiforme T que nous venons de rencontrer, nous l'appellerons : Dynamique de la matière, et l'équation TD = 0 méritera le nom de "loi de la dynamique".
Le savoir-faire des mécaniciens, c'est de joindre à cette "loi de la dynamique" des "lois de comportement" concernant les matériaux qu'ils étudient.
Lois qu'ils choisissent invariantes par l'action du Groupe de Galilée — sous-groupe du Groupe Souple. Ont-ils raison ? Nous verrons.
Ainsi peuvent se construire la "théorie de l'élasticité", la "mécanique des fluides". L'usage des distributions permet aussi de décrire les "coques" de la chaudronnerie, la "tension superficielle" qui permet à des insectes de marcher sur l'eau ; la simple "théorie des cordes", tendues ou vibrantes ; de définir les "forces" qu'elles
transmettent, de "composer" ces forces. Pensons à une toile d'araignée agitée par l'impact d'une mouche.
Et ça fonctionne parfaitement dans le cas des "phénomènes dissipatifs", qui produisent des résultats irréversibles.
Relativité Générale : fondement de la Mécanique Classique.
-o-o-o-o-o-o-o-o-o-o-
VI
Mais un nouveau problème apparaît : pas question de traiter ainsi la loi de l'équivalence "énergie-chaleur" — simplement parce que l'énergie a disparu !
Pour la retrouver, il faudra sacrifier le Groupe de Galilée.
Revenons aux "particules élémentaires" que nous avions déduites de ce groupe. Il y avait une difficulté concernant les photons : leur vitesse était rigoureusement infinie. Or, dès 1676, Römer avait mesuré la vitesse c de la lumière et constaté qu'elle était finie — si grande soit-elle. Et la même pour toutes les couleurs.
Pour avoir de "bons photons", une seule solution : trouver un substitut du groupe de Galilée qui implique cette valeur c . C'est possible, et on peut trouver ainsi le "groupe de Poincaré", sous-groupe du Groupe Souple. Sa dimension est 10, comme celle du Groupe de Galilée ; sa géométrie, la Relativité Restreinte fournit de nouvelles particules, tout aussi symplectiques, mais plus conformes à l'expérience ; les photons vont maintenant à la bonne vitesse c .
Relativité Restreinte qui apparaît comme épistémologiquement postérieure à la Relativité Générale — même si elle est historiquement antérieure.
Cette géométrie est légale depuis 1983 : la vitesse c de la lumière a été ajustée arbitrairement (un nombre entier de mètres par seconde); le mètre-étalon a donc été relégué au musée.
Voilà enfin un événement bien daté de l'histoire de la géométrie au 20ème siècle.
Une nouveauté de la "Relativité Restreinte" : la masse d'une chose dépend de son mouvement — selon la formule m = E/c2, E désignant l'énergie retrouvée.
Résultat établi à la fin du 19ème siècle par Henri Poincaré dans le cas de la lumière ; en 1905, Albert Einstein a déclaré que cette formule était générale, et il a eu la bonne idée d'y chasser le dénominateur.
Mais comment se fait-il que nous ayons une grandeur conservée en moins, masse et énergie ayant perdu leur indépendance ?
Parce que le Groupe de Bargmann permettait d'utiliser subrepticement la "masse atomique" des chimistes, dite aussi "quantité de matière". Quantité qui varie peu dans les conditions généralement réalisées sur Terre.
La géométrie de Galilée-Bargmann était celle du paradis écologiste : pas de radioactivité, pas d'énergie nucléaire. Mais la géométrie de Poincaré respecte mieux la nature "telle qu'elle est".
Quelques conséquences de la Relativité Restreinte : Les photons n'ont plus de couleur propre, leur couleur est relative à qui les regarde (effet Doppler-Fizeau).
La "cohomologie symplectique" a disparu : disparition de la décomposition barycentrique. Le solide mobile, dont Euler et Poinsot avaient calculé les mouvements libres "autour du centre de masse", n'existe plus : pour
décrire les mouvements des objets les plus durs, il devient nécessaire de prendre en compte leurs propriétés élastiques ou plastiques.
Mais la loi de la dynamique TD = 0 reste inchangée. Les mécaniciens pourraient tout aussi bien utiliser le Groupe de Poincaré pour écrire les lois de comportement, et ils n'auraient plus de problème avec l'énergie, puisqu'ils pourraient admettre que E= mc2.
Mais la place du Groupe de Poincaré dans le Groupe Souple pose problème.
Pourrait-on le définir comme "régularité de l'impesanteur" ? Eh bien non, ce qu'on obtient ainsi, c'est un groupe plus grand, dont la dimension est 20 : le "groupe affine".
Voici : le Groupe de Poincaré est bien la régularité d'un objet souple g , objet d'un type nouveau : une "métrique hyperbolique normale".
La vitesse c de la lumière est inscrite dans g , ce qui explique comment c peut se transmettre au Groupe de Poincaré.
Examinons donc cette métrique d'Univers objet fondamental de la physique — dont l'étude a commencé avec les travaux d'Hermann Minkowski (1908).
Comme son nom l'indique, la métrique g permet de mesurer les distances et les durées, selon une méthode due à Bernhard Riemann (1853).
La thermodynamique des "vieilles choses" telles que la Terre implique toujours un "vecteur-température" β , qui appartient maintenant à "l'algèbre de Lie du Groupe de Poincaré". Dans le cas des choses "en cours de
vieillissement", β , devenu objet souple, engendre avec g un nouvel objet β g ("la dérivée de Lie de la métrique g par le vecteur β "). Si β g n'est pas nul, la "dissipation" va apparaître.
Ainsi peuvent se géométriser la conduction de la chaleur (équations de Fourier, 1822), la théorie de la viscosité (équations de Navier, 1822) ; etc.
La métrique définit enfin la pesanteur, comme la seule connexion D qui vérifie l'équation Dg = 0 .
Mais la pesanteur ainsi obtenue ne correspond à l'expérience que dans une région pas trop grande : elle exigerait que la Terre soit plate — or nous savons qu'elle est ne l'est pas…
Le Groupe de Poincaré et sa Relativité Restreinte ne sont donc qu'une approximation microscopique.
-o-o-o-o-o-o-o-o-o-o-
VII
A grande échelle, comment utiliser le Groupe Souple ?
Demandons-lui ce que nous demandions jusqu'ici aux groupes d'Euclide, Galilée ou Poincaré : agir sur le réel sans modifier la physique. Autrement dit : agir sur le possible.
Choisissez un point quelconque de l'Univers. Vous trouverez peut-être un élément du Groupe Souple qui vous y emmènera. Si vous le faites agir, vous aurez fait un grand voyage, et même un voyage dans le temps.
Comment ce voyage est-il possible ? Simplement parce que vous ne vous apercevrez de rien. Vous aurez été accompagné par la métrique, par la pesanteur; par votre environnement ; par le reste du monde.
L'action du Groupe Souple transforme le possible en possible parce qu'elle ne change rien, parce qu'elle est inobservable… …nouvelle épistémologie de la géométrie.
Soyons plus précis : envisageons l'ensemble g des métriques possibles de l'Univers. Chaque classe de g sous l'action du Groupe Souple, appelons-la Un cosmos.
En souvenir d'Empédocle, appelons Physis l'ensemble Φ de tous les Cosmos. Notre Cosmos à nous, ce n'est plus que l'un des points de la Physis.
Nous pouvons munir g de la "difféologie compacte", qui est invariante par l'action du Groupe Souple. Elle descend sur la Physis Φ , en la munissant de la "difféologie quotient". Grâce à cette construction, la mécanique empirique que nous venons de rencontrer : la dynamique de la matière T est une distribution qui vérifie TD = 0 , D désignant la connexion qui dérive de g par la condition Dg = 0 se traduit géométriquement : T est un tenseur de Φ .
Ainsi la dynamique T habite la Physis Φ ; elle est définie au point ϕo qui est "notre Cosmos" ; c'est son "relevé" sur l'espace g des métriques que nous expérimentons.
Mais pourquoi notre Cosmos serait-il le seul à bénéficier d'une dynamique ? Pour être "scientifiquement correct", envisageons que T soit défini sur toute la Physis. Interprétation : le possible doit être astreint à une loi qui exprime la dynamique à partir de la métrique.
C'est avec une idée analogue que Cavendish, expérimentant en 1798 sur la pesanteur, a réussi à mesurer la masse de la Terre. Les mesures actuelles ne diffèrent des siennes que de 1%.
La loi qu'il éprouvait, c'était "l'attraction universelle", celle que Newton avait déjà induite des lois de Kepler.
Problème : peut-on réécrire la "loi de l'attraction", sans rien perdre de ses implications kepleriennes et cavendishiennes, pour prolonger le tenseur T sur la Physis ?
Oui ; une solution, c'est l'équation d'Einstein (1915-1917). Elle munit la Physis d'une "1-forme fermée" ; sur l'Univers, elle s'écrit T = S(g), S étant un "opérateur différentiel".
Elle se vérifie avec une précision extrême. Des variantes sont possibles, mais aucune n'a franchi le seuil expérimental.
La loi d'Einstein contient deux "constantes universelles" : la constante de Newton et la constante cosmologique ; la valeur de leur couple est mesurée depuis 1999 à partir des observations de supernovæ lointaines.
Mais le géomètre est parfaitement indifférent à la valeur de ces constantes, parce qu'il peut attribuer à chacune une valeur arbitraire, 1 par exemple. Opération qui revient à choisir des "unités gravitationnelles" pour la masse et pour les durées distances.
Unités très grandes : elles donnent par exemple à la constante de Planck l'ordre de grandeur h ≈ 10-120.
-o-o-o-o-o-o-o-o-o-o-
VIII
Plaçons-nous maintenant à cette échelle des unités gravitationnelles, et jetons un coup d'oeil sur les Modèles cosmologiques.
Si l'on examine diverses photographies du ciel où ne sont portés que les objets suffisamment lointains, on constate que les galaxies présentent une "densité" qui varie peu avec la direction.
Autrement dit : les galaxies lointaines peuvent être décrites par une "statistique" possédant la régularité de la sphère céleste. Groupe isomorphe à O(3) ; "isotropie", dit-on.
Mais nous ne testons ainsi que ce qui est visible depuis la Terre : on peut présumer que l'isotropie n'est qu'un sous-groupe d'une "régularité cosmologique" C.
Une hypothèse concernant ce groupe C : il pourrait être isomorphe à O(4). Sous-groupe "compact" du Groupe Souple, qui permettrait alors de construire la "moyenne" T de la dynamique réelle.
Ce T moyen peut se décrire comme un "fluide à pression nulle", schéma d'une "poussière de galaxies". L'équation d'Einstein permet d'associer T à une métrique g qui possède aussi la régularité C.
Ainsi produit-on un modèle cosmologique, proposé dès 1922 par Alexandre Friedmann.
L'action du groupe C classe les événements. En compréhension, chaque classe est une "date cosmique"; en extension, c'est "l'espace" à cette date-là ; espace muni de la géométrie induite de C — géométrie éternelle, donc. "Espace comobile", disent les astronomes.
Cette géométrie est celle d'une hypersphère S3 dont le rayon R croît avec la date : "expansion de l'Univers". A la date "présente", l'espace est "courbe", mais pas beaucoup, parce que R est grand.
Depuis 1929, ce modèle se contrôle par l'observation d'un "décalage spectral" des galaxies lointaines, fonction de leur "distance" (Edwin Hubble disait imprudemment "proportionnel à la distance").
Souvenons-nous maintenant d'un théorème grâce auquel Archimède a pu calculer l'aire de la sphère (il concerne l'aire des "calottes sphériques").
On peut l'étendre en dimension quelconque ; il en résulte que la répartition tridimensionnelle des astres, supposée équipartie sur l'hypersphère S3 , se projettera équipartie sur tout disque équatorial D2. Ceci permet de calculer le volume de l'espace ; et aussi de contrôler visuellement les aspects non-géocentriques de la régularité C .
On peut perfectionner le modèle de Friedmann en tenant compte du rayonnement cosmologique (observé depuis 1964) ; rayonnement caractérisé par un vecteur-température β pointant vers le futur ; rayonnement dont la dynamique comporte densité et pression de radiation.
Bien entendu β bénéficie de la régularité C ; sa mesure β (la "température réciproque"), est proportionnelle au rayon R de l'espace : refroidissement perpétuel; 2.73 °K aujourd'hui.
La dérivée de Lie β g n'est pas nulle, ce qui laisse présager une production d'entropie (le "flux d'entropie" est un moment du Groupe Souple) : "interactions dissipatives" donc entre la matière et le rayonnement. β β β
-o-o-o-o-o-o-o-o-o-o-
IX
Revenons à notre planète, qui nous a déjà fourni quelques enseignements : nous avions remarqué que la Terre tourne, puis qu'elle n'est pas plate ; nous pouvons préciser maintenant qu'elle est ronde. Cette rondeur, c'est une régularité de la Terre.
Compte tenu de son aplatissement, il s'agit d'une régularité de type "Chronos x O(2)" Les écarts de la pesanteur à cette régularité n'ont pu être détectées qu'à la fin du 18ème siècle : expériences de Bouguer et Maskelyne au voisinage des monts Chimborazo et Shiehallion.
Mais la Terre est déjà "très sphérique", la régularité "Chronos x O(3)" est en cours d'apparition.
La simple géographie nous donne donc des exemples de régularités plus grandes que Chronos qui apparaissent spontanément. Voici des exemples à d'autres échelles.
Une régularité euclidienne de type A5 (groupe à 60 éléments) appartient à deux des polyèdres de Platon, et aussi aux ballons de football. Or cette régularité artificielle appartient aussi à des objets produits spontanément par la nature : dans la flamme d'une bougie qui fume apparaît une molécule possédant cette régularité-là : le carbone C60, découvert en 1985, qu'on appelle aussi "footballène".
Depuis 4.7 milliards d'années, des phénomènes dissipatifs se produisent dans le système solaire (collisions, marées) ; une régularité de type "Fibonacci" est apparue : les périodes des planètes s'éloignent peu d'une
"progression géométrique" dont la raison serait le "Nombre d'or". Même résultat pour les systèmes de satellites de Jupiter et de Saturne.
C'est parce que le Nombre d'or est "algébrique de degré 2" qu'il caractérise une régularité de type T2, correspondant à une diminution de la dissipation par les marées planétaires ou solaires.
Exemples divers de régularités apparues "naturellement" — ayant la vertu de "modérer" la dissipation.
Apparues comment ? La thermodynamique est encore incapable de nous l'expliquer avec précision : elle propose simplement l'expression : "structures dissipatives".
La régularité cosmologique C pourrait donc, elle aussi, avoir été acquise à la suite des processus dissipatifs imposés par le modèle même.
Dans ce cas, son extrapolation stricte vers le passé ne serait pas légitime.
L'isotropie apparente du ciel lointain ne serait qu'une anisotropie en voie de disparition.
Anisotropie dont on peut relever une trace : la tendance des quasars les plus proches à se grouper en "hyper-amas" aplatis et parallèles — verticaux sur la projection archimédienne suivante : Tendance dont l'optimisation permet d'évaluer les paramètres cosmologiques — en agrément avec divers tests cosmologiques récents.
Elle ne fait pas disparaître la régularité cosmologique C , mais la réduit simplement à une régularité non-géocentrique de type O(3), qui pourrait avoir été primordiale.
-o-o-o-o-o-o-o-o-o-o-
X
Jusqu'ici, nous avons négligé les phénomènes magnétiques et électriques. Mais on peut les prendre en compte avec un simple ajustement de la géométrie : on remplacera le Groupe Souple par le Groupe Electro-Souple, dont voici la construction : L'Electro-Univers sera le produit direct de l'Univers U par un cercle ;
c'est une variété U de dimension 5 (Theodor Kaluza, Oskar Klein, 1919-1926).
En faisant tourner simultanément tous les cercles du même angle, on produit le Groupe Electrique.
Le Groupe Electro-Souple sera le "normalisateur" du Groupe Electrique dans le "groupe des difféomorphismes" de U .
Le Groupe Electro-Souple est une "extension" du Groupe Souple : les objets souples sont donc automatiquement électro-souples ; la nouvelle géométrie est compatible avec la précédente.
Le "groupe quotient" contient les "transformations de jauge de seconde espèce" de l'Electrodynamique, et aussi les "conjugaisons de charge". La géométrie Electro-Souple est ainsi apte à décrire simultanément matière et antimatière.
Cette géométrie recourt à une Electro-Métrique g , métrique de l'Electro-Univers U, qui peut être choisie : invariante par le Groupe Electrique ; donnant à tous les cercles la même longueur.
On pourra alors définir l'Electro-Physis correspondante, et l'Electro-Dynamique T comme tenseur de l'Electro-Physis.
Voici quelques conséquences de ces hypothèses.
L'Electro-métrique g s'exprime en complétant la métrique souple g par un objet électro-souple A , le "potentiel électromagnétique" :
g = ( g , A )
De cette Electro-Métrique, on dérive l'électro-pesanteur D, qui complète la pesanteur D par le champ électromagnétique F :
D = ( D , F ).
F, objet souple, est automatiquement solution des équations de Maxwell homogènes.
L'Electro-Dynamique T complète la dynamique T par un "vecteur-distribution" J , le courant électrique :
T = ( T , J ).
Alors la loi de l'Electro-Dynamique T D = 0 se coupe en deux : Les forces électromagnétiques interviennent dans l'équation de la dynamique qui devient :
TD + JF = 0 ;
le courant électrique J vérifie l'équation
JD = 0
qui s'interprète comme conservation de l'électricité. La charge électrique ainsi conservée est un moment du Groupe Electrique.
Enfin l'Electro-Dynamique se relève de l'Electro-Physis par "l'équation d'Einstein penta-dimensionnelle" T = S( g ) : dans l'écriture de l'équation d'Einstein, la dynamique souple T doit être augmentée de la "densité tensorielle de Maxwell-Poynting" ; J est donné par les "équations de Maxwell non homogènes".
Ce système T = S( g ) entraîne bien entendu T D = 0 .
Cette Electrodynamique géométrique correspond parfaitement à l'expérience et à la technologie : équivalence des aimants et des courants (André Marie Ampère, 1827), générateurs électriques (Zénobe Gramme, 1865), utilisables réciproquement comme moteurs (1873) , émission et réception des ondes radio (1894), etc.
C'est d'ailleurs l'analyse géométrique de l'électrodynamique classique qui a permis à Henri Poincaré de découvrir en 1905 le groupe qui produit la Relativité Restreinte.
Le fait que l'attraction gravitationnelle ne soit pas supplantée par la répulsion électrique est une limite drastique de la charge électrique de l'espace : on admet généralement que cette charge universelle est nulle.
Plusieurs scénarios peuvent être évoqués pour géométriser cette hypothèse.
-o-o-o-o-o-o-o-o-o-o-
XI
Définissons maintenant un nouvel Universel géométrique : les états d'un groupe.
Pour chaque groupe G , un état est une fonction μ définie sur G , à valeurs complexes, prenant la valeur 1 au point neutre, telle que les μ(gj-1gk) soient les éléments d'une "matrice positive" — quel que soient les gj choisis dans G .
Voici quelques-unes de leurs propriétés : Le conjugué d'un état, le produit de deux états sont des états.
Les états de G constituent un "convexe compact" — engendré par les "états purs" : ceux qui ne sont pas le milieu de deux autres.
Chaque état définit une "représentation unitaire" du groupe sur un "espace de Hilbert".
Réciproquement, tout espace de Hilbert, toute représentation unitaire d'un groupe peuvent se reconstruire à partir d'un état.
Les "représentations irréductibles", ce sont celles qui sont associées à un "état pur".
-o-o-o-o-o-o-o-o-o-o-
XII
A quoi peuvent servir tous ces états ? D'abord à fonder le calcul des probabilités.
Pour "probabiliser" un ensemble X , il suffit de choisir un "groupe-test" : un groupe multiplicatif A de fonctions α à valeurs complexes de module 1, définies sur X .
Fermons A pour les "combinaisons linéaires" et "limites uniformes" : nous obtenons l'ensemble des "fonctions-test" de A. Appelons "certitudes" les fonctions sur A associées à chaque point x de X par la correspondance α—> α(x) ; "hasards" les fonctions du "convexe fermé" engendré par les certitudes (fermé pour la "convergence uniforme sur les parties finies").
Tous ces hasards sont des états de A . Tout hasard p possède un seul prolongement linéaire continu à l'ensemble des fonctions-test α ; le résultat p(α) sera l' "espérance mathématique" ou "valeur moyenne" de α dans le hasard p .
Voici des exemples : Si X est fini, tout hasard sur X est donné par une formule
p(α) = p1 α(x1) + … + pn α(xn),
les pj étants positifs, de somme 1 : la notion de hasard implique celle de "probabilité".
Prenons un exemple infini : X, ce sera Rn ; on choisit comme "groupe-test" l'ensemble des fonctions αy : x —> eiyx, y étant arbitraire dans le dual de Rn.
Alors les "hasards" contiennent les "lois de probabilité" classiques (représentées par leurs "fonctions caractéristiques" au sens de Liapounov-Lévy) .
Un point intéressant : il existe d'autres hasards probabilisés par ce groupe-test, comme celui qui est équiparti sur Rn ou sur un sous-réseau arbitraire. Ils interviennent dans les phénomènes quantiques — même
s'ils sont incompatibles avec la théorie de la mesure.
Soient X , X' deux espaces probabilisés par des groupes-tests A , A'. Une application F de X dans X' sera dite "propre" si l'image réciproque par F d'un élément de A' est fonction-test sur X.
Alors l'image réciproque d'une fonction-test de X' par une application propre est fonction-test de X ; l'image directe d'un hasard de X (définie par dualité) est un hasard de X'.
Ces "images de hasards" sont utilisées dans les "méthodes de Monte-Carlo". Elles permettent à un groupe qui agit "proprement" sur X d'inclure les hasards dans sa géométrie.
-o-o-o-o-o-o-o-o-o-o-
XIII
D'autre part ces états de groupe permettent d'accéder à la procédure de Quantification géométrique qui ne sera qu'esquissée ici.
Un objet quantique isolé sera caractérisé par : un groupe S — la source une classe coadjointe X de la source S (qui s'interprétera comme "espace des mouvements classiques" ) un fibré principal en cercles Ξ au dessus de X muni d'une structure de contact ϖ d'où dérive la forme symplectique ω de X . La circulation de ϖ sur les cercles prend la valeur constante 2πh ; .l'action de S sur X se relève sur Ξ en préservant ϖ — ce qui crée une "extension centrale" Σ de S .
Si l'objet est isolé, un morphisme du groupe de Galilée (resp. Poincaré) dans S Appelons "observation" tout sous-groupe A de S engendré par une sous-algèbre de Lie abélienne. Chaque observation pourra s'interpréter de deux façons : par son action sur X induite de celle de Σ ; par une autre action sur X , déterminée par ϖ, et conservant individuellement les fibres ; elle produit un "groupe-test" de X .
Si μ est un état de la source et A une observation, μ induit sur A un état du groupe-test associé. Les Etats quantiques seront des états de S , ayant la propriété d'induire un "hasard" pour chaque observation A. Hasard qui s'interprétera comme "spectre" du moment de A .
Ces constructions permettent de produire les principaux objets de la mécanique quantique : Equations d'onde (Schrödinger, Pauli, Klein-Gordon, Dirac, Maxwell), engendrant chacune une solution de TD = 0, Espaces de Hilbert, vecteurs d'état , opérateurs-densité opérateurs self-adjoints, Produit tensoriels hilbertiens pour les systèmes bosons et fermions, condensations de Bose-Einstein, non-séparabilité des états de fermions.
Jean-Marie Souriau
Voir:
Bibliographie
* 1953: Géométrie symplectique différentielle. Applications - Collection Internationale
CNRS "Géométrie différentielle", Strasbourg, p.53
* 1964: Géométrie et relativité - Editions Hermann, collection "Enseignement des Sciences"
* 1966: Définition covariante des équilibres thermodynamiques - Suppl. Nuov.
Cimento, 1, 4, pp.203-216
* 1966: Modèles classiques quantifiables pour les particules élémentaires -
Comptes Rendus de l'Académie des Sciences 263, p.1191
* 1966: Quantification géométrique - Comm. Math. Phys. 1, pp.374-398
* 1967: Quantification géométrique. Applications - Annales de l'Institut Henri Poincaré VI, 4,
p.311-341
* 1969: Structure des systèmes dynamiques - Editions Dunod, Collection "Dunod Université"
* 1971: Variétés symplectiques et cohomologie en mécanique - Rencontres
Mathématiques et Physique, Département de Mathématiques Université Lyon-Villeurbanne, 8.
* 1976: Construction explicite de l'indice de Maslov. Applications - "4th International
Colloquium on Group Theoretical Methods in Physics", Nijmegen, 1975 - Springer
Lecture Notes in Physics 50, p.117-148
* 1977: Faut-il prendre au sérieux la constante cosmologique? - Journées Relativistes,
Bruxelles 1976, Publication Université libre de Bruxelles, p. 215-229
* 1977: Thermodynamique et géométrie - "Differential Geometrical Methods in Mathematical
Physics II", Bonn - Springer Lecture Notes in Mathematics, 676, 30 pages
* 1980: Groupes différentiels - Springer Lecture Notes in Mathematics, 836, p. 91-128
* 1982: A Possible Large-Scale Anisotropy of the Universe (avec H.H. Fliche et
R. Triay) - Astronomy and Astrophysics 108, p.256-264
* 1983: Heat, Cold and Geometry (avec P. Iglesias) - "Differential Geometry and
Mathematical Physics", M. Cahen éditions, p. 37-68, Reidel Pub.
* 1984: Groupes différentiels et physique mathématique - "Feuilletages et quantification
géométrique", Journées Internationales de la Société Mathématique de France, 1983, Lyon - Collection Travaux en cours, II, p. 73-119, Editions Hermann
* 1986: La structure symplectique de la mécanique décrite par Lagrange en 1811 - "Journées d'Histoires des Sciences", Vieille Charité, Marseille,1985 - "Mathématiques
et Sciences humaines", 24ème année, n° 94, pp. 45-54
* 1997: Milieux continus de dimension 1, 2 ou 3 : statique et dynamique -13ème
Congrès Français de Mécanique, Poitiers, Futuroscope.
* 1998: Structure of Dynamical Systems, a symplectic View of Physics - Birkhäuser,
Progress in Mathematics
Jean-Marie Souriau (1922-2012)