1: \begin{abstract}

2:   CFTs in Euclidean signature satisfy well-accepted rules, such as the

3:   convergent Euclidean OPE. It is nowadays common to assume that CFT

4:   correlators exist and have various properties also in Lorentzian signature.

5:   Some of these properties may represent extra assumptions, and it is an open

6:   question if they hold for familiar statistical-physics CFTs such as the

7:   critical 3d Ising model. Here we consider Wightman 4-point functions of

8:   scalar primaries in Lorentzian signature. We derive a minimal set of their

9:   properties solely from the Euclidean unitary CFT axioms, without using extra

10:   assumptions. We establish all Wightman axioms (temperedness, spectral

11:   property, local commutativity, clustering), Lorentzian conformal invariance,

12:   and distributional convergence of the s-channel Lorentzian OPE. This is done

13:   constructively, by analytically continuing the 4-point functions using

14:   the s-channel OPE expansion in the radial cross-ratios $\rho, \bar{\rho}$.

15:   We prove a key fact that $| \rho |, | \bar{\rho} | < 1$ inside the forward

16:   tube, and set bounds on how fast $| \rho |, | \bar{\rho} |$ may tend to 1

17:   when approaching the Minkowski space.

18:   

19:   We also provide a guide to the axiomatic QFT literature for the modern CFT

20:   audience. We review the Wightman and Osterwalder-Schrader (OS) axioms for

21:   Lorentzian and Euclidean QFTs, and the celebrated OS theorem connecting

22:   them. We also review a classic result of Mack about the distributional OPE

23:   convergence. Some of the classic arguments turn out useful in our setup.

24:   Others fall short of our needs due to Lorentzian assumptions (Mack) or

25:   unverifiable Euclidean assumptions (OS theorem). 

26: \end{abstract}

27: