Manuscript IX-C-ST@1 · IX-C-ST.tex · assumption · 892f50c4
Assumption: IX-A-ST carrier and topology
Shared analytical inputs and notation › The already adapted carrier · lines 419–476
IX-C-ST@1#ass:carrier, IX-C-ST@1#eq:sharpadjoint
The carrier is the already adapted of IX-A-ST IXAST, not a reconstruction of the original global Minkowski carrier. It has the following properties.
Its elements are actual finite polynomial functionals with compact symmetric distributional coefficient kernels. The admission condition is
for every smooth configuration and every finite list of smooth directions.
The sharp linear kernels and intrinsic trace are
Here is the supplied advanced chart comparison prescription restricted to the retained support. Elements of have no nonzero nonspacelike wavefront covectors; compact smooth kernels belong to . The trace is well defined on actual linear kernels.
The sharp adjoint retains
No surface term is dropped.
Classical pointwise multiplication, conjugation, and fixed smooth directional differentiation preserve . Classical multiplication is separately continuous. The Hausdorff topology records strong compact coefficient kernels and all intrinsic trace coordinates.
The generating maps , are fixed-support continuous, and , , the selected mixed coefficient below, and the selected scalar-contracted self coefficient belong to . Their specified fixed-support families and trace coordinates are continuous.
For every nonzero real , the unchanged regular approximants satisfy
No quantum product on all of , no joint classical continuity, and no quantum hypocontinuity is included.
Displayed formulas in this passage
IX-C-ST@1#eq:sharpadjoint · line 450
unlabeled · line 429
unlabeled · line 436
unlabeled · line 440
unlabeled · line 469