Manuscript XIV-G@1 · XIV-G.tex · section · 791c6644
Internal maps remain required
G2: the chosen locus and the relation audit › Internal maps remain required · lines 1175–1217
The source diagonal in (eq:Qkernel) is a defined local operator map. The internal response constructions require more.
For example, the source response and coordinate response have the exact operator structure
The internal variables are governed by these kernels and the prescribed local source incidences. They are not set equal to .
The two placements in the part of (eq:Btensor), and the coordinate and scalar response maps in , must be composed on their own relations. Their existing tree-kernel pushforwards prove existence of those classical kernels, not a uniform Lagrangian-symbol description of their later characteristic composition.
The present paper does not supply:
the complete internal canonical relations with retained;
their microlocal orders and common amplitude identifications;
the necessary internal composition and remainder estimates.
These are the first missing data of G2.
The factorwise audit below identifies an additional limitation of an automatic pullback argument. It does not bypass this internal stop or enter G3.
Displayed formulas in this passage
unlabeled · line 1183
unlabeled · line 1188