I'm reading the following paper about Petrov type D space times called "Type D vacuum metrics":
http://scitation.aip.org/content/aip/journal/jmp/10/7/10.1063/1.1664958
by Kinnersley. I have a question about his choice of gauge.
In particular, starting with the tetrad {lμ,nν,mμ,¯mμ} where lμ,nμ are null, he then makes an argument that we can pick a scaling A such that lμ→Alμ and nμ→(1/A)nμ, and make ∇ll=0 (i.e. lμ a geodesic vector field). He then picks a coordinate system (x1,r,x2,x3) such that lμ=(0,1,0,0). That's what he explains at the beginning of his section 2, and it's clear to me.
What confuses me is what he writes at the beginning of section 3C: he says that there is still freedom left if we choose the scaling, call it A0, to be independent of r. Now, I understand that such choice will not violate the condition ∇ll=0. However, my question is: why doesn't it violate the already chosen lμ=(0,1,0,0)?
What am I missing? Why is one allowed to scale once more?
Thanks for any help.
This post imported from StackExchange MathOverflow at 2015-07-05 20:45 (UTC), posted by SE-user GregVoit