Aplicaciones de Seifert-van Kampen

Cálcula el grupo fundamental de las superficies cerradas no orientables. (Todas se pueden obtener como suma conexa de algún número de copias del plano proyectivo real.)

Sea \(\mathbb{T}\) un toro sólido metido en \(\mathbb{R}^3\). Describiremos para cada par de enteros primos relativos \((p,q)\) un nudo \(T_{p,q}\). El próposito de este problema es calcular el grupo fundamental del complemento \(\mathbb{R}^3 \setminus T_{p,q}\) de ese nudo.

El nudo \(T_{p,q}\) es una curva cerrada simple sobre la superficie \(\partial \mathbb{T}\) de \(\mathbb{T}\) que le da \(p\) vueltas al toro en la dirección de los meridianos, digamos, y \(q\) vueltas en la dirección de los paralelos. Más precisamente, recuerda que \(\partial \mathbb{T} \cong S^1 \times S^1\), y si consideramos a \(S^1\) como el conjunto de números complejos de norma \(1\), parametrizamos a \(T_{p,q}\) por medio de \(t \in [0,1] \mapsto (e^{2\pi p t i}, e^{2\pi q t i})\).

Alternativamente, la superficie del toro se puede ver como \(\partial \mathbb{T} \cong \mathbb{R}^2/\mathbb{Z}^2\) y podemos pensar a \(T_{p,q}\) como la imágen del segmento de recta que une \((0,0)\) con \((p,q)\) en \(\mathbb{R}^2\).

Encuentra una presentación de \(\pi_1(\mathbb{R}^3 \setminus T_{p,q})\).

Opcional: Prueba que todos estos grupos fundamentales son no isomorfos dos a dos, es decir que si \(\pi_1(T_{p,q}) \cong \pi_1(T_{r,s})\) con \(\mathrm{mcd}(p,q) = \mathrm{mcd}(r,s) = 1\), entonces \(\{p,q\} = \{r,s\}\).

Wertinger describió un método para obtener una presentación del grupo fundamental del complemento de un nudo cualquiera, dado un diagrama plano del nudo. El procedimiento está explicado en el libro Algebraic Topology de Allen Hatcher, en el ejercicio 1.2.22 de la página 55. Resuelve ese ejercicio.

Sea \(p\) un número primo de laforma \(4k+1\). La gráfica de Paley, \(P_p\) tiene como vértices los elementos de \(\mathbb{Z}/p\) y dos vértices \(x\) y \(y\) están unidos por una arista si y sólo si \(y-x\) es un residuo cuadrático, es decir, si existe un entero \(t\) tal que \(y-x \cong t^2 \pmod{p}\).

(Cuando \(p\) es un primo de la forma \(4k+1\), sucede que \(-1\) es residuo cuadrático módulo \(p\); esto implica que \(y-x\) es residuo cuadrático si y sólo si \(x-y\) lo es, y entonces podemos definir \(P_p\) como gráfica no dirigida.)

Ahora definimos el complejo de Paley, \(\mathcal{P}_p\), como la realización geometrica del complejo simplicial cuyos simplejos son las subgráficas completas de \(P_p\). Si no conocen los complejos simpliciales o sus realizaciones geométricas, no importa, porque aquí viene una descripción explícita del espacio \(\mathcal{P}_p\):

Sea \(e_0, \ldots, e_{p-1}\) la base estándar de \(\mathbb{R}^p\) y para cualquier subconjunto \(S \subset \mathbb{Z}/p\), sea \[E(S) := \{ \sum_{s \in S} \lambda_s e_s : \lambda_s \ge 0, \sum_{s \in S} \lambda_s = 1\},\] el casco convexo de \(\{e_i : i \in S\}\). Podemos definir \(\mathbb{P}_p := \bigcup_{S \in K(P_p)} E(S)\), donde \(K(P_p)\) es la familia de subconjuntos de \(\mathbb{Z}/p\) que inducen subgráficas completas de \(P_p\).

Cálcula el grupo fundamental de \(\mathcal{P}_5\), \(\mathcal{P}_{13}\) y \(\mathcal{P}_{17}\).

Sea \(\newcommand{\Ab}{\mathsf{Ab}}\Ab\) la categoría de grupos abelianos y \(\Ab^{\to} = \mathrm{Fun}(\to, \Ab)\) la categoría de flechas¹ en \(\Ab\) (donde \(\to\) denota a la «flecha ambulante», la categoría con dos objetos y tres morfismos: las dos identidades y un morfimos entre los objetos).

Abajo hay varios funtores entre \(\Ab\) y \(\Ab^{\to}\), en ambas direcciones. Encuentra todas las adjunciones entre ellos:

1. \(I : \Ab \to \Ab^{\to}\), dado por \(A \mapsto (\mathrm{id}_A : A \to A)\).
2. \(D : \Ab \to \Ab^{\to}\), dado por \(A \mapsto (0 \to A)\).
3. \(C : \Ab \to \Ab^{\to}\), dado por \(A \mapsto (A \to 0)\).
4. \(\mathrm{dom} : \Ab^{\to} \to \Ab\), dado por \((f : A \to B) \mapsto A\).
5. \(\mathrm{cod} : \Ab^{\to} \to \Ab\), dado por \((f : A \to B) \mapsto B\).
6. \(\mathrm{ker} : \Ab^{\to} \to \Ab\), dado por \((f : A \to B) \mapsto \ker f\).
7. \(\mathrm{coker} : \Ab^{\to} \to \Ab\), dado por \((f : A \to B) \mapsto B/\mathrm{im} f\).