Metrics on triangulated categories and restrictions of (co)-$t$-structures

1. Énoncé du problème

L'article aborde deux problèmes interconnectés dans la théorie des catégories triangulées, spécifiquement dans le contexte des catégories triangulées compactement générées ($\mathcal{T}$) équipées de métriques (une théorie développée par Neeman pour étudier les complétions des catégories d'objets compacts).

1. Restriction des t-structures induites par le silting :
   Dans une catégorie compactement générée $\mathcal{T}$, une sous-catégorie silting $\mathcal{G}$ d'objets compacts ($\mathcal{T}^c$) induit une t-structure canonique $(\mathcal{T}^{\leq 0}_{\mathcal{G}}, \mathcal{T}^{\geq 0}_{\mathcal{G}}).$ Bien que cette t-structure soit bien définie sur $\mathcal{T}$, il n'est pas garanti qu'elle se restreigne à la précomplétion ($\mathcal{T}^-_c$) ou à la complétion ($\mathcal{T}^b_c$) de $\mathcal{T}^c$ par rapport à la métrique induite par $\mathcal{G}$. Les auteurs cherchent une caractérisation précise des conditions sous lesquelles cette restriction se produit.
2. Extension des correspondances Koenig-Yang :
   Koenig et Yang ont établi des bijections entre les objets silting, les co-t-structures bornées, les t-structures bornées et les collections simples-esprit pour les algèbres de dimension finie. L'article demande si ces correspondances s'étendent au cadre métrique général des catégories triangulées et si elles commutent avec les opérations de mutation et préservent les ordres partiels.

2. Méthodologie

Les auteurs emploient une combinaison de théorie de l'approximation, de techniques de complétion métrique et d'algèbre homologique dans le cadre de la théorie des métriques sur les catégories triangulées de Neeman.

• Cadre métrique : Ils utilisent les définitions de « bonnes métriques », de suites de Cauchy, et de la précomplétion ($\mathcal{T}^-_c$) et de la complétion ($\mathcal{T}^b_c$) résultantes en tant que sous-catégories de la catégorie de foncteurs $\text{Mod-}\mathcal{T}$.
• Théorie de l'approximation : Un outil central est l'étude de la finitude contravariante. Les auteurs analysent quand les objets dans les catégories plus larges admettent des approximations à droite par des objets de la sous-catégorie silting $\mathcal{G}$.
• Constructions inductives : Ils construisent des séquences spécifiques de triangles (désignées comme « tranches » et « empilements ») pour approximer les objets dans $\mathcal{T}^-_c$ et $\mathcal{T}^b_c$ en utilisant des objets de $\mathcal{G}$ et de ses extensions.
• Dualité et représentabilité : Pour établir les correspondances Koenig-Yang, ils utilisent les théorèmes de représentabilité de Neeman et des arguments de dualité (impliquant spécifiquement le dual des espaces Hom) pour relever les collections simples-esprit de la complétion vers les objets silting dans la sous-catégorie compacte.

3. Contributions et résultats clés

A. Caractérisation de la restriction (Théorème 1.1)

L'article fournit une caractérisation complète de la condition sous laquelle une t-structure induite par le silting se restreint aux complétions métriques. Soit $\mathcal{G}$ une sous-catégorie silting de $\mathcal{T}^c$. Les conditions suivantes sont équivalentes (avec des implications pour la complétion) :

1. $\mathcal{G}$ est fini contravariante dans $\mathcal{T}^c$.
2. $\mathcal{G}$ est fini contravariante dans la précomplétion $\mathcal{T}^-_c$.
3. La t-structure induite se restreint à une t-structure sur $\mathcal{T}^-_c$.
4. La t-structure induite se restreint à une t-structure sur la complétion $\mathcal{T}^b_c$.
5. Tout objet dans $\mathcal{T}^b_c$ admet une approximation à droite par $\text{add}(\mathcal{G})$.

Conséquences :

• Si la restriction vaut, la t-structure restreinte sur $\mathcal{T}^-_c$ est bornée supérieurement, et sur $\mathcal{T}^b_c$ elle est bornée.
• Le cœur de la t-structure restreinte est équivalent à $\text{mod-}\mathcal{G}$ et $\text{mod-}H^0(\mathcal{G})$.
• L'intersection de la t-structure restreinte définit une co-t-structure sur $\mathcal{T}^-_c$ (et sur $\mathcal{T}^b_c$ si $\mathcal{T}^c \subseteq \mathcal{T}^b_c$) avec cœur co $\mathcal{G}$.

B. Caractérisation catégorique des anneaux à droite cohérents (Corollaire 1.2)

Une application majeure du théorème de restriction est une caractérisation purement catégorique des anneaux à droite cohérents.

• Résultat : Un anneau $R$ est à droite cohérent si et seulement si la t-structure standard sur la catégorie dérivée $D(\text{Mod-}R)$ se restreint à la catégorie homotopique des complexes bornés de modules projectifs de type fini, $K^{-,b}(\text{proj-}R)$.
• Signification : Cela généralise les résultats précédents limités aux complexes de tilting sur des anneaux cohérents, montrant que la cohérence de l'anneau est intrinsèquement liée au comportement de restriction de la t-structure standard.

C. Correspondances Koenig-Yang étendues (Théorème 1.3)

Sous l'hypothèse que $\mathcal{T}$ est une catégorie $k$-linéaire compactement générée avec un objet silting $G$ ayant des espaces Hom de dimension finie, et que $\mathcal{T}$ est généré par un objet dans $\mathcal{T}^b_c$, les auteurs établissent des bijections entre :

1. Les classes d'isomorphie d'objets silting basiques dans $\mathcal{T}^c$.
2. Les co-t-structures bornées sur $\mathcal{T}^c$.
3. Les t-structures bornées sur $\mathcal{T}^b_c$ avec des cœurs de longueur.
4. Les classes d'équivalence de collections simples-esprit dans $\mathcal{T}^b_c$.

Propriétés clés :

• Ces bijections commutent avec les opérations de mutation (à gauche et à droite).
• Elles préservent les ordres partiels définis sur ces structures (par exemple, $M \geq N$ si $\text{Hom}(M, N[m]) = 0$ pour $m > 0$).
• L'article construit explicitement les applications inverses, montrant notamment comment construire un objet silting à partir d'une collection simples-esprit en utilisant des colimites homotopiques et la dualité, même en l'absence d'un foncteur de Nakayama.

4. Signification

• Unification des cadres : L'article comble avec succès le fossé entre les résultats classiques de la théorie des anneaux (comme la cohérence) et la théorie métrique abstraite des catégories triangulées. Il démontre que les complétions métriques ne sont pas de simples outils techniques, mais des cadres naturels pour étudier des propriétés structurelles comme les restrictions de t-structures.
• Généralisation des résultats classiques : En étendant les correspondances Koenig-Yang au cadre métrique, les auteurs généralisent la théorie des objets silting et des collections simples-esprit au-delà des algèbres de dimension finie vers une classe beaucoup plus large de catégories triangulées.
• Nouvelle caractérisation de la cohérence : Le résultat caractérisant les anneaux à droite cohérents via la restriction de la t-structure standard offre une nouvelle perspective purement homologique sur la théorie des anneaux, indépendante des définitions de cohérence par la théorie des modules.
• Stabilité structurelle : La preuve que ces correspondances commutent avec les mutations et préservent les ordres confirme la robustesse de la théorie du silting dans les contextes métriques, suggérant que la structure combinatoire des objets silting est préservée même lors du passage des objets compacts à leurs complétions métriques.

En résumé, cet article fournit une fondation rigoureuse pour comprendre comment la théorie du silting se comporte sous complétion métrique, offrant de nouveaux outils puissants pour analyser les catégories dérivées et établir des connexions profondes entre les propriétés des anneaux, les t-structures et les mutations combinatoires.