Álgebra Homológica: Conceptos Avanzados

«`html

Álgebra Homológica: Conceptos Avanzados

Explorando las herramientas fundamentales para el estudio de estructuras algebraicas y topológicas.

Introducción

El álgebra homológica es una rama de las matemáticas que estudia las propiedades de las estructuras algebraicas a través de complejos de cadenas y sucesiones exactas. Surgió como una herramienta poderosa en topología algebraica, pero hoy en día tiene aplicaciones en diversas áreas como la geometría algebraica, la teoría de representaciones y la física matemática. En este artículo, exploraremos conceptos avanzados como los funtores derivados, las sucesiones espectrales y las resoluciones inyectivas y proyectivas.

1. Complejos de Cadenas y Homología

Un complejo de cadenas es una sucesión de módulos (o grupos abelianos) conectados por homomorfismos llamados diferenciales, tales que la composición de dos diferenciales consecutivos es cero.

Ejemplo 1: Complejo de Cadenas

Consideremos el siguiente complejo de cadenas en la categoría de espacios vectoriales sobre un campo $k$:

$$ \cdots \rightarrow 0 \rightarrow k \xrightarrow{\cdot 2} k \xrightarrow{\cdot 0} k \rightarrow 0 \rightarrow \cdots $$

Aquí, el homomorfismo $\cdot 2$ multiplica por 2, y $\cdot 0$ es el mapa cero. La homología de este complejo en el segundo $k$ es $\ker(\cdot 0)/\text{im}(\cdot 2) \cong k/2k$.

2. Sucesiones Exactas

Una sucesión exacta es un complejo de cadenas donde la imagen de un diferencial coincide exactamente con el núcleo del siguiente.

Teorema 1: Lema de la Serpiente

Dado un diagrama conmutativo de módulos con filas exactas:

$$
\begin{array}{ccccccccc}
0 & \rightarrow & A & \rightarrow & B & \rightarrow & C & \rightarrow & 0 \\
& & \downarrow \alpha & & \downarrow \beta & & \downarrow \gamma & & \\
0 & \rightarrow & A’ & \rightarrow & B’ & \rightarrow & C’ & \rightarrow & 0 \\
\end{array}
$$

Existe una sucesión exacta larga:

$$ 0 \rightarrow \ker \alpha \rightarrow \ker \beta \rightarrow \ker \gamma \rightarrow \text{coker} \alpha \rightarrow \text{coker} \beta \rightarrow \text{coker} \gamma \rightarrow 0 $$

Demostración: La construcción del mapa $\ker \gamma \rightarrow \text{coker} \alpha$ (el «conector») se realiza mediante un diagram chase estándar. La exactitud se verifica en cada paso.

3. Funtores Derivados

Los funtores derivados (como $\text{Ext}$ y $\text{Tor}$) miden el fracaso de un funtor en ser exacto.

Teorema 2: Caracterización de $\text{Ext}^1$

Para módulos $A$ y $B$ sobre un anillo $R$, $\text{Ext}^1_R(A,B)$ clasifica las extensiones de $A$ por $B$.

Demostración: Toda extensión $0 \rightarrow B \rightarrow E \rightarrow A \rightarrow 0$ induce un elemento en $\text{Ext}^1_R(A,B)$ mediante la resolución proyectiva de $A$. Dos extensiones son equivalentes si y solo si definen el mismo elemento en $\text{Ext}^1$.

4. Resoluciones Inyectivas y Proyectivas

Una resolución inyectiva de un módulo $M$ es una sucesión exacta:

$$ 0 \rightarrow M \rightarrow I^0 \rightarrow I^1 \rightarrow \cdots $$

donde cada $I^i$ es inyectivo.

Ejemplo 2: Resolución Proyectiva de $\mathbb{Z}/2\mathbb{Z}$

En la categoría de $\mathbb{Z}$-módulos, una resolución proyectiva de $\mathbb{Z}/2\mathbb{Z}$ es:

$$ 0 \rightarrow \mathbb{Z} \xrightarrow{\cdot 2} \mathbb{Z} \rightarrow \mathbb{Z}/2\mathbb{Z} \rightarrow 0 $$

5. Sucesiones Espectrales

Una sucesión espectral es una herramienta para calcular homología de manera iterativa.

Teorema 3: Sucesión Espectral de un Bicomplejo

Dado un bicomplejo $C^{p,q}$, existe una sucesión espectral que converge a la homología total $H^n(\text{Tot}(C))$.

Demostración: Se filtran el bicomplejo por filas o columnas y se aplica el teorema de convergencia para sucesiones espectrales.

Ejercicios Resueltos

Ejercicio 1: Homología de un Complejo

Calcula la homología del complejo:

$$ 0 \rightarrow \mathbb{Z} \xrightarrow{\cdot 4} \mathbb{Z} \xrightarrow{\mod 2} \mathbb{Z}/2\mathbb{Z} \rightarrow 0 $$

Solución:

$\ker(\mod 2) = 2\mathbb{Z}$.
$\text{im}(\cdot 4) = 4\mathbb{Z}$.
$H_1 = 2\mathbb{Z}/4\mathbb{Z} \cong \mathbb{Z}/2\mathbb{Z}$.

Ejercicio 2: Extensión Trivial

Demuestra que $\text{Ext}^1_{\mathbb{Z}}(\mathbb{Z}/2\mathbb{Z}, \mathbb{Z}) \cong \mathbb{Z}/2\mathbb{Z}$.