Invariante algebraica definida para una equivalencia de homotopía entre complejos CW finitos que toma valores en el grupo de Whitehead Wh(π) (un cociente de K1 del anillo de grupo Z[π]) y mide la obstrucción para que la equivalencia de homotopía sea una equivalencia de homotopía simple; central en la clasificación de h‑cobordismos y en el teorema s‑cobordismo.

Principio

Codificar una equivalencia celular por una equivalencia de homotopía de complejos de cadenas celulares sobre el anillo de grupo del grupo fundamental, calcular su torsión en K1 módulo las unidades apropiadas, e interpretar la anulación de esa clase como la posibilidad de realizar la equivalencia mediante una sucesión de expansiones y colapsos elementales (homotopía simple).

Demostración

Dada una equivalencia de homotopía f: X → Y entre complejos CW finitos con π = π1(Y), representar f por un mapa celular que induce una equivalencia de homotopía de los complejos de cadenas universales C_*(X̃) y C_*(Ỹ) sobre Z[π], calcular la torsión de Whitehead τ(f) ∈ Wh(π); τ(f)=0 exactamente cuando f es homotópica a una equivalencia de homotopía simple.

Aplicación incorrecta

Confundir una torsión no nula con la afirmación de que X y Y no son homotópicamente equivalentes (la torsión solo obstruye la simplicidad), calcular la torsión sin considerar los puntos base o las convenciones correctas del anillo de grupo, o aplicar el invariante fuera del marco de CW finitos conduce a un uso indebido.

Consecuencia

La anulación de la torsión de Whitehead es el criterio algebraico usado en el teorema s‑cobordismo para deducir que un h‑cobordismo es trivial (un producto), y la torsión no nula distingue equivalencias de homotopía que no pueden alcanzarse por expansiones y colapsos elementales, afinando la clasificación de variedades y complejos hasta la homotopía simple.

Inversión

Una equivalencia de homotopía simple tiene torsión de Whitehead trivial; la inversión enfatiza que la trivialidad de la torsión es equivalente a la realizabilidad por movimientos celulares elementales, mientras que la torsión no trivial registra complejidad combinatoria esencial.

Límite

Definida para aplicaciones entre complejos CW finitos (o complejos de cadenas finitos sobre anillos de grupo) y usando el anillo de grupo del grupo fundamental; no se extiende directamente a complejos infintos sin control adicional y requiere cuidado cuando π tiene torsión o cuando los anillos de coeficientes son distintos de Z.

Tensión semántica

Existe tensión semántica entre la torsión de Whitehead y otras nociones de torsión como la torsión de Reidemeister o la torsión analítica: miden afinamientos relacionados pero distintos (algebraico frente a analítico, homotopía simple frente a invariantes de variedades) y requieren una elección cuidadosa del contexto y los coeficientes.

Síntesis

La Torsión de Whitehead es la obstrucción con valores en K1 que refina la equivalencia de homotopía hacia una clasificación por homotopía simple: codificando automorfismos de complejos de cadenas sobre el anillo de grupo detecta si una equivalencia de homotopía puede realizarse por movimientos celulares elementales y desempeña así un papel decisivo en resultados de clasificación de variedades de alta dimensión.