Fibrations Cartésiennes de $(\infty,2)$-catégories

Informations Fondamentales

• ID de l'article: 2107.12356
• Titre: Fibrations Cartésiennes de $(\infty,2)$-catégories
• Auteurs: Andrea Gagna, Yonatan Harpaz, Edoardo Lanari
• Classification: math.CT, math.AT (théorie des catégories, topologie algébrique)
• Date de publication: Juillet 2021 (dernière version janvier 2024)
• Lien de l'article: https://arxiv.org/abs/2107.12356

Résumé

Cet article introduit quatre variantes de fibrations 2-cartésiennes des $\infty$-bicatégories dans le cadre des ensembles simpliciaux échelonnés. Étant donné une application $p: E \to B$ entre $\infty$-bicatégories, les auteurs définissent les flèches $p$-(co)cartésiennes et les triangles intérieurs/extérieurs par des propriétés de relèvement de $p$. Les fibrations 2-intérieures/extérieures (co)cartésiennes sont définies comme des applications possédant suffisamment de relèvements de flèches (co)cartésiennes et de relèvements de triangles intérieurs/extérieurs, avec des propriétés de compatibilité concernant le whiskering dans le cas extérieur. Les auteurs démontrent que l'équivalence de ces 2-fibrations peut être vérifiée fibre par fibre et montrent que la projection de domaine $d: Fun_{gr}(\Delta^1, C) \to C$ est l'exemple prototypique d'une fibration 2-extérieure cartésienne.

Contexte et Motivation de la Recherche

1. Contexte du problème: En théorie des catégories supérieures, la correspondance de Grothendieck-Lurie établit une équivalence complète entre les fibrations (co)cartésiennes sur les $\infty$-catégories et les foncteurs $B \to Cat_\infty$. Lors de la généralisation aux $\infty$-bicatégories, de nouvelles complexités émergent : il n'existe pas seulement deux variantes de variance (covariante/contravariante), mais quatre, selon que la dépendance fonctorielle des 2-morphismes est covariante ou contravariante.
2. Importance:
   • La théorie des fibrations fournit l'ossature pour définir les $(\infty,2)$-catégories monoïdales symétriques
   • Applications importantes en géométrie algébrique dérivée, particulièrement dans l'encodage de la dualité des faisceaux Ind-cohérents
   • Fournit des outils pour la définition simplifiée des opérades $(\infty,2)$-relatives
3. Limitations des approches existantes:
   • Les travaux antérieurs 6 ne traitaient que le cas où la base est une $\infty$-bicatégorie et les fibres sont des $\infty$-catégories
   • Absence de théorie systématique pour le cas où les fibres sont également des $\infty$-bicatégories
4. Motivation de la recherche: Établir une théorie complète des fibrations des $\infty$-bicatégories, posant les fondations pour une correspondance de Grothendieck-Lurie complète future

Contributions Principales

1. Introduction de quatre variantes de fibrations 2-(co)cartésiennes: fibrations 2-intérieures/extérieures cartésiennes/cocartésiennes, étendant la théorie des fibrations 1-intérieures/extérieures
2. Établissement de la théorie des propriétés de relèvement des triangles intérieurs/extérieurs: Par le concept de triangles p-intérieurs/extérieurs gauche/droit, caractérisant la propriété (co)cartésienne au niveau des 2-morphismes
3. Démonstration du critère de vérification fibre par fibre pour l'équivalence de fibrations: Le Théorème 2.5.1 montre que l'équivalence des fibrations 2-intérieures/extérieures (co)cartésiennes peut être vérifiée sur chaque fibre
4. Construction d'exemples universels clés: Démonstration que la projection de domaine $d: Fun_{gr}(\Delta^1, C) \to C$ est l'exemple prototypique d'une fibration 2-extérieure cartésienne
5. Établissement de la correspondance entre catégories enrichies et modèles de $\infty$-bicatégories: Le Théorème 4.2.4 démontre l'équivalence entre les fibrations enrichies 2-intérieures/extérieures (co)cartésiennes et les fibrations correspondantes de $\infty$-bicatégories

Détails Méthodologiques

Système de Définitions Fondamentales

Triangles 2-Intérieurs/Extérieurs: Pour une fibration faible $p: E \to B$ et un triangle $\sigma: \Delta^2 \to E$:

• Intérieur p-gauche: Lorsque la flèche correspondante dans $E/\sigma(2) \to E \times_B B/p\sigma(2)$ est fortement cartésienne
• Intérieur p-droit: Lorsque la flèche correspondante dans $E_{\sigma(0)/} \to E \times_B B_{p\sigma(0)/}$ est fortement cocartésienne
• Extérieur p-gauche: Lorsque la flèche correspondante dans $E/\sigma(2) \to E \times_B B/p\sigma(2)$ est fortement cocartésienne
• Extérieur p-droit: Lorsque la flèche correspondante dans $E_{\sigma(0)/} \to E \times_B B_{p\sigma(0)/}$ est fortement cartésienne

Définition des Fibrations

Fibration 2-Intérieure: Une fibration faible $p: E \to B$ est une fibration 2-intérieure si et seulement si chaque triangle dans $B$ possède suffisamment de relèvements p-intérieurs gauche et droit

Fibration 2-Extérieure: Une fibration faible $p: E \to B$ est une fibration 2-extérieure si et seulement si:

1. Chaque triangle dans $B$ possède suffisamment de relèvements p-extérieurs gauche et droit
2. Les triangles p-extérieurs gauche sont fermés sous whiskering droit, et les triangles p-extérieurs droit sont fermés sous whiskering gauche

Points d'Innovation Technique

1. Technique des triangles congruents: Par le concept de congruence gauche/droit de la Définition 2.3.3, réduisant les propriétés des triangles généraux aux cas dégénérés
2. Lemme d'extension: Le Lemme 3.0.2 fournit la propriété d'extension clé, utilisée pour démontrer la propriété 2-extérieure cartésienne de la projection de domaine
3. Technique de vérification fibre par fibre: Utilisant les pullbacks homotopiques et les propriétés de changement de base pour établir le critère d'équivalence fibre par fibre

Résultats Théoriques Principaux

Théorème 2.5.1 (Vérification Fibre par Fibre de l'Équivalence de Fibrations)

Considérant un morphisme de fibrations 2-intérieures/extérieures (co)cartésiennes:

E ----r----> E'
|            |
p|            |q  
|            |
B ----f----> B'

Si $f$ est une équivalence de $\infty$-bicatégories, alors $r$ est une équivalence si et seulement si les applications induites $r_b: E_b \to E'_{f(b)}$ sont des équivalences de $\infty$-bicatégories pour tous les $b \in B$.

Théorème 3.0.7 (Propriété de Fibration de la Projection de Domaine)

Pour une $\infty$-bicatégorie $C$, la projection de domaine $d: Fun_{gr}(\Delta^1, C) \to C$ est une fibration 2-extérieure cartésienne, où:

• Les 1-simplexes $d$-cartésiens correspondent aux carrés commutatifs avec l'arête $\hat{\alpha}(\{1\} \times \Delta^1)$ étant une équivalence
• Les triangles p-extérieurs droit satisfont des conditions de compatibilité de whiskering spécifiques

Théorème 4.2.4 (Correspondance des Catégories Enrichies)

Soit $p: E \to B$ une fibration de catégories $Cat_\infty$-enrichies, alors $p$ est une fibration enrichie 2-intérieure (resp. 2-extérieure) cartésienne si et seulement si $N^{sc}(p): N^{sc}E \to N^{sc}B$ est une fibration 2-intérieure (resp. 2-extérieure) cartésienne de $\infty$-bicatégories.

Outils Techniques et Méthodes

Cadre des Ensembles Simpliciaux Échelonnés

• Utilisation des ensembles simpliciaux échelonnés $(X, T_X)$ comme modèle des $\infty$-bicatégories
• Les triangles fins $T_X$ encodent l'information d'inversibilité des 2-morphismes
• Les applications anodines échelonnées définissent les propriétés d'extension des $\infty$-bicatégories

Technique des Constructions de Tranches

• Utilisation des jointures et des constructions de tranches $C/y$ et $C_{x/}$
• Établissement d'applications via l'adjonction des ensembles simpliciaux marqués-échelonnés vers les catégories de modèles

Méthode des Catégories de Modèles

• Utilisation de la structure de modèle de Dwyer-Kan pour traiter les catégories enrichies
• Connexion de différents modèles via l'équivalence de Quillen $N^{sc} \dashv C^{sc}$

Applications et Exemples

Analyse de la Projection de Domaine

Par l'analyse détaillée de $Fun_{gr}(\Delta^1, C) \to C$:

• Démonstration de l'existence et de l'unicité des arêtes cartésiennes
• Établissement des propriétés de relèvement des triangles extérieurs
• Vérification des conditions de compatibilité du whiskering

Application du Produit Tensoriel de Gray

• Utilisation du produit tensoriel de Gray $\Delta^1_\flat \otimes (K, T_K)$ pour caractériser les carrés lax
• Établissement de la correspondance avec les catégories de foncteurs $\infty$-bicatégories

Comparaison avec les Travaux Connexes

Relation avec les Travaux de Lurie

• Extension de la théorie des fibrations (co)cartésiennes des $\infty$-catégories de 12
• Utilisation des théories fondamentales sur les $(\infty,2)$-catégories de 11

Relation avec les Travaux Antérieurs 6

• Généralisation du cas où les fibres sont des $\infty$-catégories au cas où les fibres sont des $\infty$-bicatégories
• Maintien de la classification complète des quatre variantes

Connexion avec Buckley 5

• Inspiration tirée de la théorie des fibrations de 2-catégories
• Réalisation de la généralisation correspondante dans le cadre $\infty$

Conclusions et Discussion

Réalisations Principales

1. Établissement du cadre théorique complet pour les 2-fibrations des $\infty$-bicatégories
2. Démonstration des propriétés techniques clés: invariance homotopique, vérification de l'équivalence fibre par fibre
3. Construction d'exemples universels importants et établissement de correspondances entre différents modèles

Signification Théorique

• Pose les fondations pour la correspondance de Grothendieck-Lurie des $\infty$-bicatégories
• Fournit une méthode systématique pour traiter les fibrations des catégories supérieures
• Connecte différents modèles de $(\infty,2)$-catégories

Limitations

1. La correspondance complète de redressement-redressement inverse n'a pas encore été établie
2. Le traitement de certains détails techniques (comme la compatibilité du whiskering) est relativement complexe
3. La comparaison avec d'autres modèles de catégories supérieures mérite une investigation ultérieure

Directions Futures

1. Établissement de la correspondance complète de Grothendieck-Lurie pour les $\infty$-bicatégories
2. Étude des fibrations localement (co)cartésiennes
3. Applications à la géométrie algébrique dérivée et à la théorie des opérades

Évaluation Approfondie

Avantages Techniques

1. Systématicité: Fournit un cadre de traitement unifié pour les quatre variantes
2. Complétude: Établit une chaîne théorique complète des définitions fondamentales aux théorèmes principaux
3. Profondeur technique: Utilisation ingénieuse d'outils techniques tels que les triangles congruents et le lemme d'extension
4. Indépendance du modèle: Établissement de la robustesse théorique par les correspondances entre différents modèles

Innovations Méthodologiques

1. Généralisation naturelle des concepts (co)cartésiens de dimension 1 à la dimension 2
2. Traitement de la complexité des variantes au niveau des 2-morphismes par la classification intérieur/extérieur
3. Développement de nouvelles techniques pour traiter la compatibilité du whiskering

Contributions Théoriques

1. Comble un vide important dans la théorie des fibrations des $(\infty,2)$-catégories
2. Fournit des outils fondamentaux pour le développement ultérieur de la théorie des catégories supérieures
3. Établit une connexion organique avec la théorie classique des 2-catégories

Impact Potentiel

Ce travail ouvre de nouvelles voies pour les applications de la théorie des $(\infty,2)$-catégories, particulièrement dans:

• La théorie des faisceaux en géométrie algébrique dérivée
• La théorie des opérades supérieures
• L'étude des $(\infty,2)$-catégories monoïdales symétriques

Cet article représente une étape importante dans le développement de la théorie des $(\infty,2)$-catégories, posant les fondations théoriques solides pour le développement ultérieur de ce domaine.