2 problems

Triviality conjecture. The relative Cauchy evolution should be trivial, equal to the identity map; hence its derivative with respect to $g$ should vanish.

In locally covariant theories of the massless scalar field, let ${\sf LCT}$ denote the category allowing disconnected spacetimes, and let topological charge be regarded as an addit…