Three homological invariants under cleft extensions

Technische Samenvatting: Drie Homologische Invarianten onder Cleft-extensies

Probleemstelling
Dit artikel onderzoekt het gedrag van drie specifieke homologische invarianten — de Igusa-Todorov afstand, de extensie-dimensie en de Rouquier-dimensie — onder de operatie van cleft-extensies van abelse categorieën. Hoewel de dimensie van triangulatie-categorieën (Rouquier-dimensie) en de extensie-dimensie van abelse categorieën goed gedocumenteerde instrumenten zijn voor het meten van representatie-theoretische complexiteit (bijv. eindigheid van representatie-type of grenzen aan afgeleide categorieën), blijft hun stabiliteit en begrenzing onder specifieke categorische constructies een actief onderzoeksveld. Specifiek beogen de auteurs kwantitatieve grenzen vast te stellen voor deze invarianten wanneer een abelse categorie $\mathcal{A}$ wordt geconstrueerd als een cleft-extensie van een andere categorie $\mathcal{B}$.

Methodologie
De auteurs maken gebruik van het kader van cleft-extensies en cleft-co-extensies van abelse categorieën, oorspronkelijk geïntroduceerd door Beligiannis.

1. Categorisch Kader: Een cleft-extensie $(\mathcal{B}, \mathcal{A}, i, e, l)$ omvat functoren waarbij $e: \mathcal{A} \to \mathcal{B}$ trouw en exact is, een linkse adjunct heeft, en voldoet aan $el \simeq \text{Id}_{\mathcal{B}}$. Deze structuur induceert een endofunctor $F: \mathcal{B} \to \mathcal{B}$. Dualiter betreft een cleft-co-extensie een rechtse adjunct $r$ en induceert een endofunctor $F': \mathcal{B} \to \mathcal{B}$.
2. Homologische Condities: De bewijzen steunen op specifieke homologische eigenschappen van deze functoren, met name de exactheid van $l$ of $r$, het behoud van projectieve objecten door $e$, en de nilpotentie van de geïnduceerde endofunctoren ($F^n = 0$ of $F'^n = 0$).
3. Syzygie- en Resolutie-technieken: De auteurs maken gebruik van syzygie-objecten ($\Omega^n$) en exacte sequenties om de resoluties van objecten in $\mathcal{A}$ te relateren aan die in $\mathcal{B}$. Kernlemma's omvatten het construeren van exacte sequenties in $\mathcal{A}$ door sequenties uit $\mathcal{B}$ te "liften" via de functor $l$ (of $r$) en het analyseren van de kernen en cokernen met behulp van de stelling van Schanuel en pullback-diagrammen.
4. Analyse van Afgeleide Categorieën: Voor de Rouquier-dimensie gebruiken de auteurs de afgeleide functoren van de adjunct-paren ($Ll, Lq$) om driehoek-equivalenties en grenzen vast te stellen binnen de begrensde afgeleide categorieën $D^b(\text{mod-}\Lambda)$.

Belangrijkste Bijdragen en Resultaten

• Igusa-Todorov Afstand (Theorem 3.11):
  Voor een cleft-extensie $(\mathcal{B}, \mathcal{A}, i, e, l)$ waar $l$ exact is, $e$ projectieven behoudt en de geïnduceerde endofunctor $F$ nilpotent is ($F^n=0$) met $\text{Proj}_{\mathcal{B}} = \text{add}(P)$, voldoet de Igusa-Todorov afstand aan:
  $$\text{IT.dist}(\mathcal{B}) \leq \text{IT.dist}(\mathcal{A}) \leq n(\text{IT.dist}(\mathcal{B}) + 1) - 1$$
  Dit resultaat generaliseert eerdere bevindingen over Artin-algebra's naar de bredere context van abelse categorieën.

• Extensie-dimensie (Theorem 4.10):
  Om het feit aan te pakken dat module-categorieën over Noethersche algebra's vaak niet genoeg injectieven bezitten, maken de auteurs gebruik van cleft-co-extensies $(\mathcal{B}, \mathcal{A}, i, e, r)$. Indien $r$ exact is en de geïnduceerde endofunctor $F'$ nilpotent is ($F'^n=0$) met $\text{Proj}_{\mathcal{A}} = \text{add}(P)$, dan geldt:
  $$\text{ext.dim}(\mathcal{B}) \leq \text{ext.dim}(\mathcal{A}) \leq n(\text{ext.dim}(\mathcal{B}) + 1) - 1$$

• Rouquier-dimensie (Theorem 5.8):
  Voor cleft-extensies van module-categorieën over Noethersche algebra's waar de geïnduceerde endofunctor $F$ zowel links perfect als nilpotent is, voldoet de Rouquier-dimensie van de begrensde afgelede categorieën aan:
  $$\text{Rouq.dim} D^b(\text{mod-}\mathcal{B}) \leq \text{Rouq.dim} D^b(\text{mod-}\mathcal{A}) \leq n(\text{Rouq.dim} D^b(\text{mod-$\mathcal{B}$}) + 1) - 1$$

• Toepassingen op Specifieke Ringconstructies (Sectie 6 & 7):
  De theoretische grenzen worden toegepast op verschillende belangrijke klassen van ringen:

  • Morita-context Ringen: Grenzen worden vastgesteld voor de invarianten van de context-ring in termen van de component-ringen, mits aan specifieke bimodule-condities (bijv. projectiviteit of het verdwijnen van Tor) wordt voldaan.
  • $\theta$-Extensies en Trivial-extensies: De resultaten generaliseren naar ringen van de vorm $\Gamma \ltimes_\theta M$, waarbij grenzen worden gebaseerd op de nilpotentie-index van $M$.
  • Tensor-ringen: Vergelijkbare grenzen worden afgeleid voor tensor-ringen $T_\Gamma(M)$.
  • Verwijdering van Pijlen (Arrow Removals): Een significante toepassing wordt geleverd voor admissible pad-algebra's waarbij specifieke pijlen worden verwijderd. Theorem 6.5 toont aan dat als pijlen $a_i$ worden verwijderd om $\Gamma$ uit $\Lambda$ te vormen, de invarianten voldoen aan:
    $$\text{IT.dist}(\Gamma) \leq \text{IT.dist}(\Lambda) \leq 2\text{IT.dist}(\Gamma) + 1$$
    (en vergelijkbaar voor extensie- en Rouquier-dimensies). Dit wordt getoond als een scherpe grens in specifieke voorbeelden (bijv. gentle algebra's).

Betekenis en Claims
Het artikel claimt een verenigd conceptueel kader te bieden voor het bestuderen van deze homologische invarianten over diverse algebraïsche constructies. Door vast te stellen dat deze invarianten voorspelbaar gedragen onder cleft-extensies (specifiek, dat ze lineair begrensd worden door de invariant van de basiscategorie en de nilpotentie-index van de geïnduceerde functor), bieden de auteurs een instrument om:

1. Te bepalen of een algebra een Igusa-Todorov algebra is (en dus voldoet aan de finitistic dimension conjecture) op basis van de eigenschappen van een eenvoudigere substructuur.
2. De extensie-dimensie en de Rouquier-dimensie te berekenen of te begrenzen voor complexe ringen (zoals Morita-contexten of algebra's waarbij pijlen zijn verwijderd) door deze te reduceren tot eenvoudigere componenten.
3. Bestaande grenzen voor de Rouquier-dimensie te verfijnen, zoals gedemonstreerd in Voorbeeld 7.3, waar de cleft-extensie grens ($\leq 3$) de algemene Loewy-lengte grens ($\leq 5$) verbetert voor een specifieke algebra.

De auteurs benadrukken dat deze resultaten strikt zijn afgeleid van de homologische eigenschappen van de cleft-extensie structuur, zonder dat hiervoor vereist is dat de algebra's van eindige representatie-type zijn, waardoor de toepasbaarheid van deze invarianten naar een bredere klasse van Noethersche algebra's wordt uitgebreid.