It is widely accepted that the singularity of the Schwarzschild metric at the event horizon is purely an artifact of the coordinates and no physical singularity exists at the horizon. However, as Karlhede had shown in 1982, the
Karlhede's scalar $R^{ijkl;m}R_{ijkl;m}$ (the square of the covariant derivative of the Riemann tensor) changes sign at the Schwarzschild horizon and therefore, in principle, a freely falling observer can detect the moment of crossing the horizon by local measurements (see http://arxiv.org/abs/1404.1845 , Karlhede's invariant and the black hole firewall proposal, by J. W. Moffat and V. T. Toth).
What are geometric meanings of the Karlhede's scalar and black hole horizon
(if the latter indeed can be defined in an invariant way)?
This post imported from StackExchange MathOverflow at 2015-03-30 11:45 (UTC), posted by SE-user Zurab Silagadze