Adiabatic Deformations of Black Hole Moduli: II. The Magnetic GHS Family

Resumen Técnico: Deformaciones Adiabáticas de los Módulos de Agujeros Negros: II. La Familia GHS Magnética

Planteamiento del Problema
Este artículo aborda la respuesta adiabática de orden superior de un agujero negro cargado y no extremo ante un módulo escalar exterior que varía lentamente. Específicamente, investiga la familia Garfinkle–Horowitz–Strominger (GHS) magnética dentro de la teoría de Einstein–Maxwell–dilatón (EMD) sin masa. Si bien las soluciones estáticas de agujeros negros con pelo escalar son bien conocidas, el problema dinámico surge cuando los datos escalares exteriores evolucionan lentamente en el tiempo. El simple hecho de promover el parámetro del módulo estático a una función del tiempo no logra satisfacer las ecuaciones de campo dependientes del tiempo, generando un "defecto adiabático". El objetivo es construir la solución completa de la zona cercana de primer orden, determinando los campos de retardo (lag fields) escalar, de lapso (lapse) y de masa que corrigen la configuración estática promovida, y establecer la existencia y unicidad de esta solución bajo condiciones de emparejamiento exterior específicas.

Metodología
Los autores aplican el marco geomético y funcional-analítico general desarrollado en su artículo complementario (Paper I) al caso específico de la familia GHS magnética. La metodología procede a través de los siguientes pasos:

1. Formulación Exacta: Los autores formulan el sistema EMD dependiente del tiempo en coordenadas de Eddington–Finkelstein entrantes utilizando el radio areal exacto $r$. Distinguen entre el horizonte de un "representante estático instantáneo" (un miembro de la familia estática con parámetros dependientes del tiempo) y el "horizonte marginal dinámico exacto" de la solución completa.
2. Expansión Adiabática: La solución exacta se descompone en un representante estático instantáneo más "campos de retardo" (el escalar $\eta$, el lapso $\xi$ y la masa $\mu$). La expansión se organiza mediante un pequeño parámetro adiabático $\epsilon_\phi$ relacionado con la tasa de rodamiento exterior.
3. Tangente Canónica y Corte Local: Siguiendo el Paper I, los autores identifican una dirección "tangente canónica" en la variedad de la solución estática (variando el módulo a masa de horizonte fija). Para resolver la ambigüedad en la descomposición, imponen un "corte de masa local" en un radio de emparejamiento finito $r_m$, lo que fija la libertad tangencial restante.
4. Marco de Fredholm: El problema se reduce a un problema de valor en la frontera radial para el retardo escalar $\eta$. El corte local modifica el operador radial reducido $L$ en un operador de corte $L_{sl}$ mediante una perturbación de rango finito. La existencia y unicidad de la solución dependen del criterio de solvencia de Fredholm: el funcional de emparejamiento exterior $B_m$ debe actuar de manera no trivial sobre el generador del núcleo de $L_{sl}$.
5. Construcción Explícita: Aprovechando la integrabilidad exacta del fondo GHS, los autores derivan expresiones analíticas en forma cerrada para todos los ingredientes radiales: la tangente canónica, el núcleo de la fuente, una solución particular de la ecuación homogénea y el generador del núcleo de corte globalmente regular.

Contribuciones Clave y Resultados

• Realización Analítica Explícita: El artículo proporciona la primera realización completa en forma cerrada de la construcción de Fredholm para una familia específica de agujeros negros. Cada ingrediente radial, incluyendo la tangente canónica $\phi_\phi$, el núcleo de la fuente $K(r)$ y el generador del núcleo desplazado $\tilde{\psi}_\star$, se deriva explícitamente en términos de los parámetros GHS.
• Regularidad Global y Positividad: Un resultado central es la demostración de que el denominador de Fredholm $D \equiv B_m \tilde{\psi}_\star$ es estrictamente positivo para todos los parámetros no extremos cargados ($0 < a < 1$) y todos los radios de emparejamiento ($b_m \ge 0$). Esto se mantiene incluso en los loci donde el factor de normalización convencional $N_m$ se anula. Los autores demuestran que estos loci son meramente singularidades de normalización, no degeneraciones físicas del modo del núcleo, utilizando un representante $\tilde{\psi}_\star$ globalmente regular.
• Solvabilidad y Unicidad: La estricta positividad de $D$ prueba la existencia y unicidad del problema de la zona cercana completado para el modelo de solapamiento de radio grande sin masa especificado. El funcional de emparejamiento utilizado es la condición de Robin líder $B_m = r_m \partial_r + 1$, derivada bajo la suposición de un exterior sin masa en un régimen de solapamiento controlado ($b_m \gg 1$).
• Respuesta Completa de la Zona Cercana: Los autores resuelven la ecuación radial forzada explícitamente. El retardo escalar $\eta$ se expresa como la suma de un perfil forzado universal (proporcional a la tasa de rodamiento exterior $\dot{\phi}_{ext}$) y un modo homogéneo de corte cuya amplitud es fijada por el dato de emparejamiento exterior $J_{ext}$. El retardo de masa sigue algebraicamente de la restricción radial, y el retardo del lapso se reconstruye mediante una única cuadratura elemental.
• Dinámica del Horizonte: Se recupera el horizonte dinámico exacto a partir de la solución corregida por el retardo. Se demuestra que el desplazamiento entre el horizonte dinámico exacto y el horizonte estático instantáneo es del orden adiabático primero, mientras que su derivada temporal es de segundo orden, consistente con la ley exacta de crecimiento cuadrático del horizonte.

Significación y Reivindicaciones
El artículo afirma transformar el marco geométrico abstracto del Paper I en una construcción plenamente analítica y concreta. Al utilizar la familia GHS magnética, los autores demuestran que el enfoque de corte-canónico y Fredholm puede realizarse en forma cerrada, proporcionando un punto de referencia riguroso para la teoría de los módulos de agujeros negros suavemente impulsados.

Los autores declaran explícitamente que sus resultados establecen la existencia y unicidad de la respuesta de la zona cercana dentro del modelo de solapamiento sin masa especificado y para datos exteriores que varían lentamente de forma admisible. No pretenden resolver el espacio-tiempo exterior global que realiza un dato específico, ni pretenden que el funcional de emparejamiento sea universal; es específico para el régimen de solapamiento de radio grande y sin masa. El trabajo sirve como una validación no trivial de la teoría general y como un punto de referencia para estudios futuros que involucren sistemas menos integrables, potenciales escalares diferentes o agujeros negros cargados eléctricamente o diónicos. El análisis se restringe a la rama cargada no extrema ($0 < a < 1$), excluyendo los límites extremal y Schwarzschild estricto que presentan degeneraciones en el marco de corte elegido.