A bifurcation surface is a spacelike codimension-two cross-section on which the Killing generator of a bifurcate Killing horizon vanishes. Affine parameters on the future and past branches can be chosen to vanish there.
New to topics? Read the docs here!