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

1. Enunciato del Problema

L'articolo affronta due problemi interconnessi nella teoria delle categorie triangolate, specificamente nel contesto delle categorie triangolate generate da compatti ($\mathcal{T}$) dotate di metriche (una teoria sviluppata da Neeman per studiare i completamenti delle categorie di oggetti compatti).

1. Restrizione delle strutture t indotte da silting:
   In una categoria generata da compatti $\mathcal{T}$, una sottocategoria di silting $\mathcal{G}$ di oggetti compatti ($\mathcal{T}^c$) induce una struttura t canonica $(\mathcal{T}^{\leq 0}_{\mathcal{G}}, \mathcal{T}^{\geq 0}_{\mathcal{G}}).$ Sebbene questa struttura t sia ben definita su $\mathcal{T}$, non è garantito che si restringa al precompletamento ($\mathcal{T}^-_c$) o al completamento ($\mathcal{T}^b_c$) di $\mathcal{T}^c$ rispetto alla metrica indotta da $\mathcal{G}$. Gli autori cercano una caratterizzazione precisa delle condizioni in cui tale restrizione avviene.
2. Estensione delle corrispondenze Koenig-Yang:
   Koenig e Yang hanno stabilito delle biiezioni tra oggetti di silting, strutture co-t limitate, strutture t limitate e collezioni di tipo semplice per algebre di dimensione finita. L'articolo chiede se queste corrispondenze si estendano al quadro metrico generale delle categorie triangolate e se commutino con le operazioni di mutazione e preservino gli ordini parziali.

2. Metodologia

Gli autori impiegano una combinazione di teoria dell'approssimazione, tecniche di completamento metrico e algebra omologica all'interno del quadro della teoria delle metriche di Neeman sulle categorie triangolate.

• Quadro Metrico: Utilizzano le definizioni di "buone metriche", successioni di Cauchy e il conseguente precompletamento ($\mathcal{T}^-_c$) e completamento ($\mathcal{T}^b_c$) come sottocategorie della categoria dei funtori $\text{Mod-}\mathcal{T}$.
• Teoria dell'Approssimazione: Uno strumento centrale è lo studio della finitudine controvariante. Gli autori analizzano quando gli oggetti nelle categorie più ampie ammettono approssimazioni destre da parte di oggetti nella sottocategoria di silting $\mathcal{G}$.
• Costruzioni Induttive: Costruiscono specifiche successioni di triangoli (riferite come "fette" e "pile") per approssimare oggetti in $\mathcal{T}^-_c$ e $\mathcal{T}^b_c$ utilizzando oggetti da $\mathcal{G}$ e le sue estensioni.
• Dualità e Rappresentabilità: Per stabilire le corrispondenze Koenig-Yang, utilizzano i teoremi di rappresentabilità di Neeman e argomenti di dualità (in particolare coinvolgendo il duale degli spazi Hom) per sollevare le collezioni di tipo semplice dal completamento agli oggetti di silting nella sottocategoria compatta.

3. Contributi e Risultati Chiave

A. Caratterizzazione della Restrizione (Teorema 1.1)

L'articolo fornisce una caratterizzazione completa di quando una struttura t indotta da silting si restringe ai completamenti metrici. Sia $\mathcal{G}$ una sottocategoria di silting di $\mathcal{T}^c$. Le seguenti condizioni sono equivalenti (con implicazioni per il completamento):

1. $\mathcal{G}$ è finito controvariante in $\mathcal{T}^c$.
2. $\mathcal{G}$ è finito controvariante nel precompletamento $\mathcal{T}^-_c$.
3. La struttura t indotta si restringe a una struttura t su $\mathcal{T}^-_c$.
4. La struttura t indotta si restringe a una struttura t sul completamento $\mathcal{T}^b_c$.
5. Ogni oggetto in $\mathcal{T}^b_c$ ammette un'approssimazione destra $\text{add}(\mathcal{G})$.

Conseguenze:

• Se la restrizione vale, la struttura t ristretta su $\mathcal{T}^-_c$ è limitata superiormente, e su $\mathcal{T}^b_c$ è limitata.
• Il cuore della struttura t ristretta è equivalente a $\text{mod-}\mathcal{G}$ e $\text{mod-}H^0(\mathcal{G})$.
• L'intersezione della struttura t ristretta definisce una struttura co-t su $\mathcal{T}^-_c$ (e su $\mathcal{T}^b_c$ se $\mathcal{T}^c \subseteq \mathcal{T}^b_c$) con cuore co $\mathcal{G}$.

B. Caratterizzazione Categorica degli Anelli Coerenti a Destra (Corollario 1.2)

Una principale applicazione del teorema di restrizione è una caratterizzazione puramente categoriale degli anelli coerenti a destra.

• Risultato: Un anello $R$ è coerente a destra se e solo se la struttura t standard sulla categoria derivata $D(\text{Mod-}R)$ si restringe alla categoria omotopica dei complessi limitati di moduli proiettivi finitamente generati, $K^{-,b}(\text{proj-}R)$.
• Significato: Questo generalizza risultati precedenti limitati ai complessi di tilting su anelli coerenti, mostrando che la coerenza dell'anello è intrinsecamente legata al comportamento di restrizione della struttura t standard.

C. Corrispondenze Koenig-Yang Estese (Teorema 1.3)

Sotto l'assunzione che $\mathcal{T}$ sia una categoria $k$-lineare generata da compatti con un oggetto di silting $G$ avente spazi Hom di dimensione finita, e che $\mathcal{T}$ sia generato da un oggetto in $\mathcal{T}^b_c$, gli autori stabiliscono biiezioni tra:

1. Classi di isomorfismo di oggetti di silting basici in $\mathcal{T}^c$.
2. Strutture co-t limitate su $\mathcal{T}^c$.
3. Strutture t limitate su $\mathcal{T}^b_c$ con cuori di lunghezza.
4. Classi di equivalenza di collezioni di tipo semplice in $\mathcal{T}^b_c$.

Proprietà Chiave:

• Queste biiezioni commutano con le operazioni di mutazione (sia sinistra che destra).
• Preservano gli ordini parziali definiti su queste strutture (ad esempio, $M \geq N$ se $\text{Hom}(M, N[m]) = 0$ per $m > 0$).
• L'articolo costruisce esplicitamente le mappe inverse, mostrando in particolare come costruire un oggetto di silting da una collezione di tipo semplice utilizzando colimiti omotopici e dualità, anche in assenza di un funtore di Nakayama.

4. Significato

• Unificazione dei Quadri: L'articolo colma con successo il divario tra risultati classici della teoria degli anelli (come la coerenza) e la teoria metrica astratta delle categorie triangolate. Dimostra che i completamenti metrici non sono solo strumenti tecnici ma contesti naturali per studiare proprietà strutturali come le restrizioni delle strutture t.
• Generalizzazione di Risultati Classici: Estendendo le corrispondenze Koenig-Yang al quadro metrico, gli autori generalizzano la teoria degli oggetti di silting e delle collezioni di tipo semplice oltre le algebre di dimensione finita a una classe molto più ampia di categorie triangolate.
• Nuova Caratterizzazione della Coerenza: Il risultato che caratterizza gli anelli coerenti a destra tramite la restrizione della struttura t standard offre una nuova prospettiva puramente omologica sulla teoria degli anelli, indipendente dalle definizioni di coerenza basate sui moduli.
• Stabilità Strutturale: La dimostrazione che queste corrispondenze commutano con le mutazioni e preservano gli ordini conferma la robustezza della teoria del silting in contesti metrici, suggerendo che la struttura combinatoria degli oggetti di silting è preservata anche quando si passa dagli oggetti compatti ai loro completamenti metrici.

In sintesi, questo articolo fornisce una base rigorosa per comprendere come la teoria del silting si comporti sotto il completamento metrico, offrendo nuovi strumenti potenti per analizzare le categorie derivate e stabilendo connessioni profonde tra proprietà degli anelli, strutture t e mutazioni combinatorie.