Three homological invariants under cleft extensions

Sintesi Tecnica: Tre Invarianti Omologici sotto Estensioni Cleft

Enunciato del Probleamento
Questo articolo investiga il comportamento di tre specifici invarianti omologici — distanza di Igusa-Todorov, dimensione di estensione e dimensione di Rouquier — sotto l'operazione di estensioni cleft di categorie abeliane. Sebbene la dimensione delle categorie triangolate (dimensione di Rouquier) e la dimensione di estensione delle categorie abeliane siano strumenti ben studiati per misurare la complessità rappresentazionale (ad esempio, la finitezza del tipo di rappresentazione o i limiti sulle categorie derivate), la loro stabilità e i relativi limiti sotto specifiche costruzioni categoriali rimangono un ambito di ricerca attivo. Nello specifico, gli autori mirano a stabilire limiti quantitativi per questi invarianti quando una categoria abeliana $\mathcal{A}$ è costruita come un'estensione cleft di un'altra categoria $\mathcal{B}$.

Metodologia
Gli autori utilizzano il quadro delle estensioni e coestensioni cleft di categorie abeliane, originariamente introdotto da Beligiannis.

1. Quadro Categoriale: Un'estensione cleft $(\mathcal{B}, \mathcal{A}, i, e, l)$ coinvolge funtori in cui $e: \mathcal{A} \to \mathcal{B}$ è un funtore fedele ed esatto, ammette un amato a sinistra $l$, e soddisfa $el \simeq \text{Id}_{\mathcal{B}}$. Questa struttura induce un endofuntore $F: \mathcal{B} \to \mathcal{B}$. Dualmente, una coestensione cleft coinvolge un amato a destra $r$ e induce un endofuntore $F': \mathcal{B} \to \mathcal{B}$.
2. Condizioni Omologiche: Le dimostrazioni si basano su specifiche proprietà omologiche di questi funtori, in particolare l'esattezza di $l$ o $r$, la preservazione degli oggetti proiettivi da parte di $e$, e la nilpotenza degli endofuntori indotti ($F^n = 0$ o $F'^n = 0$).
3. Tecniche di Sizigio e Risoluzione: Gli autori utilizzano oggetti sizigio ($\Omega^n$) e sequenze esatte per relazionare le risoluzioni degli oggetti in $\mathcal{A}$ con quelle in $\mathcal{B}$. I lemmi chiave riguardano la costruzione di sequenze esatte in $\mathcal{A}$ tramite il "sollevamento" di sequenze da $\mathcal{B}$ attraverso il funtore $l$ (o $r$) e l'analisi dei kernel e dei cokernel usando il Lemma di Schanuel e diagrammi di pullback.
4. Analisi della Categoria Derivata: Per la dimensione di Rouquier, gli autori utilizzano i funtori derivati delle coppie amate ($Ll, Lq$) per stabilire equivalenze triangolari e limiti all'interno delle categorie derivate limitate $D^b(\text{mod-}\Lambda)$.

Contributi Chiave e Risultati

• Distanza di Igusa-Todorov (Teorema 3.11):
  Per un'estensione cleft $(\mathcal{B}, \mathcal{A}, i, e, l)$ dove $l$ è esatto, $e$ preserva i proiettivi e l'endofuntore indotto $F$ è nilpotente ($F^n=0$) con $\text{Proj}_{\mathcal{B}} = \text{add}(P)$, la distanza di Igusa-Todorov soddisfa:
  $$\text{IT.dist}(\mathcal{B}) \leq \text{IT.dist}(\mathcal{A}) \leq n(\text{IT.dist}(\mathcal{B}) + 1) - 1$$
  Questo risultato generalizza i precedenti risultati su algebre di Artin al contesto più ampio delle categorie abeliane.

• Dimensione di Estensione (Teorema 4.10):
  Affrontando il fatto che le categorie di moduli su algebre noetheriane spesso mancano di abbastanza iniettivi, gli autori utilizzano coestensioni cleft $(\mathcal{B}, \mathcal{A}, i, e, r)$. Se $r$ è esatto e l'endofuntore indotto $F'$ è nilpotente ($F'^n=0$) con $\text{Proj}_{\mathcal{A}} = \text{add}(P)$, allora:
  $$\text{ext.dim}(\mathcal{B}) \leq \text{ext.dim}(\mathcal{A}) \leq n(\text{ext.dim}(\mathcal{B}) + 1) - 1$$

• Dimensione di Rouquier (Teorema 5.8):
  Per estensioni cleft di categorie di moduli su algebre noetheriane dove l'endofuntore indotto $F$ è sia left perfect che nilpotente, la dimensione di Rouquier delle categorie derivate limitate soddisfa:
  $$\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$$

• Applicazioni a Specifiche Costruzioni di Anelli (Sezione 6 & 7):
  I limiti teorici sono applicati a diverse classi importanti di anelli:

  • Anelli di Contesto Morita: Si stabiliscono limiti per gli invarianti dell'anello di contesto in termini degli anelli componenti, purché siano soddisfatte specifiche condizioni di bimodulo (ad esempio, proiettività o vanishing di Tor).
  • Estensioni $\theta$ e Estensioni Triviali: I risultati generalizzano agli anelli della forma $\Gamma \ltimes_\theta M$, fornendo limiti basati sull'indice di nilpotenza di $M$.
  • Anelli Tensoriali: Simili limiti sono derivati per gli anelli tensoriali $T_\Gamma(M)$.
  • Rimozione di Frecce: Un'applicazione significativa è fornita per le algebre di cammino ammissibili in cui vengono rimosse specifiche frecce per formare $\Gamma$ da $\Lambda$. Il Teorema 6.5 dimostra che se le frecce $a_i$ vengono rimosse per formare $\Gamma$ da $\Lambda$, gli invarianti soddisfano:
    $$\text{IT.dist}(\Gamma) \leq \text{IT.dist}(\Lambda) \leq 2\text{IT.dist}(\Gamma) + 1$$
    (e analogamente per le dimensioni di estensione e di Rouquier). Questo è mostrato essere un limite stretto in esempi specifici (ad esempio, algebre gentili).

Significatività e Rivendicazioni
L'articolo sostiene di fornire un quadro concettuale unificato per studiare questi invarianti omologici attraverso diverse costruzioni algebriche. Stabilendo che questi invarianti si comportano in modo prevedibile sotto le estensioni cleft (specificamente, che sono limitati linearmente dall'invariante della categoria base e dall'indice di nilpotenza del funtore indotto), gli autori offrono uno strumento per:

1. Determinare se un'algebra è un'algebra di Igusa-Todorov (e quindi soddisfa la congettura della dimensione finitistica) basandosi sulle proprietà di una sottostruttura più semplice.
2. Calcolare o limitare la dimensione di estensione e la dimensione di Rouquier per anelli complessi (come i contesti di Morita o le algebre di cammino con rimozione di frecce) riducendoli a componenti più semplici.
3. Perfezionare i limiti esistenti per la dimensione di Rouquier, come dimostrato nell'Esempio 7.3, dove il limite della estensione cleft ($\leq 3$) migliora il limite generale della lunghezza di Loewy ($\leq 5$) per un'algebra specifica.

Gli autori sottolineano che questi risultati sono derivati strettamente dalle proprietà omologiche della struttura di estensione cleft, senza richiedere che le algebre siano di tipo di rappresentazione finita, ampliando così l'applicabilità di questi invarianti a una classe più ampia di algebre noetheriane.