Constructing hyperbolic manifolds which bound geometrically (Q5953000)

If a hyperbolic \(n\)-manifold \(M\) is the totally geodesic boundary of a hyperbolic \((n+1)\)-manifold \(W\), \(M\) is said to bound geometrically. Hyperbolic surfaces which bound geometrically are fairly easy to construct since hyperbolic \(3\)-manifolds with totally geodesic boundary can be constructed using Thurston's Hyperbolization Theorem. For higher dimensions, very few examples are known, largely because very little is known about hyperbolic \(n\)-manifolds for \(n \geq 4\). There is a known topological obstruction, namely, that if a closed orientable hyperbolic \(M^{4k-1}\) bounds geometrically, then \(\eta (M^{4k-1}) \in \mathbb Z\). The main result of this paper is to construct infinitely many commensurabilty classes of hyperbolic manifolds which bound geometrically for all dimensions. The main theorem is that a nonorientable closed hyperbolic \(n\)-orbifold \(M\) which can be immersed totally geodesically into a closed orientable hyperbolic \((n+1)\)-orbifold \(W\) has a finite covering which is a manifold that bounds geometrically. Then, using arithmetic methods, the authors show that there are infinitely many commensurability classes of such examples in all dimensions.