Definition

Give $C^{\infty }(\Sigma ;T^{\ast }M{|}_{\Sigma })$ its compact-open smooth Fréchet topology. We use this target topology even though each individual boundary trace is compactly supported.