stringtranslate.com

Functor derivado

En matemáticas , ciertos funtores pueden derivarse para obtener otros funtores estrechamente relacionados con los originales. Esta operación, aunque bastante abstracta, unifica una serie de construcciones en toda la matemática.

Motivación

Se ha observado en diversos contextos que una secuencia exacta corta suele dar lugar a una "secuencia exacta larga". El concepto de funtores derivados explica y aclara muchas de estas observaciones.

Supongamos que se nos da un funtor covariante exacto por la izquierda F  : AB entre dos categorías abelianas A y B . Si 0 → ABC → 0 es una secuencia exacta corta en A , entonces la aplicación de F produce la secuencia exacta 0 → F ( A ) → F ( B ) → F ( C ) y uno podría preguntarse cómo continuar esta secuencia hacia la derecha para formar una secuencia exacta larga. Estrictamente hablando, esta pregunta está mal planteada, ya que siempre hay numerosas formas diferentes de continuar una secuencia exacta dada hacia la derecha. Pero resulta que (si A es lo suficientemente "amable") hay una forma canónica de hacerlo, dada por los funtores derivados por la derecha de F . Para cada i ≥1, hay un funtor R i F : AB , y la secuencia anterior continúa así: 0 → F ( A ) → F ( B ) → F ( C ) → R 1 F ( A ) → R 1 F ( B ) → R 1 F ( C ) → R 2 F ( A ) → R 2 F ( B ) → ... . De esto vemos que F es un funtor exacto si y solo si R 1 F = 0; así que en cierto sentido los funtores derivados correctos de F miden "qué tan lejos" está F de ser exacto.

Si el objeto A en la secuencia corta exacta anterior es inyectivo , entonces la secuencia se divide . La aplicación de cualquier funtor aditivo a una secuencia dividida da como resultado una secuencia dividida, por lo que en particular R 1 F ( A ) = 0. Los funtores derivados por la derecha (para i>0 ) son cero en inyectivos: esta es la motivación para la construcción que se da a continuación.

Construcción y primeras propiedades

La suposición crucial que debemos hacer acerca de nuestra categoría abeliana A es que tiene suficientes inyectivos , lo que significa que para cada objeto A en A existe un monomorfismo AI donde I es un objeto inyectivo en A.

Los funtores derivados por la derecha del funtor covariante exacto por la izquierda F  : AB se definen entonces de la siguiente manera. Empecemos con un objeto X de A . Como hay suficientes inyectivos, podemos construir una secuencia exacta larga de la forma

donde los I i son todos inyectivos (esto se conoce como una resolución inyectiva de X ). Aplicando el funtor F a esta secuencia y cortando el primer término, obtenemos el complejo de cadena 

Nota: en general, esto ya no es una secuencia exacta. Pero podemos calcular su cohomología en el i -ésimo punto (el núcleo de la función de F ( I i ) módulo la imagen de la función a F ( I i )); llamamos al resultado R i F ( X ). Por supuesto, se deben verificar varias cosas: el resultado no depende de la resolución inyectiva dada de X , y cualquier morfismo XY produce naturalmente un morfismo R i F ( X ) → R i F ( Y ), de modo que obtenemos un funtor. Nótese que la exactitud por la izquierda significa que 0 → F ( X ) → F ( I 0 ) → F ( I 1 ) es exacto, por lo que R 0 F ( X ) = F ( X ), por lo que solo obtenemos algo interesante para i > 0.

(Técnicamente, para producir derivadas bien definidas de F , tendríamos que fijar una resolución inyectiva para cada objeto de A . Esta elección de resoluciones inyectivas produce entonces funtores R i F . Diferentes elecciones de resoluciones producen funtores naturalmente isomorfos , por lo que al final la elección realmente no importa.)

La propiedad antes mencionada de convertir secuencias exactas cortas en secuencias exactas largas es una consecuencia del lema de la serpiente . Esto nos dice que la colección de funtores derivados es un δ-funtor .

Si X es en sí mismo inyectivo, entonces podemos elegir la resolución inyectiva 0 → XX → 0, y obtenemos que R i F ( X ) = 0 para todo i ≥ 1. En la práctica, este hecho, junto con la propiedad de secuencia exacta larga, se utiliza a menudo para calcular los valores de los funtores derivados por la derecha.

Una forma equivalente de calcular R i F ( X ) es la siguiente: tome una resolución inyectiva de X como la anterior, y sea K i la imagen de la función I i -1I i (para i = 0, defina I i -1 = 0), que es lo mismo que el núcleo de I iI i +1 . Sea φ i  :  I i -1K i la función sobreyectiva correspondiente. Entonces R i F ( X ) es el co-núcleo de Fi ).

Variaciones

Si se parte de un funtor covariante exacto por la derecha G , y la categoría A tiene suficientes proyectivos (es decir, para cada objeto A de A existe un epimorfismo PA donde P es un objeto proyectivo ), entonces se pueden definir análogamente los funtores derivados por la izquierda L i G . Para un objeto X de A construimos primero una resolución proyectiva de la forma

donde los P i son proyectivos. Aplicamos G a esta secuencia, eliminamos el último término y calculamos la homología para obtener L i G ( X ). Como antes, L 0 G ( X ) = G ( X ).

En este caso, la secuencia exacta larga crecerá "hacia la izquierda" en lugar de hacia la derecha:

se convierte en

.

Los funtores derivados de la izquierda son cero en todos los objetos proyectivos.

También se puede empezar con un funtor contravariante exacto por la izquierda F ; los funtores derivados por la derecha resultantes también son contravariantes. La secuencia exacta corta

se convierte en la secuencia larga y exacta

Estos funtores derivados de la izquierda son cero en proyectivos y, por lo tanto, se calculan mediante resoluciones proyectivas.

Ejemplos

Dualmente el funtor es exacto a la derecha y sus funtores derivados a la izquierda son
Esta es una manifestación del lema de la serpiente .

Homología y cohomología

Cohomología de gavillas

Si es un espacio topológico , entonces la categoría de todos los haces de grupos abelianos en es una categoría abeliana con suficientes inyectivos. El funtor que asigna a cada uno de esos haces el grupo de secciones globales es exacto a la izquierda, y los funtores derivados a la derecha son los funtores de cohomología de haces , usualmente escritos como . Un poco más generalmente: si es un espacio anillado , entonces la categoría de todos los haces de -módulos es una categoría abeliana con suficientes inyectivos, y podemos nuevamente construir la cohomología de haces como los funtores derivados a la derecha del funtor de sección global.

Hay varias nociones de cohomología que son un caso especial de esto:

Funciones ext

Si es un anillo , entonces la categoría de todos los módulos izquierdos es una categoría abeliana con suficientes inyectivos. Si es un módulo izquierdo fijo , entonces el funtor es exacto a la izquierda y sus funtores derivados a la derecha son los funtores Ext . Alternativamente, también se puede obtener como el funtor derivado a la izquierda del funtor exacto a la derecha .

Varias nociones de cohomología son casos especiales de funtores Ext y, por lo tanto, también funtores derivados.

Funciones de Tor

La categoría de módulos izquierdos también tiene suficientes proyectivos. Si es un módulo derecho fijo , entonces el producto tensorial con da un funtor covariante exacto derecho ; La categoría de módulos tiene suficientes proyectivos para que siempre existan funtores derivados izquierdos. Los funtores derivados izquierdos del funtor tensorial son los funtores Tor . Equivalentemente se pueden definir simétricamente como los funtores derivados izquierdos de . De hecho, se pueden combinar ambas definiciones y definir como el derivado izquierdo de .

Esto incluye varias nociones de homología como casos especiales. Esto suele reflejar la situación con los funtores Ext y la cohomología.

En lugar de tomar funtores derivados izquierdos individuales, también se puede tomar el funtor derivado total del funtor tensorial. Esto da lugar al producto tensorial derivado , donde es la categoría derivada .

Naturalidad

Los funtores derivados y las secuencias largas y exactas son "naturales" en varios sentidos técnicos.

Primero, dado un diagrama conmutativo de la forma

(donde las filas son exactas), las dos secuencias exactas largas resultantes están relacionadas mediante cuadrados conmutativos:

En segundo lugar, supongamos que η : FG es una transformación natural del funtor exacto por la izquierda F al funtor exacto por la izquierda G . Entonces se inducen las transformaciones naturales R i η : R i FR i G , y de hecho R i se convierte en un funtor de la categoría de funtores de todos los funtores exactos por la izquierda de A a B a la categoría de funtores completa de todos los funtores de A a B . Además, este funtor es compatible con las secuencias exactas largas en el siguiente sentido: si

es una secuencia exacta corta, luego un diagrama conmutativo

se induce.

Ambas naturalidades se derivan de la naturalidad de la secuencia proporcionada por el lema de la serpiente .

Por el contrario, se cumple la siguiente caracterización de los funtores derivados: dada una familia de funtores R i : AB , que satisface lo anterior, es decir, que asigna secuencias exactas cortas a secuencias exactas largas, de modo que para cada objeto inyectivo I de A , R i ( I )=0 para cada i positivo , entonces estos funtores son los funtores derivados correctos de R 0 .

Generalización

El enfoque más moderno (y más general) de los funtores derivados utiliza el lenguaje de las categorías derivadas .

En 1968, Quillen desarrolló la teoría de categorías modelo , que dan un sistema abstracto de teoría de categorías de fibraciones, cofibraciones y equivalencias débiles. Normalmente, uno está interesado en la categoría de homotopía subyacente obtenida al localizar contra las equivalencias débiles. Una adjunción de Quillen es una adjunción entre categorías modelo que desciende a una adjunción entre las categorías de homotopía. Por ejemplo, la categoría de espacios topológicos y la categoría de conjuntos simpliciales admiten ambas estructuras modelo de Quillen cuya adjunción de nervio y realización da una adjunción de Quillen que es de hecho una equivalencia de categorías de homotopía. Los objetos particulares en una estructura modelo tienen "propiedades agradables" (con respecto a la existencia de elevaciones contra morfismos particulares), los objetos "fibrantes" y "cofibrantes", y cada objeto es débilmente equivalente a una "resolución" fibrante-cofibrante.

Aunque originalmente se desarrollaron para manejar la categoría de espacios topológicos, las estructuras del modelo de Quillen aparecen en numerosos lugares en matemáticas; en particular, la categoría de complejos de cadena de cualquier categoría abeliana (módulos, haces de módulos en un espacio topológico o esquema , etc.) admiten una estructura de modelo cuyas equivalencias débiles son aquellos morfismos entre complejos de cadena que preservan la homología. A menudo tenemos un funtor entre dos de esas categorías de modelo (por ejemplo, el funtor de secciones globales que envía un complejo de haces abelianos al complejo obvio de grupos abelianos) que preserva las equivalencias débiles *dentro de la subcategoría de objetos “buenos” (fibrantes o cofibrantes).* Al tomar primero una resolución fibrante o cofibrante de un objeto y luego aplicar ese funtor, lo hemos extendido con éxito a toda la categoría de tal manera que las equivalencias débiles siempre se preservan (y, por lo tanto, desciende a un funtor de la categoría de homotopía). Este es el “funtor derivado”. Los “funtores derivados” de la cohomología de haces, por ejemplo, son las homologías de la salida de este funtor derivado. Al aplicarlos a un haz de grupos abelianos interpretados de la manera obvia como un complejo concentrado en homología, miden la falla del funtor de secciones globales para preservar equivalencias débiles de tales, su falla de “exactitud”. La teoría general de estructuras modelo muestra la unicidad de esta construcción (que no depende de la elección de la resolución fibrante o cofibrante, etc.)

Referencias