Manuscript XVI-J@1 · XVI-J.tex · proposition · 6c1f306d
Proposition: The numerical kernel
Ambient propagator and the punctured numerical square › Off-origin product · lines 506–534 · proof included or linked
XVI-J@1#prop:q, XVI-J@1#eq:q
The distribution
exists on , including nonzero null points. It is homogeneous of degree , has scaling degree four at the origin, and is nonzero.
Proof. The single conormal orientation just described satisfies Hörmander's product criterion. At non-null points both factors are smooth. The product is therefore defined on the entire punctured domain.
The massless is homogeneous of degree , so its defined punctured square is homogeneous of degree . It is not zero: at a spacelike point,
A nonzero homogeneous distribution of degree has scaling degree four.
Displayed formulas in this passage
XVI-J@1#eq:q · line 509
unlabeled · line 528