Manuscript IX-Free-2@1 · IX-Free-2.tex · section · abb2397a
Charge audit
Proof and verification audit › Charge audit · lines 1989–2004
The advanced-trace sign is determined by . With the source , this sign produces the positive integral in (eq:positivewitness).
The complex witness is reduced to real smooth configurations by linear decomposition, not by an assumption that nonconvergence itself supplies a charge coordinate.
For the old algebra, zero charge follows from its microcausal wavefront condition, admission, the injective boundary tensor , and the noncancellation of a delta coefficient by a lower-order Heaviside coefficient.