Fat Lie Theory

Cet article introduit la « fat Lie theory » pour établir une correspondance biunivoque et une équivalence de catégories entre les extensions grasses de groupoïdes, les représentations abstraites à deux termes à homotopie près et les double groupoïdes, généralisant ainsi les résultats connus sur les VB-groupoïdes et les PB-groupoïdes.

L'essentiel

Imaginez que vous essayez de comprendre comment les formes géométriques se déforment, se plient et interagissent dans un monde mathématique complexe. C'est un peu comme essayer de comprendre comment les pièces d'un puzzle géant s'assemblent, non pas une par une, mais en blocs entiers qui ont leur propre logique.

Ce papier, intitulé "Fat Lie Theory" (Théorie de Lie "Grasse"), propose une nouvelle façon de voir ces interactions. L'auteur, Lennart Obster, nous dit : "Arrêtons de regarder les choses de la manière habituelle, qui est souvent trop rigide. Regardons-les avec des lunettes 'grasses'."

Voici une explication simple, avec des analogies, pour comprendre l'essentiel de ce travail.

1. Le Problème : Des pièces de puzzle trop rigides

En mathématiques, il existe des objets appelés groupes de Lie et algèbres de Lie. Ce sont des outils pour décrire des symétries et des mouvements (comme la rotation d'une sphère ou le flux d'un fluide).
Pour étudier ces objets, les mathématiciens utilisent souvent des "représentations". Imaginez que vous essayez de décrire un mouvement complexe en utilisant des instructions très précises et rigides (comme un script informatique). C'est ce qu'on appelle les "représentations usuelles".

Le problème, c'est que parfois, ces instructions rigides ne suffisent pas. Elles perdent de l'information ou deviennent trop compliquées à manipuler quand les formes changent de manière subtile.

2. La Solution : La théorie "Grasse" (Fat Lie Theory)

L'auteur propose une nouvelle perspective : au lieu de regarder la pièce de puzzle seule, regardons-la avec son "contour" ou son "aura". Il appelle cela une extension grasse (fat extension).

L'analogie du sandwich :
Imaginez un sandwich.

• Le pain représente l'objet de base (le groupe de Lie).
• La garniture représente la structure complexe qui l'entoure (la représentation).
• Dans la théorie classique, on regarde juste le pain ou on essaie de décrire la garniture séparément.
• Dans la théorie "grasse", on regarde le sandwich entier. On comprend que le pain et la garniture sont liés d'une manière spécifique. On ne peut pas enlever la garniture sans changer la nature du pain.

Cette approche "grasse" permet de voir des connexions invisibles autrement.

3. Les Trois Langages qui disent la même chose

Le grand génie de ce papier est de montrer que trois façons différentes de décrire ces objets mathématiques sont en réalité identiques. C'est comme si vous aviez trois traducteurs différents qui parlent trois langues différentes, mais qui racontent exactement la même histoire.

1. Les "VB-groupoïdes" : C'est comme regarder le sandwich avec des lunettes de réalité augmentée. On voit des structures vectorielles (des flèches, des directions) attachées à chaque point.
2. Les "représentations jusqu'à l'homotopie" (ruths) : C'est une façon de décrire le sandwich en utilisant des équations qui permettent de petites erreurs ou des ajustements (comme dire "c'est à peu près ça" plutôt que "c'est exactement ça").
3. Les "extensions grasses" : C'est la vision du sandwich entier, avec sa structure interne et son enveloppe.

Le résultat clé : L'auteur prouve qu'il existe une correspondance parfaite (un à un) entre ces trois mondes. Si vous savez décrire le sandwich avec les lunettes de réalité augmentée, vous pouvez automatiquement le décrire avec les équations flexibles, et vice-versa. C'est comme si vous aviez trouvé la clé universelle pour ouvrir n'importe quelle porte dans ce monde mathématique.

4. Les "Extensions de Cœur" (Core Extensions)

Le papier introduit aussi un concept appelé "extension de cœur".
L'analogie du noyau de fruit :
Imaginez un fruit. Il a une peau (l'extérieur) et un noyau (le cœur). Parfois, pour comprendre le fruit, il faut regarder comment la peau et le noyau interagissent.
L'auteur montre que ces structures "grasses" sont en fait des versions sophistiquées de ces interactions noyau-peau. Cela permet de relier ce travail à des théories plus anciennes (comme celles de Brown et Mackenzie) et de les généraliser. C'est comme découvrir que toutes les variétés de pommes, poires et pêches partagent le même schéma de croissance interne.

5. Pourquoi c'est important ? (La "Différentiation")

En mathématiques, on passe souvent du monde "global" (les formes entières) au monde "infinitésimal" (les petites variations, comme la vitesse instantanée). C'est ce qu'on appelle la différentiation.

L'auteur montre que sa théorie "grasse" fonctionne aussi bien pour les formes entières que pour leurs petites variations.

• Avant : On devait faire des calculs compliqués pour passer d'un monde à l'autre.
• Maintenant : Avec la théorie grasse, ce passage est fluide et naturel. C'est comme si on avait trouvé un ascenseur qui relie directement le rez-de-chaussée (les formes globales) au sous-sol (les formes infinitésimales), au lieu de devoir monter des escaliers tortueux.

En résumé

Ce papier est une carte au trésor pour les mathématiciens qui étudient les symétries et les formes.

• Il dit : "Ne vous embêtez pas avec les vieilles méthodes rigides."
• Il propose : "Utilisez la méthode 'grasse' qui regarde l'objet dans son ensemble."
• Il prouve : "Cette méthode est équivalente à deux autres méthodes populaires, donc vous pouvez choisir celle qui vous plaît le plus, car elles disent la même chose."
• Il ouvre la porte : "Cela nous aide à mieux comprendre comment les formes se déforment et comment elles sont construites."

C'est un travail de fond qui unifie des domaines séparés de la géométrie et de l'algèbre, rendant les choses plus claires, plus flexibles et plus puissantes pour les chercheurs futurs.

Résumé technique

Voici un résumé technique détaillé de l'article « Fat Lie Theory » de Lennart Obster, rédigé en français.

Titre : Théorie de Lie « Grasse » (Fat Lie Theory)

Auteur : Lennart Obster
Domaine : Géométrie différentielle, Théorie des groupoïdes de Lie, Algèbres de Lie, Cohomologie.

---

1. Problématique et Contexte

La théorie des représentations des groupoïdes et algèbres de Lie est un domaine bien établi, mais il existe plusieurs points de vue concurrents pour décrire ces structures, notamment :

• Les VB-groupoïdes (groupoïdes de Lie vectoriels).
• Les représentations up to homotopy (ruths) à deux termes (représentations jusqu'à l'homotopie).
• Les PB-groupoïdes (Principal Bundle groupoids) et les double groupoïdes.

Bien qu'il soit connu qu'il existe des équivalences entre ces catégories (par exemple, entre les VB-groupoïdes et les ruths à deux termes), ces équivalences sont souvent traitées de manière « éclatée » (split), dépendant du choix d'une section (cleavage) ou d'une structure supplémentaire. L'objectif de cet article est de proposer un point de vue unificateur et intrinsèque, appelé Théorie de Lie « Grasse » (Fat Lie Theory), qui axiomatise la structure sous-jacente commune à ces objets sans dépendre de choix arbitraires.

Le problème central est de formaliser la notion d'extension grasse (fat extension) et d'établir des équivalences de catégories canoniques entre les extensions grasses, les VB-groupoïdes, les ruths abstraits à deux termes et les PB-groupoïdes linéaires généraux.

2. Méthodologie

L'auteur développe une approche axiomatique basée sur les concepts suivants :

• Le Groupoïde « Gras » (Fat Groupoid) : Pour un VB-groupoïde $V_G$, l'auteur introduit le groupoïde gras $\widehat{V}_G$, défini comme le groupoïde des « bisections linéaires ponctuelles » (ou distributions bi-horizontales). Les éléments de $\widehat{V}_G$ sont des applications linéaires $H_g : (V_M)_{s(g)} \to (V_G)_g$ telles que $s_g \circ H_g = \text{id}$ et $t_g \circ H_g$ soit un isomorphisme.
• Le Faisceau d'Homotopies Inversibles : Le noyau de la projection $\widehat{V}_G \to G$ est identifié à un fibré de groupes de Lie noté $\mathcal{H}(V_M, C_M)$, composé d'homotopies inversibles entre complexes de cochaines.
• Définition Axiomatique : Une extension grasse est définie comme un groupoïde de Lie $F_G$ muni d'une représentation de complexe de cochaines sur un complexe à deux termes $C_M \to V_M$, et d'une suite exacte courte de groupoïdes :
  $$1 \to \mathcal{H}(V_M, C_M) \to F_G \to G \to 1$$
  Cette définition inclut des conditions de compatibilité entre la représentation et l'action par conjugaison.
• Dualité et Catégorie : L'auteur introduit également les extensions de catégories grasses (fat category extensions) comme modèles intrinsèques pour les représentations faibles, et établit une correspondance avec les extensions grasses usuelles.
• Différentiation : La théorie est étendue au niveau infinitésimal (algèbres de Lie) via la différenciation des extensions grasses en extensions grasses d'algèbres de Lie (fat algebroids), reliant cela aux algèbres de Lie de VB-algèbres.

3. Contributions Clés et Résultats Principaux

A. Équivalences de Catégories

L'article établit des équivalences de catégories (fonctorielles et canoniques) entre les structures suivantes :

1. VB-groupoïdes $\longleftrightarrow$ Extensions grasses.
2. VB-groupoïdes $\longleftrightarrow$ Ruths abstraits à deux termes (représentations intrinsèques sans choix de section).
3. VB-groupoïdes $\longleftrightarrow$ PB-groupoïdes linéaires généraux (General Linear PB-groupoids).

Ces équivalences sont prouvées en construisant des foncteurs explicites. Par exemple, à un VB-groupoïde $V_G$, on associe son extension grasse $\widehat{V}_G$. Inversement, à une extension grasse $F_G$, on reconstruit un VB-groupoïde via un produit semi-direct quotienté.

B. Complexes Invariants et Ruths

L'auteur montre que le complexe de cochaines d'un VB-groupoïde (le complexe VB) peut être réinterprété comme le complexe invariant d'une extension grasse.

• Soit $F_G$ une extension grasse. Le complexe invariant $C_{inv}(F_G; C_M \to V_M)$ est isomorphe au complexe VB du VB-groupoïde associé.
• Cela permet de reformuler les ruths à deux termes comme des complexes de cochaines invariants sous l'action du noyau $\mathcal{H}(V_M, C_M)$.
• Cette perspective rend naturelle la définition des morphismes entre ruths et VB-groupoïdes via des « tenseurs multiplicatifs » ou des cocycles invariants.

C. Connexion avec les Double Groupoïdes

L'article relie les extensions grasses aux double groupoïdes à cœur transitif (core-transitive double groupoids).

• Il est démontré que les PB-groupoïdes linéaires généraux (lorsque le complexe sous-jacent est régulier) possèdent un « double groupoïde de jauge ».
• Les extensions grasses sont identifiées aux extensions de cœur (core extensions), qui généralisent les diagrammes de cœur de Brown et les modules croisés de Lie.
• Cela généralise les travaux de Brown, Jotz-Lean et Mackenzie sur les double groupoïdes transitoires.

D. Théorie de Lie et Différentiation

• Foncteur de Lie : L'auteur définit un foncteur de différenciation qui envoie une extension grasse de groupoïdes sur une extension grasse d'algèbres de Lie.
• Application au cas du jet : Le groupoïde de jet $J^1 G$ est vu comme une extension grasse de $G$. Son algèbre de Lie est l'algèbre de jet $J^1 A$.
• Application de Van Est : L'article reformule l'application de Van Est (qui relie la cohomologie des groupoïdes à celle des algèbres de Lie) en termes de cochaines invariantes sur les extensions grasses. Cela permet de prouver des théorèmes de Van Est pour les ruths et les VB-groupoïdes.

E. Théorie de la Déformation

En utilisant le groupoïde de jet comme extension grasse, l'auteur fournit un nouveau modèle pour le complexe de déformation d'un groupoïde de Lie. Les déformations de groupoïdes correspondent à des 2-cocycles dans le complexe invariant associé à l'extension grasse du jet.

4. Signification et Impact

La « Théorie de Lie Grasse » offre plusieurs avancées significatives :

1. Unification Conceptuelle : Elle fournit un cadre axiomatique unique qui englobe les VB-groupoïdes, les ruths et les PB-groupoïdes, clarifiant les liens souvent obscurs entre ces objets.
2. Intrinsèque et Canonique : Contrairement aux approches précédentes qui dépendent souvent du choix d'une section (cleavage) pour définir les ruths éclatés, l'approche par les extensions grasses est intrinsèque. Les ruths éclatés apparaissent comme des cas particuliers (via des « fentes grasses » ou fat splittings).
3. Outils pour les Tenseurs Multiplicatifs : La structure des extensions grasses s'avère particulièrement adaptée à l'étude des tenseurs multiplicatifs sur les VB-groupoïdes (travaux futurs cités dans [MOV]), car les morphismes d'extensions grasses correspondent naturellement à des cocycles invariants.
4. Généralisation des Résultats Classiques : Elle généralise les résultats sur les modules croisés et les double groupoïdes (travaux de Brown, Mackenzie) au contexte des représentations jusqu'à l'homotopie et des structures non nécessairement transitives.
5. Nouveaux Modèles de Cohomologie : Elle offre de nouveaux modèles pour la cohomologie de déformation et les applications de Van Est, facilitant potentiellement le calcul et l'analyse de ces structures en géométrie différentielle.

En résumé, cet article pose les fondations d'une nouvelle perspective sur la théorie des représentations des groupoïdes de Lie, où la structure « grasse » (fat) agit comme l'objet intrinsèque central, unifiant la géométrie des VB-groupoïdes, la théorie des homotopies et la théorie des algèbres de Lie.