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

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

Problem Statement
The paper addresses the leading-order adiabatic response of a static black hole to a slowly evolving asymptotic modulus (e.g., a scalar charge or dilaton value fixed at infinity) within Einstein–Maxwell–dilaton theories. When an external modulus varies slowly in time, the black hole cannot remain exactly static. This raises two distinct questions:

1. Geometric: Among the continuous family of static solutions, which specific instantaneous representative is selected by the intrinsic geometry of the solution manifold when driven by a slowly varying exterior modulus?
2. Functional-Analytic: Once this trajectory is identified, does the resulting linear perturbation equation admit a unique solution? The reduced radial operator typically possesses a nontrivial kernel inherited from the static family's tangent directions, making existence and uniqueness non-automatic.

The authors aim to answer these questions for a general class of non-extremal static solution manifolds, reducing the problem to explicit scalar criteria.

Methodology
The construction proceeds through a rigorous separation of the problem into geometric and functional-analytic layers, avoiding assumptions about specific black hole families (except for the existence of a smooth, non-extremal static manifold).

1. Exact Near-Zone Reduction: The authors work in the advanced Eddington–Finkelstein gauge within a finite radial "near zone" ($r_H \le r \le r_m$). They derive exact field equations for Einstein–Maxwell–dilaton theory without assuming an adiabatic expansion initially. They define the exact horizon mass $M_H^{exact}$ and distinguish it from the horizon mass of an instantaneous static representative.
2. Linearization and Reduction: The coupled linearized Einstein–Maxwell–dilaton equations are reduced to a single local radial equation for a scalar perturbation $\eta$. Metric perturbations (lapse $\xi$ and mass $\mu$) are eliminated using constraints, leaving a single reduced radial operator $L$ acting on $\eta$, sourced by a residual integration constant $C_\mu$.
3. Canonical Tangent Geometry: By differentiating the static family with respect to collective coordinates (specifically the asymptotic modulus $\Phi$ and the static horizon-mass parameter $M_{H,0}$), the authors define an intrinsic covector $C_\mu$ on the tangent space of the static solution manifold. They prove that the kernel of this covector identifies a unique "canonical tangent direction" corresponding to variations in $\Phi$ at fixed $M_{H,0}$.
4. Adiabatic Tracking and Lag Fields: The static family is promoted to a time-dependent configuration. This "instantaneous tracking" fails to satisfy the exact field equations, generating a "defect" or "lag field." The mass-balance defect vanishes at first order if the trajectory follows the canonical tangent direction and the horizon mass evolves at second adiabatic order.
5. Local Slice and Sliced Operator: A residual tangential ambiguity remains in the definition of the lag field. The authors introduce a "local slice" condition ($\mu(v, r_m) = 0$) to fix this ambiguity. This converts the radial integration constant into a boundary evaluation of the scalar lag field. This operation modifies the reduced operator $L$ by a finite-rank perturbation, yielding a "sliced operator" $L_{sl} = L + u \otimes \ell$.
6. Fredholm Analysis: The authors analyze the solvability of the completed boundary-value problem using Fredholm theory. They establish that the sliced operator remains surjective with a one-dimensional kernel, but the generator of this kernel is displaced from the original canonical tangent mode if the finite-rank update is nontrivial.

Key Contributions and Results

• Canonical Tangent Theorem (Theorem 1): The authors prove that for a static solution manifold parameterized by $(\Phi, M_{H,0})$, the unique tangent direction satisfying the mass-balance constraint at first adiabatic order is $\partial_\Phi |_{M_{H,0}}$. This direction corresponds to the variation of the modulus at fixed static horizon mass. The scalar component of this tangent, $\phi_\Phi$, lies in the kernel of the unsliced reduced operator ($L\phi_\Phi = 0$).
• Displacement of the Zero Mode: The introduction of the local slice induces a finite-rank perturbation to the reduced operator. If the slice is transverse to the canonical tangent direction (i.e., the mass profile changes along the tangent, $m_\Phi(r_m) \neq 0$) and the perturbation is nontrivial ($K \neq 0$), the original zero mode $\phi_\Phi$ is displaced from the kernel of the sliced operator $L_{sl}$.
• Solvability Theorem (Theorem 2): The existence and uniqueness of the leading-order adiabatic deformation reduce to a single scalar condition. The completed boundary-value operator is bijective if and only if the generator $\psi_\star$ of the sliced operator's kernel satisfies the outer matching condition non-trivially:
  $$B_m \psi_\star \neq 0$$
  where $B_m$ is the bounded linear functional representing the exterior matching problem.
• Three Non-Degeneracy Conditions: The paper identifies three logically distinct conditions required for the construction:
  1. Slice Transversality: $m_\Phi(r_m) \neq 0$ (ensures the slice selects a unique representative).
  2. Non-Trivial Update: $K \neq 0$ (ensures the canonical zero mode is displaced from the kernel).
  3. Outer Matching Non-Degeneracy: $B_m \psi_\star \neq 0$ (ensures the remaining homogeneous freedom is fixed by exterior data).

Significance and Scope
The paper claims to provide a general geometric and functional-analytic foundation for adiabatic black hole deformations, independent of specific closed-form solutions. Its primary contribution is isolating the structural requirements for the existence and uniqueness of the adiabatic response.

• Geometric vs. Functional: The work separates the problem into identifying the correct trajectory on the static manifold (geometric) and ensuring the linearized equations can be solved along that trajectory (functional-analytic).
• Generality: The framework applies to any theory admitting a smooth, non-extremal static solution manifold and a Fredholm reduced radial operator. It does not rely on specific potentials or gauge kinetic functions.
• Limitations and Future Work: The authors explicitly state that this paper establishes the general framework but does not evaluate the explicit forms of the profiles or matching conditions for a specific model. They note that a companion paper [18] specializes this framework to the magnetic Garfinkle–Horowitz–Strominger (GHS) family to perform explicit evaluations. The current work does not address the ultra-near-extremal regime or the full spectrum of freely propagating homogeneous perturbations, focusing strictly on the causally selected, slowly forced adiabatic branch.

In summary, the paper demonstrates that the adiabatic response of a black hole to a slowly varying modulus is not merely a substitution of time-dependent parameters but a constrained deformation problem. The solution exists and is unique if and only if the exterior matching condition does not annihilate the specific homogeneous mode generated by the interplay of the local slice and the reduced operator.