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

1. Probleemstelling

Het artikel behandelt twee onderling verbonden problemen in de theorie van getrianguleerde categorieën, specifiek binnen de context van compactly generated triangulated categories ($\mathcal{T}$) uitgerust met metrics (een theorie ontwikkeld door Neeman om completies van categorieën van compacte objecten te bestuderen).

1. Restrictie van door silting geïnduceerde t-structuren:
   In een compactly generated categorie $\mathcal{T}$ induceert een silting-subcategorie $\mathcal{G}$ van compacte objecten ($\mathcal{T}^c$) een canonieke t-structuur $(\mathcal{T}^{\leq 0}_{\mathcal{G}}, \mathcal{T}^{\geq 0}_{\mathcal{G}}).$ Hoewel deze t-structuur goed gedefinieerd is op $\mathcal{T}$, is er geen garantie dat deze restrictie oplegt tot de precompletion ($\mathcal{T}^-_c$) of de completion ($\mathcal{T}^b_c$) van $\mathcal{T}^c$ met betrekking tot de door $\mathcal{G}$ geïnduceerde metric. De auteurs zoeken een precieze karakterisering van de voorwaarden waaronder deze restrictie optreedt.
2. Uitbreiding van Koenig-Yang-correspondenties:
   Koenig en Yang stelden bjecties vast tussen silting-objecten, begrensd co-t-structuren, begrensd t-structuren en simple-minded collecties voor eindig-dimensionale algebra's. Het artikel vraagt zich af of deze correspondenties zich uitbreiden naar het algemene metric-kader van getrianguleerde categorieën en of ze commuteren met mutatie-operaties en partiële ordeningen behouden.

2. Methodologie

De auteurs maken gebruik van een combinatie van approximatietheorie, technieken voor metric-completie en homologische algebra binnen het kader van Neeman's theorie van metrics op getrianguleerde categorieën.

• Metric-kader: Zij gebruiken de definities van "goede metrics", Cauchy-rijen en de resulterende precompletion ($\mathcal{T}^-_c$) en completion ($\mathcal{T}^b_c$) als subcategorieën van de functor-categorie $\text{Mod-}\mathcal{T}$.
• Approximatietheorie: Een centraal instrument is de studie van contravariante finiteit. De auteurs analyseren wanneer objecten in de grotere categorieën rechtse approximaties toelaten door objecten in de silting-subcategorie $\mathcal{G}$.
• Inductieve constructies: Zij construeren specifieke rijen van driehoeken (verwijzend naar "slices" en "stacks") om objecten in $\mathcal{T}^-_c$ en $\mathcal{T}^b_c$ te benaderen met behulp van objecten uit $\mathcal{G}$ en zijn uitbreidingen.
• Dualiteit en Representeerbaarheid: Om de Koenig-Yang-correspondenties vast te stellen, maken zij gebruik van Neeman's representeerbaarheidstheorema's en dualiteitsargumenten (specifiek met betrekking tot de dualiteit van Hom-ruimten) om simple-minded collecties van de completion terug te tillen naar silting-objecten in de compacte subcategorie.

3. Belangrijkste Bijdragen en Resultaten

A. Karakterisering van Restrictie (Stelling 1.1)

Het artikel biedt een volledige karakterisering van wanneer een door silting geïnduceerde t-structuur restrictie oplegt tot metric-completies. Laat $\mathcal{G}$ een silting-subcategorie van $\mathcal{T}^c$ zijn. De volgende voorwaarden zijn equivalent (met implicaties voor de completion):

1. $\mathcal{G}$ is contravariante finiet in $\mathcal{T}^c$.
2. $\mathcal{G}$ is contravariante finiet in de precompletion $\mathcal{T}^-_c$.
3. De geïnduceerde t-structuur restrictie oplegt tot een t-structuur op $\mathcal{T}^-_c$.
4. De geïnduceerde t-structuur restrictie oplegt tot een t-structuur op de completion $\mathcal{T}^b_c$.
5. Elk object in $\mathcal{T}^b_c$ staat een rechtse $\text{add}(\mathcal{G})$-approximatie toe.

Gevolgen:

• Als de restrictie geldt, is de beperkte t-structuur op $\mathcal{T}^-_c$ above-bounded, en op $\mathcal{T}^b_c$ is deze bounded.
• Het hart van de beperkte t-structuur is equivalent aan $\text{mod-}\mathcal{G}$ en $\text{mod-}H^0(\mathcal{G})$.
• De doorsnede van de beperkte t-structuur definieert een co-t-structuur op $\mathcal{T}^-_c$ (en $\mathcal{T}^b_c$ als $\mathcal{T}^c \subseteq \mathcal{T}^b_c$) met co-heart $\mathcal{G}$.

B. Categorische Karakterisering van Rechts Coherente Ringen (Corollarium 1.2)

Een belangrijke toepassing van de restrictiestelling is een puur categorische karakterisering van rechts coherente ringen.

• Resultaat: Een ring $R$ is rechts coherent dan en slechts dan als de standaard t-structuur op de afgeleide categorie $D(\text{Mod-}R)$ restrictie oplegt tot de homotopiecategorie van begrenste complexen van eindig gegenereerde projectieve modules, $K^{-,b}(\text{proj-}R)$.
• Betekenis: Dit generaliseert eerdere resultaten die beperkt waren tot tilting-complexen over coherente ringen, en toont aan dat de coherentie van de ring intrinsiek verbonden is met het restrictiegedrag van de standaard t-structuur.

C. Uitgebreide Koenig-Yang-correspondenties (Stelling 1.3)

Onder de aanname dat $\mathcal{T}$ een compactly generated $k$-lineaire categorie is met een silting-object $G$ met eindig-dimensionale Hom-ruimten, en dat $\mathcal{T}$ wordt gegenereerd door een object in $\mathcal{T}^b_c$, stellen de auteurs bjecties vast tussen:

1. Isomorfismeklassen van basis silting-objecten in $\mathcal{T}^c$.
2. Begrensde co-t-structuren op $\mathcal{T}^c$.
3. Begrensde t-structuren op $\mathcal{T}^b_c$ met length hearts.
4. Equivalenieklassen van simple-minded collecties in $\mathcal{T}^b_c$.

Belangrijke Eigenschappen:

• Deze bjecties commuteren met mutatie-operaties (zowel links als rechts).
• Zij behouden partiële ordeningen gedefinieerd op deze structuren (bijv. $M \geq N$ als $\text{Hom}(M, N[m]) = 0$ voor $m > 0$).
• Het artikel construeert de inverse afbeeldingen expliciet, en toont met name aan hoe een silting-object kan worden geconstrueerd uit een simple-minded collectie met behulp van homotopie-colimieten en dualiteit, zelfs bij afwezigheid van een Nakayama-functie.

4. Betekenis

• Unificatie van Kaders: Het artikel overbrugt succesvol de kloof tussen klassieke ring-theoretische resultaten (zoals coherentie) en de abstracte metric-theorie van getrianguleerde categorieën. Het demonstreert dat metric-completies niet slechts technische hulpmiddelen zijn, maar natuurlijke omgevingen voor het bestuderen van structurele eigenschappen zoals restricties van t-structuren.
• Generalisatie van Klassieke Resultaten: Door de Koenig-Yang-correspondenties uit te breiden naar het metric-kader, generaliseren de auteurs de theorie van silting-objecten en simple-minded collecties buiten eindig-dimensionale algebra's naar een veel bredere klasse van getrianguleerde categorieën.
• Nieuwe Karakterisering van Coherentie: Het resultaat dat rechts coherente ringen karakteriseert via de restrictie van de standaard t-structuur, biedt een nieuw, puur homologisch perspectief op ringtheorie, onafhankelijk van module-theoretische definities van coherentie.
• Structurele Stabiliteit: Het bewijs dat deze correspondenties commuteren met mutaties en ordeningen behouden, bevestigt de robuustheid van de silting-theorie in metric-omgevingen, wat suggereert dat de combinatorische structuur van silting-objecten behouden blijft, zelfs bij beweging tussen compacte objecten en hun metric-completies.

Kortom, dit artikel biedt een rigoureuze basis voor het begrijpen van hoe silting-theorie zich gedraagt onder metric-completie, en biedt krachtige nieuwe hulpmiddelen voor het analyseren van afgeleide categorieën en het leggen van diepe verbindingen tussen ring-eigenschappen, t-structuren en combinatorische mutaties.