Categoria derivada
A categoria derivada é uma construção fundamental na álgebra homológica, criada para aprimorar e simplificar o estudo dos functores derivados. Ela considera objetos como complexos de cadeias, onde dois complexos são tidos como isomorfos se induzirem isomorfismos na homologia. Essa abordagem permite definir functores derivados para complexos, refinando o conceito de hipercoomologia e simplificando fórmulas complexas que, de outra forma, exigiriam sequências espectrais elaboradas.
Pontos-chave
- A categoria derivada refina a teoria dos functores derivados.
- Objetos são complexos de cadeias, com isomorfismo definido via homologia.
- Simplifica fórmulas matemáticas complexas.
- É um ambiente conveniente para a coomologia de feixes.
- Tem aplicações importantes em diversas áreas da matemática.
Imagem: jonycunha · BY-SA · Openverse
A necessidade da categoria derivada surgiu na teoria de feixes coerentes, especialmente ao tentar generalizar a dualidade de Serre para esquemas não singulares. Percebeu-se que um único feixe dualizante não era suficiente; um complexo de feixes era necessário. Isso levou à ideia de que os functores 'reais' seriam aqueles no nível derivado, com Tor e Ext atuando como ferramentas computacionais. Apesar de sua abstração, as categorias derivadas foram amplamente aceitas, especialmente como um ambiente para a coomologia de feixes, e foram cruciais para formulações como a correspondência de Riemann-Hilbert em dimensões superiores.
Imagem: EPorto (WMB) · BY-SA · Openverse
Uma categoria abeliana, como a de módulos sobre um anel ou feixes de grupos abelianos, serve de base. A categoria derivada D(A) é construída a partir da categoria Kom(A) de complexos de cocadeias. Um objeto em Kom(A) é uma sequência X^i com diferenciais d^i onde d^{i+1} o d^i é zero. O i-ésimo grupo de coomologia é H^i(X^•) = ker d^i / im d^{i-1}. Um morfismo f^• : X^• → Y^• consiste em morfismos f_i : X^i → Y^i que comutam com os diferenciais. Um quase-isomorfismo é um morfismo que induz isomorfismos em todos os grupos de coomologia.
Relação com a categoria de homotopia
Em Kom(A), dois morfismos f e g são homotópicos se houver uma coleção de morfismos h^i tal que f^i - g^i = d_Y^{i-1} o h^i + h^{i+1} o d_X^i. Morfismos homotópicos induzem os mesmos morfismos de coomologia. Uma equivalência de homotopia de cadeias é um par de morfismos cujas composições são homotopicamente equivalentes às identidades. A categoria de homotopia K(A) tem os mesmos objetos de Kom(A), mas seus morfismos são classes de homotopia. O functor natural Kom(A) → K(A) envia cada morfismo à sua classe de homotopia. A categoria derivada D(A) pode ser vista como uma localização da categoria de homotopia.
Construindo a categoria derivada
Para categorias pequenas, a categoria derivada pode ser construída adjungindo formalmente inversos de quase-isomorfismos. Este é um exemplo da construção geral de uma categoria por geradores e relações. Para categorias grandes, essa construção direta não funciona devido a questões de teoria dos conjuntos. A construção por geradores e relações pode falhar em produzir uma categoria propriamente dita se a coleção de morfismos entre dois objetos for uma classe própria, em vez de um conjunto, o que geralmente é exigido.
Imagem: EPorto (WMB) · BY-SA · Openverse
Na categoria derivada, os conjuntos Hom são representados por 'tetos' ou 'vales' da forma X → Y' ← Y, onde Y → Y' é um quase-isomorfismo. Por exemplo, dada uma sequência exata, pode-se construir um morfismo truncando o complexo, transladando-o e usando morfismos óbvios. Isso permite visualizar elementos de Hom em situações concretas, como quando um complexo tem um objeto concentrado em um grau específico.
Para fins específicos, utilizam-se complexos limitados inferiormente (D+(A)), superiormente (D-(A)) ou ambos (Db(A)), em vez de complexos não limitados. A questão de os morfismos formarem um conjunto (e não apenas uma classe) é relevante. Se a categoria abeliana A for pequena, ou se for uma categoria de Grothendieck (como a de módulos sobre um anel ou feixes de grupos abelianos), a categoria derivada D(A) é equivalente a uma subcategoria plena da categoria de homotopia K(A), garantindo que os morfismos formem um conjunto.
Uma equivalência de homotopia é um quase-isomorfismo, o que simplifica a construção da categoria derivada. Para lidar com a dificuldade de manipular morfismos diretamente na categoria derivada, busca-se categorias equivalentes mais gerenciáveis. As abordagens clássicas (e duais) envolvem resoluções projetivas e injetivas. A restrição do functor de localização canônica a uma subcategoria apropriada torna-se uma equivalência de categorias. As resoluções injetivas, em particular, são a base para definir functores derivados à direita, essenciais para a coomologia de feixes e outras teorias avançadas.
A categoria derivada é o ambiente natural para definir e estudar functores derivados. Para um functor F : A → B entre categorias abelianas, existem dois conceitos duais de functores derivados. Os functores derivados à direita são definidos quando F é exato à esquerda. Exemplos incluem os functores Ext^n(-, A) e Ext^n(A, -) para F(X) = Hom(X, A) ou F(X) = Hom(A, X), respectivamente. Outros exemplos são os functores de coomologia H^n(X, F) ou R^n f_*(F) para functores de seções globais ou imagem direta.
É possível que duas categorias abelianas A e B não sejam equivalentes, mas suas categorias derivadas D(A) e D(B) sejam. Essa relação entre A e B é frequentemente significativa e está ligada à teoria das t-estruturas em categorias trianguladas. Exemplos concretos dessa equivalência derivada demonstram a profundidade e a interconexão entre diferentes estruturas matemáticas.
