Manuscript X-I-ST@1 · X-I-ST.tex · assumption · 9745fd40

Assumption: Retained supported host

The unchanged host and the support contract · lines 271–310

X-I-ST@1#ass:host

Retain the I-B/X-A-ST instance, including the deficit, time orientation, supported developing chart, laboratory reserve, finite-operation permissions, and time calibration.

Write its regular conical product as

M^{\circ} = R_{T} \times (C_{α} ∖ {o}) \times R_{z}, G = - c_{h}^{2} d T^{2} + d r^{2} + α^{2} r^{2} d φ^{2} + d z^{2},

where $0 < α < 1$ and $c_{h} > 0$ retain their inherited values. The completion defect is the worldsheet

W = R_{T} \times {o} \times R_{z} .

The independent analytical completion, slab, and chart are

M = R^{1 + 3}, η = diag (1, - 1, - 1, - 1), M_{T_{*}} = [0, T_{*}] \times R^{3}, Σ = {t = 0},

ι : L ⟶ M^{\circ}, ι^{*} G = - η, t = c_{h} (T - T_{Σ}) .

The chart is injective on its declared domain, and the retained compact reserve is disjoint from $W$ .

All global free Green operators below act on $M$ , not on the regular conical product.

Displayed formulas in this passage

unlabeled · line 278
$M^{\circ} = R_{T} \times (C_{α} ∖ {o}) \times R_{z}, G = - c_{h}^{2} d T^{2} + d r^{2} + α^{2} r^{2} d φ^{2} + d z^{2},$
unlabeled · line 288
$W = R_{T} \times {o} \times R_{z} .$
unlabeled · line 293
$M = R^{1 + 3}, η = diag (1, - 1, - 1, - 1), M_{T_{*}} = [0, T_{*}] \times R^{3}, Σ = {t = 0},$
unlabeled · line 299
$ι : L ⟶ M^{\circ}, ι^{*} G = - η, t = c_{h} (T - T_{Σ}) .$

Assumption: Retained supported host

Displayed formulas in this passage

Nearby in this section