Take the time-oriented Lorentzian spacetime $(M, g)$ that is not strongly causal.
In such case it is shown that the Alexandrov topology and the Manifolds topology deviate such that the manifold topology is strictly finer than the Alexandrov topology.
My question is that:
The necessary and sufficient conditions under which two points that are distinguishable under the Manifold topology, are indistinguishable under the Alexandrov topology for a generic such spacetime?