Regular ambient–slab identification

A time band containing a full Minkowski Cauchy surface cannot be relatively compact in spacetime. Accordingly choose

with closure contained in the slab in the time direction. All smearings used below are compact even though $N$ is not.