El espacio cociente obtenido a partir de X × [0,1] identificando (x,1) con (f(x),0) para una autoaplicación f: X → X; es un espacio fibrado sobre el círculo S1 con fibra X y monodromía f.

Principio

Representar una autoaplicación como una fibración sobre S1 de modo que la topología del espacio total capture la dinámica y el efecto algebraico de la aplicación.

Demostración

Si f es un homeomorfismo de una superficie cerrada Σ, el toro de mapeo M_f = (Σ × [0,1])/(x,1)~(f(x),0) es una 3‑variedad cerrada fibrada sobre S1 con fibra Σ y monodromía f (por ejemplo, un giro de Dehn produce una 3‑variedad no trivial).

Aplicación incorrecta

Tratar como toro de mapeo cualquier cociente de X × [0,1] por una identificación arbitraria sin comprobar que la identificación proviene de una única autoaplicación definida globalmente; o confundir toro de mapeo con cilindro de mapeo o suspensión.

Consecuencia

Bien construido, el toro de mapeo empaqueta la monodromía en la topología: el grupo fundamental se convierte en una extensión HNN de π1(X) determinada por f, la cohomología refleja la fibración en círculo y las estructuras geométricas remiten a la dinámica de f.

Inversión

Sustituir la monodromía por la identidad produce el fibrado trivial X × S1; invertir f produce el toro de mapeo de f−1, con la orientación de la monodromía invertida pero el mismo tipo de fibra.

Límite

Requiere una autoaplicación continua f: X → X y el producto con un intervalo; excluye cocientes que identifiquen puntos de formas no representables por una sola autoaplicación y presupone una estructura topológica (o suave) en X para interpretar f y la fibración.

Tensión semántica

Se confunde con frecuencia con el cilindro de mapeo (espacio con un extremo adherido), la suspensión (une dos conos) o fibrados sobre el círculo en general: el toro de mapeo es un cociente específico que codifica una aplicación elegida, no cualquier fibrado sobre S1.

Síntesis

El toro de mapeo es la construcción que convierte una autoaplicación en una fibración sobre el círculo de modo que la topología global del espacio resultante registre el efecto algebraico y dinámico de la aplicación mediante la monodromía, la extensión del grupo fundamental y la estructura de fibra.