Output wavefront and a precisely defined admission interface

For a different map, the general pushforward theorem may also include covectors whose pullback vanishes. The formula above is used for a projection submersion, where that exception cannot occur for $\eta \ne 0$.

The inherited target remains

Its $Q_H$ is the inherited quotient map, not a gauge differential; ${R_1}^{(1)}$ is the requested quantum-order coefficient, not the tree datum ${R_1}^{(0)}$. This paper does not construct it. No Ward defect or differential is applied to an absent coefficient.