Adiabatic Deformations of Black Hole Moduli: I. Canonical Slices and Fredholm Solvability

Resumen Técnico: Deformaciones Adiabáticas de los Módulos de Agujeros Negros: I. Cortes Canónicos y Solvabilidad de Fredholm

Planteamiento del Problema
El artículo aborda la respuesta adiabática de orden principal de un agujero negro estático ante un módulo asintótico que evoluciona lentamente (por ejemplo, una carga escalar o el valor de un dilatón fijado en el infinito) dentro de las teorías de Einstein–Maxwell–dilatón. Cuando un módulo externo varía lentamente en el tiempo, el agujero negro no puede permanecer exactamente estático. Esto plantea dos cuestiones distintas:

1. Geométrica: Entre la familia continua de soluciones estáticas, ¿qué representante instantáneo específico es seleccionado por la geometría intrínseca del manifold de la solución cuando es impulsado por un módulo exterior que varía lentamente?
2. Analítico-Funcional: Una vez identificada esta trayectoria, ¿admite la ecuación de perturbación lineal resultante una solución única? El operador radial reducido posee típicamente un núcleo no trivial heredado de las direcciones tangentes del manifold de soluciones estáticas, lo que hace que la existencia y la unicidad no sean automáticas.

Los autores pretenden responder a estas preguntas para una clase general de manifolds de soluciones estáticas no extremales, reduciendo el problema a criterios escalares explícitos.

Metodología
La construcción procede mediante una separación rigurosa del problema en capas geométrica y analítico-funcional, evitando suposiciones sobre familias específicas de agujeros negros (excepto la existencia de un manifold de soluciones estáticas no extremas y suave).

1. Reducción Exacta en la Zona Cercana: Los autores trabajan en el gauge de Eddington–Finkelstein avanzado dentro de una "zona cercana" radial finita ($r_H \le r \le r_m$). Derivan las ecuaciones de campo exactas para la teoría de Einstein–Maxwell–dilatón sin asumir inicialmente una expansión adiabática. Definen la masa del horizonte exacta $M_H^{exact}$ y distinguen esta de la masa del horizonte de un representante estático instantáneo.
2. Linealización y Reducción: Las ecuaciones acopladas de Einstein–Maxwell–dilatón linealizadas se reducen a una única ecuación radial local para una perturbación escalar $\eta$. Las perturbaciones métricas (el lapse $\xi$ y la masa $\mu$) se eliminan mediante restricciones, dejando un único operador radial reducido $L$ que actúa sobre $\eta$, originado por una constante de integración residual $C_\mu$.
3. Geometría Tangente Canónica: Al diferenciar la familia estática con respecto a las coordenadas colectivas (específicamente el módulo asintótico $\Phi$ y el parámetro de masa del horizonte estático $M_{H,0}$), los autores definen un covector intrínseco $C_\mu$ en el espacio tangente del manifold de la solución estática. Demuestran que el núcleo de este covector identifica una "dirección tangente canónica" única correspondiente a las variaciones en $\Phi$ a $M_{H,0}$ fijo.
4. Seguimiento Adiabático y Campos de Retraso (Lag Fields): La familia estática se promueve a una configuración dependiente del tiempo. Este "seguimiento instantáneo" falla al satisfacer las ecuaciones de campo exactas, generando un "defecto" o "campo de retraso". El defecto de balance de masa desaparece al primer orden si la trayectoria sigue la dirección tangente canónica y la masa del horizonte evoluciona en el segundo orden adiabático.
5. Corte Local y Operador Segmentado (Sliced Operator): Persiste una ambigüedad tangencial residual en la definición del campo de retraso. Los autores introducen una condición de "corte local" ($\mu(v, r_m) = 0$) para fijar esta ambigüedad. Esto convierte la constante de integración radial en una evaluación de frontera del campo de retraso escalar. Esta operación modifica el operador reducido $L$ mediante una perturbación de rango finito, resultando en un "operador segmentado" $L_{sl} = L + u \otimes \ell$.
6. Análisis de Fredholm: Los autores analizan la solvabilidad del problema de valor en la frontera completado utilizando la teoría de Fredholm. Establecen que el operador segmentado permanece sobreyectivo con un núcleo unidimensional, pero el generador de este núcleo se desplaza del modo tangente canónico original si la actualización de rango finito es no trivial.

Contribuciones Clave y Resultados

• Teorema de la Tangente Canónica (Teorema 1): Los autores demuestran que, para un manifold de soluciones estáticas parametrizado por $(\Phi, M_{H,0})$, la única dirección tangente que satisface la restricción de balance de masa al primer orden adiabático es $\partial_\Phi |_{M_{H,0}}$. Esta dirección corresponde a la variación del módulo a $M_{H,0}$ fijo. El componente escalar de esta tangente, $\phi_\Phi$, pertenece al núcleo del operador reducido no segmentado ($L\phi_\Phi = 0$).
• Desplazamiento del Modo Cero: La introducción del corte local induce una perturbación de rango finito al operador reducido. Si el corte es transversal a la dirección tangente canónica (es decir, el perfil de masa cambia a lo largo de la tangente, $m_\Phi(r_m) \neq 0$) y la perturbación es no trivial ($K \neq 0$), el modo cero original $\phi_\Phi$ se desplaza del núcleo del operador segmentado $L_{sl}$.
• Teorema de Solvabilidad (Teorema 2): La existencia y unicidad de la deformación adiabática de orden principal se reducen a una única condición escalar. El operador de valor en la frontera completado es biyectivo si y solo si el generador $\psi_\star$ del núcleo del operador segmentado satisface la condición de emparejamiento exterior de forma no trivial:
  $$B_m \psi_\star \neq 0$$
  donde $B_m$ es el funcional lineal acotado que representa el problema de emparejamiento exterior.
• Tres Condiciones de No Degeneración: El artículo identifica tres condiciones lógicamente distintas requeridas para la construcción:
  1. Transversalidad del Corte: $m_\Phi(r_m) \neq 0$ (asegura que el corte seleccione un representante único).
  2. Actualización No Trivial: $K \neq 0$ (asegura que el modo cero canónico sea desplazado del núcleo).
  3. No Degeneración del Emparejamiento Exterior: $B_m \psi_\star \neq 0$ (asegura que la libertad homogénea restante sea fijada por los datos exteriores).

Significado y Alcance
El artículo afirma proporcionar una base geométrica y analítico-funcional general para las deformaciones adiabáticas de agujeros negros, independiente de soluciones de forma cerrada específicas. Su contribución principal es aislar los requisitos estructurales para la existencia y unicidad de la respuesta adiabática.

• Geométrico vs. Funcional: El trabajo separa el problema de identificar la trayectoria correcta en el manifold estático (geométrico) y asegurar que las ecuaciones lineales puedan resolverse a lo largo de esa trayectoria (analítico-funcional).
• Generalidad: El marco se aplica a cualquier teoría que admita un manifold de soluciones estáticas suave y no extrema y un operador radial reducido de Fredholm. No depende de potenciales específicos o funciones de la cinética de gauge.
• Limitaciones y Trabajo Futuro: Los autores declaran explícitamente que este artículo establece el marco general, pero no evalúa las formas explícitas de los perfiles o las condiciones de emparejamiento para un modelo específico. Señalan que un artículo complementario [18] especializa este marco a la familia de Garfinkle–Horowitz–Strominger (GHS) magnética para realizar evaluaciones explícitas. El presente trabajo no aborda el régimen ultra-cercano al extremo ni el espectro completo de perturbaciones homogéneas que se propagan libremente, centráéndose estrictamente en la rama adiabática forzada y causalmente seleccionada.

En resumen, el artículo demuestra que la respuesta adiabática de un agujero negro ante un módulo que varía lentamente no es meramente una sustitución de parámetros dependientes del tiempo, sino un problema de deformación restringida. La solución existe y es única si y solo si la condición de emparejamiento exterior no aniquila el modo homogéneo específico generado por la interacción entre el corte local y el operador reducido.