Na matemática, especificamente na teoria das categorias, certos functores podem ser derivados para obter outros functores intimamente relacionados aos originais. Esta operação, embora bastante abstrata, unifica várias construções em toda a matemática.
Motivação
Notou-se em vários contextos bastante diferentes que uma sequência exata curta frequentemente dá origem a uma "sequência exata longa". Os functores derivados esclarecem e generalizam muitas dessas observações.
Suponha que nos seja dado um functor covariante exato à esquerda entre duas categorias abelianas e . Se
for uma sequência exata curta em , então a aplicação de produz a sequência exata , e poder-se-ia perguntar como continuar esta sequência para a direita para formar uma sequência exata longa.
A rigor, esta questão é mal formulada, visto que sempre há inúmeras maneiras diferentes de continuar uma determinada sequência exata para a direita. No entanto, verifica-se que se for "suficientemente boa", há uma maneira canônica de fazê-lo, dada pelos functores derivados à direita de . Para todo , existe um functor , e a sequência acima continua da seguinte forma:
A partir disto, vemos que é um functor exato se e somente se ; logo, de certa forma, os functores derivados à direita de medem o "quão longe" está de ser exato.
Se o objeto na sequência exata curta acima for injetivo, então a sequência cinde (splits). Aplicar qualquer functor aditivo a uma sequência que cinde resulta em uma sequência que cinde, então em particular . Functores derivados à direita (para ) são zero em objetos injetivos: esta é a motivação para a construção dada a seguir.
Construção e primeiras propriedades
A suposição crucial que precisamos fazer sobre nossa categoria abeliana A é que ela possua injetivos suficientes, significando que para todo objeto A em A existe um monomorfismo A → I onde I é um objeto injetivo em A.
Os functores derivados à direita do functor covariante exato à esquerda F : A → B são então definidos da seguinte maneira. Comece com um objeto X de A. Como há injetivos suficientes, podemos construir uma sequência exata longa da forma
onde os I i são todos injetivos (isto é conhecido como uma resolução injetiva de X). Aplicando o functor F a esta sequência, e cortando o primeiro termo, obtemos o complexo de cocadeias
Nota: em geral, esta não é mais uma sequência exata. Mas podemos calcular a sua coomologia na i-ésima posição (o núcleo da aplicação a partir de F(Ii) módulo a imagem da aplicação para F(Ii)); chamamos o resultado de RiF(X). Naturalmente, várias coisas devem ser verificadas: o resultado não depende da resolução injetiva dada de X, e qualquer morfismo X → Y produz naturalmente um morfismo RiF(X) → RiF(Y), de modo que de fato obtemos um functor. Note que a exatidão à esquerda significa que 0 → F(X) → F(I0) → F(I1) é exata, portanto R0F(X) = F(X), então só obtemos algo interessante para i>0.
(Tecnicamente, para produzir derivadas bem definidas de F, teríamos que fixar uma resolução injetiva para cada objeto de A. Essa escolha de resoluções injetivas produz então os functores RiF. Escolhas diferentes de resoluções produzem functores naturalmente isomorfos, de modo que no final a escolha realmente não importa).
A propriedade supracitada de transformar sequências exatas curtas em sequências exatas longas é uma consequência do lema da serpente. Isso nos diz que a coleção de functores derivados é um δ-functor.
Se o próprio X for injetivo, então podemos escolher a resolução injetiva 0 → X → X → 0, e obtemos que RiF(X) = 0 para todo i ≥ 1. Na prática, este fato, juntamente com a propriedade da sequência exata longa, é frequentemente usado para calcular os valores dos functores derivados à direita.
Uma maneira equivalente de calcular RiF(X) é a seguinte: tome uma resolução injetiva de X como acima, e seja Ki a imagem da aplicação Ii-1→Ii (para i=0, defina Ii-1=0), que é o mesmo que o núcleo de Ii→Ii+1. Seja φi : Ii-1→Ki a aplicação sobrejetiva correspondente. Então RiF(X) é o conúcleo de F(φi).
Variações
Se começarmos com um functor covariante exato à direita , e a categoria A tiver projetivos suficientes (ou seja, para cada objeto de A existe um epimorfismo onde é um objeto projetivo), então podemos definir analogamente os functores derivados à esquerda . Para um objeto de A, primeiro construímos uma resolução projetiva da forma
onde os são projetivos. Aplicamos a esta sequência, cortamos o último termo, e calculamos a homologia para obter . Como antes, .
Neste caso, a sequência exata longa crescerá "para a esquerda" em vez de para a direita: a sequência
é transformada em .
Functores derivados à esquerda são zero em todos os objetos projetivos.
Também se pode começar com um functor contravariante exato à esquerda ; os functores derivados à direita resultantes também serão contravariantes. A sequência exata curta
é transformada na sequência exata longa
Esses functores derivados à direita são zero nos projetivos e são, portanto, calculados através de resoluções projetivas.
Exemplos
Se é uma categoria abeliana, então sua categoria de morfismos também é abeliana. O functor que mapeia cada morfismo ao seu núcleo é exato à esquerda. Seus functores derivados à direita são
Dualmente, o functor é exato à direita e seus functores derivados à esquerda são
Esta é uma manifestação do lema da serpente.
Homologia e coomologia
Coomologia de feixes Se for um espaço topológico, então a categoria de todos os feixes de grupos abelianos em é uma categoria abeliana com injetivos suficientes. O functor que atribui a cada um desses feixes o grupo de seções globais é exato à esquerda, e os functores derivados à direita são os functores de coomologia de feixes, usualmente escritos como . De forma um pouco mais geral: se for um espaço anelado, então a categoria de todos os feixes de -módulos é uma categoria abeliana com injetivos suficientes, e podemos novamente construir a coomologia de feixes como os functores derivados à direita do functor de seções globais.
Existem várias noções de coomologia que são casos especiais disto:
A Coomologia de De Rham é a coomologia de feixes do feixe de funções localmente constantes com valores em numa variedade. O complexo de De Rham é uma resolução deste feixe não por feixes injetivos, mas por feixes finos. A Coomologia étale é outra teoria de coomologia para feixes sobre um esquema. É o functor derivado à direita das seções globais de feixes abelianos no sítio étale.
Functores Ext Se for um anel, então a categoria de todos os -módulos à esquerda é uma categoria abeliana com injetivos suficientes. Se for um -módulo à esquerda fixo, então o functor é exato à esquerda, e os seus functores derivados à direita são os functores Ext . Alternativamente também pode ser obtido como o functor derivado à esquerda do functor exato à direita .
Várias noções de coomologia são casos especiais de functores Ext e, portanto, também de functores derivados.
A Coomologia de grupos é o functor derivado à direita do functor de invariantes que é o mesmo que (onde é o -módulo trivial) e, portanto, . A Coomologia de álgebras de Lie de uma álgebra de Lie sobre algum anel comutativo é o functor derivado à direita do functor de invariantes o qual é o mesmo que (onde é novamente o -módulo trivial e é a álgebra envolvente universal de ). Portanto, . A Coomologia de Hochschild de alguma -álgebra é o functor derivado à direita de invariantes que mapeia um bimódulo ao seu centro, também chamado de seu conjunto de invariantes o qual é o mesmo que (onde é a álgebra envolvente de e é considerada um -bimódulo através da multiplicação usual à esquerda e à direita). Portanto, .
Functores Tor A categoria de -módulos à esquerda também possui projetivos suficientes. Se é um -módulo à direita fixo, então o produto tensorial com produz um functor covariante exato à direita ; A categoria de módulos tem projetivos suficientes de modo que os functores derivados à esquerda sempre existem. Os functores derivados à esquerda do functor tensorial são os functores Tor . Equivalentemente, pode ser definido simetricamente como os functores derivados à esquerda de . De fato, pode-se combinar ambas as definições e definir como a derivada à esquerda de .
Isto inclui várias noções de homologia como casos especiais. Isso frequentemente espelha a situação com os functores Ext e a coomologia.
A Homologia de grupos é o functor derivado à esquerda da obtenção de coinvariantes que é o mesmo que . A Homologia de álgebras de Lie é o functor derivado à esquerda de se tomar coinvariantes que é o mesmo que . A Homologia de Hochschild é o functor derivado à esquerda de se tomar coinvariantes que é o mesmo que .
Em vez de tomar functores derivados à esquerda individualmente, pode-se também tomar o functor derivado total do functor tensorial. Isto dá origem ao produto tensorial derivado onde é a categoria derivada.
Naturalidade
Os functores derivados e as sequências exatas longas são "naturais" em diversos sentidos técnicos.
Primeiro, dado um diagrama comutativo da forma
(onde as linhas são exatas), as duas sequências exatas longas resultantes estão relacionadas por quadrados comutativos:
center
Segundo, suponha que η : F → G seja uma transformação natural do functor exato à esquerda F para o functor exato à esquerda G. Então, transformações naturais Riη : RiF → RiG são induzidas, e de fato Ri torna-se um functor da categoria de functores de todos os functores exatos à esquerda de A para B para a categoria de functores completa de todos os functores de A para B. Além disso, este functor é compatível com as sequências exatas longas no seguinte sentido: se
for uma sequência exata curta, então um diagrama comutativo
center
é induzido.
Ambas estas naturalidades seguem da naturalidade da sequência fornecida pelo lema da serpente.
Reciprocamente, a seguinte caracterização de functores derivados é válida: dada uma família de functores Ri: A → B, satisfazendo o exposto acima, isto é, mapeando sequências exatas curtas para sequências exatas longas, tal que para cada objeto injetivo I de A, Ri(I)=0 para todo i positivo, então esses functores são os functores derivados à direita de R0.
Generalização
A abordagem mais moderna (e mais geral) aos functores derivados utiliza a linguagem das categorias derivadas.
Em 1968, Daniel Quillen desenvolveu a teoria das categorias de modelos, as quais fornecem um sistema abstrato na teoria das categorias de fibrações, cofibrações e equivalências fracas. Tipicamente, está-se interessado na categoria de homotopia subjacente obtida localizando-se contra as equivalências fracas. Uma Adjunção de Quillen é uma adjunção entre categorias de modelos que descende para uma adjunção entre as categorias de homotopia. Por exemplo, a categoria dos espaços topológicos e a categoria dos conjuntos simpliciais admitem ambas estruturas de modelos de Quillen cuja adjunção de nervo e realização dá origem a uma adjunção de Quillen que é, de fato, uma equivalência de categorias de homotopia. Objetos particulares em uma estrutura de modelos têm "boas propriedades" (concernentes à existência de levantamentos contra morfismos particulares), os objetos "fibrantes" e "cofibrantes", e todo objeto é fracamente equivalente a uma "resolução" fibrante-cofibrante.