Kaluza-Klein monopole with scalar multiplet hair

Keiju Murata; Keita Sugawara; Takaaki Ishii

REVIEW 2 major objections 4 minor 29 references

Kaluza-Klein monopole with scalar multiplet hair

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

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

Pith's one-line read Hairy Kaluza-Klein monopole solutions exist for scalar triplets and quadruplets, extending the earlier doublet construction via a Wigner D-matrix ansatz.

desk verdict A clean, honest extension of the doublet scalar hair construction to arbitrary multiplets, with new numerical solutions for triplet and quadruplet cases, but the reproducibility and outer-boundary validation are weak enough that the existence claim should be checked by a referee. read the letter →

arxiv 2507.23378 v1 pith:FQOWYVGM submitted 2025-07-31 hep-th gr-qc

Takaaki Ishii , Keiju Murata , Keita Sugawara This is my paper

classification hep-thgr-qc

keywords scalarmultipletmonopolehairkaluza-kleinsolutionsansatzfield

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

A Kaluza-Klein monopole is a five-dimensional spacetime that looks like ordinary four-dimensional space with one extra compact circle, plus a magnetic-monopole-like twist in the geometry. It is known as the Gross-Perry-Sorkin monopole. This paper asks whether such an object can carry hair, meaning a cloud of massive scalar field that stays localized around it and changes the geometry. Earlier work found hair when the scalar field has two components. The authors extend this to triplets and quadruplets, and they write down a general ansatz for any number of components.

The technical tool is a symmetry-based construction. The monopole has a U(2) rotational symmetry. The scalar field is placed in a multiplet built from Wigner D-matrices, so that it rotates covariantly under that symmetry while the energy-momentum tensor remains invariant. This reduces the full field equations to five ordinary differential equations in the radial coordinate. The authors solve these equations numerically with a two-sided shooting method, giving one worked-out parameter set as a seed for reproduction.

The numerical solutions show a localized scalar cloud that peaks away from the origin and decays at infinity, which is the expected shape of hair. For triplets and quadruplets, the allowed ranges of mass and angular momentum are larger than for the doublet, and for a fixed mass the higher multiplets carry more angular momentum. The paper does not analyze stability, and it only treats horizonless monopoles rather than black holes, but it provides a general framework for future studies of hairy Kaluza-Klein objects.

Extended reading notes

Core claim

From the abstract: 'We construct Kaluza-Klein monopole solutions with scalar hair provided by a massive complex scalar field multiplet... We give the ansatz for a multiplet with arbitrary number of components... We find that the range of the mass and angular momentum of the hairy solutions are larger for higher multiplets.' If the paper is correct, regular horizonless solutions of Einstein gravity plus a massive complex scalar multiplet exist for j=k=1 (triplet) and j=k=3/2 (quadruplet), and the Wigner D-matrix ansatz (3.12) is a valid symmetry reduction for arbitrary multiplet size.

Load-bearing premise

The existence claim rests on the numerical shooting solutions being genuine continuum solutions. Section 4 fixes r_min=10^-3, r_match=10, and r_max=10^2, and the asymptotics in (3.27) are leading-order expansions; there is no independent convergence test in r_max, no residual check, and no code. Because the scalar decay length grows as omega approaches mu_eff, the outer boundary at 100 may not be effectively infinity near the upper end of the frequency range. If the truncated numerics generate near-solutions rather than exact solutions, the central claim that higher-multiplet hairy KK monopoles exist would fail.

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.

Desk Editor's Note

read the letter

The genuinely new thing here is the Wigner D-matrix ansatz for arbitrary multiplet size on the GPS monopole, plus the first numerical solutions for j=k=1 and 3/2. The doublet case was already in Brihaye et al., and the D-matrix method is borrowed from earlier AdS work, but the extension is nontrivial and the paper does it carefully. The reduction of the PDE system to five ODEs is clean, the probe-limit no-normal-mode argument is a nice check, and the match to the known doublet results in Fig. 2 gives some confidence that the numerics are not wildly off. Credit where due: the paper solves the equations rather than fitting, the mass and angular momentum come from a published counterterm method applied to asymptotic coefficients, and the authors are candid about the small-N difficulty for j=3/2 and the lack of stability analysis.

The soft spots are real but not disqualifying. The central existence claim rides on two-sided shooting with fixed r_max=100 and no convergence test in r_max, no residual check, and no shipped code or data. The stress-test note is right that the scalar tail decay length grows as omega approaches mu_eff, so r_max=100 may be only a few decay lengths at the upper end of the frequency range. That matters because the spiral curves in Figs. 3-5 go right up to omega/mu_eff=1. I would have liked to see at least one r_max doubling check or a statement that M and J do not shift. The sign typo near Eq. (3.25) is minor and easily fixed. The missing N=1/2 panel for j=3/2 is a small omission, and the paper itself flags it in a footnote. The self-citations to [16,17] are appropriate; the method genuinely comes from there, and the paper is not hiding that.

Who is this for? People working on higher-dimensional hairy solitons and Kaluza-Klein monopoles. It is a useful extension that opens a clear direction: stability analysis and the j→∞ limit. I would not cite it for my own work in the next year unless I needed the multiplet ansatz, but it deserves a serious referee, mostly to pressure-test the numerics and ask for reproducibility. This is a conditional accept, not a reject.

Referee Report

2 major / 4 minor

Summary. The paper constructs stationary, horizonless Kaluza-Klein monopole solutions with scalar hair in five-dimensional Einstein gravity minimally coupled to a massive complex scalar multiplet. The authors use a Wigner D-matrix ansatz to write down a scalar multiplet configuration that preserves the R_t × U(2) symmetry of the Gross-Perry-Sorkin monopole, reducing the field equations to five coupled ordinary differential equations. They prove the absence of probe normal modes for general multiplet and then solve the ODEs numerically by two-sided shooting for j = k = 1/2, 1, and 3/2, obtaining mass and angular momentum from asymptotic coefficients via a counterterm method. They report that the maximum mass and angular momentum increase with the multiplet size.

Significance. If correct, the paper provides a systematic symmetry reduction for arbitrary scalar multiplets on the GPS monopole and presents the first explicit hairy KK monopole solutions for a scalar triplet and quadruplet, extending the known doublet case. The Wigner D-matrix construction is elegant and likely to be useful for related cohomogeneity-1 problems, and the probe-limit no-normal-mode result is a clean analytic statement. The counterterm derivation of M and J follows a published method and yields explicit formulas. The numerical solutions are plausible, but the evidence for existence currently rests on a single shooting setup without convergence checks or data release.

major comments (2)

[§4, §5] The central existence claim for j = k = 1 and j = k = 3/2 rests on the two-sided shooting calculation with r_min = 10^-3, r_match = 10, r_max = 10^2, and the reported matching error [error] ≲ 10^-6. This error measures only the continuity of the two integrations at r = r_match; it does not control the truncation error from imposing the leading-order asymptotic expansion (3.27) at r_max = 10^2. Because the scalar tail decays as exp(-sqrt(μ_eff^2 - ω^2) r / 2)/r, its decay length diverges as ω → μ_eff; at ω/μ_eff = 0.99 the decay length is about 14, leaving only about 7 decay lengths within r_max = 100, and the situation is worse for frequencies closer to μ_eff. Please provide an explicit r_max-convergence test (for example, comparing profiles, M, and J for r_max = 200 and 400), a residual check of the ODE system, or release the shooting data, so that the existence of the new j = 1 and j = 3/2 solutions is established independently of the chosen cutoff.
[§4] The manuscript provides only one set of converged shooting parameters, for j = k = 1/2. The j = 1 and j = 3/2 families are obtained by continuation, and for 1/2 < j < 1 the inner boundary coefficients g2 and h2 are set by the interpolation formulas stated in Sec. 4 rather than derived from the equations of motion. This makes the new results difficult to verify independently. Please provide at least one set of shooting parameters (h0, β2, ω, Cf, Cβ, Ch, Φ∞) for j = k = 1 and one for j = k = 3/2, or release the numerical data, so that the existence claim for the new multiplets can be checked.

minor comments (4)

[§3.7, Eq. (3.25)] The sentence 'The regular solution of the scalar field can be found in ω > μ_eff' is inconsistent with the asymptotic form just below it: the exponential exp(-sqrt(μ_eff^2 - ω^2) r / 2) is real and decaying only for ω < μ_eff. The figures indeed use ω/μ_eff < 1. This sign error is local, but it should be corrected because it concerns the frequency range of the solutions.
[Appendix A, Eq. (A.8)] Equation (A.8) reads J = -8π N^3 / G5, which appears to be missing the factor Ch from Eq. (3.28). Please correct this typo so the appendix agrees with the main text.
[Throughout] There are numerous typographical errors, including 'provied', 'generaize', 'Kalza-Klein', 'compoments', 'angumar', 'No nomal modes', 'off digonal', 'dimensional imensional', and 'Mauer-Cartan'. A careful proofreading pass is needed.
[§5, Fig. 3] The abstract and conclusion claim a 'larger range' of mass and angular momentum for higher multiplets, but the evidence shown is an increase in the maximum values along the spiral branches at selected N. Please clarify whether 'range' refers to the maximum attainable values or to the full interval of ω over which solutions exist.

Circularity Check

0 steps flagged · score 1.0 of 10

No material circularity: the hairy KK monopoles are outputs of a boundary-value solve, not fitted or defined into the ansatz.

full rationale

The derivation chain is self-contained and non-circular. The only scalar-field assumption is ansatz (3.12), which the paper openly labels an ansatz and then verifies by substitution: Eq. (3.13) shows that the scalar kinetic combination is R_t×U(2)-invariant, and the Einstein-Klein-Gordon system reduces to the ODE set (3.14)-(3.15). No output quantity is fed back as an input. The two-sided shooting (Sec. 4) takes (N, Φ0) as the only inputs and tunes the remaining seven parameters to satisfy seven matching conditions; the mass M and angular momentum J are then read off from the asymptotic coefficients Cf, Ch, Cβ via the independent counterterm method, Eqs. (3.28)-(3.29) and Appendix A. Thus the central claims — existence for j=k=1 and j=k=3/2, and that the M-J ranges are larger for higher multiplets — are computed outputs, not fitted targets. The j=k=1/2 case is benchmarked against the external result of Brihaye et al. [1] ('our results agree with those obtained in [1]'), and the probe-limit no-normal-mode analysis of Sec. 3.5 is an independent analytic check that self-gravity is essential. The self-citations [16,17] supply the Wigner D-matrix technique, but the loaded identities (3.10)-(3.11) are standard SU(2) results, conventions are anchored to external [22], the formulas are re-derived in the paper's own reduction, and the ansatz is not presented as a derived or forced result; the self-citation is therefore a tool-level pointer, not load-bearing. No uniqueness theorem is imported from prior work. Correctness risks, explicitly located but not circular in nature: the outer boundary r_max=10^2 (Sec. 4) uses the leading-order tail Φ∼exp[-sqrt(μ_eff^2-ω^2)r/2]/r from Eq. (3.27), whose decay length diverges as ω→μ_eff, with no r_max-convergence or residual study; only one converged shooting-parameter set (for j=k=1/2) is published; footnote 4 (Sec. 5) concedes numerical difficulty for j=3/2 at small N; and the Sec. 4 continuation in real j uses hand-interpolated boundary coefficients. Minor textual flaws: Sec. 3.7 writes 'ω > μ_eff' where decay and all plots require ω < μ_eff, and Sec. 3.3's note that j=1/2 'reduces to the doublet scalar considered in [5]' appears to be a mis-citation (the relevant doublet benchmark is [1]). None of these affect the logical independence of the derivation.

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

The reported mass and angular momentum are read off from asymptotic coefficients via a standard counterterm, not fitted. The free parameters listed are input labels for the solution family, not fitted constants. The symmetry ansatz and the asymptotic boundary conditions are the main assumptions; the interpolation formula in Sec. 4 is an ad hoc numerical-continuation device used only to seed the shooting method. No new particles, forces, dimensions, or conserved quantities are introduced.

free parameters (2)

NUT parameter N = N=1/2,1,2 (j=1/2,1); N=1,2 (j=3/2)
Input parameter from the GPS monopole background; not fitted. The comparison of mass and angular momentum across j is made at these fixed N values, and the conclusion is limited by the missing N=1/2 point for j=3/2.
Scalar amplitude at origin Phi_0 = seed 0.02; varied for branches
Input shooting parameter labeling solutions; not fitted. The solution space is a two-parameter family in (N, Phi_0), and results are presented in terms of omega/mu_eff.

assumptions (5)

standard math Standard properties of Wigner D-matrices: orthonormality (Eq. 3.10) and differential formulas (Eqs. 3.11).
Used in Sec. 3.3 to show that the scalar ansatz (3.12) gives an invariant energy-momentum tensor and to derive the reduced ODEs (3.14).
domain assumption The scalar multiplet transforms covariantly under SU(2) with fixed quantum numbers j and k, so that the energy-momentum tensor stays U(2)-invariant while the field itself is not invariant.
This is the construction ansatz in Sec. 3.3. It restricts attention to a specific symmetry class of hair, which is sufficient for existence but not for uniqueness.
domain assumption Boundary conditions at infinity: f tends to 1, g tends to 4, h tends to omega/(2k), r^2 beta tends to 16 N^2, with scalar decay as in Eq. (3.27).
Used in Sec. 3.7 to define the rotating frame, the scalar frequency, and the conserved charges. Wrong boundary data would change the solution family.
domain assumption The counterterm S_ct = -(1/(8 pi G5)) integral sqrt(-gamma) sqrt(2R) yields finite conserved charges for GPS asymptotics.
From [29], used in Appendix A. If this counterterm is not valid for the hairy solutions, the mass and angular momentum curves are unreliable.
ad hoc to paper For 1/2 < j < 1, g2 and h2 are set by interpolation formulas g2 = -beta2 - (Phi0^2/3) * 2(1-j), h2 = (h0 Phi0^2/6) * 2(1-j) to smoothly connect to j=1.
Introduced in Sec. 4 only to generate initial guesses for the shooting method; final solutions must satisfy the full ODEs. It is a numerical-continuation device, not an input to the physics.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Kaluza-Klein monopole with scalar multiplet hair." pith.science (2026). https://pith.science/paper/FQOWYVGM

@misc{pith2026250723378,
  author       = {Pith},
  title        = {Pith review of: Kaluza-Klein monopole with scalar multiplet hair},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/FQOWYVGM}},
  note         = {Machine review of arXiv:2507.23378}
}

read the original abstract

We construct Kaluza-Klein monopole solutions with scalar hair provied by a massive complex scalar field multiplet that minimally couples to five-dimensional Einstein gravity. Writing the scalar field multiplet in terms of the Wigner D-matrices, we introduce the ansatz of the scalar multiplet compatible with the symmetries of the Gross-Perry-Sorkin monopole, on which the scalar hair grows. We give the ansatz for a multiplet with arbitrary number of components, whereas we show numerical solutions of the hairy Kaluza-Klein monopole specifically for the cases of scalar triplet and quadruplet. These generaize the preceding study on a doublet \cite{Brihaye:2023vox}. We find that the range of the mass and angular momentum of the hairy solutions are larger for higher multiplets.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

29 extracted references · 10 canonical work pages

[1]

Kaluza-Klein monopole with scalar hair

Y. Brihaye, C. Herdeiro, J.a.P.A. Novo and E. Radu,Kaluza-Klein monopole with scalar hair,JHEP01(2024) 181 [2312.02280]

work page Pith review arXiv 2024
[2]

Hartmann, B

B. Hartmann, B. Kleihaus, J. Kunz and M. List,Rotating Boson Stars in 5 Dimensions,Phys. Rev. D82(2010) 084022 [1008.3137]

arXiv 2010
[3]

Bekenstein,Black hole hair: 25 - years after, in2nd International Sakharov Conference on Physics, pp

J.D. Bekenstein,Black hole hair: 25 - years after, in2nd International Sakharov Conference on Physics, pp. 216–219, 5, 1996 [gr-qc/9605059]

arXiv 1996
[4]

Brihaye, C

Y. Brihaye, C. Herdeiro and E. Radu,Myers–Perry black holes with scalar hair and a mass gap,Phys. Lett. B739(2014) 1 [1408.5581]

arXiv 2014
[5]

Herdeiro and E

C.A.R. Herdeiro and E. Radu,Kerr black holes with scalar hair,Phys. Rev. Lett. 112(2014) 221101 [1403.2757]

arXiv 2014
[6]

Herdeiro, J

C. Herdeiro, J. Kunz, E. Radu and B. Subagyo,Myers–Perry black holes with scalar hair and a mass gap: Unequal spins,Phys. Lett. B748(2015) 30 [1505.02407]

arXiv 2015
[7]

Kaluza,Zum Unit¨ atsproblem der Physik,Sitzungsber

T. Kaluza,Zum Unit¨ atsproblem der Physik,Sitzungsber. Preuss. Akad. Wiss. Berlin (Math. Phys. )1921(1921) 966 [1803.08616]. 5Note thatg(r)→4 inr→ ∞in ourr-coordinate as we saw in (3.27), and a bit of thinking is necessary in order to take care of this unfamiliar factor 4. 6There is also the tensionT, constructed from theχχ-component of the boundary stres...

arXiv 1921
[8]

Klein,Quantum Theory and Five-Dimensional Theory of Relativity

O. Klein,Quantum Theory and Five-Dimensional Theory of Relativity. (In German and English),Z. Phys.37(1926) 895

work page 1926

Show all 29 references

[9]

Gross and M.J

D.J. Gross and M.J. Perry,Magnetic Monopoles in Kaluza-Klein Theories,Nucl. Phys. B226(1983) 29

1983
[10]

Sorkin,Kaluza-Klein Monopole,Phys

R.d. Sorkin,Kaluza-Klein Monopole,Phys. Rev. Lett.51(1983) 87

1983
[11]

Dias, G.T

O.J.C. Dias, G.T. Horowitz and J.E. Santos,Black holes with only one Killing field, JHEP07(2011) 115 [1105.4167]

2011 arXiv
[12]

Dias, J.E

´O.J.C. Dias, J.E. Santos and B. Way,Black holes with a single Killing vector field: black resonators,JHEP12(2015) 171 [1505.04793]

2015 arXiv
[13]

Ishii and K

T. Ishii and K. Murata,Black resonators and geons in AdS5,Class. Quant. Grav. 36(2019) 125011 [1810.11089]

2019 arXiv
[14]

Ishii and K

T. Ishii and K. Murata,Photonic black resonators and photon stars in AdS 5,Class. Quant. Grav.37(2020) 075009 [1910.03234]

2020 arXiv
[15]

Garbiso, T

M. Garbiso, T. Ishii and K. Murata,Resonating AdS soliton,JHEP08(2020) 136 [2006.12783]

2020 arXiv
[16]

Ishii, K

T. Ishii, K. Murata, J.E. Santos and B. Way,Superradiant instability of black resonators and geons,JHEP07(2020) 206 [2005.01201]

2020 arXiv
[17]

Ishii, K

T. Ishii, K. Murata, J.E. Santos and B. Way,Multioscillating black holes,JHEP05 (2021) 011 [2101.06325]

2021 arXiv
[18]

O.J.C. Dias, T. Ishii, K. Murata, J.E. Santos and B. Way,Gregory-Laflamme encounters Superradiance,JHEP01(2023) 147 [2211.02672]

2023 arXiv
[19]

O.J.C. Dias, T. Ishii, K. Murata, J.E. Santos and B. Way,Gregory-Laflamme and superradiance encounter black resonator strings,JHEP02(2023) 069 [2212.01400]

2023 arXiv
[20]

O.J.C. Dias, T. Ishii, K. Murata, J.E. Santos and B. Way,Superradiance and black resonator strings encounter helical black strings,JHEP05(2023) 041 [2302.09085]

2023 arXiv
[21]

Hawking,Gravitational Instantons,Phys

S.W. Hawking,Gravitational Instantons,Phys. Lett. A60(1977) 81

1977
[22]

Hu,Separation of tensor equations in a homogeneous space by group theoretical methods,J

B.L. Hu,Separation of tensor equations in a homogeneous space by group theoretical methods,J. Math. Phys.15(1974) 1748

1974
[23]

Brown and J.W

J.D. Brown and J.W. York, Jr.,Quasilocal energy and conserved charges derived from the gravitational action,Phys. Rev. D47(1993) 1407 [gr-qc/9209012]

1993 arXiv
[24]

Balasubramanian and P

V. Balasubramanian and P. Kraus,A Stress tensor for Anti-de Sitter gravity, Commun. Math. Phys.208(1999) 413 [hep-th/9902121]

1999 arXiv
[25]

Kraus, F

P. Kraus, F. Larsen and R. Siebelink,The gravitational action in asymptotically AdS and flat space-times,Nucl. Phys. B563(1999) 259 [hep-th/9906127]

1999 arXiv
[26]

de Haro, S.N

S. de Haro, S.N. Solodukhin and K. Skenderis,Holographic reconstruction of space-time and renormalization in the AdS / CFT correspondence,Commun. Math. Phys.217(2001) 595 [hep-th/0002230]. – 18 –

2001 arXiv
[27]

Bianchi, D.Z

M. Bianchi, D.Z. Freedman and K. Skenderis,Holographic renormalization,Nucl. Phys. B631(2002) 159 [hep-th/0112119]

2002 arXiv
[28]

Mann and D

R.B. Mann and D. Marolf,Holographic renormalization of asymptotically flat spacetimes,Class. Quant. Grav.23(2006) 2927 [hep-th/0511096]

2006 arXiv
[29]

Mann and C

R.B. Mann and C. Stelea,On the gravitational energy of the Kaluza Klein monopole, Phys. Lett. B634(2006) 531 [hep-th/0511180]. – 19 –

2006 arXiv

Pith tools

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

[1] [1]

Kaluza-Klein monopole with scalar hair

Y. Brihaye, C. Herdeiro, J.a.P.A. Novo and E. Radu,Kaluza-Klein monopole with scalar hair,JHEP01(2024) 181 [2312.02280]

work page Pith review arXiv 2024

[2] [2]

Hartmann, B

B. Hartmann, B. Kleihaus, J. Kunz and M. List,Rotating Boson Stars in 5 Dimensions,Phys. Rev. D82(2010) 084022 [1008.3137]

arXiv 2010

[3] [3]

Bekenstein,Black hole hair: 25 - years after, in2nd International Sakharov Conference on Physics, pp

J.D. Bekenstein,Black hole hair: 25 - years after, in2nd International Sakharov Conference on Physics, pp. 216–219, 5, 1996 [gr-qc/9605059]

arXiv 1996

[4] [4]

Brihaye, C

Y. Brihaye, C. Herdeiro and E. Radu,Myers–Perry black holes with scalar hair and a mass gap,Phys. Lett. B739(2014) 1 [1408.5581]

arXiv 2014

[5] [5]

Herdeiro and E

C.A.R. Herdeiro and E. Radu,Kerr black holes with scalar hair,Phys. Rev. Lett. 112(2014) 221101 [1403.2757]

arXiv 2014

[6] [6]

Herdeiro, J

C. Herdeiro, J. Kunz, E. Radu and B. Subagyo,Myers–Perry black holes with scalar hair and a mass gap: Unequal spins,Phys. Lett. B748(2015) 30 [1505.02407]

arXiv 2015

[7] [7]

Kaluza,Zum Unit¨ atsproblem der Physik,Sitzungsber

T. Kaluza,Zum Unit¨ atsproblem der Physik,Sitzungsber. Preuss. Akad. Wiss. Berlin (Math. Phys. )1921(1921) 966 [1803.08616]. 5Note thatg(r)→4 inr→ ∞in ourr-coordinate as we saw in (3.27), and a bit of thinking is necessary in order to take care of this unfamiliar factor 4. 6There is also the tensionT, constructed from theχχ-component of the boundary stres...

arXiv 1921

[8] [8]

Klein,Quantum Theory and Five-Dimensional Theory of Relativity

O. Klein,Quantum Theory and Five-Dimensional Theory of Relativity. (In German and English),Z. Phys.37(1926) 895

work page 1926