Topological Obstructions to Riemannian-Lorentzian Continuation

Abstract

Motivated by problems in instanton continuation, we study 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 a metric which is Riemannian on $M_R$ and Lorentzian 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 boundary components of the Riemannian region represent big bangs and which represent big crunches. It also restricts the choice of $M_R$; e.g., $χ(\overline{M_R})=χ(M)$ and $χ(\overline{M_R})=χ(\overline{M_L})$ are required when $\dim M$ is even or odd, respectively. We also determine which compactness types of $\overline{M_R}$, $\mathcal{H}$, and $\overline{M_L}$ can occur in such a collar-gluing, and construct explicit signature-changing metrics for each case. Topology change can be entirely contained within the Lorentzian region when $M$ is the interior of a compact manifold with boundary.