Asymptotic vanishing of cohomology in triangulated categories

Resumo Técnico: Desvanecimento Assintótico de Cohomologia em Categorias Trianguladas

Enunciado do Problema
O artigo aborda o comportamento do desvanecimento assintótico da cohomologia no contexto de categorias trianguladas. Embora o desvanecimento de homologia e cohomologia seja um tópico fundamental na álgebra, a literatura recente tem se concentrado no desvanecimento assintótico sobre anéis comutativos específicos, frequentemente dependendo de condições noetherianas sobre a totalidade da cohomologia. Uma questão central é se o desvanecimento "esporádico" (onde a cohomologia desaparece para alguns índices grandes, mas não para outros) pode ocorrer, ou se o desvanecimento implica um padrão mais estruturado e eventual. Os autores visam destilar esses conceitos para o framework geral de categorias trianguladas, onde a cohomologia é naturalmente definida, para determinar se o desvanecimento assintótico é "bem comportado" sob condições de finitude específicas.

Metodologia
Os autores estabelecem um framework geral envolvendo uma categoria triangulada $(\mathcal{C}, \Sigma, \Delta)$ equipada com uma ação central de um anel graduado-comutativo e não-negativamente graduado $H$. A premissa central é que, para um par de objetos $A, B \in \mathcal{C}$, o $H$-módulo $\text{Hom}_{\ge n_0}^{\mathcal{C}}(A, B)$ é noetheriano para algum inteiro $n_0$.

A metodologia procede através dos seguintes passos:

1. Lemmas Algébricos: Os autores provam lemas relativos a anéis e módulos graduados-comutativos. Especificamente, eles estabelecem que, se um anel graduado-comutativo é noetheriano, sua parte par é noetheriana e o anel é finitamente gerado como um módulo sobre esta parte par. Eles também utilizam uma variante de resultados de [9] e [15] para mostrar que, sob condições onde a parte de grau zero do anel contém um corpo infinito (ou é local com um resíduo infinito), existe um elemento homogêneo de um grau específico que atua injetivamente no módulo para graus suficientemente grandes.
2. Aplicação do Teorema de Hilbert-Serre: Em casos onde a cohomologia possui comprimento finito sobre a parte de grau zero do anel, os autores aplicam o clássico teorema de Hilbert-Serre à função geradora dos comprimentos dos grupos de cohomologia. Isso permite analisar a racionalidade da série e a periodicidade do comportamento de desvanecimento.
3. Síntese: Ao combinar a injetividade da multiplicação por elementos específicos (do Lemma 2.2) com a estrutura do ideal do anulador e as propriedades da parte par do anel, os autores derivam o teorema estrutural principal referente aos padrões de desvanecimento.

Principais Contribuições e Resultados
A principal contribuição é o Teorema 2.4, que caracteriza o desvanecimento assintótico da cohomologia $\text{Hom}_{\mathcal{C}}(A, \Sigma^n B)$ sob a suposição de que a cohomologia é eventualmente noetheriana sobre um anel central $H$. O teorema afirma que, se:

1. $\text{Hom}_{\mathcal{C}}(A, \Sigma^n B)$ possui comprimento finito sobre $H_0$ para $n$ grande; ou
2. $H_0$ contém um corpo infinito ou é local com um resíduo infinito;

Então, um de dois resultados deve ocorrer:

• Desvanecimento Eventual Total: $\text{Hom}_{\mathcal{C}}(A, \Sigma^n B) = 0$ para todo $n \gg 0$.
• Não-Desvanecimento Periódico: Existem inteiros $d > 0$ e $m_0$ tais que $\text{Hom}_{\mathcal{C}}(A, \Sigma^n B) \neq 0$ para todo $n \ge m_0$ satisfazendo $n \equiv j \pmod d$ para pelo menos um $j$ ($0 \le j < d$).

Crucialmente, o resultado descarta o desvanecimento "esporádico"; se a cohomologia não desvanece eventualmente, ela deve ser não-nula infinitas vezes de uma maneira periódica.

Aplicações
O artigo demonstra a utilidade do Teorema 2.4 aplicando-o a três classes específicas de anéis:

1. Interseções Completas Locais Comutativas: Para módulos finitamente gerados $M, N$ sobre um anel de interseção completa local comutativa $A$, os autores mostram que ou $\text{Ext}^n_A(M, N) = 0$ para todo $n > \dim A$, ou existe um $m_0$ tal que os grupos Ext são não-nulos para todos os inteiros pares ou todos os ímpares $n \ge m_0$. Isso generaliza resultados anteriores (ex: [29]).
2. Álgebras de Dimensão Finita: O resultado é aplicado a álgebras onde o anel de cohomologia de Hochschild $HH^*(A)$ atua centralmente. Isso inclui:
   • Interseções Completas Quânticas: Para álgebras $A_{c,q}^a$, os autores provam que ou $\text{Ext}^n_A(M, N) = 0$ para todo $n > 0$, ou o não-desvanecimento ocorre para todos os $n$ pares ou todos os $n$ ímpares $n \ge m_0$.
   • Álgebras Externas: Como um caso específico de interseções completas quânticas, o mesmo comportamento de desvanecimento periódico é estabelecido.
3. Álgebras de Grupos Modulares: Para um grupo finito $G$ e um corpo $k$ de característica prima $p$ que divide $|G|$, o anel de cohomologia $H^*(G, k)$ atua centralmente. Os autores mostram que, para módulos finitamente gerados $M, N$, ou $\text{Ext}^n_{kG}(M, N) = 0$ para todo $n > 0$, ou o não-desvanecimento ocorre periodicamente módulo $d$. O período $d$ é identificado como o mínimo múltiplo comum dos graus dos geradores do anel de cohomologia. Um exemplo explícito é fornecido para o grupo simétrico $S_8$, onde o período é calculado como 420.

Significância
O artigo reivindica significância ao unificar vários resultados recentes sobre desvanecimento assintótico sob um único framework geral de categorias trianguladas. Ao destilar as condições noetherianas necessárias e as ações de anéis centrais, os autores demonstram que a natureza "bem comportada" do desvanecimento assintático (especificamente, a impossibilidade de desvanecimento esporádico) é uma consequência estrutural da propriedade noetheriana do módulo de cohomologia sobre um anel central. O trabalho fornece uma ferramenta teórica robusta que se aplica à geometria comutativa, álgebra não-comutativa e teoria de representação sem exigir provas ad-hoc para cada tipo específico de anel. Os resultados confirmam que, se a cohomologia não desvanece eventualmente, seu não-desvanecimento é governado por uma periodicidade estrita determinada pelos graus dos geradores do anel atuante.