λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript XX-C@1 · XX-C.tex · section · 7a8cab37

External analytic inputs

Precise target and the correction to an overstated deliverable › External analytic inputs · lines 224–246

Back to manuscript

We use:

  1. Cauchy well-posedness and causal Green operators for normally hyperbolic bundle operators BGP.

  2. Distinguished bundle-valued Feynman parametrices and their uniqueness modulo smooth kernels IS.

  3. The distinction between a Feynman construction and the additional conditions required for a state FS.

The hypotheses needed for A1 and A2 are checked in Sections sec:freeze and sec:parametrix. No positivity theorem for positive-definite field bundles is applied to the indefinite gauge-fixed bundle.

The Cheung records are version-qualified documentary comparisons CheungXIXD,CheungXVIIIA,CheungXVIIIB, CheungXIXA,CheungXIXC,CheungEm02E. Their unprinted calculations are not substituted for the native proofs.