Manuscript XIV-E@1 · XIV-E.tex · section · e89fd2a5

Two different lifts of the copied stratum

The ambient-space audit for a common symbol › Two different lifts of the copied stratum · lines 821–842

Let

W = A \times B \times Z \times Y

in the coordinate order $(a, b, z, y)$ , with dimension sixteen. Let

P : W ⟶ B \times A \times Y, P (a, b, z, y) = (b, a, y) .

Define

N_{att} = P^{- 1} (N^{\circ}), D_{obs} = {a = z} \cap W, N_{att} = N_{att} \cap D_{obs} .

The overline in $N_{att}$ is notation for this full lift, not a topological closure.

Displayed formulas in this passage

unlabeled · line 824
$W = A \times B \times Z \times Y$
unlabeled · line 829
$P : W ⟶ B \times A \times Y, P (a, b, z, y) = (b, a, y) .$
unlabeled · line 834
$N_{att} = P^{- 1} (N^{\circ}), D_{obs} = {a = z} \cap W, N_{att} = N_{att} \cap D_{obs} .$