Homotopy Posets, Postnikov Towers, and Hypercompletions of $\infty$-Categories

Cet article étend les notions homotopiques fondamentales aux $(\infty,\infty)$-catégories en introduisant des posets d'homotopie qui constituent une tour de Postnikov catégorique, convergeant pour les $(\infty,n)$-catégories et permettant d'identifier les $(\infty,\infty)$-catégories complètes à la limite des catégories $(\infty,n)$.

L'essentiel

Imaginez que les mathématiques sont comme un immense jeu de construction. Pendant des décennies, les mathématiciens ont construit des structures en utilisant des blocs très simples : des ensembles de points (comme des perles sur un collier) et des flèches qui les relient. C'est ce qu'on appelle la théorie des catégories classique.

Mais il y a quelques décennies, les mathématiciens ont découvert qu'ils pouvaient remplacer ces perles rigides par des objets plus souples, comme des élastiques ou des formes géométriques qui peuvent se déformer sans se casser. C'est la théorie des $\infty$-catégories (ou catégories infinies). Dans ce monde, une "flèche" n'est pas juste une ligne droite, c'est un chemin qui peut être déformé, et deux chemins peuvent être considérés comme "égaux" s'ils peuvent être transformés l'un en l'autre.

David Gepner et Hadrian Heine, dans cet article, nous disent : "Attendez, si on peut faire ça avec des élastiques, pourquoi ne pas le faire avec des flèches qui ont une direction ?"

Voici une explication simple de leurs idées, avec des analogies du quotidien.

1. Le problème des flèches à sens unique

Dans le monde classique des catégories, les flèches sont souvent comme des routes à double sens : si vous pouvez aller de A à B, vous pouvez généralement revenir de B à A (c'est ce qu'on appelle un "groupeïde"). C'est comme si chaque relation était une amitié mutuelle.

Mais dans la vraie vie (et en physique quantique), les relations ne sont pas toujours mutuelles. Vous pouvez aimer quelqu'un sans qu'il vous le rende. C'est une relation orientée.
Les auteurs disent : "Il faut construire une théorie des catégories où les flèches ont un sens strict (source $\to$ cible), comme une flèche de fléchette ou une route à sens unique." Ils appellent cela des "catégories orientées".

2. Les "Postes de Tri" (Les ensembles d'homotopie)

En topologie (l'étude des formes), pour comprendre un objet compliqué (comme un ballon de baudruche), on le découpe en couches. On regarde d'abord s'il est vide, puis s'il a un trou, puis s'il a une cavité, etc. On utilise des "groupes d'homotopie" pour compter ces trous.

Dans le monde des catégories orientées, les choses sont plus bizarres.

• L'analogie : Imaginez que vous essayez de classer des objets dans un entrepôt. Dans un monde classique, vous mettriez tout dans des boîtes étiquetées "A", "B", "C".
• Leur découverte : Dans leur monde orienté, vous ne pouvez pas juste mettre les objets dans des boîtes. Vous devez les ranger sur une échelle.
  • Si vous pouvez aller de l'objet A à l'objet B, alors A est "en dessous" de B.
  • Si vous pouvez aller de B à A, alors ils sont au même niveau.
  • Mais si vous ne pouvez aller que de A vers B, alors A est strictement inférieur à B.
  • Cela crée une hiérarchie (un "poset" ou ensemble partiellement ordonné), pas juste une liste. C'est comme si votre classement de films n'était pas juste une liste, mais un diagramme où certains films sont "supérieurs" à d'autres selon des critères précis.

3. La Tour de Postnikov : Déconstruire l'objet couche par couche

Imaginez que vous avez un château de cartes très complexe (une $\infty$-catégorie). Pour le comprendre, vous voulez le déconstruire couche par couche.

• La méthode classique : On enlève les cartes du haut pour voir ce qu'il y a en dessous.
• La méthode de Gepner et Heine : Ils construisent une Tour de Postnikov. C'est comme une tour de Lego où chaque étage représente une "tranche" de complexité.
  • L'étage 0 : Juste les objets (les briques de base).
  • L'étage 1 : Les flèches entre les objets.
  • L'étage 2 : Les flèches entre les flèches (les transformations).
  • Et ainsi de suite à l'infini.

Leur grand résultat est que pour certaines catégories (qu'ils appellent "Postnikov complètes"), cette tour fonctionne parfaitement : si vous reconstruisez la tour étage par étage, vous retrouvez exactement le château original. Mais pour d'autres catégories, la tour ne converge pas, un peu comme si vous essayiez de reconstruire un château de sable avec des vagues qui arrivent.

4. Les "Cellules" et le squelette

Comment construit-on ces catégories ?

• L'analogie du squelette : Imaginez un animal en peluche. D'abord, vous avez le squelette (les os). Ensuite, vous ajoutez la viande (les muscles), puis la peau.
• En mathématiques, ils montrent que n'importe quelle catégorie infinie peut être construite en ajoutant des "cellules" (des blocs de construction) une par une, comme un squelette qui grandit.
• Ils ont découvert que ces "cellules" ne sont pas de simples sphères (comme en topologie classique), mais des formes plus exotiques, comme des cubes orientés ou des simplexes (des triangles en 3D, 4D, etc.) qui ont une direction.

5. Pourquoi est-ce important ?

Pourquoi se casser la tête avec des flèches à sens unique et des tours infinies ?

• Physique Quantique : Dans la théorie des cordes et la physique quantique, les symétries ne sont pas toujours réversibles. Il y a des processus qui vont dans un sens mais pas dans l'autre. Cette théorie fournit le langage mathématique pour décrire ces phénomènes.
• Informatique et Logique : Cela aide à comprendre comment les données s'écoulent dans des systèmes complexes où l'ordre compte (comme dans les bases de données ou les réseaux de neurones).
• Unification : Ils montrent que les outils classiques de la topologie (qui étudient les formes) peuvent être adaptés pour étudier les structures logiques et directionnelles, créant un pont entre deux mondes mathématiques qui semblaient séparés.

En résumé

David Gepner et Hadrian Heine ont pris les outils de base des mathématiques (les catégories) et leur ont donné une direction. Ils ont montré que même si les flèches ne peuvent pas toujours faire demi-tour, on peut toujours les classer, les empiler en tours, et les reconstruire pièce par pièce. C'est comme passer d'un jeu de perles où tout est interchangeable à un jeu de Lego où chaque pièce a une place précise et une orientation, permettant de construire des structures bien plus riches et réalistes pour décrire l'univers.

Résumé technique

Résumé Technique : Homotopy Posets, Postnikov Towers, and Hypercompletions of ∞-Categories

1. Problématique et Contexte

L'objectif principal de cet article est d'étendre les notions fondamentales de la théorie de l'homotopie classique (ensembles d'homotopie, groupes d'homotopie, suites exactes, tours de Postnikov, complétions) au cadre des $\infty$-catégories (et plus généralement des catégories orientées).

Dans la théorie classique des espaces topologiques ou des $\infty$-groupoïdes, les invariants d'homotopie sont des ensembles ou des groupes abéliens, et les morphismes sont essentiellement réversibles (inversibles). Cependant, dans le contexte des $\infty$-catégories générales, les morphismes ne sont pas nécessairement inversibles. Cela pose plusieurs défis :

• Les « ensembles d'homotopie » classiques ne suffisent pas car ils perdent l'information directionnelle (l'orientation).
• La suspension catégorique n'est pas compatible avec le produit cartésien usuel des $\infty$-catégories, mais l'est avec le produit tensoriel de Gray.
• Il existe une tension entre la notion de « complétion de Postnikov » (basée sur les troncatures $(n, n+1)$) et la notion de limite des catégories $n$-catégoriques ($n$-Cat), qui ne coïncident pas toujours.

Les auteurs cherchent à établir un cadre unifié où l'on peut définir des invariants d'homotopie adaptés aux structures orientées, construire des tours de Postnikov convergentes pour certaines classes d'objets, et caractériser les catégories qui sont « complètes » par rapport à ces tours.

2. Méthodologie et Cadre Théorique

Les auteurs adoptent une approche basée sur l'enrichissement et les systèmes de factorisation :

• Catégories Orientées : Ils travaillent principalement avec des catégories enrichies dans la catégorie des $\infty$-catégories ($\infty\text{Cat}$) munie du produit tensoriel de Gray ($\boxtimes$), plutôt que du produit cartésien. Ils appellent ces objets des « espaces orientés » (oriented spaces). Cette structure permet de capturer la non-inversibilité des morphismes tout en conservant une structure homotopique riche.
• Systèmes de Factorisation Enrichis : Ils généralisent la théorie des systèmes de factorisation (classes de morphismes « connectifs » et « tronqués ») au contexte enrichi. Ils démontrent que pour toute catégorie orientée présentable, il existe une hiérarchie de systèmes de factorisation $(n\text{-connective}, n\text{-truncated})$.
• Filtrations Squelettiques : En s'inspirant de la théorie des ensembles simpliciaux et des modèles de complicial sets (Verity, Loubaton), ils définissent une filtration squelettique des $\infty$-catégories en utilisant les « orientals » ($\Delta^n$) et leurs troncatures.
• Fibres Orientées : Pour généraliser les suites exactes longues, ils introduisent la notion de fibres orientées (pullbacks orientés) et de bases orientées (suites de paires d'objets et de morphismes de dimensions croissantes).

3. Contributions Clés et Résultats Principaux

A. Les Posets d'Homotopie (Homotopy Posets)

Contrairement aux espaces topologiques où les ensembles d'homotopie $\pi_n$ sont des ensembles discrets, les auteurs définissent les posets d'homotopie $\pi_n(C, Z)$ pour une $\infty$-catégorie $C$ basée en un point orienté $Z$.

• Structure : Ces invariants sont des ensembles partiellement ordonnés (posets), et non des groupes. L'ordre reflète l'existence de morphismes entre les éléments.
• Non-trivialité des blocs de construction : Contrairement au cas topologique où le simplexe $\Delta^n$ est contractile, le simplexe catégorique $\Delta^n$ possède des posets d'homotopie non triviaux dans toutes les dimensions $m \le n$.
• Suite Exacte Orientée : Ils établissent une suite exacte longue de posets d'homotopie associée à une fibration orientée, généralisant la suite exacte classique de Serre.

B. Troncations et Connexivité

Les auteurs caractérisent rigoureusement les foncteurs $n$-tronqués et $n$-connectifs :

• Un foncteur est $n$-tronqué s'il est $(n+1)$-fidèle (faithful).
• Un foncteur est $n$-connectif s'il est $(n+1)$-connectif (surjectif sur les composantes et induit des foncteurs $(n)$-connectifs sur les espaces de morphismes).
• Théorème de Factorisation : Pour toute catégorie orientée présentable, ces classes forment un système de factorisation orthogonal. Cela permet de définir des localisations orientées $\tau_{\le n} : \mathcal{C} \to \tau_{\le n}\mathcal{C}$.

C. Tours de Postnikov et Complétion

Ils comparent deux approches de la « dimension » d'une $\infty$-catégorie :

1. La tour dimensionnelle : $X \to \lim \{ \dots \to \tau_n X \to \dots \}$, où $\tau_n X$ est la réflexion dans la catégorie des $n$-catégories. Cette tour ne converge pas toujours.
2. La tour de Postnikov : $X \to \lim \{ \dots \to \tau_{\le n} X \to \dots \}$, où $\tau_{\le n} X$ est la réflexion dans la catégorie des $(n, n+1)$-catégories (catégories où les morphismes de niveau $n$ forment un poset).

Résultat Majeur (Théorème 1.9.4) : La sous-catégorie pleine des $\infty$-catégories complètes de Postnikov (celles pour lesquelles l'application naturelle vers la limite de la tour de Postnikov est une équivalence) est une localisation de $\infty\text{Cat}$.

• Cette localisation est obtenue en inversant les équivalences co-inductives.
• Ils identifient cette catégorie de complétion avec la limite de la tour des catégories $n$-catégoriques le long des foncteurs de troncature, validant ainsi une définition alternative des $\infty$-catégories souvent utilisée en théorie des types.

D. Théorèmes de Whitehead et Classes Spéciales

• Théorème de Whitehead pour les catégories dirigées : Pour une classe importante d'objets, les $\infty$-catégories dirigées (où l'existence de morphismes $A \to B$ et $B \to A$ implique que $A$ et $B$ sont équivalents), un foncteur est une équivalence si et seulement si il induit des isomorphismes sur tous les posets d'homotopie $\pi_n$.
• Ils montrent que les catégories de Steiner et les catégories finiment dimensionnelles sont Postnikov-complètes.

E. Théorie des Obstructions Squelettiques

Ils développent une théorie des obstructions pour construire des foncteurs entre $\infty$-catégories de manière cellulaire.

• La filtration squelettique est construite en attachant des cellules le long de leurs bords (utilisant les sphères catégoriques $D^n/\partial D^n$ et les sphères homotopiques).
• Ils calculent explicitement les fibres de l'espace des extensions d'un foncteur défini sur le $n$-squelette vers le $(n+1)$-squelette, en termes de posets d'homotopie.

4. Signification et Impact

Ce travail est fondamental pour plusieurs raisons :

1. Unification de l'Homotopie et de la Théorie des Catégories : Il démontre que les outils puissants de l'homotopie classique (tours de Postnikov, suites exactes, théorèmes de Whitehead) ne sont pas limités aux espaces topologiques ou aux $\infty$-groupoïdes, mais peuvent être systématiquement étendus aux structures catégoriques orientées grâce au produit de Gray.
2. Clarification des Fondements des $\infty$-Catégories : En caractérisant les catégories complètes de Postnikov comme une localisation, l'article résout une question ouverte sur la relation entre les différentes définitions des $\infty$-catégories (notamment la limite des $n$-catégories vs la définition co-inductive).
3. Outils pour la Physique Mathématique et la TQFT : Les symétries catégoriques (non-inversibles) sont cruciales en théorie quantique des champs topologique (TQFT) et en théorie des représentations. Ce papier fournit le langage et les invariants nécessaires pour étudier ces symétries de manière rigoureuse.
4. Nouveaux Invariants Computables : L'introduction des posets d'homotopie offre de nouveaux invariants combinatoires pour classifier les $\infty$-catégories, en particulier pour les objets de nature combinatoire comme les cubes orientés et les orientals.

En résumé, Gepner et Heine établissent une théorie de l'homotopie « orientée » robuste, transformant la compréhension des $\infty$-catégories d'une simple généralisation des espaces en une discipline dotée de ses propres structures profondes et de ses propres outils de calcul.