λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript XX-B@1 · XX-B.tex · section · 56d708a5

Declared analytic inputs

Target, mathematical inputs, and scope › Declared analytic inputs · lines 174–200

Back to manuscript

We use two published analytic results as explicit mathematical inputs, after checking their hypotheses:

  1. The Cauchy and Green-operator theorems for normally hyperbolic bundle operators on globally hyperbolic spacetimes: BGP (Theorem 3.2.11 and Corollary 3.4.3).

  2. The bundle-valued Feynman-parametrix and exact Hadamard-bisolution construction: IS (Theorems 1.2 and 1.4). Only the existence and microlocal conclusions are used. No positivity conclusion for an indefinite bundle pairing is imported.

Hack's Einstein–Klein–Gordon construction and the BFHPR relational framework are comparison templates Hack,BFHPR. Their particular gauges, state choices, and observable definitions are not substituted for the definitions below.

The supplied Cheung records provide version-qualified comparisons and audit shapes CheungEm02E,CheungXVIIIA,CheungXIXC, CheungXIXD. Their unprinted proofs and documentary relationship edges are not premises.