Axial Obstructions to Rotating Bumblebee Vacuum Solutions

Minyong Guo; Zhong-Ying Fan

No smooth rotating bumblebee vacuum can extend through the rotation axis.

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-01 18:41 UTC pith:PIQ7FLFP

load-bearing objection Two clean no-go theorems for constant-norm vector vacua on rotating axes, but the Kerr-disformal application inherits an unproved exactness claim from earlier work. 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 MSC 83C5783C75

keywords bumblebee gravityLorentz symmetry breakingconstant-norm vector fieldrotating black holesKerr-disformal metricaxial singularityconicityKilling horizon

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 establishes two general obstructions that prevent smooth rotating 'bumblebee' vacua — spacetimes where a vector field acquires a constant nonzero norm and breaks Lorentz symmetry. First, at any pole where a nondegenerate Killing horizon meets the rotation axis, symmetry inheritance forces the bumblebee one-form to vanish, contradicting its nonzero constant norm. Second, if the angular defect (conicity) of the axis varies along its length, the Kretschmann scalar diverges as one approaches the axis, so the metric cannot be smoothly extended. Applied to a three-parameter Kerr-disformal family, the axes become genuine curvature singularities rather than harmless conical defects, though a special nonextremal branch keeps a regular outer Killing horizon away from the poles. The upshot: these configurations are exact local rotating solutions only in the nonpolar region, not globally regular black holes.

Core claim

The paper's central claim is that two local, largely field-equation-independent mechanisms make a regular rotating constant-norm vector vacuum impossible on the axes. At a pole of a bifurcate horizon lying on the rotation axis, the horizon boost and the axial rotation are both fixed points, and their combined action on a smooth symmetry-inheriting one-form leaves no nonvanishing components, forcing Omega|_p = 0 and contradicting Omega_mu Omega^mu = b_0^2 != 0. Independently, a longitudinally varying conicity alpha(z) along the axis produces a universal curvature divergence R_rho^phi_z^phi ~ -d_z ln alpha / rho, hence a non-C^2 axis whenever d_z alpha != 0. For the Kerr-disformal family, both

What carries the argument

The two load-bearing tools are (i) the fixed-point isotropy argument: at p in B ∩ A, the boost generator ∇_a chi_b and the axial rotation generator ∇_a m_b are invertible on complementary subspaces, so Lie-invariance of Omega forces all four frame components to vanish; and (ii) the varying-conicity criterion: in Gaussian axial coordinates with proper radius f = alpha(z) rho, the mixed curvature component R_{\hat rho \hat phi \hat z \hat phi} = -∂_z ln alpha / rho + O(1) follows from the Hessian of f, proving that a nonuniform axial defect is a genuine curvature singularity. The application uses the disformal map g = g^(0) + ell Omega Omega with closed constant-norm Omega to generate the thre

Load-bearing premise

The application to the Kerr-disformal family leans on the assertion, made without derivation in Section III, that the disformal map (1) with a closed constant-norm one-form yields exact solutions of the closed vacuum sector (V = V' = 0) of action (7); if that mapping fails, the paper's concrete Kerr-disformal conclusions collapse, though the two generic obstructions would survive.

What would settle it

Directly substitute metric (9) and one-form (8) into the field equations from action (7) for generic nonzero ell, a, q; if the equations fail for any member of the family beyond the q^2 = r_+^2 branch, the claimed exact Kerr-disformal solutions are not established. Alternatively, exhibit a smooth symmetry-inheriting one-form with Omega_mu Omega^mu = b_0^2 != 0 on a regular bifurcate horizon containing a pole — that would refute the fixed-point theorem.

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

If this is right

Any smooth symmetry-inheriting constant-norm vector vacuum with a nondegenerate bifurcate horizon must fail at the horizon-axis poles; the obstruction is independent of the field equations.
A longitudinally varying conicity along a rotation axis is a sufficient condition for a curvature singularity, so nonuniform conical defects cannot be regularized by a global rescaling of the angular period.
The Kerr-disformal family with ell != 0 has curvature-singular polar axes for every real q, including the static sector with q != 0.
On the branch q^2 = r_+^2, the outer horizon is a regular Killing horizon away from the poles, defining an exact local rotating solution in the nonpolar exterior; the inner Kerr surface becomes a null curvature singularity.
A globally regular rotating bumblebee black hole must either relax symmetry inheritance, relax the strict nonzero constant norm, or modify the near-pole geometry.

Where Pith is reading between the lines

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

The fixed-point obstruction likely extends beyond bumblebee gravity to any vector-tensor or Proca-type theory with a constant-norm vacuum, so the result may constrain a broader class of Lorentz-violating black holes.
The varying-conicity criterion could serve as a quick regularity test for other disformal or metric-generated rotating solutions with position-dependent conical defects.
The paper leaves open whether a one-sided future-horizon (collapse) spacetime with a nonseparable, non-symmetry-inheriting one-form could admit a smooth axis; a global boundary-value analysis would settle it.
If the disformal map's exactness were verified by direct substitution, the q^2 = r_+^2 branch would be a useful local rotating background for nonpolar strong-field phenomena, though global charges and polar trajectories remain undefined without an axis prescription.

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

Two clean no-go theorems for constant-norm vector vacua on rotating axes, but the Kerr-disformal application inherits an unproved exactness claim from earlier work.

read the letter

Two things worth knowing. First, the two obstruction theorems in Section II are the real content and they hold up. The fixed-point argument forces any symmetry-inheriting one-form to vanish at a pole of a nondegenerate bifurcate horizon, and the proof in Appendix A is clean. The varying-conicity criterion shows that a z-dependent conical defect produces a 1/ρ divergence in the mixed Riemann component; the Cartan-frame calculation is coherent and the universal term cannot be removed by a bounded frame change. Second, the application to the Kerr-disformal family is conditional on an exactness claim that the paper states but does not prove: in Section III, the field equations are said to admit the disformal map in the closed vacuum sector. That claim is load-bearing. If it is false, the axial singularities are properties of a metric that is not a solution of the theory.

What the paper does well: the theorems are parameter-free, depend only on symmetry and smoothness, and the paper is explicit about what they do not cover (future horizons, extremal horizons, nonseparable fields). The Appendix D calculation provides a concrete positive Kretschmann coefficient, and the limit checks (ℓ=0, a=q=0) are reassuring. The paper also flags that the r=r_- singularity and the extremal sector need verification; that level of honesty is welcome.

Soft spots, in proportion. The main one is the disformal-map exactness. It is inherited from refs. [10,11] without re-derivation. In a Letter that is common, but since the paper's headline is that this family is an exact rotating bumblebee solution, a referee should ask for a proof or at least a verification of the field equations for the three-parameter metric (9). The r=r_- null singularity is asserted without derivation; the paper itself notes it needs checking. The extremal-sector claim is also thin. These do not touch the Section II theorems; they limit the certainty of the application.

Who this is for: people working on Lorentz-violating gravity, exact solutions, and black-hole regularity. The theorems are a useful addition to the regularity toolkit.

Recommendation: send it to a serious referee. The theorems are publishable as they stand; the application should be accepted conditional on verifying the exactness claim or explicitly flagging it as inherited. I would not desk-reject this.

Referee Report

2 major / 4 minor

Summary. The paper proves two general regularity obstructions for rotating constant-norm vector (bumblebee) vacua, then applies them to a three-parameter Kerr-disformal family in Einstein-bumblebee gravity. The fixed-point obstruction shows that a smooth one-form invariant under the stationary and axial Killing fields must vanish at a pole of a regular nondegenerate bifurcate Killing horizon, contradicting a constant nonzero norm. The varying-conicity criterion shows that a conicity α(z) depending on position along the rotation axis produces a 1/ρ curvature divergence and excludes a C^2 axial extension. The application claims that the Kerr-disformal metric (9) and one-form (8) are exact solutions in the closed vacuum sector, that both rotation axes are curvature singularities, and that the branch q^2=r_+^2 admits a regular outer Killing horizon away from the poles while r=r_- becomes a null curvature singularity.

Significance. The two Section II theorems are independent of the field equations and are valuable additions to the regularity literature for Lorentz-violating vector vacua. The fixed-point proof is concise and rigorous, using only the invertibility of the horizon boost and axial rotation linearizations. The varying-conicity criterion is also useful because it upgrades a nonuniform conical defect from a distributional to a genuine curvature singularity. The paper includes several good checks, such as the ℓ=0 limit recovering the Kerr axis and the a=q=0 limit recovering the regular static branch. The limitations (future horizons, extremal horizons, nonseparable fields) are stated honestly. However, the application's exactness claim is not derived in the manuscript, and the nonaxial horizon regularity on the selected branch rests partly on an announced 'direct evaluation' rather than a displayed computation.

major comments (2)

[Section III, Eqs. (7)-(9)] The exactness of the Kerr-disformal family is the load-bearing step for the application. The sentence 'the field equations admit the disformal map (1)' is asserted with no derivation, and the cited checks [10,11] are for the q=0 sector. Eq. (7) contains the nonminimal coupling ξ B^μ B^ν R_{μν}; whether a disformal deformation of a Ricci-flat seed by the closed constant-norm Ω of Eq. (8) solves both the metric and vector equations is not automatic. The relation among ℓ, ξ, and b (if any) is also not stated. Since the abstract and Section VII describe the family as an 'exact local rotating solution', this missing verification must be supplied — either by a direct substitution of Eqs. (8)-(9) into the field equations, or by a precise theorem for map (1) and a check that its hypotheses hold for the three-parameter family, including the q^2=r_+^2 branch.
[Section IV, Eq. (12)] Regularity of the outer horizon on the branch q^2=r_+^2 away from the axes is asserted through 'direct evaluation confirms' after Eq. (12). Eq. (10) displays only the leading singular term; the subleading O(sqrt(r^2-q^2)/sqrt(r-r+)) term is said to carry 'the same singular factors (up to a square root)', so the cancellation is not evident. Please provide the explicit nonaxial K_+(θ) or, more usefully, the horizon-penetrating coordinate chart in which the metric (9) and the one-form (8) are manifestly smooth on D_epsilon. This is required to substantiate the headline claim of a regular outer Killing horizon away from the poles.

minor comments (4)

[Eq. (8)] The displayed one-form is difficult to parse because the square roots and fraction bars are not typeset unambiguously. For example, it should be written clearly as Ω = sqrt((r^2-q^2)/Δ) dr + sqrt(a^2 cos^2θ+q^2) dθ (or the intended equivalent).
[Appendix C, Eqs. (C51)-(C52)] The expression for dz/dr appears dimensionally inconsistent as printed: the right-hand side has units of length. If the intended expression is sqrt(D0/Δ), please correct the formula and the subsequent ∂_z α expression.
[Section III, V=V'=0] The role of setting V=V'=0 with a nonzero b0 should be clarified. If the potential is identically zero, what enforces the constant norm, or is b0 simply a free parameter in the vacuum ansatz? A short remark would remove ambiguity.
[Section II.b] After Eq. (5), the statement that a regular axial segment requires α=1 for the standard 2π period could be made explicit, since some readers may conflate the conical-defect case α=const≠1 with the singular varying-α case.

Circularity Check

0 steps flagged

No significant circularity: the two axial obstructions are parameter-free local derivations, and the disformal exactness claim rests on external prior work, not on a self-referential chain.

full rationale

The paper's central derivations are self-contained and do not reduce to their inputs. The fixed-point obstruction (Section II.a and Appendix A) uses only smoothness, symmetry inheritance, and the invertible linearized boost/rotation actions (A1)-(A2) to force Ω|_p = 0; it does not assume the conclusion or fit any parameter. The varying-conicity criterion (Section II.b and Appendix C) derives the universal 1/ρ divergence (C35) from the Hessian of f with f = α(z)ρ + O(ρ²), and the proof shows the divergence cannot be removed by bounded frame changes (C36)-(C37). Neither theorem invokes the bumblebee field equations or the disformal ansatz. The applied Kerr-disformal family does rely on the statement in Section III that 'the field equations admit the disformal map (1)', but this is attributed to external references [10,11], not to the present authors, so it is not a self-citation load-bearing step. The absence of an independent re-derivation is a correctness or verification concern, not circularity. Similarly, the branch choice q² = r_+² is explicitly derived from the requirement that the leading nonaxial divergence in (10) cancel, giving (11); the paper then checks regularity rather than presenting a fitted quantity as a prediction. The paper also transparently states its scope limitations (Section VI and Appendix F), including future-horizon, nonseparable, and extremal cases. Against external benchmarks, the ℓ = 0 limit recovers the regular Kerr axis and a = q = 0 recovers the regular static branch (D41), providing independent checks. No equation in the paper is equivalent by construction to a claimed output, and no self-citation chain forces the conclusions.

Axiom & Free-Parameter Ledger

3 free parameters · 4 axioms · 0 invented entities

The two general theorems rest on standard bifurcate-horizon geometry (Racz-Wald structure) plus the explicitly stated regularity hypotheses of the conicity criterion, which the application verifies against the explicit metric. The application additionally assumes the disformal-map exactness inherited from [10,11]. The led parameter count is modest: one separation constant (q, selected to r_+^2 on the distinguished branch), the theory coupling ell, and the vector norm b_0. No new fields, forces, or particles are introduced.

free parameters (3)

q (separation constant) = q^2 = r_+^2 on the distinguished nonextremal branch; otherwise free
Enters Omega and the metric via Eq. (8); Eq. (11) selects q^2 = r_+^2 to cancel the leading nonaxial Kretschmann divergence near r_+ (Eq. 10). The paper presents this as explicit branch selection, not prediction.
ell (disformal/bumblebee coupling) = real, with 1+ell > 0; axial singularities require ell != 0
Coupling in construction (1) and action (7); a theory input rather than a fitted number. The paper's conclusions require ell(a^2+q^2) != 0 for the varying-conicity mechanism to activate; the ell=0 limit correctly reduces to Kerr.
b_0 (constant norm of the vector vacuum) = b_0^2 > 0, normalized to 1 in the main construction
Strict nonzero constant norm is the defining premise of the bumblebee vacuum; it drives the fixed-point contradiction and appears explicitly in the separable obstruction (Appendix F, Eqs. F1-F2). The normalization is a choice of units.

axioms (4)

standard math Standard bifurcate Killing horizon structure: at the bifurcation surface, grad_a chi^b|_p = kappa(e0_a e1_b - e1_a e0_b) with kappa != 0, and at the axis pole grad_a m^b|_p = omega(e2_a e3_b - e3_a e2_b) with omega != 0.
Used in Section II.a and Appendix A to conclude that the two linearized actions are invertible on their respective planes, forcing all four components of Omega to vanish at p. Standard results from [14-16] (Wald; Racz-Wald).
domain assumption The disformal map g = g0 + ell Omega(x)Omega, B = b Omega with closed constant-norm Omega and Ricci-flat seed yields exact solutions of the closed-sector field equations of action (7) with V = V' = 0.
Stated in Section III ('the field equations admit the disformal map (1)'); the entire application inherits this from [10,11] without re-derivation. The bumblebee equation in the closed sector requires R_mu nu Omega^nu = 0, trivially satisfied by a Ricci-flat seed, but the modified Einstein equations for the disformal metric are not re-checked here.
domain assumption Regularity hypotheses of the conicity criterion: quotient metric has a regular C^2 limit in Gaussian coordinates with rho proper distance from the axis, g_i phi = O(rho^2), A_i bounded with bounded derivatives, and f = alpha(z) rho + O(rho^2).
These are the stated hypotheses of the Appendix C theorem (Eqs. C2-C4); verified for the Kerr-disformal metric in Appendix C.6. A proposed application that violated them would not be covered by the 1/rho criterion.
domain assumption The one-form Omega of Eq. (8) has constant positive norm on the Kerr seed.
The construction is a constant-norm vector vacuum; norm constancy is part of the ansatz inherited from [10]. Used implicitly whenever the constant norm b_0^2 enters, including the axis-smoothness evaluation Omega_theta^2|_theta=0,pi = a^2 + q^2 (Eq. 15).

pith-pipeline@v1.3.0-alltime-deepseek · 13719 in / 34279 out tokens · 307396 ms · 2026-08-01T18:41:24.547104+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.

Axial Obstructions to Rotating Bumblebee Vacuum Solutions

Core claim

What carries the argument

Load-bearing premise

What would settle it

If this is right

Where Pith is reading between the lines

discussion (0)