Manuscript XV-A@1 · XV-A.tex · section · f53f3515

Copied off-characteristic reference

The supported-sector reference and its conditional interface › Copied off-characteristic reference · lines 1211–1255

XV-A@1#eq:reference, XV-A@1#eq:referenceWF

XIV-J supplies a reference only for (eq:supported) on $U ∖ N_{U}$ . For a vertex component $D$ , the source writes its normal form as

t_{D}^{\circ} = ∣ α ∣ \leq 3 β \leq α \sum (- 1)^{∣ β ∣} (β α) E_{α - β} (v_{α} c_{D, β}) .

The insertion maps, coefficients, and trace operations are those of the source chart.

The copied wavefront bound is

WF (t_{D}^{\circ}) \subseteq Γ_{supp}^{\circ} = N^{*} S_{resp}_{U ∖ N_{U}} ∖ 0 \cup i = 1 ⋃^{2} {(w, λ d q_{i} + ω) : w \in S_{resp} ∖ N_{U}, q_{i} (w) = 0, λ \neq = 0, ω \in N_{w}^{*} S_{resp}} ∖ 0.

This bound, including the source traceability argument for the cross-lines, is a copied input, not a new wavefront theorem proved by XV-A Jreference.

The reference is not a value on tests crossing $N_{U}$ . It omits the characteristic joint compositions of $K_{47}$ and both $K_{5}$ placements. Consequently it is not the full map (eq:map).

Displayed formulas in this passage

XV-A@1#eq:reference · line 1216
$t_{D}^{\circ} = ∣ α ∣ \leq 3 β \leq α \sum (- 1)^{∣ β ∣} (β α) E_{α - β} (v_{α} c_{D, β}) .$
XV-A@1#eq:referenceWF · line 1229
$WF (t_{D}^{\circ}) \subseteq Γ_{supp}^{\circ} = N^{*} S_{resp}_{U ∖ N_{U}} ∖ 0 \cup i = 1 ⋃^{2} {(w, λ d q_{i} + ω) : w \in S_{resp} ∖ N_{U}, q_{i} (w) = 0, λ \neq = 0, ω \in N_{w}^{*} S_{resp}} ∖ 0.$