Manuscript X-B-ST@1 · X-B-ST.tex · definition · d03c150c

Definition: Normalization sheet

C3: normalization and degree-one uniqueness › The whole-domain normalization sheet · lines 2048–2068

X-B-ST@1#def:sheet, X-B-ST@1#eq:sheet

For fixed $h$ , a map

R : L_{off} ⟶ A_{0}^{(1)}

satisfies the normalization sheet when

ev_{u} R (F_{c}) = - ⟨ c, E_{R} L_{1, g} [h] u ⟩ for every c \in D, u \in Sol_{sc} (P_{m}) .

No linearity or continuity of the candidate is assumed.

If formal $ℏ$ -series are allowed in the codomain, (eq:sheet) is required coefficientwise as an equality of the complete series.

Displayed formulas in this passage

X-B-ST@1#eq:sheet · line 2055
$ev_{u} R (F_{c}) = - ⟨ c, E_{R} L_{1, g} [h] u ⟩ for every c \in D, u \in Sol_{sc} (P_{m}) .$
unlabeled · line 2051
$R : L_{off} ⟶ A_{0}^{(1)}$