In a previous work, we classified weakly complete surfaces which admit a real analytic plurisubharmonic exhaustion function; we showed that, if they are not proper over a Stein space, then they admit a pluriharmonic function, with compact Levi-flat level sets foliated with dense complex leaves. We called these Grauert type surfaces. In this note, we investigate some properties of these surfaces. Namely, we prove that the only compact curves that can be contained in them are negative in the sense of Grauert and that the level sets of the pluriharmonic function are connected, thus completing the analogy with the Cartan–Remmert reduction of a holomorphically convex space. Moreover, in our classification theorem, we had to pass to a double cover to produce the pluriharmonic function; the last part of the present paper is devoted to the construction of an example where passing to a double cover cannot be avoided.
A classification theorem for compact Cauchy horizons in vacuum spacetimes
