Manuscript IX-D-ST@1 · IX-D-ST.tex · section · b1dc631a

Shared host contract

Shared host contract · lines 292–324

Choose a product-adapted developing chart

ι : U = (- ϵ_{0}, H) \times B_{R} ⟶ M^{\circ}_{δ_{c}}, t = c_{light} (T - T_{Σ}),

whose closure over the retained laboratory stays off $W$ . The developed metric is $- d t^{2} + d x^{2}$ . For analytical comparison formulae use

η = diag (1, - 1, - 1, - 1), P = \partial_{t}^{2} - Δ_{x} .

Changing the overall signature convention does not change the causal relation.

Fix

V = (0, T_{0}) \times B_{r_{0}}, R > r_{0} + T_{0}, H > T_{0},

and retain the entire compact shadow

K_{*} = [0, T_{0}] \times B_{r_{0} + T_{0}} ⋐ U .

All observation tests used for the free sector are in $D (V; C)$ . Their complete truncated chart pasts, including their initial sphere points, lie in the retained laboratory.

Displayed formulas in this passage

unlabeled · line 295
$ι : U = (- ϵ_{0}, H) \times B_{R} ⟶ M^{\circ}_{δ_{c}}, t = c_{light} (T - T_{Σ}),$
unlabeled · line 304
$η = diag (1, - 1, - 1, - 1), P = \partial_{t}^{2} - Δ_{x} .$
unlabeled · line 312
$V = (0, T_{0}) \times B_{r_{0}}, R > r_{0} + T_{0}, H > T_{0},$
unlabeled · line 317
$K_{*} = [0, T_{0}] \times B_{r_{0} + T_{0}} ⋐ U .$

Shared host contract

Displayed formulas in this passage

Nearby in this section