Manuscript X-L-ST@1 · X-L-ST.tex · proposition · 20a32a22
Proposition: The regular product supplies no global Cauchy inverse
Unchanged host and analytical completion · lines 291–312 · proof included or linked
X-L-ST@1#prop:host
The regular conical product is not globally hyperbolic. No global Green operator on that product is used here.
Proof. Fix , a radial ray, and . Choose . The causal diamond between the points with coordinates and contains
This sequence approaches the excluded worldsheet and has no convergent subsequence in . The diamond is not compact.
The Green operators constructed below are instead the specified Minkowski operators on .
Displayed formulas in this passage
unlabeled · line 303