Here and in the following we use the symbol k for both the Killing field ∂t and the corresponding one-form − σ(dt+ a).