Manuscript XV-F-patch@1 · XV-F-patch.tex · section · 6d6ef16d
The actual type of a residual metric test
Patch G: the common space and residual species › The actual type of a residual metric test · lines 669–713
XV-F-patch@1#eq:Gtest, XV-F-patch@1#eq:Goperator
XIV-G's tested source uses
Its local operator representation is
The coefficients are smooth and supported in . These are the source's local differential-operator statements. They retain the actual source coefficients and ramp derivatives within that copied operator statement.
The test in (eq:Gtest) is a metric direction on . It is not a compact test section on all of . Pulling it back by the projection to gives a smooth object depending only on , but does not generally give compact support in . Moreover, the mixed residual output also retains a scalar slot at . The metric direction alone therefore cannot be declared to be the full test space for the output coefficient.
This matters for duality. A vector-valued distribution with values in a bundle pairs with compact sections of the dual bundle, with an appropriate density. It does not, without a chosen fiber pairing, pair canonically with sections of the same bundle. A metric on could identify those two spaces, but no such metric on an output bundle is supplied by XIV-G.
The input metric bundle itself is not rank-mysterious. In four spacetime dimensions a symmetric covariant two-tensor has ten components. What is not identified in XIV-G is a separate bundle called which packages the output residual species with the required value/test duality. The two questions must not be confused.
Displayed formulas in this passage
XV-F-patch@1#eq:Gtest · line 672
XV-F-patch@1#eq:Goperator · line 679