Recognition: 2 theorem links
· Lean TheoremRegular Black Strings and BTZ Black Hole in Unimodular Gravity Supported by Maxwell Fields
Pith reviewed 2026-05-13 22:50 UTC · model grok-4.3
The pith
In unimodular gravity the cosmological constant becomes a radially dependent vacuum energy that supports regular black strings and BTZ black holes sourced by Maxwell fields.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
By imposing det(g_μν) = g0, the field equations of unimodular gravity yield an integration constant that the non-conservation of the energy-momentum tensor converts into a function Λ(x). For the chosen black-string and BTZ metrics this function is evaluated as a radial vacuum contribution Λ(r) whose form is fixed once the geometric function H(r) is chosen so that the Maxwell stress-energy satisfies the modified Einstein equations.
What carries the argument
The geometric function H(r), which encodes the metric ansatz and determines both the Maxwell field strength and the supporting vacuum term Λ(r).
If this is right
- Regular black-string geometries exist with Maxwell sources once the vacuum energy is permitted to vary radially.
- The BTZ black-hole metric is recovered as a consistent solution supported by the same radially dependent Λ(r).
- The cosmological constant is reinterpreted as an emergent, coordinate-dependent vacuum contribution rather than a fixed parameter.
- Maxwell electrodynamics remains a valid matter source under the volume-preserving diffeomorphism constraint.
Where Pith is reading between the lines
- The same mechanism could be tested in other static, spherically symmetric ansätze to see whether regularity is preserved when Maxwell fields are replaced by other matter.
- Because Λ(r) is fixed by the geometry, its profile might be compared with effective dark-energy densities inferred from cosmological observations in the same theory.
- The non-conservation of the stress-energy tensor implies that energy can flow between the Maxwell field and the vacuum term, an exchange that could be searched for in numerical simulations of collapse.
Load-bearing premise
The spacetime volume element stays strictly constant so that the non-conservation of the energy-momentum tensor legitimately turns the integration constant into a physically acceptable radially varying vacuum energy without extra instabilities or constraints.
What would settle it
A direct check that the Maxwell field strength derived from H(r) fails to satisfy the unimodular field equations for the chosen black-string or BTZ metric, or that the resulting Λ(r) produces negative energy density or violates the null energy condition everywhere outside the horizon.
Figures
read the original abstract
In this work, we obtain a Maxwell source for regular black string and BTZ black hole using the framework of unimodular gravity. This type of alternative to general relativity imposes an additional condition on the spacetime volume element, namely that it is constant, $\det(g_{\mu\nu}) = g_0$, and thus restricts diffeomorphism invariance to volume-preserving transformations. In this procedure, the cosmological constant does not appear directly in the action, but rather as an integration constant of the field equations. By using the non-conservation of the energy-momentum tensor, we show that the integration constant becomes a function $\Lambda(x)$, which is interpreted as a vacuum contribution depending on the radial coordinate, in our case. From the definition of the geometric function $H(r)$, we verify the validity of Maxwell electrodynamics as a source for the solutions and compute the vacuum contribution $\Lambda(r)$ that supports the solutions.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims to derive regular black string and BTZ black hole solutions in unimodular gravity sourced by Maxwell fields. By imposing a constant spacetime volume element det(g_μν)=g0, the framework restricts diffeomorphisms and yields field equations in which the cosmological constant appears as an integration constant; the authors invoke non-conservation of the energy-momentum tensor to promote this constant to a radially dependent function Λ(r), interpreted as a vacuum contribution, and verify the solutions via a geometric function H(r).
Significance. If the central mechanism were consistent, the work would supply explicit regular black-hole geometries in a volume-preserving gravity theory with electromagnetic sources, illustrating how the unimodular constraint can generate position-dependent vacuum energy without additional fields. Such constructions are of interest for singularity resolution and for exploring the restricted diffeomorphism invariance of unimodular gravity.
major comments (1)
- [Abstract and field-equation derivation] Abstract and the derivation of the field equations: the assertion that non-conservation of the EMT converts the integration constant into a radially dependent Λ(r) is internally inconsistent for a traceless Maxwell source. Unimodular gravity produces the trace-free equations R_μν − (1/4)R g_μν = 8π(T_μν − (1/4)T g_μν); Bianchi identities then enforce ∇^μ T_μν = (1/4)∇_ν T. With T=0 identically for Maxwell fields, the right-hand side vanishes and standard conservation ∇^μ T_μν=0 is recovered, forcing the integration constant to remain constant rather than acquiring radial dependence while satisfying both the Maxwell equations and det(g)=g0.
minor comments (1)
- [Solutions section] The explicit definition and differential properties of the geometric function H(r) should be stated at the outset of the solutions section so that the verification step can be followed without ambiguity.
Simulated Author's Rebuttal
We thank the referee for the careful reading of the manuscript and for identifying an important consistency issue in the derivation of the field equations. We address the major comment below and commit to revisions that strengthen the presentation.
read point-by-point responses
-
Referee: [Abstract and field-equation derivation] Abstract and the derivation of the field equations: the assertion that non-conservation of the EMT converts the integration constant into a radially dependent Λ(r) is internally inconsistent for a traceless Maxwell source. Unimodular gravity produces the trace-free equations R_μν − (1/4)R g_μν = 8π(T_μν − (1/4)T g_μν); Bianchi identities then enforce ∇^μ T_μν = (1/4)∇_ν T. With T=0 identically for Maxwell fields, the right-hand side vanishes and standard conservation ∇^μ T_μν=0 is recovered, forcing the integration constant to remain constant rather than acquiring radial dependence while satisfying both the Maxwell equations and det(g)=g0.
Authors: We agree with the referee that the current wording in the abstract is imprecise and potentially misleading. For a traceless Maxwell source the trace-free equations together with the Bianchi identities do enforce standard conservation ∇^μ T_μν = 0, so the integration constant cannot be promoted to a function of r by invoking non-conservation. We will revise the abstract and the section on the derivation of the field equations to remove any reference to non-conservation of the EMT. Instead, we will present an explicit integration of the trace-free equations under the unimodular constraint det(g_μν)=g0 for the chosen static, cylindrically symmetric metric ansatz, showing how the effective vacuum term Λ(r) is fixed by the requirement that the metric components satisfy both the field equations and the volume constraint. The geometric function H(r) will be used to verify that the resulting solutions remain consistent with the Maxwell equations and the trace-free Einstein equations. These changes will be made without altering the reported solutions or their regularity properties. revision: yes
Circularity Check
No significant circularity in derivation chain
full rationale
The paper derives explicit solutions for regular black strings and BTZ black holes in unimodular gravity by imposing the constant volume condition det(g_μν)=g0, which makes the cosmological constant appear as an integration constant in the trace-free field equations. It then invokes the framework's modified conservation law to allow this constant to become a radially dependent function Λ(r), computes the explicit form from the chosen metric ansatz and the geometric function H(r), and verifies that the source reduces to Maxwell electrodynamics plus this vacuum term. No step reduces a claimed prediction or result to an input by construction: the radial dependence is obtained by direct integration of the differential equations under the unimodular constraint rather than by fitting or re-labeling a presupposed quantity. No self-citation is load-bearing for the central claim, no uniqueness theorem is imported from prior work by the same authors, and the ansatz is the standard one for black-string geometries. The derivation remains self-contained against the field equations and the unimodular condition.
Axiom & Free-Parameter Ledger
free parameters (1)
- Λ(r)
axioms (2)
- domain assumption det(g_μν) = g0 (constant)
- ad hoc to paper Non-conservation of the energy-momentum tensor is physically acceptable and converts the integration constant into Λ(x)
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
By using the non-conservation of the energy-momentum tensor, we show that the integration constant becomes a function Λ(x)... H(r)≡4m'(r)ℓ/r²−2m''(r)ℓ/r =−2E²(r)LF
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
R_μν − R/n g_μν = T_μν − (1/n) T g_μν ... G_μν = T_μν + Λ(x) g_μν
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
-
[1]
Deriving schwarzschild and kerr from the einstein equivalence principle,
G. Alencar, “Deriving schwarzschild and kerr from the einstein equivalence principle,” (2026), iNSPIRE entry
work page 2026
- [2]
-
[3]
P. Jirouˇ sek, Universe9, 131 (2023), arXiv:2301.01662 [gr-qc]
-
[4]
E. ´Alvarez, J. Anero, and I. S´ anchez-Ruiz, Eur. Phys. J. C84, 287 (2024), arXiv:2310.16522 [hep-th]
-
[5]
L. Smolin, Phys. Rev. D80, 084003 (2009), arXiv:0904.4841 [hep-th]
- [6]
- [7]
- [8]
- [9]
-
[10]
M. Banados, C. Teitelboim, and J. Zanelli, Phys. Rev. Lett.69, 1849 (1992), arXiv:hep- th/9204099
-
[11]
J. P. Lemos, Physics Letters B353, 46 (1995)
work page 1995
-
[12]
A. Simpson and M. Visser, JCAP02, 042 (2019), arXiv:1812.07114 [gr-qc]
- [13]
-
[14]
J. M. Bardeen, inProceedings of the International Conference GR5(Tbilisi, USSR, 1968)
work page 1968
-
[15]
S. A. Hayward, Phys. Rev. Lett.96, 031103 (2006), arXiv:gr-qc/0506126
work page internal anchor Pith review Pith/arXiv arXiv 2006
-
[16]
E. Ay´ on-Beato and A. Garc´ ıa, Physics Letters B493, 149–152 (2000)
work page 2000
-
[17]
Regular (2+1)-dimensional black holes within non-linear Electrodynamics
M. Cataldo and A. Garcia, Phys. Rev. D61, 084003 (2000), arXiv:hep-th/0004177
work page internal anchor Pith review Pith/arXiv arXiv 2000
-
[18]
J. Furtado and G. Alencar, Universe8, 625 (2022), arXiv:2210.06608 [gr-qc]
- [19]
- [20]
- [21]
-
[22]
G. Alencar, T. M. Crispim, D. S´ aez-Chill´ on G´ omez, and M. V. d. S. Silva, (2026), arXiv:2603.05543 [gr-qc]
-
[23]
G. Alencar, A. Lima, D. Rubiera-Garcia, and D. S´ aez-Chill´ on G´ omez, (2025), 13 arXiv:2512.09869 [gr-qc]
- [24]
-
[25]
G. Alencar, M. Nilton, M. E. Rodrigues, and M. V. de S. Silva, Phys. Dark Univ.49, 102060 (2025), arXiv:2409.12101 [gr-qc]
-
[26]
Maxwell-supported regular black holes in unimodular gravity,
G. Alencar, “Maxwell-supported regular black holes in unimodular gravity,” (2026), iNSPIRE entry
work page 2026
-
[27]
G. Alencar and T. M. Crispim, (2026), arXiv:2603.30003 [gr-qc]
work page internal anchor Pith review Pith/arXiv arXiv 2026
-
[28]
On regular black strings spacetimes in nonlinear electrodynamics
G. Alencar, V. H. U. Borralho, T. M. Crispim, and M. S. Cunha, (2026), arXiv:2603.23556 [gr-qc]
work page internal anchor Pith review Pith/arXiv arXiv 2026
-
[29]
Construction of Regular Black Holes in General Relativity
Z.-Y. Fan and X. Wang, Phys. Rev. D94, 124027 (2016), arXiv:1610.02636 [gr-qc]. 14
work page Pith review arXiv 2016
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.