The inverse of the metric tensor block isThe normal covector has squared norm . ThereforeMore explicitly, the induced metric tensor is ; at zero its sole zero direction is . The coefficients are independent of , so is a Killing vector field. On ,Hence is both tangent and normal to this null hypersurface, proving it is a Killing horizon. The definition of surface gravity is on the Killing horizon, or equivalently . Since vanishes there while ,Thus this is a degenerate Killing horizon, and is an affine parameter on each of its null geodesics.
For a concrete horizon frequency comparison, fix the same angular position for a narrow high-frequency light beam and two freely falling radial observers. Work in geometric optics, with the beam's affinely transported wavevector tangent to the Killing horizon, . Here is constant because . Choose the observers as translates of one timelike geodesic by the isometry generated by , crossing at and . Give them the same positive Killing energy per unit rest mass, . At their crossings their normalized four-velocities havewhich satisfy . They can be realized by local geodesics with precisely these initial data. The measured angular frequency isTo connect this measurement to surface gravity, if with constant , affine transport of would give . For observers related by the same Killing vector field translation, agrees at the crossings, giving . Here there is no accumulated redshift along the Killing horizon for these equally prepared observers. Arbitrary observers with different four-velocities can still measure different frequencies through their different Killing energies.
Articles by others on the same topic
There are currently no matching articles.