- The paper constructs a Bianchi-consistent charged thin-shell collapse model with a neutral FLRW interior, a scale-dependent charged exterior, and closed Israel–Maxwell dynamics governed by a finite parameter set.
- Charge cancellation at q²=x_s removes the finite-radius curvature singularity from the metric through pole-factor cancellation, although the running gravitational coupling G(x) remains divergent there.
- The paper shows that physical extremality requires the degenerate horizon to lie outside the singular boundary, while the pole sign controls local null emission and supports horizon-shielding evidence only for 0≤q²<x_s.
Model construction and effective exterior geometry
The paper develops a charged extension of the scale-dependent Oppenheimer–Snyder collapse model, in which a spatially flat FLRW interior is matched across a timelike thin shell to a charged, scale-dependent exterior (2608.16341). The key structural choice is that electric charge resides entirely on the stellar surface: a volume electric field in the interior would break FLRW homogeneity and isotropy, so the neutral interior is paired with a charged exterior carrying a Maxwell surface current at the boundary.
The exterior is not derived from an action-based scale-dependent Einstein–Maxwell theory. Instead, the authors posit an effective field equation Gμν=8πG(r)TEMμν+Θμν, where the polarization tensor Θμν is reconstructed so that (i) the Schwarzschild gauge condition gttgrr=−1 is admissible, (ii) the classical Einstein–Maxwell limit is recovered as G′(r)→0, and (iii) the modified conservation relation ∇μΘμν=−8πTEMμν∂νG required by the contracted Bianchi identity is satisfied. The resulting lapse is
fq(x)=1−xg(x)+x2q2g(x)=D(x)Hq(x),
with running coupling g(x)=x3/D(x), D(x)=x3+ω~(x+γ/2), and Hq(x)=x3−x2+(ω~+q2)x+ω~γ/2. The model correctly reduces to the uncharged scale-dependent case at q=0 and to Reissner–Nordström at Θμν0. This phenomenological, equation-level construction is a deliberate concession: the lapse is not claimed to follow from the standard action formulation of scale-dependent gravity, and the authors state this plainly.
Closed thin-shell dynamics
The shell system is closed by combining the Maxwell junction condition, the Israel equations, and shell energy conservation. Charge conservation on the shell gives Θμν1 with Θμν2 constant. The angular Israel equation yields Θμν3, which must be retained as an unsquared branch condition requiring Θμν4. Imposing the barotropic surface equation of state Θμν5 integrates the conservation law to Θμν6, producing a first-order equation of motion Θμν7 governed by the finite parameter set Θμν8.
A notable feature is the explicit consistency check: substituting the second-order equation Θμν9 back into the temporal junction equation reproduces gttgrr=−10 exactly, confirming mutual consistency of the angular and temporal junction equations, the conservation law, and the equation of state. The charged-dust case (gttgrr=−11) gives constant shell material energy gttgrr=−12 and the effective potential gttgrr=−13.
Two clarifications guard against common errors. First, the electromagnetic force per unit area gttgrr=−14 is already encoded in gttgrr=−15 and the normal Israel equation; adding it separately to gttgrr=−16 would double-count. Second, the initial data are constrained: gttgrr=−17, so prescribing gttgrr=−18 independently overdetermines the shell. The paper also distinguishes a genuine massive charged shell from a Maxwell-current-only configuration (gttgrr=−19), which has no gravitational thin shell and should not be labeled as one.
Geometry at the finite-radius boundary and the cancellation condition
For G′(r)→00 with G′(r)→01, G′(r)→02 has a unique positive root G′(r)→03. Since G′(r)→04 and G′(r)→05, the lapse behaves as
G′(r)→06
so the sign of G′(r)→07 determines the sign of the pole. For G′(r)→08, the Kretschmann scalar diverges as G′(r)→09, establishing ∇μΘμν=−8πTEMμν∂νG0 as a curvature singularity in both the negative- and positive-pole sectors. Charge above ∇μΘμν=−8πTEMμν∂νG1 reverses the pole sign but does not remove the singularity.
The exceptional value ∇μΘμν=−8πTEMμν∂νG2 produces simultaneous zeros of numerator and denominator; l'Hôpital's rule gives the finite value ∇μΘμν=−8πTEMμν∂νG3, and the common factor cancels so the metric admits an analytic extension through ∇μΘμν=−8πTEMμν∂νG4. This is the only charge for which the finite-radius curvature singularity disappears. An important caveat is stated explicitly: the running coupling ∇μΘμν=−8πTEMμν∂νG5 remains divergent at ∇μΘμν=−8πTEMμν∂νG6, so the geometry is regular while the chosen parametrization of the scale-dependent sector is not.
Horizon classification and physical extremality
The paper's central technical correction concerns the extremality condition. Horizons satisfy ∇μΘμν=−8πTEMμν∂νG7; a degenerate horizon obeys the pair ∇μΘμν=−8πTEMμν∂νG8, giving the algebraic cubic ∇μΘμν=−8πTEMμν∂νG9. However, because the physical exterior is restricted to fq(x)=1−xg(x)+x2q2g(x)=D(x)Hq(x),0, an algebraic double root with fq(x)=1−xg(x)+x2q2g(x)=D(x)Hq(x),1 is unphysical. Using fq(x)=1−xg(x)+x2q2g(x)=D(x)Hq(x),2, a physical extremal root exists only when fq(x)=1−xg(x)+x2q2g(x)=D(x)Hq(x),3, equivalently fq(x)=1−xg(x)+x2q2g(x)=D(x)Hq(x),4 with
fq(x)=1−xg(x)+x2q2g(x)=D(x)Hq(x),5
For fq(x)=1−xg(x)+x2q2g(x)=D(x)Hq(x),6, fq(x)=1−xg(x)+x2q2g(x)=D(x)Hq(x),7 and fq(x)=1−xg(x)+x2q2g(x)=D(x)Hq(x),8; the extremal curve is physically relevant only for fq(x)=1−xg(x)+x2q2g(x)=D(x)Hq(x),9. Portions of a phase diagram extending to, say, g(x)=x3/D(x)0 must not be read as containing a physical degenerate horizon. This restriction materially changes the classification:
| Regime |
Condition |
Behavior at g(x)=x3/D(x)1 |
Horizons in g(x)=x3/D(x)2 |
| Negative-pole |
g(x)=x3/D(x)3 |
Curvature singularity, g(x)=x3/D(x)4 |
One outer horizon |
| Cancellation |
g(x)=x3/D(x)5 |
Pole removed |
Depends on g(x)=x3/D(x)6 |
| Two-horizon |
g(x)=x3/D(x)7, g(x)=x3/D(x)8 |
Singularity, g(x)=x3/D(x)9 |
Two simple horizons |
| Extremal |
D(x)=x3+ω~(x+γ/2)0, D(x)=x3+ω~(x+γ/2)1 |
Singularity |
One degenerate horizon |
| Horizonless |
D(x)=x3+ω~(x+γ/2)2, or D(x)=x3+ω~(x+γ/2)3 if D(x)=x3+ω~(x+γ/2)4 |
Singularity |
None |
Here D(x)=x3+ω~(x+γ/2)5 is the physical horizon-loss threshold. The implication is that charge does not merely displace the outer horizon: it can change the horizon count, produce a degenerate configuration, or eliminate horizons entirely, leaving a finite-radius curvature singularity with no shielding horizon.
Outgoing null behavior and horizon shielding
In ingoing Eddington–Finkelstein coordinates, outgoing radial null rays obey D(x)=x3+ω~(x+γ/2)6, which near D(x)=x3+ω~(x+γ/2)7 integrates to D(x)=x3+ω~(x+γ/2)8 with D(x)=x3+ω~(x+γ/2)9 and Hq(x)=x3−x2+(ω~+q2)x+ω~γ/20. The sign of Hq(x)=x3−x2+(ω~+q2)x+ω~γ/21 is decisive. For Hq(x)=x3−x2+(ω~+q2)x+ω~γ/22, Hq(x)=x3−x2+(ω~+q2)x+ω~γ/23 and Hq(x)=x3−x2+(ω~+q2)x+ω~γ/24: no real outgoing branch exists for Hq(x)=x3−x2+(ω~+q2)x+ω~γ/25, so the singular boundary is locally non-emitting. For Hq(x)=x3−x2+(ω~+q2)x+ω~γ/26, real outgoing branches exist for Hq(x)=x3−x2+(ω~+q2)x+ω~γ/27 and the boundary is locally emitting. Reversing the sign of the lapse pole therefore reverses the local causal character of the singular boundary.
The numerical charged-dust example (Hq(x)=x3−x2+(ω~+q2)x+ω~γ/28, Hq(x)=x3−x2+(ω~+q2)x+ω~γ/29, q=00, q=01, q=02) shows monotonic collapse with no turning point: the shell crosses the outer horizon q=03 at q=04 and reaches q=05 only at q=06. The interior apparent horizon, q=07, intersects the surface at q=08, q=09, after which the trapped region expands through the interior. The authors note that the exterior horizon crossing precedes the apparent-horizon intersection without contradiction, since one is a Killing horizon of the static exterior and the other is a slicing-dependent quasilocal surface.
The paper is careful to scope its claim: the local non-emission property and the ordering Θμν00 along a monotonic, dynamically admissible trajectory together constitute model-level evidence for horizon shielding, not a proof of weak cosmic censorship. In the positive-pole two-horizon case (Θμν01, with Θμν02, Θμν03), local emission does not establish global nakedness, since outgoing rays must still traverse the full dynamical geometry and the outer horizon; moreover, the null-ray analysis rests on a leading-order near-Θμν04 expansion that should not be extrapolated to large radii. The shielding conclusion is explicitly restricted to Θμν05.
Limitations and open questions
Several limitations are acknowledged within the paper itself. The effective source Θμν06 is phenomenological and Bianchi-consistent but is not derived from the action-based scale-dependent Einstein–Maxwell system, so the exterior lapse is a model assumption rather than a prediction of a fundamental formulation. The shell dynamics require a phenomenological barotropic closure; only the dust case is worked out numerically, and the extremal configuration is flagged as requiring a separate collapse analysis. The horizon-shielding argument combines a local null-ray result with a single representative trajectory, and the authors state that neither element alone, nor the pair jointly, constitutes a proof of global censorship. Open questions left by the paper include whether the cancellation surface Θμν07 admits a complete dynamical matching (given the residual divergence of Θμν08), how the positive-pole horizonless sector evolves globally, and whether the local emission result in the positive-pole region survives propagation through the full matched spacetime.
Conclusion
This work constructs a charged thin-shell collapse model in scale-dependent gravity with a Bianchi-consistent effective exterior source and fully closed shell dynamics. Charge partitions the parameter space into a negative-pole regime with a single outer horizon and a locally non-emitting singularity, a tuned cancellation value at which the finite-radius curvature singularity is removed from the metric (though the running coupling remains singular), and a positive-pole regime whose horizon content depends on the physical extremality condition Θμν09. The principal results are the corrected extremality classification, the demonstration that the sign of the lapse pole controls local null emission, and model-level evidence for horizon shielding confined to Θμν10.