Cores and localizations of $(\infty,\infty)$-categories

Cet article compare les deux catégories $(\infty,1)$ résultant des limites $d\to\infty$ des catégories $(\infty,d)$ via les foncteurs de cœur et de localisation, démontrant que cette dernière s'identifie à une localisation réflexive de la première, tout en étudiant des localisations intermédiaires liées à des notions d'inversibilité coinductives.

L'essentiel

🌌 Le Grand Voyage vers l'Infini : Comprendre les Catégories (∞, ∞)

Imaginez que vous êtes un architecte du monde des mathématiques. Votre but est de construire des structures appelées catégories.

• Une catégorie classique, c'est comme un réseau de villes (les objets) reliées par des routes (les flèches).
• Une catégorie (∞, d), c'est un réseau où les routes elles-mêmes ont des routes qui les relient (des "flèches de flèches"), et ainsi de suite, jusqu'à une hauteur $d$.
• Une catégorie (∞, ∞), c'est le Graal : une structure où cette hiérarchie de routes, de routes de routes, etc., continue à l'infini.

Le problème ? À l'infini, les règles deviennent floues. Quand une route est "inversible" (on peut faire demi-tour), cela signifie-t-il qu'on peut revenir exactement au point de départ, ou juste "très près" ? Et si le "très près" a lui-même des détails infinis ?

Les auteurs de ce papier (Ozornova, Rovelli, Walde) se posent une question cruciale : Comment définir proprement cette structure infinie ?

Ils découvrent qu'il existe deux façons principales de construire cette tour infinie, comme deux architectes qui utiliseraient des règles légèrement différentes.

---

🏗️ Les Deux Architectes : "Le Cœur" et "La Localisation"

Pour construire leur tour infinie, les mathématiciens utilisent deux outils pour simplifier les étages supérieurs :

1. L'Architecte "Cœur" (R) : Le Puriste

Imaginez que vous avez un bâtiment avec des ascenseurs (les flèches).

• L'architecte Cœur dit : "Je ne garde que les ascenseurs qui fonctionnent parfaitement et qui peuvent faire un aller-retour sans erreur."
• Il supprime tout ce qui est imparfait, tout ce qui ne peut pas être inversé parfaitement.
• Résultat : Il obtient une structure très stricte, très "pure", où tout ce qui reste est parfaitement réversible. C'est ce qu'on appelle la catégorie de droite (Right ∞-category).

2. L'Architecte "Localisation" (L) : Le Pragmatique

L'architecte Localisation dit : "Je ne supprime rien, mais je déclare que tout ce qui ressemble à un aller-retour est en fait un aller-retour parfait."

• Il prend les ascenseurs imparfaits et il les force à devenir parfaits en ajoutant des raccourcis magiques.
• Résultat : Il obtient une structure plus "lisse", où les imperfections sont lissées par la magie mathématique. C'est la catégorie de gauche (Left ∞-category).

---

⚖️ Le Conflit : Qui a raison ?

Le papier révèle un conflit fascinant entre ces deux architectes.

• L'architecte Cœur (R) est très strict. Il garde beaucoup de détails.
• L'architecte Localisation (L) est très permissif. Il efface beaucoup de détails en les considérant comme "égaux".

La découverte majeure :
Il y a une relation hiérarchique entre eux. L'architecte Localisation (L) peut être vu comme une version "simplifiée" de l'architecte Cœur (R).
En termes simples : Tout ce que l'architecte Cœur construit, l'architecte Localisation peut le transformer en une version plus simple. Mais l'inverse n'est pas vrai : on ne peut pas toujours reconstruire la version complexe à partir de la version simplifiée.

C'est comme si l'architecte Localisation prenait une sculpture détaillée (Cœur) et la passait dans un broyeur pour en faire une statue lisse (Localisation). On peut faire la statue lisse à partir de la sculpture, mais on ne peut pas retrouver les détails perdus une fois la statue lisse obtenue.

---

🕵️‍♂️ Le Mystère de l'Infini : Les "Isomorphismes Co-inductifs"

Pour comprendre pourquoi ces deux architectes ne sont pas d'accord, les auteurs plongent dans les profondeurs de l'infini. Ils découvrent un nouveau type de "réversibilité" qui n'existe que dans l'infini.

Imaginez une boîte de Pandore :

• Vous ouvrez la boîte, et à l'intérieur, il y a une clé.
• Mais cette clé n'est pas une clé normale : elle est faite d'une autre boîte.
• Vous ouvrez cette deuxième boîte, et il y a une autre clé... et ainsi de suite, à l'infini.

C'est ce qu'ils appellent un isomorphisme co-inductif. C'est une flèche qui semble inversible, mais dont la preuve d'inversibilité nécessite une tour infinie de preuves.

• L'architecte Cœur est assez fort pour voir cette tour infinie et dire : "Ah, ce n'est pas vraiment inversible, car la preuve ne finit jamais." Il garde donc la flèche comme "non inversible".
• L'architecte Localisation dit : "Peu importe la tour infinie, je vais juste dire que c'est inversible." Il ignore la complexité infinie.

C'est ici que la magie opère : il existe des objets mathématiques (comme les "spans" ou les "cobordismes") qui sont très intéressants pour l'architecte Cœur, mais qui deviennent triviaux (ennuyeux, réduits à zéro) pour l'architecte Localisation.

---

🎯 La Conclusion du Papier

Le papier établit une carte précise de ce territoire :

1. Il existe un monde idéal (les catégories de droite, Cœur) où tout est conservé, même les détails infinis.
2. Il existe un monde simplifié (les catégories de gauche, Localisation) où l'on a "nettoyé" les détails infinis.
3. Le passage du monde idéal au monde simplifié est une opération mathématique précise appelée localisation réflexive.
4. Les auteurs montrent exactement quelles flèches sont "effacées" lors de ce passage : ce sont celles qui sont "faiblement surjectives" (une notion technique qui signifie essentiellement qu'elles couvrent tout l'espace, mais avec des trous infinis).

En résumé :
Ce papier est une boussole pour naviguer dans l'univers des mathématiques infinies. Il nous dit : "Si vous voulez la vérité absolue avec tous les détails infinis, utilisez l'approche Cœur. Si vous voulez une version plus simple et plus maniable, utilisez l'approche Localisation, mais sachez que vous perdrez certains détails subtils qui ne peuvent être récupérés."

C'est une avancée majeure pour comprendre comment les mathématiciens doivent traiter l'infini sans devenir fous, en choisissant consciemment entre la pureté absolue et la simplicité pratique.

Résumé technique

Voici un résumé technique détaillé de l'article « Cores and Localizations of (∞, ∞)-Categories » par Viktoria Ozornova, Martina Rovelli et Tashi Walde.

1. Problématique et Contexte

L'article s'intéresse à la définition et à la structure des $(\infty, \infty)$-catégories. Pour les dimensions finies $d$, une $(\infty, d)$-catégorie est bien comprise : c'est une structure où les flèches de dimension supérieure à $d$ sont inversibles. Cependant, le cas limite $d \to \infty$ pose un problème fondamental de définition : comment définir une catégorie où les flèches de toute dimension sont potentiellement non inversibles, tout en gérant la cohérence des isomorphismes de haut niveau ?

Il existe deux approches naturelles et universelles pour construire la catégorie des $(\infty, \infty)$-catégories à partir de la séquence des $(\infty, d)$-catégories :

1. L'approche par le "Core" (Noyau) : On prend la limite projective des foncteurs de noyau $R_d$, qui suppriment toutes les flèches non inversibles de dimension $d+1$. Cela donne une catégorie notée $\mathbf{Cat}^R_\infty$.
2. L'approche par la "Localisation" : On prend la limite projective des foncteurs de localisation $L_d$, qui inversent formellement toutes les flèches de dimension $d+1$. Cela donne une catégorie notée $\mathbf{Cat}^L_\infty$.

Le problème central est de comprendre la relation entre ces deux limites. La littérature suggérait qu'elles pourraient être équivalentes, ou du moins très proches. Les auteurs montrent qu'elles sont distinctes et établissent une relation précise de localisation réflexive entre elles.

2. Méthodologie

Les auteurs adoptent une approche axiomatico-abstraite pour isoler les propriétés essentielles nécessaires à la preuve, indépendamment des modèles spécifiques (simpliciaux, cubiques, etc.).

• Systèmes Bi-inductifs et Biais (Bias) : Ils définissent un cadre abstrait de "systèmes bi-inductifs" (une suite de sous-catégories pleines $C_0 \subset C_1 \subset \dots$ avec adjoints à gauche $L_d$ et à droite $R_d$). Au sein de ce système, ils introduisent la notion de "biais" (bias), une structure supplémentaire définie par une suite de sous-catégories larges $S_n$ (les applications $n$-surjectives) qui vérifient des propriétés de cancellation et de stabilité par composition.
• Surjectivité $n$-surjective : L'outil clé est la généralisation de la notion de surjectivité aux catégories supérieures. Une foncteur est $n$-surjectif s'il est surjectif sur les objets et si les applications induites sur les hom-catégories sont $(n-1)$-surjectives.
• Limites et Adjoints : Ils construisent les catégories limites $\mathbf{C}^R = \lim R_d$ et $\mathbf{C}^L = \lim L_d$ comme des catégories de suites (respectivement constantes à droite et à gauche dans un sens approprié). Ils prouvent l'existence d'une adjonction entre ces deux limites.
• Isomorphismes Co-inductifs : Dans la seconde partie, ils étudient les notions d'inversibilité "internes" aux $(\infty, \infty)$-catégories, notamment les isomorphismes co-inductifs (définis par une récurrence infinie vers le haut) et les $\omega$-isomorphismes (récurrence finie de hauteur arbitraire).

3. Contributions et Résultats Clés

A. Le Théorème Principal : Localisation Réflexive

Le résultat central est le Théorème 4.25. Il établit que l'adjonction entre les deux limites est une localisation réflexive :
$$L : \mathbf{Cat}^R_\infty \rightleftarrows \mathbf{Cat}^L_\infty : R$$
où :

• Le foncteur de droite $R$ est pleinement fidèle.
• Le foncteur de gauche $L$ est une localisation qui inverse exactement les applications faiblement $\infty$-surjectives (weakly $\infty$-surjective maps).
• $\mathbf{Cat}^L_\infty$ est donc la localisation de $\mathbf{Cat}^R_\infty$ par rapport à ces applications.

Cela signifie que $\mathbf{Cat}^L_\infty$ est une sous-catégorie pleine de $\mathbf{Cat}^R_\infty$, mais que l'inclusion n'est pas une équivalence. Le foncteur $L$ "tue" certaines structures non triviales de $\mathbf{Cat}^R_\infty$.

B. Exemples de Non-Équivalence

Les auteurs démontrent que $L$ n'est pas pleinement fidèle en fournissant des contre-exemples concrets :

• La catégorie des spans (correspondances) d'animaux devient triviale sous $L$.
• La catégorie des cobordismes, qui est entièrement dualisable, est réduite à sa localisation $(\infty, 0)$ (un groupe) par $L$.
• L'existence d'un isomorphisme co-inductif "marcheur" (walking coinductive isomorphism) $E$ : c'est un objet de $\mathbf{Cat}^R_\infty$ qui n'est pas trivial, mais qui devient trivial dans $\mathbf{Cat}^L_\infty$.

C. Caractérisation par Complétude

La section 5 explore la nature de ces catégories via des notions d'inversibilité interne :

• Complétude Co-inductive : Une catégorie est co-inductivement complète si ses seuls isomorphismes co-inductifs sont les isomorphismes réels. La localisation $L_{coind}$ vers cette sous-catégorie est une étape intermédiaire.
• Complétude $\omega$ : Les auteurs introduisent les $\omega$-isomorphismes (inversibilité jusqu'à une hauteur finie $n$, pour tout $n$, mais sans tour cohérent unique infini).
• Ils montrent que l'image de $R$ (c'est-à-dire $\mathbf{Cat}^L_\infty$) est contenue dans la sous-catégorie des catégories $\omega$-complètes, mais que cette inclusion est probablement stricte.

D. Conjectures et Questions Ouvertes

L'article se termine par des questions ouvertes, notamment la Conjecture 5.57 de Loubaton : l'image de $R$ est-elle exactement la catégorie des catégories $\omega$-complètes ? Cela équivaut à savoir si une application $\infty$-surjective entre catégories $\omega$-complètes est nécessairement une équivalence.

4. Signification et Impact

Ce travail est fondamental pour la théorie des catégories supérieures pour plusieurs raisons :

1. Clarification Conceptuelle : Il résout l'ambiguïté sur la définition des $(\infty, \infty)$-catégories en montrant qu'il existe deux notions canoniques distinctes (gauche et droite) et en décrivant précisément comment elles sont reliées.
2. Distinction Structurelle : Il démontre que l'approche par localisation (inversion formelle) est plus "rigide" et "trivialisante" que l'approche par noyau (restriction aux inversibles). Cela a des implications pour l'étude des catégories de cobordismes et des spectres catégoriels.
3. Outils Abstraits : La notion de "biais" et l'étude systématique de la surjectivité $n$-surjective fournissent un cadre puissant pour analyser les limites de systèmes adjoints, applicable au-delà de ce cas spécifique.
4. Nouvelles Notions d'Inversibilité : L'introduction et l'étude des isomorphismes co-inductifs et $\omega$-isomorphismes ouvrent de nouvelles perspectives sur la nature de l'égalité et de l'inversibilité dans les dimensions infinies, reliant la théorie des catégories à des concepts de logique co-inductive.

En résumé, l'article établit que la catégorie des $(\infty, \infty)$-catégories "droites" (basée sur les noyaux) est l'objet naturel de départ, et que la version "gauche" (basée sur la localisation) en est une version fortement localisée, où certaines structures d'inversibilité infinie sont effacées.