Pith. sign in

REVIEW 2 major objections 5 minor 23 references

Rotating constant-norm vector vacua in bumblebee gravity cannot be globally regular: the rotation axis becomes a curvature singularity.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · deepseek-v4-flash

2026-08-04 04:12 UTC pith:PIQ7FLFP

load-bearing objection Two clean geometric no-go results for rotating constant-norm vector vacua, with a load-bearing verification gap in the Kerr-disformal application. the 2 major comments →

arxiv 2607.17223 v2 pith:PIQ7FLFP submitted 2026-07-19 gr-qc

Axial Obstructions to Rotating Bumblebee Vacuum Solutions

Minyong Guo , Zhong-Ying Fan This is my paper
classification gr-qc PACS 04.20.-q04.70.-s11.30.Cp
keywords Einstein-bumblebee gravityLorentz symmetry breakingconstant-norm vector fieldrotating black holeKerr-disformal metricaxis singularityKilling horizonno-go theorem
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

This paper attempts to establish that no rotating black hole in Einstein-bumblebee gravity—a theory with a vector field that breaks Lorentz symmetry—can be globally regular if the vector has a strictly nonzero constant norm. The authors prove two independent geometric obstructions. At the poles of a regular horizon, the combination of horizon boost and rotation forces any symmetry-inheriting one-form to vanish, contradicting a nonzero constant norm. Separately, if the conical deficit around the axis varies along the axis, a frame curvature component diverges like the inverse distance, blocking a smooth extension. Applied to their Kerr-disformal family, these obstructions make the axes scalar curvature singularities, so even the distinguished branch is only a regular exterior solution away from the poles, not a complete black hole.

Core claim

The paper's central discovery is a two-pronged no-go: (i) at any axial fixed point of a regular nondegenerate bifurcate Killing horizon, horizon-boost invariance plus axial invariance forces every smooth symmetry-inheriting one-form to vanish, so a strictly nonzero constant norm cannot extend smoothly through the horizon poles; (ii) if the azimuthal orbit radius near the axis has f = α(z)ρ with ∂_z α ≠ 0, the orthonormal curvature component R_{\hatρ\hatφ\hat z\hatφ} = −∂_z ln α / ρ + O(1), so a C² extension through the axis is impossible. In the three-parameter Kerr–disformal family, the bumblebee one-form fails axis-smoothness (Ω_θ² = a² + q² at the poles) and the conicity varies along the

What carries the argument

The two load-bearing tools are local isotropy arguments at axial fixed points and an orthonormal-frame criterion for varying conicity. At an axial fixed point p on the bifurcation surface, the linearized horizon generator is a Lorentz boost and the linearized axial generator is a spatial rotation; evaluating the Lie derivatives L_χΩ = L_mΩ = 0 forces all four frame components of Ω to vanish. The conicity criterion uses the proper orbit radius f = √g_{φφ} = α(z)ρ and derives R_{\hatρ\hatφ\hat z\hatφ} = −∂_z ln α / ρ + O(1), making ∂_zα ≠ 0 obstruct a C² axis. These act on the disformal map g_{μν} = g^{(0)}_{μν} + ℓΩ_μΩ_ν, B_μ = bΩ_μ with Ω closed and constant norm, applied to a Kerr seed; the

Load-bearing premise

The load-bearing premise is that the disformal map with a closed constant-norm one-form really produces an exact solution of the Einstein–bumblebee field equations for the entire three-parameter family, and that the cancelled singular terms in the curvature expansion leave no hidden pole on the selected branch.

What would settle it

Evaluate the full Einstein–bumblebee field equations—not just closedness and the constant-norm condition—for the disformal metric at a generic nonaxial exterior point, and compute the unspecified factor F_+(θ) in the Kretschmann expansion explicitly on the branch q² = r_+²; if the field equations fail or F_+ has a pole, the claimed exact nonpolar exterior solution status collapses. A quicker check is the joint near-axis/near-horizon limit of the Kretschmann scalar in horizon-penetrating coordinates, which should show a nonuniform limit with a divergence at the poles.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • Any globally regular rotating constant-norm bumblebee vacuum must evade at least one assumption: symmetry inheritance, a regular nondegenerate bifurcate horizon, constant norm, or a complete regular axis.
  • On the q² = r_+² branch, the outer horizon is a regular Killing horizon only on the open angular interval; the inner root r = r_− is a null curvature singularity, so the Kerr-like Cauchy horizon and infinite extension tower are absent.
  • In the static sector, the q² = 4M² branch regularizes the nonaxial null hypersurface but leaves a curvature-singular axis; only q = 0 gives an axis-regular exterior.
  • In the extremal |a| = M sector, no real separated member has a smooth axis because Ω_θ² at the poles equals M² + q² > 0.
  • For general separable envelopes real throughout the exterior, the conicity cannot be made constant along the full exterior axis without violating the reality bound on the separation parameter, so the varying-conicity obstruction persists.

Where Pith is reading between the lines

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

  • The varying-conicity criterion is theory-independent: it can be applied to any stationary axisymmetric candidate metric in any modified-gravity theory as a quick axial-regularity screen before solving the full field equations.
  • A natural next step is to search for symmetry-noninheriting or varying-norm rotating solutions; the paper's results do not rule these out, since they evade at least one assumption of the no-go framework.
  • If numerical simulations of collapse in this theory produce rotating remnants, the no-go predicts that any constant-norm remnant must develop either a polar curvature singularity or a dynamical region where the vector's norm changes.
  • Observational templates built from this family should not assume axis regularity; near-axis curvature divergence could affect computed shadows or lensing if the poles are probed.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 5 minor

Summary. The manuscript establishes two geometric obstructions to globally regular rotating constant-norm vector vacua. The first, proved in S-I, is a local fixed-point theorem: at a smooth axial fixed point lying on a nondegenerate bifurcate Killing horizon, any smooth symmetry-inheriting one-form must vanish, because the horizon boost annihilates its normal components and the axial rotation annihilates its tangential components. A strictly nonzero constant norm is therefore incompatible with a smooth extension through such a horizon pole. The second, derived in S-III, is a Cartan-frame criterion: if the axial conicity α(z) varies along an axis, then R_{\hatρ\hatϕ\hat z\hatϕ} = -∂_z ln α/ρ + O(1), so a C² axial extension is impossible. The paper applies these to a three-parameter Kerr–disformal family in Einstein–bumblebee gravity, claiming that the bumblebee one-form fails axial smoothness, that the Kretschmann scalar diverges as ρ^{-2} on both exterior axes, and that the distinguished branch q² = r₊² is an exact nonpolar rotating exterior solution rather than a globally regular isolated black hole.

Significance. If the application is sound, the paper contains a significant and useful no-go result. The fixed-point obstruction is assumption-light and independent of the field equations, and the adapted-frame proof in S-I is clean and convincing. The varying-conicity criterion in S-III appears correct and provides a general diagnostic tool for axis regularity; the local warped-product example and the explicit Cax(r) computation in S-IV are helpful checks. The distinction drawn between metric-level and full-field regularity is important for the bumblebee literature. The main burden falls on the claim that the q-deformed Kerr–disformal metric (11) is an exact solution of the bumblebee field equations; this is asserted via a cited disformal-map theorem rather than demonstrated, and it is load-bearing for the paper's concrete conclusions about rotating bumblebee vacua.

major comments (2)
  1. [§III, Eqs. (9)–(11) and S-VI] The central application requires the three-parameter metric (11) to satisfy the bumblebee field equations derived from action (9) in the closed vacuum sector. The manuscript states that the field equations 'admit the disformal map (1)' and then presents (10)–(11) as a solution, but it never displays the field equations or a substitution check for the q-dependent family. The Hamilton–Jacobi computation in S-VI verifies closedness and constant norm for Ω, not the gravitational equations. Since the cited theorems in Refs. [10,11] were developed for the q=0 case and the paper itself emphasizes that q affects global properties, the hypotheses under which those theorems extend to (10)–(11) — including the relation among ℓ, ξ, b, the domain of smoothness, and the treatment of the axis — must be stated and checked. This is load-bearing: the 'exact nonpolar rotating exterior solution' claim and t
  2. [§IV, Eq. (12)] The cancellation that selects the distinguished branch q² = r₊² is not fully displayed. Equation (12) gives K = F₊(θ)/(r-r₊) × [ℓ² cot²θ(...)]/(q²+a²cos²θ) + O(...), with F₊(θ) not provided. The subsequent statement that substituting q² = r₊² into the complete invariant confirms K|... = K₊(θ)/sin²θ is an assertion of a computation the reader cannot reproduce. Because the nonpolar regularity of the outer horizon and the entire distinguished-branch analysis rest on this cancellation, the leading coefficient should be given in closed form, or an explicit reduction should be supplied, so that no unremovable pole in F₊ or in the higher-order terms is hidden.
minor comments (5)
  1. [§I and §VI] There are placeholder citations '[? ? ?]' for the aether fixed-point obstruction and for the metric-affine solution. These need to be filled in before publication.
  2. [Eq. (1) and §IV] The symbol Ω is used both for the disformal one-form and for the horizon angular velocity Ω_H, and in S-IV F0 is introduced alongside the rotational two-form F= dA. Please disambiguate these notations.
  3. [S-IV, Eq. (S97)] The expression for H_rr appears to contain a factor Δ/Δ that can be cancelled; simplifying would help the reader verify the algebra.
  4. [§III] The sentence 'This gives a three-parameter family stationary solution' is too strong given that the field equations have not been displayed for this family. Consider writing 'formal family' or 'candidate family' until the exact-solution check is supplied.
  5. [§IV and S-III] The term 'C² extension' is used in the abstract and main text without a definition. The meaning is clear in S-III, but a one-sentence definition at the first use would improve readability.

Circularity Check

0 steps flagged

No circular derivation found: the no-go theorems are derived from stated geometric hypotheses, and the application's exact-solution status rests on external prior work rather than a self-citation or fitted input.

full rationale

I walked the paper's derivation chain. The two section II obstructions are derived independently of the bumblebee field equations: the fixed-point result follows from symmetry inheritance plus the local boost and rotation actions at the bifurcation surface, and the varying-conicity criterion is an explicit Cartan-frame calculation. Neither step reduces to an input assumption of the conclusion. The application imports the disformal map (1) from Refs. [10,11] as a generating technique; these are not self-citations by the present authors, and the paper invokes no self-authored uniqueness theorem to force the family. The branch q^2 = r_+^2 is selected by a nonpolar horizon-regularity condition and is explicitly described as a selection, not as a prediction from first principles. The axial curvature divergence is computed directly with the coefficient C_ax(r) in Supplement S-IV, and the factor (a^2+q^2) is not an independently fitted parameter renamed as a result. Even if the exact-solution status of the family (10)-(11) is not fully verified by displaying the field equations, that is a correctness or completeness concern, not a circular reduction of the paper's own claims to their inputs.

Axiom & Free-Parameter Ledger

4 free parameters · 6 axioms · 0 invented entities

The central theorems are nearly assumption-free: smoothness, symmetry inheritance, nondegenerate isotropy actions at the pole, and bounded quotient/twist data near the axis. The application imports the disformal-map solution-generating theorem from prior work (Refs. [10, 11]) without re-derivation, and the free parameter q is introduced by Hamilton–Jacobi separation; the distinguished value q² = r₊² is chosen by nonpolar horizon regularity, while the axial obstruction is q-independent (Ω²_θ at poles = a²+q² > 0; C_ax ∝ (a²+q²) > 0). No new particles, forces, or dimensions are postulated; the bumblebee field is prior.

free parameters (4)
  • q (separation constant) = q² = r₊² (nonextremal horizon-selected branch); otherwise free
    Separation constant introduced by the constant-norm Hamilton–Jacobi equation (§III Eq. 10; S-VI). The branch q² = r₊² is hand-selected to cancel the nonaxial curvature divergence at the outer root (§IV Eq. 13). The paper's axial obstruction holds for any real q.
  • ℓ (disformal coupling) = nonzero, with 1 + ℓ > 0
    Strength of the disformal deformation in Eqs. (1)/(11). The axial Kretschmann coefficient C_ax ∝ ℓ², so the curvature-singularity conclusion requires ℓ ≠ 0; ℓ = 0 recovers Kerr (checked in S-IV).
  • a (rotation parameter) = 0 < |a| < M (nonextremal); |a| = M (extremal)
    Kerr seed rotation parameter. The nonextremal condition gives distinct roots r₊ > r₋ and a nondegenerate horizon; the extremal case removes the inner root but keeps the axial obstruction (Ω²_θ at poles = M² + q² > 0).
  • M (mass) = M > 0
    Kerr seed mass; sets the horizon scale via r₊ + r₋ = 2M. Standard solution parameter, not fitted to data.
axioms (6)
  • domain assumption The disformal map g = g⁽⁰⁾ + ℓ Ω⊗Ω, B = bΩ, with Ω closed and of constant positive norm, sends Ricci-flat seeds to exact solutions of the closed vacuum sector (V = V′ = 0, B_μν = 0) of Einstein–bumblebee gravity.
    Invoked in §III (Eq. 1) to assert that metric (11) is an exact three-parameter solution; cited from Refs. [10, 11] (Poulis–Soares; Ovcharenko), not re-derived in this paper.
  • standard math At a regular nondegenerate bifurcate Killing horizon, ∇χ pulled back to the bifurcation surface is a nondegenerate Lorentz boost on the normal plane (surface gravity κ_H ≠ 0); at an axial fixed point, ∇m generates a nondegenerate spatial rotation (ω ≠ 0).
    Used in §IIa and S-I (Eqs. S1, S4); standard Rácz–Wald bifurcate-horizon structure, cited via Refs. [14–16].
  • domain assumption The bumblebee one-form inherits both spacetime symmetries: L_χ Ω = L_m Ω = 0.
    Explicit hypothesis of the fixed-point theorem (§IIa, S-I). The concrete Ω in Eq. (10) is t- and ϕ-independent, so it satisfies the condition, but the general no-go excludes symmetry-noninheriting fields, a loophole the paper acknowledges in §VI.
  • domain assumption Near a candidate axis, the quotient metric, the rotational one-form A_i, and the required derivatives remain bounded, with g_iϕ = O(ρ²).
    Hypotheses of the varying-conicity criterion (S-III, Eqs. S15–S16); verified for the Kerr–disformal family in S-III-F (g_tϕ = O(ρ²), A_t bounded), but they are extra conditions on the general statement.
  • domain assumption The bumblebee field has strictly constant nonzero norm (B² = b₀² ≠ 0), and the selected one-form has unit norm in the Kerr seed.
    Defines the 'constant-norm vacuum' sector; the norm of Ω in Eq. (10) is computed in S-VI to be exactly 1, which is the one algebraic input the paper checks explicitly.
  • domain assumption The horizon is nondegenerate and the poles of the bifurcation surface are regular axial fixed points (p ∈ B ∩ A with χ|_p = m|_p = 0).
    Required for the fixed-point argument; the paper excludes one-sided future horizons and degenerate extremal horizons (§IIa, §Vc), and the extremal sector is treated separately.

pith-pipeline@v1.3.0-alltime-deepseek · 5623 in / 6734 out tokens · 370459 ms · 2026-08-04T04:12:32.940460+00:00 · methodology

0 comments
read the original abstract

We establish two obstructions to globally regular rotating constant-norm vector vacua. At an axial fixed point of a regular nondegenerate bifurcate Killing horizon, horizon-boost and axial invariance force every smooth symmetry-inheriting one-form to vanish, contradicting a strictly nonzero constant norm. Independently, varying axial conicity produces an orthonormal curvature component diverging as the inverse proper distance and precludes a \(C^2\) extension. Applied to a three-parameter Kerr--disformal family in Einstein--bumblebee gravity, these results reveal a nonsmooth bumblebee one-form, while direct calculation shows that the Kretschmann scalar diverges as the inverse square of the transverse proper distance to either open exterior axis. Even the distinguished nonextremal branch selected by nonpolar outer-horizon regularity is therefore an exact nonpolar rotating exterior solution, not a globally regular isolated black hole. Together, these field- and metric-level obstructions provide a two-pronged no-go framework for globally regular rotating constant-norm vector vacua.

Figures

Figures reproduced from arXiv: 2607.17223 by Minyong Guo, Zhong-Ying Fan.

Figure 1
Figure 1. Figure 1: FIG. 1. Schematic radial causal structure of the nonextremal [PITH_FULL_IMAGE:figures/full_fig_p011_1.png] view at source ↗

Review history (2 revisions) →

discussion (0)

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

Reference graph

Works this paper leans on

23 extracted references · 10 linked inside Pith

  1. [1]

    V. A. Kosteleck´ y and S. Samuel, Spontaneous breaking of lorentz symmetry in string theory, Phys. Rev. D39, 683 (1989)

    1989

  2. [2]

    S. M. Carroll, J. A. Harvey, V. A. Kostelecky, C. D. Lane, and T. Okamoto, Noncommutative field theory and Lorentz violation, Phys. Rev. Lett.87, 141601 (2001), arXiv:hep-th/0105082

    Pith/arXiv arXiv 2001

  3. [3]

    V. A. Kostelecky and S. Samuel, Phenomenological Grav- itational Constraints on Strings and Higher Dimensional Theories, Phys. Rev. Lett.63, 224 (1989)

    1989

  4. [4]

    Gambini and J

    R. Gambini and J. Pullin, Nonstandard optics from quan- tum space-time, Phys. Rev. D59, 124021 (1999), arXiv:gr- qc/9809038

    arXiv 1999

  5. [5]

    V. A. Kostelecky and S. Samuel, Gravitational Phe- nomenology in Higher Dimensional Theories and Strings, Phys. Rev. D40, 1886 (1989)

    1989

  6. [6]

    Bluhm and V

    R. Bluhm and V. A. Kostelecky, Spontaneous Lorentz violation, Nambu-Goldstone modes, and gravity, Phys. Rev. D71, 065008 (2005), arXiv:hep-th/0412320

    Pith/arXiv arXiv 2005

  7. [7]

    Casana, A

    R. Casana, A. Cavalcante, F. P. Poulis, and E. B. Santos, Exact schwarzschild-like solution in a bumblebee gravity model, Phys. Rev. D97, 104001 (2018), arXiv:1711.02273 [gr-qc]

    Pith/arXiv arXiv 2018

  8. [8]

    Chen and H.-S

    Y.-Q. Chen and H.-S. Liu, Taub-NUT-like black holes in Einstein-bumblebee gravity, Phys. Rev. D112, 084040 (2025), arXiv:2505.23104 [gr-qc]

    Pith/arXiv arXiv 2025

  9. [9]

    C. Ding, C. Liu, R. Casana, and A. Cavalcante, Exact kerr-like solution and its shadow in a gravity model with spontaneous lorentz symmetry breaking, Eur. Phys. J. C 80, 178 (2020), arXiv:1910.02674 [gr-qc]

    Pith/arXiv arXiv 2020

  10. [10]

    F. P. Poulis and M. A. C. Soares, Exact modifications on a vacuum spacetime due to a gradient bumblebee field at its vacuum expectation value, Eur. Phys. J. C82, 613 (2022), arXiv:2112.04040 [gr-qc]

    Pith/arXiv arXiv 2022

  11. [11]

    Ovcharenko, Exact Kerr-Newman-(A)dS and other spacetimes in bumblebee gravity: employing a simple generating technique, (2026), arXiv:2601.16037 [gr-qc]

    H. Ovcharenko, Exact Kerr-Newman-(A)dS and other spacetimes in bumblebee gravity: employing a simple generating technique, (2026), arXiv:2601.16037 [gr-qc]

    Pith/arXiv arXiv 2026

  12. [12]

    J. D. Bekenstein, The Relation between physical and gravitational geometry, Phys. Rev. D48, 3641 (1993), arXiv:gr-qc/9211017

    Pith/arXiv arXiv 1993

  13. [13]

    Bettoni and S

    D. Bettoni and S. Liberati, Disformal invariance of sec- ond order scalar-tensor theories: Framing the Horndeski action, Phys. Rev. D88, 084020 (2013), arXiv:1306.6724 [gr-qc]

    Pith/arXiv arXiv 2013

  14. [14]

    R. M. Wald,General Relativity(Chicago Univ. Pr., Chicago, USA, 1984)

    1984

  15. [15]

    Racz and R

    I. Racz and R. M. Wald, Extension of space-times with Killing horizon, Class. Quant. Grav.9, 2643 (1992)

    1992

  16. [16]

    Racz and R

    I. Racz and R. M. Wald, Global extensions of space-times describing asymptotic final states of black holes, Class. Quant. Grav.13, 539 (1996), arXiv:gr-qc/9507055

    Pith/arXiv arXiv 1996

  17. [17]

    R. P. Geroch, A Method for generating solutions of Ein- stein’s equations, J. Math. Phys.12, 918 (1971)

    1971

  18. [18]

    Vilenkin, Gravitational Field of Vacuum Domain Walls and Strings, Phys

    A. Vilenkin, Gravitational Field of Vacuum Domain Walls and Strings, Phys. Rev. D23, 852 (1981)

    1981

  19. [19]

    Vilenkin, Cosmic Strings and Domain Walls, Phys

    A. Vilenkin, Cosmic Strings and Domain Walls, Phys. Rept.121, 263 (1985)

    1985

  20. [20]

    Kinnersley and M

    W. Kinnersley and M. Walker, Uniformly accelerating charged mass in general relativity, Phys. Rev. D2, 1359 (1970)

    1970

  21. [21]

    J. F. Plebanski and M. Demianski, Rotating, charged, and uniformly accelerating mass in general relativity, Annals Phys.98, 98 (1976)

    1976

  22. [22]

    B. S. Kay and R. M. Wald, Theorems on the Unique- ness and Thermal Properties of Stationary, Nonsingular, Quasifree States on Space-Times with a Bifurcate Killing Horizon, Phys. Rept.207, 49 (1991)

    1991

  23. [23]

    Carter, Hamilton-Jacobi and Schrodinger separable solutions of Einstein’s equations, Commun

    B. Carter, Hamilton-Jacobi and Schrodinger separable solutions of Einstein’s equations, Commun. Math. Phys. 10, 280 (1968). 6 Supplementary Materials S-I. FIXED-POINT PROOF IN AN ADAPTED FRAME At p∈ B ∩ A, choose an orthonormal frame {eˆ0, eˆ1, eˆ2, eˆ3}, with dual coframe {eˆ0, eˆ1, eˆ2, eˆ3}. The first two vectors span the normal plane toB, while the la...

    1968