States and boundary terms: subtleties of lorentzian AdS/CFT

We complete the project of specifying the lorentzian AdS/CFT correspondence and its approximation by bulk semi-classical methods begun by earlier authors. At the end, the lorentzian treatment is self-contained and requires no analytic continuation from the euclidean. The new features involve a careful study of boundary terms associated with an initial time t- and a final time t+. These boundary terms are determined by a choice of quantum states. The main results in the semi-classical approximation are 1) The times t± may be finite, and need only label Cauchy surfaces respectively to the past and future of the points at which one wishes to obtain CFT correlators. Subject to this condition on t±, we provide a bulk computation of CFT correlators that is manifestly independent of t±. 2) As a result of (1), all CFT correlators can be expressed in terms of a path integral over regions of spacetime outside of any black hole horizons. 3) The details of the boundary terms at t± serve to guarrantee that, at leading order in this approximation, any CFT one-point function is given by a simple boundary value of the classical bulk solution at null infinity, I