pith. sign in

arxiv: 2510.01859 · v2 · submitted 2025-10-02 · 🌀 gr-qc

Why Barriola--Vilenkin Global Monopoles Cannot Rotate?

Yi Lu , Xiao-Yin Pan , Meng-Yun Lai , Qing-hai Wang This is my paper

Pith reviewed 2026-05-18 11:04 UTC · model grok-4.3

classification 🌀 gr-qc
keywords global monopolesBarriola-Vilenkin monopolerotating spacetimeEinstein-scalar field equationsasymptotic analysisNewman-Janis algorithmtopological defectsgeneral relativity
0
0 comments X

The pith

Barriola-Vilenkin global monopoles are incompatible with rotating spacetime in general relativity.

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

The paper establishes that no rotating Barriola-Vilenkin global monopoles can exist as solutions to the Einstein-scalar field equations. It reaches this by first showing that rotating metrics produced by the Newman-Janis algorithm from the static monopole fail to satisfy the scalar field equation of motion. It then uses asymptotic analysis to prove that the only regular static axially symmetric solution at large distances is the spherically symmetric monopole. A reader would care because these monopoles are topological defects whose gravitational lensing and cosmological roles depend on their allowed spacetime geometries, so the absence of rotation restricts the models that can be considered.

Core claim

The paper claims that Barriola-Vilenkin global monopoles are incompatible with rotating spacetime. Metrics generated by applying the Newman-Janis algorithm to the static monopole are inconsistent with the scalar field's equation of motion. An asymptotic analysis of general static axially symmetric spacetimes shows that the only solution regular at large distances is the spherically symmetric Barriola-Vilenkin monopole. These results lead to the conclusion that the monopoles cannot rotate within Einstein's general relativity.

What carries the argument

Asymptotic analysis of static axially symmetric metrics regular at large distances, which forces the solution to be spherically symmetric and rules out rotation, together with the direct inconsistency of Newman-Janis rotated metrics against the scalar field equation.

If this is right

  • No exact rotating solutions for Barriola-Vilenkin global monopoles exist in Einstein gravity.
  • Astrophysical models of these monopoles must use only non-rotating, spherically symmetric geometries.
  • Gravitational lensing signatures of monopoles lack any frame-dragging or rotational contributions.
  • The incompatibility is specific to the Einstein-scalar system and does not invoke extra fields.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same regularity argument may prohibit rotation for other global topological defects sourced by scalar fields.
  • Searches for rotating monopoles would require either modified gravity or additional matter sources.
  • Observational tests of monopoles can safely omit effects tied to angular momentum such as ergoregions.

Load-bearing premise

Any physically acceptable solution must be regular at large distances, with the asymptotic form of a static axially symmetric metric required to satisfy the Einstein-scalar equations without additional sources or singularities.

What would settle it

An explicit construction of a regular rotating global monopole solution that satisfies the coupled Einstein-scalar field equations at all distances would falsify the claim.

read the original abstract

The Barriola--Vilenkin global monopoles are topological defects predicted by certain grand unified theories and have been extensively studied for their astrophysical and cosmological implications, including their distinctive spacetime geometry and characteristic gravitational lensing effects. Despite this interest, an exact solution for a global monopole remains elusive, with research largely confined to approximations of the static, spherically symmetric case. This paper addresses the fundamental question of whether a rotating global monopole can exist as a solution to the coupled Einstein-scalar field equations. We first prove that metrics generated by applying the Newman-Janis algorithm to the static monopole are inconsistent with the scalar field's equation of motion. Furthermore, we perform an asymptotic analysis for general static, axially symmetric spacetimes and establish that the only such solution that is regular at large distances is the spherically symmetric one. These results lead to the conclusion that the Barriola--Vilenkin global monopoles are incompatible with rotating spacetime within the framework of Einstein's general relativity.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 1 minor

Summary. The paper claims that Barriola-Vilenkin global monopoles cannot rotate as solutions to the coupled Einstein-scalar field equations in general relativity. It reaches this conclusion via two arguments: (1) application of the Newman-Janis algorithm to the static spherically symmetric monopole metric produces a result inconsistent with the scalar equation of motion, and (2) an asymptotic expansion of general static, axially symmetric metrics that are regular at large distances forces the solution to be spherically symmetric.

Significance. If the central no-go result holds, it would be significant for the study of topological defects, as it would restrict global monopoles to non-rotating configurations and thereby limit possible astrophysical and cosmological signatures such as gravitational lensing. The manuscript employs standard tools of the field (Newman-Janis algorithm and asymptotic matching to the Einstein-scalar system) and avoids free parameters or ad-hoc assumptions in the derivations.

major comments (2)
  1. [asymptotic analysis] The asymptotic analysis (outlined in the abstract and developed in the body) is performed exclusively for static, axially symmetric metrics. A rotating monopole is described by a stationary axisymmetric metric containing a nonzero g_{tφ} term. The regularity-at-infinity argument therefore does not automatically extend to the stationary case; non-spherical asymptotic corrections could in principle be supported by the scalar field once the cross term is allowed. This is load-bearing for the claim that monopoles are incompatible with rotating spacetime.
  2. [Newman-Janis application] The Newman-Janis step shows inconsistency with the scalar EOM, but the manuscript does not supply the explicit generated metric ansatz, the component-by-component violation, or error estimates. Without these details it is difficult to confirm that the failure is generic rather than an artifact of the particular coordinate or seed-metric choices.
minor comments (1)
  1. [Abstract] The abstract states that the results 'lead to the conclusion' without briefly qualifying that the asymptotic part applies only to static metrics; a short clarifying clause would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful and constructive report. The comments identify two areas where additional clarity and detail would strengthen the presentation. We address each point below and indicate the revisions we will make.

read point-by-point responses

  1. Referee: [asymptotic analysis] The asymptotic analysis (outlined in the abstract and developed in the body) is performed exclusively for static, axially symmetric metrics. A rotating monopole is described by a stationary axisymmetric metric containing a nonzero g_{tφ} term. The regularity-at-infinity argument therefore does not automatically extend to the stationary case; non-spherical asymptotic corrections could in principle be supported by the scalar field once the cross term is allowed. This is load-bearing for the claim that monopoles are incompatible with rotating spacetime.

    Authors: We agree that the existing asymptotic expansion is performed for static metrics and does not automatically cover the stationary case with a nonzero g_{tφ} component. The Newman-Janis construction already produces an explicit inconsistency with the scalar equation of motion for the rotating metric generated from the Barriola-Vilenkin seed. To close the logical gap identified by the referee, we will extend the asymptotic analysis in the revised manuscript to include the leading stationary axisymmetric corrections, showing that regularity at infinity continues to force the vanishing of all non-spherical terms even when the cross term is retained. revision: yes

  2. Referee: [Newman-Janis application] The Newman-Janis step shows inconsistency with the scalar EOM, but the manuscript does not supply the explicit generated metric ansatz, the component-by-component violation, or error estimates. Without these details it is difficult to confirm that the failure is generic rather than an artifact of the particular coordinate or seed-metric choices.

    Authors: The referee correctly observes that the current text presents the Newman-Janis result at a summary level. In the revision we will insert the explicit metric obtained by applying the algorithm to the Barriola-Vilenkin line element, display the component-wise failure of the scalar field equation, and add a short argument that the inconsistency is independent of the particular coordinate chart and follows directly from the structure of the coupled system. revision: yes

Circularity Check

0 steps flagged

Derivation proceeds from Einstein-scalar equations and asymptotic regularity without reduction to inputs

full rationale

The paper's central steps consist of (i) substituting the Newman-Janis-generated metric into the scalar field equation of motion and obtaining an inconsistency, and (ii) performing a direct asymptotic expansion of a general static axially symmetric line element, imposing regularity at large r, and showing that the only solution satisfying the Einstein-scalar system is the spherically symmetric Barriola-Vilenkin form. Both steps are explicit algebraic consequences of the field equations plus the stated boundary conditions; no parameter is fitted to data and then relabeled as a prediction, no self-citation supplies a uniqueness theorem, and the metric ansatz is introduced openly rather than smuggled. The derivation is therefore self-contained and does not collapse to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper rests on the standard Einstein-scalar field system for a global monopole with hedgehog scalar configuration and the requirement of asymptotic regularity. No new free parameters or invented entities are introduced.

axioms (2)
  • domain assumption The spacetime satisfies the Einstein equations sourced by a scalar field with global O(3) symmetry.
    Core modeling choice for Barriola-Vilenkin monopoles.
  • domain assumption Physically relevant solutions must be regular at spatial infinity.
    Invoked to rule out non-spherical axial solutions.

pith-pipeline@v0.9.0 · 5706 in / 1212 out tokens · 37976 ms · 2026-05-18T11:04:26.687903+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

25 extracted references · 25 canonical work pages

  1. [1]

    T. W. B. Kibble,Topology of cosmic domains and strings, J. Phys. A9, 1397 (1976)

    work page 1976

  2. [2]

    Vilenkin,Cosmic strings and domain walls, Phys

    A. Vilenkin,Cosmic strings and domain walls, Phys. Rep.121, 263 (1985)

    work page 1985

  3. [3]

    Barriola and A

    M. Barriola and A. Vilenkin,Gravitational field of a global monopole, Phys. Rev. Lett.63, 341 (1989)

    work page 1989

  4. [4]

    Vilenkin and S

    A. Vilenkin and S. Shelard,Cosmic strings and Other Topological Defects.(Cambridge University Press, Cam- bridge 1994)

    work page 1994

  5. [5]

    M. B. Hindmarsh, T. W. B. Kibble,Cosmic strings, Rep. Prog. Phys.58, 477 (1995)

    work page 1995

  6. [6]

    Perlick,Gravitational Lensing from a Spacetime Per- spective, Living Rev

    V. Perlick,Gravitational Lensing from a Spacetime Per- spective, Living Rev. Relativity7, 9 (2004)

    work page 2004

  7. [7]

    E. J. Copeland, M. Sami, and S. Tsujikawa,Dynamics of Dark Energy, Int. J. Mod. Phys. D15, 1753 (2006)

    work page 2006

  8. [8]

    C. A. R. Herdeiro and E. Radu,Asymptotically flat black holes with scalar hair: A review, Int. J. Mod. Phys. D 24, 1542014 (2015)

    work page 2015

  9. [9]

    R. M. Teixeira Fihlo and V. B. Bezerra,Gravitational field of a rotating global monopole, Phys. Rev. D64, 084009 (2001)

    work page 2001

  10. [10]

    J. P. M. Gra¸ ca and V. B. Bezerra,Gravitational Field of a Rotating Global Monopole inf(R)Theory, Mod. Phys. Lett. A27, 1250178 (2012)

    work page 2012

  11. [11]

    Chen and J

    S. Chen and J. Jing,Gravitational field of a slowly rotating black hole with a phantom global monopole, Class. Quantum Grav.30175012 (2013)

    work page 2013

  12. [12]

    Jusufi, M

    K. Jusufi, M. C. Werner, A. Banerjee, and A. ¨Ovg¨ un, Light deflection by a rotating global monopole spacetime, Phys. Rev. D,95, 104012 (2017)

    work page 2017

  13. [13]

    Haroon, K

    Su. Haroon, K. Jusufi, and M. Jamil,Shadow Images of a Rotating Dyonic Black Hole with a Global Monopole Surrounded by Perfect Fluid, Universe,6, 23 (2020)

    work page 2020

  14. [14]

    T. Ono, A. Ishihara, and H. Asada,Deflection angle of light for an observer and source at finite distance from a rotating global monopole, Phys. Rev. D99, 124030 (2019)

    work page 2019

  15. [15]

    Fathi,Shadow Analysis of an Approximate Rotat- ing Black Hole Solution with Weakly Coupled Global Monopole Charge, Universe11, 111 (2025)

    M. Fathi,Shadow Analysis of an Approximate Rotat- ing Black Hole Solution with Weakly Coupled Global Monopole Charge, Universe11, 111 (2025)

    work page 2025

  16. [16]

    Gravitational field of a rotating global monopole,

    M. Haluk Se¸ cuk,Comment on “Gravitational field of a rotating global monopole,”Phys. Rev. D102, 068501 (2020)

    work page 2020

  17. [17]

    Comment on ‘Gravitational field of a rotating global monopole,’

    V. B. Bezerra, J. M. Toledo, J. P. Morais Gra¸ ca, D. Bar- bosa, and R. M. Teixeira Filho,Reply to “Comment on ‘Gravitational field of a rotating global monopole,’ ” Phys. Rev. D102, 068502 (2020)

    work page 2020

  18. [18]

    E. T. Newman and A.I. Janis,Note on the Kerr Spinning-Particle Metric, J. Math. Phys.6, 915 (1965)

    work page 1965

  19. [19]

    E. T. Newman, E. Couch, K. Chinnapared, A. Exton, A. Prakash, R. Torrence,Metric of a Rotating, Charged Mass, J. Math. Phys.6, 918 (1965)

    work page 1965

  20. [20]

    S. P. Drake and P. Szekeres,Uniqueness of the New- man–Janis Algorithm in Generating the Kerr–Newman Metric, Gen. Rel. Grav.32, 445 (2000)

    work page 2000

  21. [21]

    Erbin,Janis–Newman Algorithm: Generating Rotat- ing and NUT Charged Black Holes, Universe3, 19 (2017)

    H. Erbin,Janis–Newman Algorithm: Generating Rotat- ing and NUT Charged Black Holes, Universe3, 19 (2017)

    work page 2017

  22. [22]

    Azreg-A¨ ınou,Regular and conformal regular cores for static and rotating solutions, Phys

    M. Azreg-A¨ ınou,Regular and conformal regular cores for static and rotating solutions, Phys. Lett. B73095, (2014)

    work page 2014

  23. [23]

    Azreg-A¨ ınou,From static to rotating to confor- mal static solutions: rotating imperfect fluid wormholes with(out) electric or magnetic field, Eur

    M. Azreg-A¨ ınou,From static to rotating to confor- mal static solutions: rotating imperfect fluid wormholes with(out) electric or magnetic field, Eur. Phys. J. C74, 2865 (2014)

    work page 2014

  24. [24]

    Azreg-A¨ ınou,Generating rotating regular black hole solutions without complexification, Phys

    M. Azreg-A¨ ınou,Generating rotating regular black hole solutions without complexification, Phys. Rev. D90, 064041 (2014)

    work page 2014

  25. [25]

    Konoplya, L

    R. Konoplya, L. Rezzolla, and A. Zhidenko,General parametrization of axisymmetric black holes in metric theories of gravity, Phys. Rev. D93, 064015 (2016)

    work page 2016