Generators of a null hypersurface

[WannabeNewton]

For a hypersurface [itex]\Sigma [/itex] ,defined by [itex]f(\mathbf{x}) = const.[/itex], the vector field [itex]\zeta^{\mu } = \triangledown ^{\mu }f[/itex] will be normal to [itex]\Sigma [/itex]. If [itex]\boldsymbol{\zeta } [/itex] is null - like then [itex]\Sigma [/itex] will be a null hypersurface. My question is on the justification of the statement that the set of all null geodesics on [itex]\Sigma [/itex] are the generators of [itex]\Sigma [/itex]. The geodesic equation can be written as [itex]\zeta ^{\mu }\triangledown _{\mu }\zeta_{\nu } = \upsilon (\alpha )\zeta _{\nu }[/itex] where [itex]\upsilon (\alpha ) = 0[/itex] if [itex]\alpha [/itex] is affine. Using [itex]\zeta _{\nu } = \triangledown _{\nu }f[/itex], once can arrive at [itex]\zeta ^{\mu }\triangledown _{\mu }\zeta_{\nu } = \frac{1}{2}\triangledown _{\nu }(\zeta ^{\mu }\zeta _{\mu })[/itex]. So, apparently this is where the problem comes because even though [itex]\zeta ^{\mu }\zeta _{\mu } = 0[/itex] on [itex]\Sigma [/itex] we can't be sure it vanishes off of it so we don't know that [itex]\triangledown _{\nu }(\zeta ^{\mu }\zeta _{\mu }) = 0[/itex]. So if you specify the null hypersurface by [itex]\zeta ^{\mu }\zeta _{\mu } = 0[/itex] then the normal vector field will be [itex]\triangledown _{\nu }(\zeta ^{\mu }\zeta _{\mu }) = g\triangledown _{\nu }f[/itex] for some scalar function [itex]g(x)[/itex]. So here is where I am confused: you have [itex]\zeta ^{\mu }\triangledown _{\mu }\zeta _{\nu } = \frac{1}{2}g\zeta _{\nu }[/itex] and you can rescale by setting [itex]\xi ^{\mu } = h(x)\zeta ^{\mu }[/itex] so that [itex]\xi ^{\mu }\triangledown _{\mu }\xi ^{\nu } = 0[/itex] but how do you actually rescale the original normal vector field so that with the rescaled vector field you have the right - side vanishing? Because if this is true then the rescaled normal vector field acts as the generator of the integral curves that, obeying that equation, turn out to be null geodesics whose union is [itex]\Sigma [/itex] but I don't get how you can just rescale the original normal vector field to make the right side of the aforementioned equation vanish.

 

[Kevin_Axion]

Why you so smart?

Don't know what to say, maybe look into Killing vectors.