Catégories supérieures présentables et limites

Informations fondamentales

• ID de l'article: 2510.13503
• Titre: Catégories supérieures présentables et limites
• Auteur: Ko Aoki
• Classification: math.CT (Théorie des catégories), math.AT (Topologie algébrique), math.LO (Logique)
• Date de publication: 16 octobre 2025
• Lien de l'article: https://arxiv.org/abs/2510.13503

Résumé

Stefanich a généralisé le concept de catégories $(\infty, 1)$-présentables (localement) au concept de catégories $(\infty, n)$-présentables. Cet article fournit une nouvelle description basée sur le nouveau concept de catégories $(\infty, n)$-$\kappa$-compactement générées, évitant l'expansion d'univers. En utilisant la nouvelle définition, nous prouvons que le foncteur sous-jacent de tout morphisme entre catégories $(\infty, 2)$-présentables possède un adjoint à droite. En particulier, toute catégorie $(\infty, 2)$-présentable possède des limites. Nous prouvons également que cela échoue dramatiquement lorsque nous passons à des dimensions supérieures : la catégorie des catégories $(\infty, 2)$-présentables, qui est une catégorie $(\infty, 3)$-présentable unitaire, n'a pas de limites. Cela résout négativement la conjecture de Stefanich.

Contexte et motivation de la recherche

Contexte du problème

1. Importance de la théorie des catégories présentables: En théorie des catégories, la présentabilité (c'est-à-dire « être engendrée par de petits objets ») est un concept fondamental qui joue un rôle important dans la théorie topologique (comme la caractérisation de Giraud).
2. Théorème du foncteur adjoint: Dans la théorie classique, le foncteur sous-jacent de tout morphisme entre catégories présentables possède un adjoint à droite, ce qui implique en particulier l'existence de limites. C'est un outil puissant.
3. Difficultés de la généralisation en dimension supérieure: La généralisation de cette théorie à la théorie des catégories supérieures présente des difficultés. Naïvement, la catégorie des 2-catégories présentables devrait être une « catégorie Pr-enrichie présentable », mais en raison du fait que la catégorie Pr des 1-catégories présentables n'est pas elle-même présentable, des problèmes de taille apparaissent.
4. Solution de Stefanich et ses problèmes: Stefanich a résolu ce problème de manière ingénieuse par expansion d'univers, mais cette approche présente des inconvénients:
   • Elle nécessite des axiomes forts dont la cohérence relative sur la théorie des ensembles ZF ne peut être prouvée
   • Différentes expansions d'univers peuvent produire différentes notions de catégories n-présentables
   • Certains problèmes sont difficiles à étudier

Motivation de la recherche

Cet article vise à fournir une nouvelle définition qui évite les problèmes de l'expansion d'univers et à utiliser cette nouvelle approche pour étudier la conjecture proposée par Stefanich concernant l'existence de limites pour les catégories présentables en dimension supérieure.

Contributions principales

1. Nouvelle définition: Proposition d'une nouvelle définition des catégories $(\infty, n)$-présentables basée sur le concept de catégories $(\infty, n)$-$\kappa$-compactement générées, évitant l'expansion d'univers.
2. Preuve d'équivalence: Preuve que la nouvelle définition est équivalente à la définition originale de Stefanich (Théorème A), indépendamment du choix d'expansion d'univers.
3. Résultats positifs pour les 2-catégories: Preuve que le foncteur sous-jacent de tout morphisme entre catégories $(\infty, 2)$-présentables possède un adjoint à droite, en particulier toute catégorie $(\infty, 2)$-présentable possède des limites (Théorème D).
4. Réfutation de la conjecture de Stefanich: Preuve que la conjecture de Stefanich selon laquelle $nPr$ possède des petites limites pour $n \geq 0$ est fausse pour $n = 2$ (Théorème B).
5. Non-présentabilité des catégories de morphismes: Construction de catégories 3- ou 4-monoïdales symétriques stables présentables dont $\text{End}(1)$ n'est pas présentablement existant (Théorème C).

Explication détaillée des méthodes

Définition centrale

Définition 1.2 (Nouvelle définition des catégories n-présentables): Pour un cardinal régulier $\kappa$, soit $\text{Pr}^\kappa$ la catégorie des catégories $\kappa$-compactement générées et des foncteurs préservant les colimites et les objets $\kappa$-compacts. Définissons:

• $0\text{Pr}^\kappa$ comme la catégorie des animas $\text{Ani}$
• $(n+1)\text{Pr}^\kappa = \text{Mod}_{n\text{Pr}^\kappa}(\text{Pr}^\kappa)$, $n \geq 0$

Pour les cardinaux réguliers $\kappa \leq \lambda$, il existe un foncteur canonique $n\text{Pr}^\kappa \to n\text{Pr}^\lambda$. Définissons: $n\text{Pr} = \lim_{\to \kappa} n\text{Pr}^\kappa$

Composants techniques clés

1. Génération $\kappa$-compacte:
   • Les Lemmes 2.1 et 2.2 assurent la validité de la définition inductive
   • La Proposition 2.3 prouve que $\text{Pr}^\kappa$ lui-même appartient à $\text{CAlg}(\text{Pr}^\kappa)$
2. Théorie des catégories enrichies:
   • Utilisation du Théorème de Heine 3.4: $\text{Mod}_V(\text{Pr})$ est équivalent à $\text{Pr}^V$
   • La Proposition 3.7 fournit une caractérisation des catégories V-présentables
3. Concept de complexité:
   • La Définition 4.9 introduit la complexité $c_\kappa(F)$ des morphismes dominants
   • La Proposition 4.10 donne les relations de complexité entre différents cardinaux

Points d'innovation technique

1. Éviter l'expansion d'univers: Par la construction de la limite dirigée $\lim_{\to \kappa} n\text{Pr}^\kappa$, on évite le besoin de fixer un univers plus grand.
2. Théorie de la complexité: Introduction du concept de complexité des morphismes dominants, qui est l'outil clé pour analyser l'absence de limites dans le cas de dimension supérieure.
3. Théorie enrichie des catégories Ind: Développement systématique de la théorie des catégories Ind enrichies en V, fournissant la base pour les résultats positifs dans le cas des 2-catégories.

Résultats principaux

Résultats positifs (Théorème D)

Théorème D: Le foncteur sous-jacent de tout morphisme entre catégories $(\infty, 2)$-présentables possède un adjoint à droite. En particulier, toute catégorie $(\infty, 2)$-présentable possède des limites.

Esquisse de preuve:

1. Utilisation du Théorème 3.9: pour $\kappa \leq \lambda$, le foncteur $C \to \text{Pr}^\lambda \otimes_{\text{Pr}^\kappa} C$ préserve les $\kappa$-petites limites et est un monomorphisme
2. Par la théorie des catégories enrichies, réduction du problème aux relations d'adjonction entre catégories de foncteurs
3. Utilisation des techniques du Lemme 3.12 pour prouver l'existence de l'adjoint requis

Résultats négatifs (Théorème B)

Théorème B: La conjecture de Stefanich est fausse pour $n = 2$.

Esquisse de preuve:

1. Considération de $\text{cofib}: \text{Fun}([1], \text{Pr}^{\text{st}}) \to \text{Pr}^{\text{st}}$
2. Preuve que $\ker(\text{cofib}) = \text{Fun}([1], \text{Pr}^{\text{st}}) \times_{\text{Pr}^{\text{st}}} 0$ n'existe pas dans $2\text{Pr}$
3. La clé est la construction de l'exemple 4.13, montrant que les $\text{Dom}^\kappa$ correspondant à différents $\kappa$ ne préservent pas la dominance lors de la transition
4. Utilisation de l'analyse de complexité pour prouver que certains objets ne peuvent pas être engendrés à une complexité inférieure

Résultat sur les catégories de morphismes (Théorème C)

Théorème C: Il existe des catégories 3- ou 4-monoïdales symétriques stables présentables dont $\text{End}(1)$ n'est pas présentablement existant.

Ceci est obtenu en combinant les Lemmes 4.18 et 4.19: si une certaine limite n'existe pas dans $\text{CAlg}(2\text{Pr})$, alors le $\text{End}$ correspondant n'est pas présentablement existant.

Détails techniques

Analyse de complexité

Pour un morphisme dominant $F: C \to D$ dans $\text{Pr}^\kappa_{\text{st}}$, on définit la complexité $c_\kappa(F)$ comme le plus petit ordinal $\alpha$ tel que $T^\alpha_\kappa(F(C_\kappa)) = D_\kappa$.

L'exemple 4.13 construit un morphisme de complexité $\kappa$: $F: \text{Fun}(\kappa^\delta, \text{Sp}) \to \text{Fun}(\kappa^{\text{op}}, \text{Sp})$ où $F$ envoie $S(\alpha)$ à $X(\alpha) = \text{cofib}(\lim_{\to \beta < \alpha} Y(\beta) \to Y(\alpha))$.

Mécanisme de l'absence de limites

Par la construction de contre-exemples, on montre:

1. Le comportement de $\text{Dom}^\kappa$ est incohérent à différents niveaux de $\kappa$
2. Le foncteur de transition $\text{Pr}^\mu \otimes_{\text{Pr}^\kappa} \text{Dom}^\kappa \to \text{Pr}^\mu \otimes_{\text{Pr}^\lambda} \text{Dom}^\lambda$ n'est pas dominant
3. Cela entraîne l'absence de limite dans $2\text{Pr}$

Travaux connexes

1. Travail original de Stefanich: 10 définit systématiquement pour la première fois les catégories $(\infty, n)$-présentables, mais dépend de l'expansion d'univers.
2. Résultats classiques de Bird: 2 prouve l'existence de limites pour les catégories présentables dans le cas classique.
3. Théorie topologique d'ordre supérieur de Lurie: 7 fournit les fondations de la théorie des catégories présentables.
4. Théorie des catégories infinies enrichies: Les travaux de Heine 4 et Hinich 6 fournissent les fondations pour l'approche des catégories enrichies de cet article.

Conclusion et discussion

Conclusions principales

1. Validité de la nouvelle définition: La nouvelle définition évitant l'expansion d'univers est équivalente à la définition originale, résolvant les problèmes fondamentaux.
2. Limite dimensionnelle: Les catégories $(\infty, 2)$-présentables conservent toujours les bonnes propriétés (existence de limites), mais cela échoue dramatiquement aux 3-catégories.
3. Limites du théorème du foncteur adjoint: Le théorème classique du foncteur adjoint ne s'applique plus dans le cas de dimension supérieure.

Limitations

1. Complexité de la construction: La construction des contre-exemples est assez technique et peut être difficile à généraliser à d'autres cas.
2. Problèmes d'applicabilité pratique: Bien que théoriquement important, l'impact sur les applications pratiques doit être évalué davantage.
3. Approches alternatives: Comme suggéré à la Remarque 1.14, travailler avec un $\kappa$ fixe peut être plus utile en pratique.

Directions futures

1. Théorie de rigidité en dimension supérieure: Le concept de rigidité en dimension supérieure introduit par l'auteur dans 1 peut fournir une solution.
2. Théorie spectrale des catégories: Le concept de spectre de catégories présentables mentionné à la Remarque 2.10 mérite un développement ultérieur.
3. Applications concrètes: Tester l'utilité pratique de ces théories dans des domaines tels que la géométrie algébrique.

Évaluation approfondie

Avantages

1. Profondeur théorique: Résout des problèmes fondamentaux en théorie des catégories supérieures, avec une valeur théorique importante.
2. Innovation technique: La théorie de la complexité et la méthode d'éviter l'expansion d'univers sont toutes deux innovantes.
3. Complétude: Fournit à la fois des résultats positifs et négatifs, donnant une image complète.
4. Rigueur: Les techniques de preuve sont rigoureuses et les arguments sont suffisants.

Insuffisances

1. Lisibilité: Le seuil technique est élevé pour les non-spécialistes.
2. Applicabilité pratique: Principalement des résultats théoriques, la valeur pratique reste à vérifier.
3. Généralité: La spécificité de la construction des contre-exemples peut limiter la généralisation des résultats.

Impact

Cet article résout une importante conjecture de Stefanich et a un impact significatif sur le domaine de la théorie des catégories supérieures. Il clarifie les limites de la théorie des catégories présentables en dimension supérieure et fournit une orientation importante pour le développement ultérieur du domaine.

Scénarios applicables

Principalement applicable à:

1. Recherche théorique en théorie des catégories supérieures
2. Étude des structures en dimension supérieure en topologie algébrique
3. Recherche fondamentale en théorie des types d'homotopie
4. Applications de la théorie des catégories nécessitant d'éviter l'expansion d'univers

Références

L'article cite les références clés du domaine, notamment:

• Le travail original de Stefanich 10
• La théorie topologique d'ordre supérieur de Lurie 7, 8
• Le travail de Heine sur les catégories infinies enrichies 4
• Les résultats classiques de Bird 2

Ces citations sont suffisantes et appropriées, reflétant une compréhension approfondie du domaine par l'auteur.