is the spatial metric, is the scalar lapse function, is the shift vector, is the spatial covariant derivative, and is the extrinsic curvature.
Equations of motion:
In terms of the time derivative operator , the equations of motion are:
where is the spatial Ricci tensor. Constraints and constraint evolution system: