Manuscript XI-D@1 · XI-D.tex · section · 994a5c1b
What a continuity claim would require
D1–D2: the admission interface › What a continuity claim would require · lines 598–634
A possible source topology can be specified on kernel stages. For compact and a closed cone satisfying (eq:mc), use compactly supported distributions with and the normal distribution topology. Besides strong distribution seminorms, its microlocal seminorms have the form
with . For the insertion, the flat ramp permits the kernel to be viewed as a compact distribution on the surrounding Minkowski space, including its possible closed support at .
This names a source-side continuity question. It does not name a quantum target topology or prove continuity of . The distributional operation results of BDH concern specified wavefront spaces and specified operations; they are not an automatic completion theorem for a quantum algebra.
Likewise, the causal commutator on linear fields does not uniquely define multiplication of all distributional polynomial kernels. The formal causal-Weyl expansion would require repeated contractions. Even for local quadratic symbols, its second contraction involves products whose usual wavefront multiplication criterion is not satisfied. That observation calls for additional product data; it is not a universal nonexistence theorem.
No state is required merely to ask this admission question. Conversely, the absence of a selected state supplies neither the missing product nor an obstruction to every possible state-independent extension.
Displayed formulas in this passage
unlabeled · line 606