Three homological invariants under cleft extensions

Resumo Técnico: Três Invariantes Homológicos sob Extensões Clivadas (Cleft Extensions)

Enunciado do Problema
Este artigo investiga o comportamento de três invariantes homológicos específicos — distância de Igusa-Todorov, dimensão de extensão e dimensão de Rouquier — sob a operação de extensões clivadas de categorias abelianas. Embora a dimensão de categorias trianguladas (dimensão de Rouquier) e a dimensão de extensão de categorias abelianas sejam ferramentas bem estudadas para medir a complexidade da teoria da representação (por exemplo, finitude do tipo de representação ou limites em categorias derivadas), sua estabilidade e limites sob construções categóricas específicas permanecem uma área de pesquisa ativa. Especificamente, os autores visam estabelecer limites quantitativos para esses invariantes quando uma categoria abeliana $\mathcal{A}$ é construída como uma extensão clivada de outra categoria $\mathcal{B}$.

Metodologia
Os autores empregam o arcabouço de extensões clivadas e coextensões clivadas de categorias abelianas, originalmente introduzido por Beligiannis.

1. Arcabouço Categórico: Uma extensão clivada $(\mathcal{B}, \mathcal{A}, i, e, l)$ envolve funtores onde $e: \mathcal{A} \to \mathcal{B}$ é fiel e exato, admite um adjunto à esquerda $l$, e satisfaz $el \simeq \text{Id}_{\mathcal{B}}$. Esta estrutura induz um endofuntor $F: \mathcal{B} \to \mathcal{B}$. Dualmente, uma coextensão clivada envolve um adjunto à direita $r$ e induz um endofuntor $F': \mathcal{B} \to \mathcal{B}$.
2. Condições Homológicas: As provas baseiam-se em propriedades homológicas específicas desses funtores, particularmente a exatidão de $l$ ou $r$, a preservação de objetos projetivos por $e$, e a nilpotência dos endofuntores induzidos ($F^n = 0$ ou $F'^n = 0$).
3. Técnicas de Sizígio e Resolução: Os autores utilizam objetos de sizígio ($\Omega^n$) e sequências exatas para relacionar as resoluções de objetos em $\mathcal{A}$ com as de $\mathcal{B}$. Lemas fundamentais envolvem a construção de sequências exatas em $\mathcal{A}$ através do "levantamento" de sequências de $\mathcal{B}$ via o funtor $l$ (ou $r$) e a análise de núcleos e cocóre através de teoremas de Schanuel e diagramas de pullback.
4. Análise de Categoria Derivada: Para a dimensão de Rouquier, os autores utilizam os funtores derivados dos pares adjuntos ($Ll, Lq$) para estabelecer equivalências triangulares e limites dentro das categorias derivadas limitadas $D^b(\text{mod-}\Lambda)$.

Principais Contribuições e Resultados

• Distância de Igusa-Todorov (Teorema 3.11):
  Para uma extensão clivada $(\mathcal{B}, \mathcal{A}, i, e, l)$ onde $l$ é exato, $e$ preserva projetivos, e o endofuntor induzido $F$ é nilpotente ($F^n=0$) com $\text{Proj}_{\mathcal{B}} = \text{add}(P)$, a distância de Igusa-Todorov satisfaz:
  $$\text{IT.dist}(\mathcal{B}) \leq \text{IT.dist}(\mathcal{A}) \leq n(\text{IT.dist}(\mathcal{B}) + 1) - 1$$
  Este resultado generaliza descobertas anteriores sobre álgebras de Artin para o contexto mais amplo de categorias abelianas.

• Dimensão de Extensão (Teorema 4.10):
  Abordando o fato de que categorias de módulos sobre álgebras noetherianas frequentemente carecem de injetivos suficientes, os autores utilizam coextensões clivadas $(\mathcal{B}, \mathcal{A}, i, e, r)$. Se $r$ é exato e o endofuntor induzido $F'$ é nilpotente ($F'^n=0$) com $\text{Proj}_{\mathcal{A}} = \text{add}(P)$, então:
  $$\text{ext.dim}(\mathcal{B}) \leq \text{ext.dim}(\mathcal{A}) \leq n(\text{ext.dim}(\mathcal{B}) + 1) - 1$$

• Dimensão de Rouquier (Teorema 5.8):
  Para extensões clivadas de categorias de módulos sobre álgebras noetherianas onde o endofuntor induzido $F$ é tanto perfeitamente à esquerda quanto nilpotente, a dimensão de Rouquier das categorias derivadas limitadas satisfaz:
  $$\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$$

• Aplicações a Construções de Anéis Específicos (Seções 6 & 7):
  Os limites teóricos são aplicados a várias classes importantes de anéis:

  • Anéis de Contexto de Morita: Limites são estabelecidos para os invariantes do anel de contexto em termos dos anéis componentes, desde que certas condições de bimodules (ex: projetividade ou vanishing de Tor) sejam atendidas.
  • $\theta$-Extensões e Extensões Triviais: Os resultados generalizam-se para anéis da forma $\Gamma \ltimes_\theta M$, fornecendo limites baseados no índice de nilpotência de $M$.
  • Anéis de Tensor: Limites semelhantes são derivados para anéis de tensor $T_\Gamma(M)$.
  • Remoção de Setas: Uma aplicação significativa é fornecida para álgebras de caminho admissíveis onde setas específicas são removidas. O Teorema 6.5 demonstra que se setas $a_i$ são removidas para formar $\Gamma$ a partir de $\Lambda$, os invariantes satisfazem:
    $$\text{IT.dist}(\Gamma) \leq \text{IT.dist}(\Lambda) \leq 2\text{IT.dist}(\Gamma) + 1$$
    (e analogamente para dimensões de extensão e de Rouquier). Isto é mostrado como um limite apertado em exemplos específicos (ex: álgebras suaves/gentle algebras).

Significância e Alegações
O artigo alega fornecer um arcabouço conceitual unificado para o estudo desses invariantes homológicos através de diversas construções algébricas. Ao estabelecer que esses invariantes se comportam previsivelmente sob extensões clivadas (especificamente, que são limitados linearmente pelo invariante da categoria base e pelo índice de nilpotência do funtor induzido), os autores oferecem uma ferramenta para:

1. Determinar se uma álgebra é uma álgebra de Igusa-Todorov (e, portanto, satisfaz a conjectura da dimensão finitística) baseando-se nas propriedades de uma subestrutura mais simples.
2. Computar ou limitar a dimensão de extensão e a dimensão de Rouquier para anéis complexos (como contextos de Morita ou álgebras de caminho com remoção de setas) reduzindo-os a componentes mais simples.
3. Refinar limites existentes para a dimensão de Rouquier, como demonstrado no Exemplo 7.3, onde o limite da extensão clivada ($\leq 3$) melhora o limite geral de comprimento de Loewy ($\leq 5$) para uma álgebra específica.

Os autores enfatizam que estes resultados derivam estritamente das propriedades homológicas da estrutura de extensão clivada, sem exigir que as álgebras sejam de tipo de representação finita, estendendo assim a aplicabilidade destes invariantes para uma classe mais ampla de álgebras noetherianas.