As we are considering stationary configurations we use the dimensional reduction with respect to the asymptotically time-like Killing field
k
with norm
.