Manuscript XV-F@3 · XV-F-v3.tex · remark · d4e74afa

Remark: A candidate for the response incidence

Source manifest (Gate F0) › Existence and supports of the internal expressions · lines 1473–1486

XV-F@3#eq:Srespcand

The set ${(b - a)^{2} = 0, a = z}$ in (eq:Lresp) has codimension $1 + 4 = 5$ in $W$ , the reported codimension of $S_{resp}$ record,Jreference; it contains the supports of $K_{6}$ and $K_{9}$ and the singular locus of $B (b - a)$ ; in the chart $w_{+}$ it is ${q_{+} = 0, r_{+} = 0}$ . By the reading rule none of this identifies the two. We record

S_{resp} = ? {(b - a)^{2} = 0, a = z} \subset W

as a candidate (status C for D0.7). Promotion requires the defining equation of $S_{resp}$ in XIV-J.

Displayed formulas in this passage

XV-F@3#eq:Srespcand · line 1480
$S_{resp} = ? {(b - a)^{2} = 0, a = z} \subset W$

Nearby in this section

lemma: Lemma: The source kernel exists and is carried by v=a=z
theorem: Theorem: The six internal expressions exist for every completion of the undefined data
corollary: Corollary: Conditional consequences of the candidate readings of f and m
proposition: Proposition: Supports of the supported sector
remark: Remark: A check that cannot be performed