Transverse Riemann-Lorentz type-changing metrics with tangent radical (Q2489742)

A pair \((M,g)\) is said to be a singular (semi-Riemannian) manifold if \(M\) is a \(m\)-dimensional connected manifold \((m>2)\) equipped with a smooth, symmetric \((0,2)\)-tensor field \(g\) which has not maximal rank on a (non-empty) subset \(\sum \subset M\). Therefore, at each point \(p\in \sum\), there exists a non-trivial subspace \(\text{Rad}_p \subset T_p(M)\), namely, the radical, which is orthogonal to the whole \(T_p(M)\). The pair \((M,g)\) is said to be a transverse type-changing manifold if, for every local coordinate system \((x_1,\dots,x_m)\), the differential of the function \(\det(g_{ij})\) is non-zero at the points of \(\sum\), thus the signature of \(g\) changes by \(+1\) or \(-1\) across \(\sum\). When this change is from Riemannian to Lorentzian, \((M,g)\) is called a Riemannian-Lorentz (transverse type-changing) manifold. In this work, the authors study such manifolds when the radical line field is everywhere tangent to \(\sum\), and define two natural tensors on \(\sum\) that use them to determine certain integrability conditions which are similar to the Gauss-Codazzi conditions. Moreover, it is proved that these forms control the smooth extendibility of ambient curvatures to \(\sum\).