On the smoothing theory delooping of disc diffeomorphism and embedding spaces

Cet article généralise la théorie du lissage de Morlet-Burghelea-Lashof-Kirby-Siebenmann en établissant des équivalences de décalage (delooping) pour divers espaces d'immersions et d'immersions encadrées de disques, et en démontrant que ces résultats permettent de combiner les actions de Hatcher et de Budney en une action d'opérade de disques peu nombreux encadrés.

L'essentiel

🎈 Le Grand Déballage des Nœuds et des Élastiques

Imaginez que vous êtes un mathématicien qui s'amuse avec des élastiques, des ballons et de la pâte à modeler. Votre but est de comprendre comment on peut déformer, tordre et replier ces objets sans les casser ni les déchirer.

Ce papier, écrit par Paolo Salvatore et Victor Turchin, s'intéresse à deux questions fondamentales :

1. Comment on peut "lisser" des objets rugueux ? (La théorie du lissage).
2. Comment on peut "déplier" des espaces de nœuds complexes ? (Le "déboitement" ou delooping).

Voici comment ils y arrivent, avec des analogies simples.

1. Le Problème : La Pâte à Modeler vs. Le Verre

En mathématiques, on a trois façons de voir le monde :

• Lisse (Smooth) : Comme du verre poli ou de la soie. C'est lisse, parfait, pas de coins. C'est le monde des difféomorphismes (les transformations lisses).
• Polyédrique (PL) : Comme un ballon de foot fait de triangles de papier collés. Il a des coins, mais c'est rigide.
• Topologique (Top) : Comme de la pâte à modeler ou du caoutchouc. Vous pouvez l'étirer, le tordre, mais pas le couper.

Le mystère : Pendant des décennies, les mathématiciens savaient que pour une sphère (un ballon) de dimension $n$, le groupe des transformations lisses était presque identique au groupe des transformations topologiques, sauf si $n=4$. Pourquoi 4 ? C'est la dimension "bizarre" où les mathématiques deviennent folles (c'est là que la 4D devient un cauchemar pour les géomètres).

2. La Solution : Le "Déboitement" (Delooping)

Imaginez que vous avez un nœud complexe sur une corde.

• L'espace des nœuds est l'ensemble de toutes les façons possibles de faire ce nœud. C'est un espace très compliqué, avec des trous, des boucles et des dimensions cachées.
• Le "Déboitement", c'est comme si vous preniez ce nœud complexe et que vous le "dérouliez" pour révéler une structure plus simple, plus fondamentale, comme si vous enleviez une couche de pelure d'oignon.

Les auteurs montrent qu'on peut faire cela pour les disques (des cercles pleins) et leurs transformations. Ils disent : "Attendez, l'espace de toutes les façons de déformer un disque lisse est en fait équivalent à un espace de boucles (des cercles) construit à partir de groupes de symétrie très connus."

C'est comme dire : "Au lieu de chercher à comprendre comment plier chaque feuille de papier individuellement, on peut simplement étudier comment les plis se comportent quand on les regarde à travers un microscope spécial."

3. L'Analogie du "Cercle de Danseurs" (Les Opéras)

Le papier parle beaucoup d'opéras (des structures mathématiques qui décrivent comment on peut combiner des actions).

• Imaginez une salle de danse où des danseurs (les transformations) entrent et sortent.
• Il y a une règle : les danseurs peuvent se mettre en cercle, se croiser, ou se superposer.
• Les auteurs découvrent que l'espace de ces transformations de disques obéit à une règle de danse très précise appelée l'opéra des petits disques (Little Discs Operad).

C'est comme si vous découvriez que, peu importe comment vous tournez vos élastiques, ils suivent toujours la même chorégraphie secrète. Cette chorégraphie est gouvernée par des groupes de symétrie (comme $O_n$, les rotations) et des groupes de transformations topologiques ($TOP_n$).

4. Le Cas Spécial de la Dimension 4

Le papier insiste beaucoup sur le fait que tout fonctionne bien, sauf en dimension 4 (l'espace-temps de notre univers, si on y ajoute le temps !).

• En dimension 4, on ne peut pas toujours "lisser" la pâte à modeler pour qu'elle devienne du verre. Il y a des "nœuds" qui sont topologiquement simples (on peut les défaire avec de la pâte à modeler) mais qui sont mathématiquement impossibles à lisser.
• Les auteurs disent : "Pour tout sauf la dimension 4, on a une formule magique. Pour la dimension 4, on doit faire très attention et on ne peut pas toujours utiliser la même formule."

5. Pourquoi c'est important ?

C'est comme si vous aviez trouvé une clé universelle.
Avant, pour comprendre la forme d'un objet complexe (un nœud dans un espace à 10 dimensions), il fallait faire des calculs énormes et compliqués.
Grâce à ce papier, les mathématiciens peuvent maintenant dire : "Ah, cet objet compliqué est en fait juste une version 'dépliée' d'un groupe de symétrie simple que nous connaissons déjà."

Cela permet de :

• Classer tous les types de nœuds possibles.
• Comprendre pourquoi la dimension 4 est si spéciale.
• Relier des domaines qui semblaient séparés : la géométrie lisse (le verre), la géométrie discrète (les triangles) et la topologie (la pâte à modeler).

En résumé

Ce papier est une carte au trésor. Il dit aux explorateurs mathématiques : "Ne vous perdez pas à essayer de dessiner chaque nœud individuellement. Regardez plutôt la structure fondamentale qui les relie tous. Sauf si vous êtes coincé en dimension 4, là, il faut faire un détour !"

C'est une avancée majeure pour comprendre comment les formes se comportent dans l'univers multidimensionnel, en utilisant des outils de "lissage" et de "dépliage" pour transformer le chaos en ordre.

Résumé technique

Voici un résumé technique détaillé du papier « On the smoothing theory delooping of disc diffeomorphism and embedding spaces » de Paolo Salvatore et Victor Turchin.

1. Problématique et Contexte

Le papier s'inscrit dans le domaine de la topologie différentielle et de la théorie de l'homotopie, en se concentrant sur l'étude des espaces de difféomorphismes et d'immersions/encoches (embeddings) de disques.

• Théorème de Morlet-Burghelea-Lashof-Kirby-Siebenmann : Un résultat fondamental des années 70 établit une équivalence d'homotopie entre le groupe des difféomorphismes d'un disque $D^n$ fixant le bord ($\text{Diff}_{\partial}(D^n)$) et un espace de lacets itérés d'un quotient de groupes de structures :
  $$\text{Diff}_{\partial}(D^n) \simeq \Omega^{n+1}(\text{PL}_n / O_n) \quad (\text{et } \Omega^{n+1}(\text{TOP}_n / O_n) \text{ pour } n \neq 4).$$
  Ici, $\text{PL}_n$, $\text{TOP}_n$ et $O_n$ désignent respectivement les groupes des automorphismes PL, topologiques et orthogonaux de $\mathbb{R}^n$.
• Limites des résultats existants : Bien que ce théorème soit bien établi pour les difféomorphismes, sa généralisation aux espaces d'encoches de disques $\text{Emb}_{\partial}(D^m, D^n)$ (encoches lisses de $D^m$ dans $D^n$ fixant le bord) et aux espaces d'encoches encadrées (framed) $\text{Emb}^{fr}_{\partial}(D^m, D^n)$ était moins claire, notamment concernant la compatibilité avec les actions d'opéras.
• Actions d'opéras : Ryan Budney a défini une action d'opéra $E_{m+1}$ (petits disques imbriqués) sur $\text{Diff}_{\partial}(D^n)$ et les espaces d'encoches. Une question ouverte était de savoir si les décalages (deloopings) de ces espaces étaient compatibles avec cette action, permettant de les voir comme des algèbres sur des opéras encadrés (framed little discs operads).

2. Méthodologie

Les auteurs utilisent une approche combinant la théorie du lissage (smoothing theory) et la théorie des opéras.

• Révision de la théorie du lissage : Ils revisitent les résultats classiques de Lashof, Kirby, Siebenmann et Sakai pour étendre les équivalences de décalage à des dimensions et codimensions plus générales, en particulier pour $n-m=2$ et $n=4$ (avec des restrictions spécifiques).
• Espaces intermédiaires et fibrations : La stratégie centrale consiste à introduire des espaces intermédiaires de « difféomorphismes encadrés » ou d'encoches topologiques encadrées. Par exemple, ils définissent l'espace $\text{Homeo}^{O_n}_{\partial}(N)$ de difféomorphismes topologiques munis d'une structure de fibré vectoriel tangent compatible, relié aux difféomorphismes lisses par une équivalence d'homotopie (pour $n \neq 4$).
• Fibres d'homotopie et carrés cartésiens : Ils utilisent abondamment les carrés cartésiens d'homotopie (homotopy cartesian squares) reliant les espaces de difféomorphismes, d'encoches, d'immersions formelles et leurs versions topologiques/PL.
• Action des opéras encadrés : Ils construisent explicitement des actions de l'opéra des petits disques encadrés ($E^{O_{m+1}}_{m+1}$) sur ces espaces, en combinant l'action de Budney ($E_{m+1}$) et l'action de Hatcher (conjugaison par $O_{m+1}$).
• Cas particuliers (Dimension 4 et codimension 2) : Le papier traite soigneusement les cas pathologiques où la théorie du lissage classique échoue ou nécessite des ajustements, notamment pour $n=4$ (où la structure différentiable n'est pas unique) et $n-m=2$ (liée à la théorie des nœuds).

3. Contributions Clés et Résultats Principaux

Les auteurs établissent trois théorèmes majeurs (A, B, C) qui généralisent et affinent les résultats connus.

Théorème A : Décalage des difféomorphismes de disques

Pour $n \neq 4$, l'espace $\text{Diff}_{\partial}(D^n)$ est équivalent, en tant qu'algèbre sur l'opéra encadré $E^{O_{n+1}}_{n+1}$, à :
$$\text{Diff}_{\partial}(D^n) \simeq_{E^{O_{n+1}}_{n+1}} \Omega^{n+1}(\text{TOP}_n / O_n) \simeq_{E^{O_{n+1}}_{n+1}} \Omega^{n+1}(\text{PL}_n / O_n).$$
Pour $n=4$, une équivalence d'espaces (mais pas d'algèbres $E_1$) est obtenue avec $\Omega^5(\text{PL}_4/O_4)$.

• Signification : Cela confirme que l'action de Budney est compatible avec le décalage classique de la théorie du lissage.

Théorème B : Décalage des espaces d'encoches

Pour $1 \le m \le n$($n \neq 4$,$n-m \neq 2$), les auteurs établissent des équivalences d'algèbres sur les opéras$E_m$et$E_{m+1}$ :

1. Encoches lisses modulo immersions :
   $$\text{Emb}_{\partial}(D^m, D^n) \simeq_{E_m} \Omega^m \text{hofiber}(\text{V}_{n,m} \to \text{V}^{t}_{n,m})$$
   où $\text{V}_{n,m} = O_n/O_{n-m}$ est la variété de Stiefel et $\text{V}^{t}_{n,m} = \text{TOP}_n/\text{TOP}_{n,m}$.
2. Encoches encadrées :
   $$\text{Emb}^{fr}_{\partial}(D^m, D^n) \simeq_{E_{m+1}} \Omega^{m+1} (O_n \backslash \text{TOP}_n / \text{TOP}_{n,m})$$
3. Encoches lisses (version complète) :
   $$\text{Emb}_{\partial}(D^m, D^n) \simeq_{E_{m+1}} \Omega^{m+1} (\text{TOP}_n / \text{TOP}_{n,m})$$

• Cas $n-m=2$ : Pour les nœuds de codimension 2, les équivalences ne valent que sur les composantes connexes correspondant aux éléments inversibles dans $\pi_0$ (les nœuds triviaux ou PL-triviaux).
• Cas $n=4$ : Des versions PL sont établies pour les composantes de nœuds PL-triviaux.

Théorème C : Action combinée et opéra des disques encadrés

Le résultat le plus profond est la combinaison de l'action de Budney ($E_{m+1}$) et de l'action de Hatcher ($O_{m+1}$) en une seule action d'opéra encadré.
Pour $n \neq 4$ et $n-m \neq 2$ :
$$\text{Emb}^{fr}_{\partial}(D^m, D^n) \simeq_{O_{m+1}} \Omega^{m+1} (\text{tEmb}(S^m, S^n) // O_{n+1})$$
où $\text{tEmb}(S^m, S^n)$ est l'espace des encoches topologiques localement plates de sphères, et $//$ désigne le quotient homotopique (ou l'espace des orbites).
Cela montre que l'espace d'encoches encadrées est une algèbre sur l'opéra des petits disques encadrés $E^{O_{m+1}}_{m+1}$.

4. Résultats Techniques Spécifiques et Observations

• Dimension 4 : Le papier clarifie le cas $n=4$. Il est démontré que pour les nœuds lisses $D^2 \to D^4$, seul le nœud trivial est PL-trivial (Corollaire 2.4). Cela implique que l'espace des nœuds PL-triviaux est contractible, ce qui simplifie les équivalences dans ce cas spécifique.
• Codimension 2 : La restriction à $n-m \neq 2$ dans les énoncés principaux est levée en se restreignant aux composantes de nœuds inversibles (ou triviaux), car la structure de groupe de $\pi_0$ n'est pas garantie pour tous les nœuds de codimension 2.
• Compatibilité des actions : Les auteurs prouvent que les décalages ne sont pas seulement des équivalences d'espaces, mais des équivalences d'algèbres sur des opéras spécifiques, préservant la structure multiplicative et l'action des groupes de rotation.
• Version PL : Une attention particulière est portée aux versions PL (piecewise linear), montrant que pour $n \neq 4$, les espaces PL et TOP sont souvent équivalents ou que leurs différences sont bien comprises (via les groupes de Kervaire-Milnor et la théorie de Kirby-Siebenmann).

5. Signification et Impact

Ce travail est une avancée majeure en topologie différentielle et en théorie de l'homotopie des espaces d'encoches :

1. Unification : Il unifie la théorie du lissage classique (années 70) avec la théorie moderne des opéras (Budney, Willwacher, Randal-Williams), fournissant une structure algébrique riche (opéra encadré) aux espaces de difféomorphismes et d'encoches.
2. Généralisation : Il étend les résultats de décalage à des dimensions et codimensions plus larges, en résolvant des cas ambigus (comme $n=4$ ou $n-m=2$) par des restrictions précises sur les composantes connexes.
3. Outils pour la cohomologie et la K-théorie : La description de ces espaces comme des itérés de lacets d'espaces de quotients de groupes (comme $\text{TOP}_n/O_n$) permet d'utiliser les puissantes techniques de la théorie de l'homotopie stable et de la K-théorie topologique pour calculer les groupes d'homotopie et d'homologie de ces espaces complexes.
4. Fondement pour la conjecture de Boavida-Weiss : Les résultats soutiennent et éclairent la conjecture reliant les espaces d'encoches aux catégories de configuration, suggérant que les décalages par la théorie du lissage et par le calcul des foncteurs de Goodwillie-Weiss sont essentiellement les mêmes.

En résumé, Salvatore et Turchin réussissent à « débloquer » (deloop) systématiquement les espaces d'encoches de disques en les reliant à des objets algébriques topologiques bien compris, tout en préservant leur structure d'action d'opéra, offrant ainsi un cadre puissant pour l'analyse future de ces espaces en dimensions supérieures.