Contracted Lorentz invariance for gravity with a preferred foliation

In canonical gravity, the choice of a local time direction is not obviously compatible with local Lorentz invariance. One way to address this issue is to view gravity as a gauge theory on observer space, rather than spacetime. In a Lorentz covariant theory, observer space is the space of unit future-directed timelike vectors; picking such a vector locally breaks the symmetry to a subgroup SO(D) of SO(D,1), so that on observer space the local symmetry group is SO(D). Observer space geometries naturally describe any gravitational theory that only assumes local invariance under SO(D). Here we construct nonrelativistic observer spaces for gravity with a fixed foliation, applicable to preferred foliation theories such as Hořava-Lifshitz gravity. Different Hořava-Lifshitz observers at a point are related by a change in the shift vector, leaving the preferred foliation invariant. Gravity is formulated on a nonrelativistic frame bundle with structure group ISO(D); the shift vector acts as a symmetry breaking field breaking ISO(D) symmetry spontaneously to SO(D). A natural torsion-free connection is constructed, including the usual SO(D,1) connection of relativistic gravity plus terms depending on derivatives of the shift vector. This observer space geometry provides a novel geometric framework for the study of preferred foliation theories.