Topological Obstructions to Riemannian-Lorentzian Continuation
Motivated by problems in instanton continuation, we establish geometro-topological selection rules for continuing a Riemannian region into a Lorentzian region through a smooth transverse change of signature. Given a collar-gluing $M=\overline{M_R} \cup_{\mathcal{H}}\overline{M_L}$ of a smooth manifold $M$ along a hypersurface $\mathcal{H}$, we show that an admissible signature-changing metric of the form $\widetilde g=g-fV^\flat\otimes V^\flat$ with $g$ a Riemannian metric, having Riemannian signature on $M_R$ and Lorentzian signature on $M_L$, exists if and only if a relative Euler class obstruction on $\overline{M_L}$ vanishes. This obstruction combines ordinary Euler characteristics $χ$ in a manner that depends on which components of $\mathcal{H}$ represent big bangs and which represent big crunches. It also restricts the choice of $M_R$; for example, if $M$ is closed and $\dim M$ is even, then it requires$χ(\overline{M_R})=χ(M)$. We also determine and classify the possible compactness types of $\overline{M_R}$, $\mathcal{H}$, and $\overline{M_L}$ occurring in such a collar-gluing construction, and construct explicit signature-changing metrics in each case. Topology change can be entirely contained within the Riemannian region when $M$ is the interior of a compact manifold with boundary.