Pith. sign in

REVIEW 3 major objections 4 minor 20 references

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

T0 review · 3 major / 4 minor · reviewed 2026-08-08 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read This paper proves that magnetic GHS black holes have a unique, fully explicit leading-order response to a slowly varying exterior scalar modulus, because the Fredholm denominator of the sliced radial problem is strictly positive on the…

desk verdict Explicit, careful, and internally consistent GHS realization of a Fredholm framework, but the headline existence/uniqueness claim leans on an unpublished companion paper the reader cannot check. read the letter →

arxiv 2608.05291 v1 pith:7BCYVKP5 submitted 2026-08-05 hep-th gr-qc

Karim Benakli , Anna Chrysostomou This is my paper · ORCID
classification hep-thgr-qc MSC 83C5783C22
keywords adiabaticblackholeresponsemagneticGHSholesEinstein-Maxwell-dilatontheoryFredholmsolvabilitycanonicalslicequasi-staticnearzonescalarmodulusMisner-Sharpmass
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper establishes that the magnetic GHS family --- the magnetically charged, non-extremal black holes of massless Einstein–Maxwell–dilaton theory with the canonical dilaton coupling --- has a complete, explicit leading-order adiabatic response to a prescribed exterior modulus that varies slowly in advanced time. Working in ingoing Eddington–Finkelstein coordinates with the exact areal radius, the authors promote the static modulus to a slowly varying collective coordinate and decompose the exact solution into an instantaneous static representative plus lag fields. The central result is an exact algebraic inequality: for the leading Robin functional $B_m = r_m\partial_r + 1$ that arises from the massless large-radius overlap, the Fredholm denominator $D = B_m \hat\psi_\star$ is strictly positive for all charged non-extremal parameters $0

What carries the argument

The load-bearing object is the sliced reduced radial operator $L_{\rm sl} = L + f_\varphi(r_m)|K\rangle\langle \mathrm{ev}_{r_m}|$, obtained from the unsliced Sturm–Liouville operator $L$ by eliminating the residual mass-integration datum through the local mass slice $\mu(v,r_m)=0$. The slice displaces the canonical tangent zero mode $\varphi_\varphi$, and the one-dimensional kernel of $L_{\rm sl}$ is generated by the globally regular representative $\hat\psi_\star = N_m\varphi_\varphi - f_\varphi(r_m)\varphi_\varphi(r_m)\chi_0$, where $\chi_0$ is a horizon-regular solution of $L\chi_0 = K$. Existence and uniqueness of the completed boundary-value problem $(L_{\rm sl}\eta, B_m\eta) = (S_{\rm ext}, J_{\rm ext})$ is equivalent to the non-vanishing of the Fredholm denominator $D = B_m\hat\psi_\star$; the paper evaluates this exactly for the leading massless Robin functional $B_m = r_m\partial_r + 1$ and proves $D>0$ on the whole charged non-extremal branch.

What would settle it

Evaluate the explicit formula for $D$ at a pair $(a,b_m)$ with $0<a<1$, $b_m\ge 0$ and find $D\le 0$; alternatively, within the controlled overlap regime exhibit admissible data $(\dot\varphi_{\rm ext}, J_{\rm ext})$ for which the proposed closed form $\eta$ fails either $L_{\rm sl}\eta = S_{\rm ext}$ or $B_m\eta = J_{\rm ext}$.

Watch

Extended reading notes

Core claim

The paper's central claim is that on the charged non-extremal branch of the magnetic GHS family the canonical-slice and Fredholm construction of the companion paper can be carried out entirely in closed form, and that the resulting Fredholm denominator is strictly positive. With $B_m = r_m\partial_r + 1$ and $\hat\psi_\star$ the globally regular generator of the sliced kernel, one obtains $$D = B_m\hat\psi_\star = \frac{a(1+a)+2b_m}{s_m} + \frac{4(1-$a^{2}$)(1+b_m)(a+b_m)}{$s_m^{3}$} + \frac{2b_m(1-a)^2(a+b_m)}{\$alpha^{2}$ $s_m^{3}$} > 0,\qquad s_m = 1+a+2b_m,$$ for all $0<a<1$ and $b_m\ge 0$. This is an exact algebraic statement about the chosen model functional; its interpretation as an exterior-matching solvability condition is restricted to the controlled large-radius overlap regime $b_m\gg 1$, $r_m\ll L_{\rm cos}$. Because the inequality holds also wherever $N_m = 0$, those loci are normalization singularities of a particular representative rather than degeneracies of the kernel mode. Since $D>0$, the Slice and Solvability condition is satisfied, the completed leading-order quasi-static near-zone problem admits a unique solution for every admissible exterior datum, and the scalar lag is $\eta = \dot\varphi_{\rm ext}q_0 + (J_{\rm ext}-\dot\varphi_{\rm ext}R_m)\hat\psi_\star/D$, with the mass lag algebraic and the lapse lag given by one elementary quadrature.

Load-bearing premise

The argument leans on three theorems from the companion paper — about which tangent direction is canonical, how the slice fixes the representative, and when the boundary-value problem is solvable — and those theorems are assumed to hold for the magnetic GHS background rather than proved here.

Editorial extensions

If this is right

  • On the charged non-extremal branch, for every admissible exterior datum the leading-order near-zone scalar, mass, and lapse lags are now known in closed form, with no numerical radial integration required.
  • The exact dynamical horizon is displaced from the instantaneous static horizon by a first-order amount whose sign follows from the remaining homogeneous amplitude, while its time derivative begins only at second adiabatic order, matching the exact quadratic horizon-flux law.
  • The normalization-degeneracy locus $N_m = 0$ cannot by itself signal a bifurcation of the sliced kernel; any apparent singularity there is an artifact of a particular normalization choice.
  • Within the controlled massless overlap regime, the quasi-static near-zone response is unique, and the only exterior inputs are the prescribed rolling rate $\dot\varphi_{\rm ext}$ and the matching datum $J_{\rm ext}$.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Because the algebraic inequality $D>0$ holds for all $b_m\ge 0$, not only in the overlap regime, one may expect a similar sign-definite Fredholm denominator for nearby Robin-type matching functionals; the paper itself restricts the physical interpretation to the regime in which $B_m$ was derived.
  • A testable extension is to carry the adiabatic expansion to second order, where the transport terms omitted from $L_{\rm sl}\eta = S_{\rm ext}$ become definite sources; the closed-form leading solution makes this calculation concrete.
  • For a small stabilizing scalar potential, the paper indicates the matching functional would become $B_m = r_m\partial_r + 1 + m_{\rm eff}r_m$ within the near zone, but the potential-deformed kernel generator is not available in closed form, leaving positivity of the new denominator as an open numerical question.
  • The same canonical-slice construction should apply to electrically charged or dyonic families with a smooth static solution manifold, since the magnetic charge enters only by providing an integrable background.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper applies the canonical-slice and Fredholm framework developed in an unpublished companion (Paper I, [19]) to the magnetic GHS family in massless Einstein-Maxwell-dilaton theory. It derives the exact spherically symmetric Eddington-Finkelstein minimal system, promotes the static family to a slowly time-dependent representative, defines lag fields, imposes a local mass slice, and reduces the leading-order quasistatic problem to a sliced radial operator L_sl with a one-dimensional kernel. For the model matching functional B_m = r_m ∂_r + 1, associated with a massless large-radius overlap, the paper computes the Fredholm denominator D = B_m bψ⋆ in closed form and proves D > 0 for all 0 < a < 1 and b_m ≥ 0, including the locus where the conventional normalization N_m vanishes. It then constructs the forced scalar lag explicitly, reconstructs mass and lapse lags, and determines the displacement of the exact marginal horizon. The physical interpretation of the matching functional is explicitly restricted to the controlled overlap regime b_m ≫ 1, r_m ≪ L_cos.

Significance. If the companion theorems of Paper I hold for this background, the paper provides a valuable fully explicit benchmark for the adiabatic deformation of black hole moduli. Its strengths include closed-form expressions for the canonical tangent, source kernel, displaced kernel generator, and forced response; an exact algebraic positivity proof for the Fredholm denominator with no fitted parameters; and a careful separation between intrinsic radial data and exterior matching data. The paper is also unusually clear about its limitations: it repeatedly states that D > 0 is an algebraic statement about the chosen model functional and that its physical interpretation is restricted to the overlap regime, and it explicitly disclaims construction of the global exterior spacetime. The main weakness is structural: the existence and uniqueness conclusion is imported from the unpublished companion paper rather than proved or stated in self-contained form.

major comments (3)
  1. [§3.7, Eq. (3.166); §5.1, Eq. (5.10)] The central bijectivity statement A = (L_sl, B_m) relies on the Canonical Tangent Theorem, the claim that L is surjective and Fredholm of index one, Lemma 1 of Paper I for the inheritance of these properties by L_sl, and the Slice and Solvability Theorem. Paper I [19] is cited only as the placeholder 2607.xxx and is neither included nor proved in the present manuscript. The exact inequality D > 0 does not by itself guarantee existence of the particular solution η_0: Eq. (5.10) requires L_sl η_0 = S_ext to be solvable for every admissible S_ext, which is precisely the imported surjectivity statement. The manuscript must either include the precise statements and proofs of the imported theorems or make Paper I available for verification; as it stands, the existence and uniqueness claim cannot be checked by the reader.
  2. [§4.2, "Verification of the Fredholm hypotheses"] The verification paragraph establishes local coefficient regularity, the simple zero of p(r) at the horizon, positivity of V_eff and K, and boundedness of the evaluation functional. It then states, rather than proves, that L is surjective and Fredholm of index one on the horizon-regular domain and that L_sl inherits index one and surjectivity via Lemma 1 of Paper I. The full hypotheses of that lemma, including the precise Banach-space domain and range, the compactness or Fredholm-index argument, and the sense in which the finite-rank perturbation is bounded, are not stated. This is load-bearing because the one-dimensionality of ker L_sl and the bijectivity criterion depend on it. Please state the hypotheses explicitly and verify them for the GHS sliced operator, or provide the missing proofs.
  3. [§4.6 and §6, Eqs. (4.169), (6.2)] The strict inequality D > 0 is proved for the specific globally regular representative bψ⋆. Since the kernel generator is defined only up to a nonzero constant, the invariant statement is D ≠ 0 rather than a definite sign; multiplying bψ⋆ by a negative constant would reverse the sign of D. The paper is careful about normalization dependence elsewhere, but the Conclusion's phrase "undergoes no algebraic loss of solvability or change of matching orientation" should be phrased as a property of the chosen representative, not as an invariant property of the kernel subspace. This does not affect the central non-degeneracy result, but it should be corrected for precision.
minor comments (4)
  1. [References, [19]] Reference [19] is cited only as "2607.xxx"; the placeholder arXiv number should be replaced with a complete, accessible citation or the companion paper should be included as an appendix.
  2. [§5.3, Eq. (5.50)] In the lapse-lag quadrature, the dimensionless coordinate x in the integrand should be defined explicitly and the overall prefactor should be checked against Eq. (5.49) and the chain rule with r(b), since the displayed factor (1−a)/(α M_Pl) appears dimensionally light at first glance; a one-sentence derivation would resolve this.
  3. [Table 2 and §3.6] The symbol ψ⋆ denotes both the abstract generator of ker L_sl and the conventionally normalized representative ψ⋆ = bψ⋆/N_m, with N_m possibly zero; to avoid ambiguity, use a distinct symbol for the normalized representative wherever N_m ≠ 0.
  4. [§4.5, Eq. (4.146)] The large-radius expansion η_hom = A + B/r + O(r^{−2}) is stated without explicit justification of the error term; since the effective potential is O(r^{−2}) and the rank-one term involves K(r)η(r_m), the O(r^{−2}) remainder is plausible but a short argument or reference to the companion paper would be helpful.

Circularity Check

1 steps flagged · score 4.0 of 10

Existence and uniqueness are imported from the same-authors companion Paper I; the explicit GHS positivity is independent but does not by itself establish the Fredholm bijectivity.

  1. uniqueness imported from authors [Sec. 3.6–3.7, Eqs. (3.126)–(3.166), and Sec. 4.6 Eq. (4.169)]
    "This is the Slice and Solvability Theorem of Paper I. In operator form, the completed radial boundary-value problem is Aη≡ (Lslη,Bmη) = (Sext,Jext), A:X−→Y×R... Since A is Fredholm of index zero, triviality of its kernel is equivalent to triviality of its cokernel. Hence A is bijective⇐⇒Bmψ⋆̸=0."

    Eq. (4.169) and the resulting inequality D>0 are explicit GHS algebra and are not circular. The load-bearing step is the inference from D>0 to existence and uniqueness of the completed leading-order problem: that inference uses the assertions that L and Lsl are surjective Fredholm operators of index one with one-dimensional kernel, and that adjoining Bm gives a Fredholm operator of index zero whose bijectivity is equivalent to Bmψ⋆≠0. These assertions are not derived or independently verified in this paper; they are quoted from the same authors' companion Paper I, cited only as 2607.xxx. If the imported theorem failed for the sliced GHS operator on the stated horizon-regular domain, the unique solution would not follow even though D>0 holds algebraically.

full rationale

The paper contains no parameter fitting and no quantity presented as a prediction that is merely a refitted input. The GHS-specific construction—canonical tangent (Sec. 4.1), source kernel (Sec. 4.2), displaced kernel generator (Sec. 4.3), normalization analysis (Sec. 4.4), and the exact algebraic inequality D>0 (Sec. 4.6)—is internally consistent and does not reduce to its inputs by definition. The matching functional Bm = r_m ∂_r + 1 is derived from an explicit massless large-radius overlap ansatz, not fitted to the output. The only significant circularity-type issue is structural: the Slice and Solvability Theorem, together with the underlying surjectivity/index-one and one-dimensional-kernel statements, is imported from the same-authors companion Paper I rather than proved or checked in this paper. Because the algebraic core of the present calculation remains independent, the score is moderate rather than high; if Paper I is later supplied with an independent derivation or machine-checked proof, this concern would drop to zero.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The paper introduces no new particles, forces, or conserved quantities. Its free-parameter count is zero: the dimensionless parameters a and b_m parametrize the solution branch and matching surface, while the exterior data phidot_ext and J_ext are prescribed inputs. The main ledger burden is the set of domain assumptions inherited from the companion Paper I framework and the specific massless matching model.

assumptions (5)
  • domain assumption The companion Paper I theorems: canonical tangent selection, surjectivity and index-one property of L, the finite-rank slice lemma, and the Slice and Solvability Theorem.
    Invoked in Secs. 3.3, 3.6, and 3.7 via reference [19]; not proved or reproduced in this preprint.
  • domain assumption The charged non-extremal branch 0 < a < 1 with uniformly non-degenerate horizon, excluding the extremal and Schwarzschild endpoints.
    Stated in Sec. 2.2, Eq. (2.22), and Sec. 3.2; the Fredholm domain and slice transversality fail at the endpoints.
  • domain assumption Adiabatic hierarchy r_inst < r_m << L_cos <= T_phidot, with derivative counting that makes transport terms subleading at first order.
    Used in Secs. 3.1 and 3.2, Eqs. (3.2), (3.13), and (3.117), to reduce the sliced evolution equation to the frozen radial problem L_sl eta = S_ext.
  • domain assumption The leading massless matching functional B_m = r_m partial_r + 1, derived under b_m >> 1 and the convention that the exterior modulus fixes the constant scalar mode.
    Adopted in Sec. 4.5, Eqs. (4.146) to (4.150); the physical interpretation of the existence and uniqueness result is restricted to this overlap regime.
  • domain assumption The exterior is massless, slowly varying, and fully characterized near the matching surface by the pair (phidot_ext, J_ext).
    Specified in Sec. 5.5 and Eq. (5.74); construction of a global exterior spacetime is explicitly not attempted.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Adiabatic Deformations of Black Hole Moduli: II. The Magnetic GHS Family." pith.science (2026). https://pith.science/paper/7BCYVKP5

@misc{pith2026260805291,
  author       = {Pith},
  title        = {Pith review of: Adiabatic Deformations of Black Hole Moduli: II. The Magnetic GHS Family},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/7BCYVKP5}},
  note         = {Machine review of arXiv:2608.05291}
}
read the original abstract

We study the leading adiabatic response of magnetic GHS black holes in massless Einstein-Maxwell-dilaton theory to a prescribed exterior modulus varying slowly in advanced time. In ingoing Eddington-Finkelstein coordinates with the exact areal radius, we derive the time-dependent spherical equations and expand about a slowly evolving instantaneous static GHS representative, keeping its horizon distinct from the exact dynamical marginal horizon. The magnetic GHS family realizes the canonical-slice and Fredholm framework developed in the companion paper. Its integrability yields in closed form the canonical tangent, the finite-rank source profile, a horizon-regular solution of the auxiliary inhomogeneous equation, and a globally regular generator of the sliced-operator kernel. For the leading Robin functional arising in the massless large-radius overlap, we evaluate the Fredholm denominator analytically and prove that it is strictly positive on the charged non-extremal branch. This remains true where the conventional normalization of the kernel generator degenerates, showing that these loci are normalization singularities rather than degeneracies of the kernel mode. Within the controlled large-radius overlap regime, this positivity proves existence and uniqueness of the completed leading-order quasi-static near-zone problem. We then solve the forced radial equation explicitly. The scalar lag is the sum of a universal forced profile and a sliced homogeneous mode whose amplitude is fixed by the exterior matching datum. The mass lag follows algebraically from the radial constraint, and the lapse lag from a single elementary quadrature. The exact marginal horizon is recovered from the lag-corrected solution. The result gives the complete leading quasi-static near-zone response, exact in its radial dependence, for every admissible exterior datum within the specified massless overlap model.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

20 extracted references · 10 canonical work pages

  1. [19]

    Benakli and A

    K. Benakli and A. Chrysostomou,Adiabatic Deformations of Black-Hole Moduli: I. Canonical Slices and Fredholm Solvability,2607.xxx

    work page

  2. [1]

    Delgado, M

    M. Delgado, M. Montero and C. Vafa,Black Holes as Probes of Moduli Space Geometry,JHEP04 (2023) 045 [2212.08676]. – 65 –

    arXiv 2023

  3. [2]

    Sen,How to Create a Flat Ten or Eleven Dimensional Space-time in the Interior of an Asymptotically Flat Four Dimensional String Theory,2503.00601

    A. Sen,How to Create a Flat Ten or Eleven Dimensional Space-time in the Interior of an Asymptotically Flat Four Dimensional String Theory,2503.00601

    arXiv

  4. [3]

    The Fate of Black Hole-Induced Moduli Excursions in the Presence of Scalar Potentials

    K. Benakli and A. Chrysostomou,The Fate of Black Hole-Induced Moduli Excursions in the Presence of Scalar Potentials,2607.05488

    work page Pith review arXiv

  5. [4]

    Strongly-coupled black holes (are not) at weak coupling

    B. Heidenreich and M. Lotito,Strongly-coupled black holes (are not) at weak coupling,2607.12020

    work page Pith review arXiv

  6. [5]

    Ferrara, G.W

    S. Ferrara, G.W. Gibbons and R. Kallosh,Black Holes and Critical Points in Moduli Space,Nucl. Phys. B500(1997) 75 [hep-th/9702103]

    arXiv 1997

  7. [6]

    Gibbons and K.-i

    G.W. Gibbons and K.-i. Maeda,Black Holes and Membranes in Higher Dimensional Theories with Dilaton Fields,Nucl. Phys. B298(1988) 741

    1988

  8. [7]

    Garfinkle, G.T

    D. Garfinkle, G.T. Horowitz and A. Strominger,Charged black holes in string theory,Phys. Rev. D 43(1991) 3140

    work page 1991

Show all 20 references
  1. [8]

    Jacobson,Primordial black hole evolution in tensor-scalar cosmology,Phys

    T. Jacobson,Primordial black hole evolution in tensor-scalar cosmology,Phys. Rev. Lett.83(1999) 2699 [astro-ph/9905303]

    1999 arXiv

  2. [9]

    Chadburn and R

    S. Chadburn and R. Gregory,Time dependent black holes and scalar hair,Class. Quant. Grav.31 (2014) 195006 [1304.6287]

    2014 arXiv

  3. [10]

    Horbatsch and C.P

    M.W. Horbatsch and C.P. Burgess,Cosmic Black-Hole Hair Growth and Quasar OJ287,JCAP05 (2012) 010 [1111.4009]

    2012 arXiv

  4. [11]

    No-Scalar-Hair

    J.D. Bekenstein,Novel “No-Scalar-Hair” Theorem for Black Holes,Phys. Rev. D51(1995) R6608

    1995

  5. [12]

    Hui and A

    L. Hui and A. Nicolis,No-Hair Theorem for the Galileon,Phys. Rev. Lett.110(2013) 241104 [1202.1296]

    2013 arXiv

  6. [13]

    Sotiriou and S.-Y

    T.P. Sotiriou and S.-Y. Zhou,Black Hole Hair in Generalized Scalar-Tensor Gravity,Phys. Rev. Lett.112(2014) 251102 [1312.3622]

    2014 arXiv

  7. [14]

    Babichev and C

    E. Babichev and C. Charmousis,Dressing a black hole with a time-dependent Galileon,JHEP08 (2014) 106 [1312.3204]

    2014 arXiv

  8. [15]

    M.S. Volkov,Hairy black holes in the XX-th and XXI-st centuries, in14th Marcel Grossmann Meeting on Recent Developments in Theoretical and Experimental General Relativity, Astrophysics, and Relativistic Field Theories, vol. 2, pp. 1779–1798, 2017, DOI [1601.08230]

    2017 arXiv

  9. [16]

    Manton,A Remark on the Scattering of BPS Monopoles,Phys

    N.S. Manton,A Remark on the Scattering of BPS Monopoles,Phys. Lett. B110(1982) 54

    1982

  10. [17]

    Ferrell and D.M

    R.C. Ferrell and D.M. Eardley,Slow-Motion Scattering and Coalescence of Maximally Charged Black Holes,Phys. Rev. Lett.59(1987) 1617

    1987

  11. [18]

    Gibbons and P.J

    G.W. Gibbons and P.J. Ruback,The Motion of Extreme Reissner–Nordstrom Black Holes in the Low Velocity Limit,Phys. Rev. Lett.57(1986) 1492

    1986

  12. [20]

    Misner and D.H

    C.W. Misner and D.H. Sharp,Relativistic equations for adiabatic, spherically symmetric gravitational collapse,Phys. Rev.136(1964) B571. – 66 –

    1964

Pith tools

Reviewed August 8, 2026 · model on record in the stance chip above.