The Timelike Tube Theorem in Curved Spacetime

The timelike tube theorem asserts that in quantum field theory without gravity, the algebra of observables in an open set $${\mathcal {U}}$$ is the same as