Spacetimes foliated by non-expanding null surfaces in the presence of a cosmological constant

Abstract

We prove that every solution to Einstein's equations with possibly non-zero cosmological constant that is foliated by non-expanding null surfaces transversal to a single non-expanding null surface belongs to family of the near (extremal) horizon geometries. Our results are local, hold in a neighborhood of the single non-expanding null surface.