REVIEW 4 major objections 5 minor 14 references
Generalized Lema\^itre time for rotating and charged black holes and its near-horizon properties
T0 review · 4 major / 5 minor · reviewed 2026-08-04 · deepseek-v4-flash
Pith's one-line read For rotating and charged black holes, the generalized Lemaître time a particle takes to reach a horizon is finite exactly when a conserved quantity X = E − ωL (rotating) or X = E − qφ (charged) is positive, and diverges when X is negative.
desk verdict Plausible idea undone by a sign slip: the claimed sign-of-X criterion for Lemaître time is actually branch-dependent, and the paper's own equations contradict it. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is X, the conserved combination of Killing energy and angular momentum (or electric charge) measured in the rotating or charged frame. The proof uses a coordinate transformation to a synchronous Lemaître-type frame, with the regularity condition z = ρ/√α on the horizon that cancels the divergent Δ⁻¹ term for X > 0. The sign of X then controls whether the time integral converges or diverges, which in turn determines whether a collision at the horizon can occur.
What would settle it
Choose a different allowable set of the functions z, μ, h (still satisfying regularity condition z = ρ/√α) in the generalized Lemaître frame; if for X < 0 the time integral (24) is finite for any such choice, then the divergence is an artifact of the coordinate choice and the censorship conclusion fails. Alternatively, an explicit Kerr trajectory with X < 0 inside the horizon that reaches the horizon in finite Doran-Natario time would falsify the claim.
Extended reading notes
Core claim
For a broad class of stationary axially symmetric black holes (including Kerr), and for the Reissner-Nordström metric with charged particles, the behavior of the generalized Lemaître/Doran-Natario time near a horizon is governed by the sign of X = E − ωL (rotating) or X = E − qφ (charged). When X > 0 the coordinate singularity in the time integral is cancelled by the regularity condition of the free-fall frame, leaving a finite time. When X < 0, which is allowed only inside the horizon, the cancellation fails and the time diverges logarithmically. Since two particles colliding exactly at the horizon with infinite center-of-mass energy would require one with X > 0 and one with X < 0, and the
Load-bearing premise
The claim that the divergence of the Lemaître time is governed solely by the sign of X, independent of the arbitrary functions z, μ, h in the coordinate transformation—the paper relies on the specific regularity condition (15) without proving frame-independence.
Editorial extensions
If this is right
- The Bañados–Silk–West effect and its inner-horizon analogues cannot produce literally infinite collision energy, because the required particle with X < 0 never reaches the horizon in finite Lemaître time.
- Kinematic censorship—the impossibility of releasing infinite energy in a physical event—holds for rotating (Kerr) and charged (Reissner-Nordström) black holes, including their inner horizons.
- The sign of X serves as a unified diagnostic: it simultaneously determines the regularity of the free-fall time, the forward-in-time condition, and the divergence of center-of-mass collision energy.
- For Reissner-Nordström, the same dichotomy applies to charged particle trajectories, where X = E − qφ plays the role of the kinematic momentum.
Reading between the lines
- The censorship argument relies on the divergence of a specific coordinate time (Lemaître time); since proper time to the horizon is finite, the claim that the event 'does not occur' privileges this frame. A coordinate-invariant formulation would strengthen or qualify the result.
- If the sign rule is generic, it should apply to any stationary black hole with a conserved charge-like quantity (e.g., Kerr-Newman), and to other synchronous time coordinates, offering a testable extension.
- One could numerically simulate a near-extremal Kerr inner horizon and check whether a particle with X < 0 launched inside ever reaches the horizon in the Doran-Natario time; a finite arrival would falsify the paper's divergence claim.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript studies the behavior of a generalized Lemaître time (also covering Doran–Natarió-type coordinates) for particles approaching the horizons of rotating and charged black holes. For a general axisymmetric metric of the form (1) and for the Reissner–Nordström metric, the paper claims that the finiteness or divergence of this time as the horizon is approached is controlled by the sign of a generalized energy X = E − ω L (rotating case) or X = E − q φ (charged case). It further claims that particles with X < 0 cannot reach the horizon in finite Lemaître time, while X > 0 particles do so, and uses this to explain why collisions inside the horizon do not produce literally infinite center-of-mass energy (kinematic censorship). The Kerr case is treated for non-equatorial motion using the Carter constant; the Reissner–Nordström case is treated for radial charged-particle motion.
Significance. If established, this would be a useful and conceptually clean explanation of why BSW-type singular collisions inside black hole horizons are not realized: opposing signs of X would give infinite E_cm, but the negative-X particle would take an infinite generalized Lemaître time to reach the horizon. The paper also provides a coordinate-invariant expression for X and extends earlier work from Schwarzschild to Kerr (including non-equatorial geodesics) and to charged Reissner–Nordström particles. The main derivations are analytic and the physical idea is attractive. However, as written, the central sign/branch argument contains a load-bearing error that reverses the claimed dichotomy under the paper's own stated conventions. The manuscript is therefore not yet in a publishable form, but the issue is local and potentially fixable.
major comments (4)
- Eq. (19) omits the factor σ from Eq. (8). From (8), dt/dr = σ X√A/(P N) = σ X ρ/(P √α Δ). Since (10) gives dt̄/dr = dt/dr − z/Δ, one obtains dt̄/dr = [σ X ρ/(P√α) − z]/Δ. For an infalling particle near a black hole horizon, σ = −1. With X > 0, P → X, so the integrand becomes [−ρ/√α − z]/Δ. Under the paper's explicit choice z > 0 in (15), this is −2ρ/(√α Δ), whose integral diverges logarithmically; cancellation occurs only for z = −ρ/√α, the standard ingoing Lemaître/Painlevé–Gullstrand branch. Thus the claim that 'the main divergences cancel and t̄ remains finite' is not correct for the branch stated in the paper. This directly undermines the central dichotomy X > 0 finite / X < 0 divergent.
- The same branch problem affects the interior analysis. Equation (24) is written without the σ factor and without a consistent sign from the r ↔ T interchange. With the paper's z > 0 convention, the leading terms in the integrand for X < 0 cancel, so the claimed divergence of t̄ for X < 0 is not obtained; instead, for the stated branch, X > 0 would diverge and X < 0 would be finite. The finiteness/divergence property is therefore not a property of sign(X) alone; it depends on the branch z = ±ρ/√α. The paper must state which branch corresponds to the physical ingoing Lemaître time and carry that branch consistently through both Eq. (19) and Eq. (24).
- The transformation (34) does not reproduce the standard Painlevé–Gullstrand/Lemaître form for Schwarzschild. Taking e0 = m0 = 1, f = 1 − 2M/r, the definition P0 = √(e0² − f) gives P0 = √(2M/r). Then (34) reads dt = dt̃ − dr/(f√(2M/r)), whereas the standard ingoing transformation is dt = dT − (√(2M/r)/f) dr, i.e. the coefficient of dr is P0/f, not 1/(fP0). Substituting the displayed (34) into (31) does not yield (35). This error propagates into the derivation of (42)–(44), so the near-horizon finiteness claim in §IV.A is not supported as written.
- The statement 'P → +X outside the horizon' is used to justify cancellation, but the relevant combination is σX/P. For an infalling particle σ = −1, so σX/P → −1, and the sign matters. The manuscript should reintroduce σ explicitly throughout and confront the branch choice z > 0 with the requirement of an ingoing regular frame. This is not a matter of presentation: without the correct branch, the main physical conclusion is reversed.
minor comments (5)
- The integration variable is written as r' but the limits are not specified; clarify whether the integral is from some initial radius to r or from r to the horizon. The sign of the divergence (to +∞ or −∞) should also be stated.
- The notation P0 is used both as m0√(e0² − f) and, implicitly, as the inverse of the coefficient that appears in the standard transformation; this should be clarified. Also, 'Coloumb' should be 'Coulomb'.
- The sign σ is defined but then not used in later equations (19) and (24); either use it consistently or explain why it is dropped.
- The phrase 'without the loss of generality' before setting μ = αρ² and ρ = 1 may overstate the generality; the impact of these simplifications on the near-horizon sign analysis should be acknowledged.
- The paper relies heavily on the authors' previous publications [4], [12], [14] for the coordinate frames and for the kinematic-censorship argument; a reader unfamiliar with those works would benefit from a self-contained statement of the key properties of the generalized Lemaître time.
Circularity Check
No significant circularity: the derivation is self-contained, but the central X-sign criterion is not established as written because Eq. (19) drops the sigma branch factor, making the finiteness/divergence branch-dependent.
full rationale
The paper does not fit parameters or rename data. X is defined from the metric symmetries and conserved quantities in Eqs. (4)-(6), not imposed to force the time behavior. The Lemaitre-time divergence is derived from the coordinate transformation (10)-(15) and the geodesic equations, independent of the CM-energy formula (50). The main self-citations ([4], [8], [14]) supply the coordinate framework and the kinematic-censorship vocabulary, but the core algebra is reproduced in the manuscript, so no self-citation chain forces the central result. However, there is a serious derivation gap: Eq. (8) contains a sigma factor, but Eq. (19) omits it. The cancellation that is claimed to make tbar finite for X>0 is only valid for sigma=+1 (the outgoing/white-hole branch). For the infalling black-hole case announced in the abstract (sigma=-1), the leading terms add rather than cancel, so tbar diverges for X>0 and the sign-of-X criterion reverses with the z-branch choice. This is a correctness risk and an omitted-condition issue, not an equivalence-by-definition or a fitted-parameter renaming, so it does not raise the circularity score above 2.
Assumptions & free parameters
assumptions (3)
- domain assumption The spacetime is a stationary, axially symmetric black hole with metric (1), and particle motion is confined to the equatorial plane where theta=pi/2.
- domain assumption The coordinate transformation (10)-(15) can be chosen to make the metric regular on the horizon, with z>0 and z^2 alpha=rho^2 at r=r+.
- domain assumption The forward-in-time condition outside the horizon requires X>0, and inside the horizon X can have either sign.
Cite this review
Pith. "Pith review of Generalized Lema\^itre time for rotating and charged black holes and its near-horizon properties." pith.science (2026). https://pith.science/paper/3LTMZHR5
@misc{pith2026250912485,
author = {Pith},
title = {Pith review of: Generalized Lema\^itre time for rotating and charged black holes and its near-horizon properties},
year = {2026},
howpublished = {\url{https://pith.science/paper/3LTMZHR5}},
note = {Machine review of arXiv:2509.12485}
}
read the original abstract
We consider the behavior of the analogue of the Lemaitre time when a particle approaches the horizon of a rotating black hole. For the Kerr metric, the aforementioned time coincides with the Doran or Natario time but we consider a more general class of metrics. We scrutiny relationship between (i) its finiteness or divergence, (ii) the forward-in-time condition, (iii) the sign of a generalized momentum/energy, (iv) the validity of the principle of kinematic censorship. The latter notion means impossibility to release in any event an energy which is literally infinite. As a consequence, we obtain a new explanation, why collisions of two particles inside the horizon do not lead to infinite energy in their center of mass frame. The same results are also obtained for the Reissner-Nordstr\"om metric
Reference graph
Works this paper leans on
-
[1]
L. D. Landau and E. M. Liefshitz, The Classical Theory of Fields Pergamon Press, New York (1971)
1971
-
[2]
Doran, New form of the Kerr solution
C. Doran, New form of the Kerr solution. Phys. Rev. D61, 067503 (2000)
2000
-
[3]
Natario, Painleve–Gullstrand coordinates for the Kerr solution
J. Natario, Painleve–Gullstrand coordinates for the Kerr solution. Gen. Relativ. Gravit.41, 2579 (2009)
2009
-
[4]
O. B. Zaslavskii, On regular frames near rotating black holes. Gen Relativ Gravit50, 123 (2018), [arXiv:1802.07069]
arXiv 2018
-
[5]
V. M. Khatsymovsky, On the Kerr metric in a synchronous reference frame, Int. Journ. Mod. Phys. D,30,2150071 (2021) [arXiv:2101.07147]
arXiv 2021
-
[6]
M. Ba˜ nados, J. Silk and S.M. West, Kerr Black Holes as Particle Accelerators to Arbitrarily High Energy, Phys. Rev. Lett.103(2009) 111102 [arXiv:0909.0169]
arXiv 2009
-
[7]
O. B. Zaslavskii, Acceleration of particles near the inner black hole horizon, Physical Review D85,024029 (2012) [arXiv:1110.5838]
arXiv 2012
-
[8]
Yu. V. Pavlov and O. B. Zaslavskii, Kinematic censorship as a constraint on allowed scenarios of high energy particle collisions, Grav. Cosmol.25,390 (2019) [arXiv:1805.07649]
arXiv 2019
Show all 14 references
-
[9]
Painlev´ e, La m´ ecanique classique et la th´ eorie de la relativit´ e
P. Painlev´ e, La m´ ecanique classique et la th´ eorie de la relativit´ e. C. R. Acad. Sci. (Paris)173, 677 (1921)
1921
-
[10]
Gullstrand, Allgemeine L¨ osung des statischen Eink¨ o rperproblems in der Einsteinschen Gravitationstheorie
A. Gullstrand, Allgemeine L¨ osung des statischen Eink¨ o rperproblems in der Einsteinschen Gravitationstheorie. Arkiv. Mat. Astron. Fys.16(8), 1 (1922)
1922
-
[11]
Frolov and I.D
V.P. Frolov and I.D. Novikov, Physics of black holes, Kluwer Academic, Dordrecht, 1998
1998
-
[12]
A. V. Toporensky, O. B. Zaslavskii, General radially moving references frames in the black hole background, Eur. Phys. J. C83, 225 (2023)[arXiv:2210.03670]. 14
2023 arXiv
-
[13]
Novikov, R- and T-regions in space-time with spherically symmetric space, General Rela- tivity and Gravitation,33, 2259 (2001)
I.D. Novikov, R- and T-regions in space-time with spherically symmetric space, General Rela- tivity and Gravitation,33, 2259 (2001). (Reprint of Communications of the Shternberg State Astronomical Institute, 132 (3), 3 (1964))
2001
-
[14]
A. V. Toporensky, O. B. Zaslavskii, Kinematic censorship and high energy particle collisions in the Schwarzschild background, Int. J. Mod Phys. D34, 2550038 (2025) [arXiv:2411.01989]
2025 arXiv
Reviewed August 4, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.