Una definición de determinante para operadores elípticos (típicamente positivos) mediante la función zeta espectral: si {λ_j} son los autovalores positivos, se forma ζ(s) = ∑ λ_j^{-s}, se continúa analíticamente ζ(s) hasta s=0 y se define det' A = exp(−ζ'(0)). Esto regulariza el producto infinito divergente de autovalores y produce invariantes espectrales significativos.

Principio

Sustituir el producto formal ∏ λ_j por exp(−d/ds ζ(s)|_{s=0}) donde ζ(s) es la continuación analítica de la suma de potencias de autovalores; la construcción requiere continuación meromorfa y control de autovalores pequeños, y elecciones como el corte espectral pueden afectar la información de fase.

Demostración

Para el laplaciano en el círculo de longitud L, los autovalores escalan como (2πn/L)^2; formando la función zeta, continuando a s=0 y diferenciando se obtiene el determinante que depende de L de la manera esperada y coincide con productos regularizados de autovalores conocidos.

Aplicación incorrecta

Tratar el determinante regularizado por zeta como multiplicativo bajo secuencias exactas arbitrarias de operadores o ignorar los modos cero sin modificar la definición conduce a contradicciones; extender la fórmula ingenua a espectro continuo o operadores no elípticos no es válido sin adaptación.

Consecuencia

Los determinantes regularizados por zeta producen invariantes espectrales finitos que se usan para definir la torsión analítica, determinantes de una solazo en teoría cuántica de campos y invariantes escalares métricos en geometría espectral; permiten la continuación analítica de productos espectrales divergentes.

Inversión

La inversión ingenua es el producto infinito literal ∏ λ_j que diverge; la regularización zeta reemplaza esa divergencia por un valor finito y analíticamente significativo. Otras regularizaciones (núcleo de calor, dimensional) pueden diferir por constantes de renormalización calculables.

Límite

Se aplica a operadores con espectro discreto y positivo como operadores elípticos en variedades compactas (o con condiciones de contorno adecuadas); para operadores con espectro continuo o sin continuación meromorfa de la zeta hay que adaptar la definición (determinantes de dispersión, zetas relativas, etc.).

Tensión semántica

Existe tensión con los determinantes de Fredholm o de clase traza en teoría de operadores: los determinantes regularizados por zeta regulan productos de autovalores para operadores elípticos, mientras que los determinantes de Fredholm se aplican a I + perturbaciones compactas y poseen propiedades de multiplicatividad y dominio distintas.

Síntesis

El determinante regularizado por zeta convierte el producto divergente de autovalores de un operador elíptico en la cantidad finita exp(−ζ'(0)) mediante la continuación analítica de la función zeta espectral; así se obtienen invariantes espectrales robustos, centrales para la torsión analítica y la geometría espectral.