Deformations of a hyperbolic 3-manifold not affecting its totally geodesic boundary (Q1321778): Difference between revisions

Following a method of \textit{R. Brooks} [Invent. Math. 86, 461--469 (1986; Zbl 0578.30037)] the author constructs an orientable hyperbolic manifold having 12 cusps, furthermore 4 totally geodesic boundary components, each of them being isometric to a given hyperbolic surface of genus 2. Then he deforms the structure, analogously to the Dehn surgery, so that the surgered structure becomes a hyperbolic orbifold with cone type singularities of angle \(4\alpha\) \((0 < \alpha < (\pi/6))\) at the former cusps, but the boundary components metrically do not change. The reviewer remarks with surprise that the method essentially relies on the regular partition of the hyperbolic plane \(H^ 2\) just as V. S. Makarov, I. S. Gutsul (and their colleagues in Kishinev) had already constructed some hyperbolic groups, manifolds, etc. by this method (see the review of the paper by \textit{V. S. Makarov} [Proc. Steklov Inst. Math. 193, 143--147 (1993); translation from Tr. Mat. Inst. Steklova 193, 132--136 (1992; Zbl 0808.52016)]; note, that in this review labels \(m_ 0\) and \(m_ 3\) for the left and right node of the diagram are missing). The author's construction is based on the regular partition of \(H^ 2\) by dodecagons, 3 meet at each vertex. Then he builds prismatic solid over each dodecagon with an upper face, first, parallel with the side faces, and 12 truncating faces perpendicular to two adjacent side faces and to the upper faces. So we get vertices at the infinity (cusps) with rectangles on the corresponding horospheres. Second, the upper face forms an angle \(\alpha \in (0, (\pi/6))\) with the side faces. In the reviewer's summary of the paper by V. S. Makarov (see Zbl 0808.52016), the constructions of Makarov are based on the existence of hyperbolic Coxeter groups with diagrams \[ \vcenter{\vtop{=.35 \line{\(m_ 0\)\hss\(m_ 1\)\hss\(m_ 2\)} \vskip-.5\baselineskip \line{\hss12\hss\hss3\hss} \vskip-.5\baselineskip \line{\(\bigcirc\)\cleaders\hbox{--}\hfil\(\bigcirc\)\cleaders\hbox{-- }\hfil\(\bigcirc\)} \line{\hglue.375em\vrule height5ex width2pt \hss \vrule height5ex width2pt\hglue.425em} \vskip-.4\baselineskip \line{\(\bigcirc\)\cleaders\hbox{-}\hfil\(\bigcirc\)\cleaders\hbox{- }\hfil\(\bigcirc\)} \line{\(n_{12}\)\hss\(n_ 3\)\hss\(n_{01}\)} }} \quad \text{resp.} \quad \vcenter{\vtop{=.35 \line{\(m_ 0\)\hss\(m_ 1\)\hss\(m_ 2\)} \vskip-.5\baselineskip \line{\hss12\hss\hss3\hss} \vskip-.5\baselineskip \line{\(\bigcirc\)\cleaders\hbox{--}\hfil\(\bigcirc\)\cleaders\hbox{-- }\hfil\(\bigcirc\)} \line{\hglue.375em \vbox to 5ex{\cleaders\hbox{\vrule height1ex depth-.25ex}\vfil} \hss \vrule height5ex \hglue.425em} \vskip- .4\baselineskip \line{\(\bigcirc\)\cleaders\hbox{- }\hfil\(\bigcirc\)\cleaders\hbox{-}\hfil\(\bigcirc\)} \line{\(n_{0}\)\hss\(n_ 3\)\hss\(m_{3}\)} }} \quad{\pi \over 2\alpha} \] Here thick lines indicate parallel planes (as usual), broken lines refer to ultraparallel planes with common perpendicular (see the review on Makarov's paper). In the reviewer's opinion Dehn surgery makes a compact manifold from a manifold at cusps, in the original sense. The author's construction would be much more interesting if he could show his phenomenon in the title under such circumstances.