Manuscript XV-F-patch@1 · XV-F-patch.tex · definition · 6d6ef16d

Definition: Canonical-domain target recipe

Patch J: the target, blocks, stress, and map clauses › The displayed target · lines 1562–1582

XV-F-patch@1#def:mcirc, XV-F-patch@1#eq:mcirc

On the inherited proved domain $O = U_{can}$ , define the notation

m^{\circ} (k) := i Contr^{γ ϕ} (V_{g}^{''}_{γ ϕ}, k; H_{T}_{γ γ} \otimes H_{T}_{ϕϕ} - H_{γ γ} \otimes H_{ϕϕ}), on O,

with the source's tensor pairings, vertex derivatives, and grouped line variables.

This is the displayed canonical-domain recipe from (eq:target). It is not a definition of the characteristic multiplication on all of $W$ . It does not give a preliminary lift on presentations.

Displayed formulas in this passage

XV-F-patch@1#eq:mcirc · line 1565
$m^{\circ} (k) := i Contr^{γ ϕ} (V_{g}^{''}_{γ ϕ}, k; H_{T}_{γ γ} \otimes H_{T}_{ϕϕ} - H_{γ γ} \otimes H_{ϕϕ}), on O,$

Nearby in this section

section: The displayed target
section: The displayed target