Manuscript XVI-D@1 · XVI-D.tex · bibliography · b73c6f4a
References
Debugging and non-claims · lines 1708–1786
XVIA
Landmark XVI-A.
Supplied revised XVI-A.tex.
Used for the separate retarded-product obligations and the
conditional free-shell class-transfer statement.
XVIB
Landmark XVI-B.
Supplied revised XVI-B.tex.
Source-level locators:
prop:trace, prop:pair,
eq:JDeval, and cor:tf.
Only the source-level results are premises of the response proof;
its summary of later XVI-D results is not used circularly.
XVIE
Landmark XVI-E.
Supplied XVI-E.tex.
Locators:
lem:Q, lem:TD, lem:TC,
lem:Xcand, lem:compat, and
cor:decay.
Used for the later root reading and its stated compatibility
boundary, not as a premise of witness-response identification.
XVIFvThree
Landmark XVI-F.
Supplied XVI-F-v3.tex.
Locators:
prop:Icand, prop:kernel,
prop:formula, prop:compat, and
prop:decay.
This version proves witness root compatibility and reports the
wider smooth-source sine-integral definition.
Its result supersedes the earlier unresolved root–auxiliary
residual.
XIB
Manuscript XI-B, version 1.
Supplied identifier 862627cd.
Reported locators:
lem:Green, thm:main(ii),
thm:graviton, and eq:Ggr.
The compact-interior Green statements are reproduced in the
supplied XVI texts.
The wider smooth-source defining paragraph is reported in
XVI-F-v3; the complete XI-B source is not independently certified.
XIID
Manuscript XII-D, version 1.
Supplied identifier e3e3f67d.
Reported locators:
Section D0, eq:response, thm:response,
rem:forcing-sign, eq:completion-legs,
eq:Aone, def:completed,
eq:CD, thm:root, and
eq:root-identity.
Used only through the supplied statements and formulas.
XIG
Manuscript XI-G, version 1.
Supplied identifier 3cae2be9.
Reported locators:
lem:qvalues, eq:qcounter,
def:class, and thm:obstruction.
The frozen obstruction is not transferred to a source tensor.
BGP
C. Bär, N. Ginoux, and F. Pfäffle, Wave Equations on Lorentzian Manifolds and Quantization, arXiv:0806.1036 [math.DG] (2008). General background on wave equations, Green operators, and Cauchy problems. The local-energy uniqueness argument used in this manuscript is proved explicitly in Lemma lem:uniqueness.