Un invariante espectral de una variedad riemanniana cerrada (posiblemente con un fibrado vectorial plano) definida como un producto ponderado de determinantes regularizados por zeta de los laplacianos de Hodge en formas diferenciales; refina la torsión combinatoria de Reidemeister por medios analíticos y es sensible al espectro de los laplacianos según el grado.

Principio

Se construyen funciones zeta ζ_k(s) para los laplacianos en k-formas, se forman los determinantes regularizados det' Δ_k = exp(−ζ_k'(0)) y se combinan con pesos alternados en el grado para producir la torsión analítica T = ∏_k (det' Δ_k)^{(−1)^{k} k/2}; en condiciones favorables esta torsión analítica coincide con la torsión de Reidemeister.

Demostración

En una variedad cerrada de dimensión impar con un fibrado plano acíclico, se calculan ζ_k(s) a partir de los autovalores no nulos de Δ_k, se regularizan para obtener det' Δ_k y se ensamblan para obtener T; para espacios lenticulares y ciertas formas espaciales esféricas se obtienen valores explícitos que coinciden con la torsión combinatoria salvo normalización.

Aplicación incorrecta

Aplicar la torsión analítica sin eliminar los modos cero o sin tener en cuenta que la representación del fibrado no es unitaria provoca fases mal definidas o factores divergentes; tratar el invariante como totalmente independiente de la métrica también malinterpreta su dependencia sutil y las hipótesis necesarias para su igualdad con la torsión de Reidemeister.

Consecuencia

La torsión analítica establece un puente entre geometría espectral y topología combinatoria: cuando se cumple el teorema de Cheeger–Müller, la torsión analítica iguala la torsión de Reidemeister, aportando pruebas analíticas de invariantes topológicos y contribuyendo a invariantes refinados en teoría cuántica de campos y geometría arakeloviana.

Inversión

La inversión es el punto de vista combinatorio: reconstruir determinantes espectrales a partir de una torsión de Reidemeister dada exige insumos analíticos adicionales; conceptualmente, sustituir datos espectrales analíticos por información de complejos de cadenas pierde el acceso directo a la geometría espectral.

Límite

Definida para variedades cerradas o para variedades con frontera cuando se imponen condiciones de contorno apropiadas; requiere control de los modos cero (la aciclicidad simplifica la definición) y es sutil para fibrados planos no unitarios o en presencia de espectro continuo.

Tensión semántica

Se sitúa entre los determinantes regularizados por zeta y la torsión combinatoria (Reidemeister): la tensión reside en considerar la torsión como un objeto espectral analítico o como un invariante topológico combinatorio, y en las hipótesis adicionales que aseguran su igualdad.

Síntesis

La torsión analítica reúne determinantes espectrales regularizados de los laplacianos según los grados en un único invariante que captura información topológica refinada; bajo las hipótesis adecuadas coincide con la torsión de Reidemeister, enlazando así análisis, topología y geometría.