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

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

Problem Statement
This paper addresses the leading-order adiabatic response of a charged, non-extremal black hole to a slowly varying exterior scalar modulus. Specifically, it investigates the magnetic Garfinkle–Horowitz–Strominger (GHS) family within massless Einstein–Maxwell–dilaton (EMD) theory. While static black hole solutions with scalar hair are well-known, the dynamical problem arises when the exterior scalar data evolve slowly in time. Simply promoting the static modulus parameter to a function of time fails to satisfy the time-dependent field equations, generating an "adiabatic defect." The objective is to construct the complete leading-order near-zone solution, determining the scalar and metric lag fields that correct the promoted static configuration, and to establish the existence and uniqueness of this solution under specific exterior matching conditions.

Methodology
The authors apply the general geometric and functional-analytic framework developed in their companion paper (Paper I) to the specific case of the magnetic GHS family. The methodology proceeds through the following steps:

1. Exact Formulation: The authors formulate the time-dependent EMD system in ingoing Eddington–Finkelstein coordinates using the exact areal radius $r$. They distinguish between the horizon of an "instantaneous static representative" (a member of the static family with time-dependent parameters) and the "exact dynamical marginal horizon" of the full solution.
2. Adiabatic Expansion: The exact solution is decomposed into an instantaneous static representative plus "lag fields" (scalar $\eta$, lapse $\xi$, and mass $\mu$). The expansion is organized by a small adiabatic parameter $\epsilon_\phi$ related to the exterior rolling rate.
3. Canonical Tangent and Local Slice: Following Paper I, the authors identify a "canonical tangent" direction on the static solution manifold (varying the modulus at fixed horizon mass). To resolve the ambiguity in the decomposition, they impose a "local mass slice" at a finite matching radius $r_m$, which fixes the remaining tangential freedom.
4. Fredholm Framework: The problem reduces to a radial boundary-value problem for the scalar lag $\eta$. The local slice modifies the reduced radial operator $L$ into a sliced operator $L_{sl}$ via a finite-rank perturbation. The existence and uniqueness of the solution depend on the Fredholm solvability criterion: the exterior matching functional $B_m$ must act non-trivially on the generator of the kernel of $L_{sl}$.
5. Explicit Construction: Leveraging the exact integrability of the GHS background, the authors derive closed-form analytical expressions for all radial ingredients: the canonical tangent, the source kernel, a particular solution to the inhomogeneous equation, and the globally regular generator of the sliced kernel.

Key Contributions and Results

• Explicit Analytical Realization: The paper provides the first complete, closed-form realization of the Fredholm construction for a specific black hole family. Every radial ingredient, including the canonical tangent $\phi_\phi$, the source kernel $K(r)$, and the displaced kernel generator $\tilde{\psi}_\star$, is derived explicitly in terms of the GHS parameters.
• Global Regularity and Positivity: A central result is the proof that the Fredholm denominator $D \equiv B_m \tilde{\psi}_\star$ is strictly positive for all charged non-extremal parameters ($0 < a < 1$) and all matching radii ($b_m \ge 0$). This holds even at loci where the conventional normalization factor $N_m$ vanishes. The authors demonstrate that these loci are merely normalization singularities, not physical degeneracies of the kernel mode, by utilizing a globally regular representative $\tilde{\psi}_\star$.
• Solvability and Uniqueness: The strict positivity of $D$ proves the existence and uniqueness of the completed leading-order near-zone problem for the specified massless large-radius overlap model. The matching functional used is the leading Robin condition $B_m = r_m \partial_r + 1$, derived under the assumption of a massless exterior in a controlled overlap regime ($b_m \gg 1$).
• Complete Near-Zone Response: The authors solve the forced radial equation explicitly. The scalar lag $\eta$ is expressed as the sum of a universal forced profile (proportional to the exterior rolling rate $\dot{\phi}_{ext}$) and a sliced homogeneous mode whose amplitude is fixed by the exterior matching datum $J_{ext}$. The mass lag follows algebraically from the radial constraint, and the lapse lag is reconstructed via a single elementary quadrature.
• Horizon Dynamics: The exact dynamical horizon is recovered from the lag-corrected solution. The displacement between the exact horizon and the instantaneous static horizon is shown to be of first adiabatic order, while its time derivative is of second order, consistent with the exact quadratic horizon-growth law.

Significance and Claims
The paper claims to transform the abstract geometric framework of Paper I into a concrete, fully analytical construction. By utilizing the magnetic GHS family, the authors demonstrate that the canonical-slice and Fredholm approach can be realized in closed form, providing a rigorous benchmark for the theory of slowly driven black hole moduli.

The authors explicitly state that their results establish the existence and uniqueness of the near-zone response within the specified massless overlap model and for admissible slowly varying exterior data. They do not claim to solve for the global exterior spacetime that realizes a specific datum, nor do they claim the matching functional is universal; it is specific to the massless, large-radius overlap regime. The work serves as a nontrivial validation of the general theory and a reference point for future studies involving less integrable systems, different scalar potentials, or electrically charged/dyonic black holes. The analysis is restricted to the charged non-extremal branch ($0 < a < 1$), excluding the extremal and strict Schwarzschild limits which present degeneracies in the chosen slicing framework.