Manuscript IX-D-ST@1 · IX-D-ST.tex · lemma · b1dc631a

Lemma: A bounded bulk term cannot cancel a surface delta

Exact quadratic support and surface non-cancellation · lines 1758–1780 · proof included or linked

IX-D-ST@1#lem:nocancel

Back to manuscript

Let be locally bounded near , and let be smooth on . If , then

is not zero in any neighbourhood of .

Proof. Choose a spatial test supported arbitrarily near with . Pair with , where and is compactly supported. The delta pairing is fixed and nonzero. Local boundedness makes the bulk pairing . For sufficiently small they cannot cancel.

Displayed formulas in this passage

  • unlabeled · line 1763

Nearby in this section