Lemma 3.16 (Cancellation Lemma) . [0507] Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Source coverage notes Source fidelity gap: the original arXiv HTML omits an author TeX footnote attached to equation e:def-omega, including its reference to Remark r:error-function. The retained HTML is preserved as published; the original author TeX remains available. TeX correspondence is not complete. Complete original source context · Original author HTML
Lemma 3.16 (Cancellation Lemma).
A i α β ⋅ y β ⋅ d x i ∧ η α ^ − y α ( d η α + 1 ∧ η α + 2 − η α + 1 ∧ d η α + 2 ) \displaystyle A_{i\alpha\beta}\cdot y_{\beta}\cdot dx_{i}\wedge\eta_{\widehat{\alpha}}-y_{\alpha}(d{\eta_{\alpha+1}}\wedge{\eta_{\alpha+2}}-{\eta_{\alpha+1}}\wedge d{\eta_{\alpha+2}})
(3.144) = \displaystyle= − A i j α β y β y μ d y μ α ^ ∧ d x i ∧ d x j + Π 3 ( 2 ) + O ~ ( r 3 ) . \displaystyle-A_{ij\alpha\beta}y_{\beta}y_{\mu}dy_{\widehat{\mu\alpha}}\wedge dx_{i}\wedge dx_{j}+\Pi_{3}^{(2)}+{\widetilde{O}}(r^{3}).