Finite-volume hyperbolic 4-manifolds that share a fundamental polyhedron (Q1303766)

The main result shown in this article is that given any number \(N>0\), there exist more than \(N\) non homeomorphic, non compact complete hyperbolic 4-manifolds of finite volume that share the same fundamental polyhedron in \({\mathbb H}^{4}\), and have the same volume. It is known that for every constant \(N>0\), there are only finitely many complete nonhomeomorphic hyperbolic \(n\)-manifolds with volume \(<N\), where \(n\geq 3\). For further details [see \textit{H. C. Wang}, Pure Appl. Math. 8, 460-485 (1972; Zbl 0232.22018)]. The authors are concerned with the problem of knowing if there is a bound on the number of manifolds that have the same volume. In dimension 3, the noncompact case was solved by Wielenberg [see \textit{N. Wielenberg}, Ann. Math. Stud. 97, 505-517 (1981; Zbl 0465.30039)], and the compact case was solved by Apanasov and Gutsul [see \textit{B. N. Apanasov} and \textit{I. S. Gutsul}, Topology '90 (Columbus, OH, 1990), Ohio State Univ. math. Res. Inst. Publ. 1, de Gruyter, Berlin, 37-53 (1992; Zbl 0836.57007)]. The proof of the theorem is done by constructing polyhedra in \({\mathbb H}^{4}\) with different side-pairings, and using Poincaré's polyhedron theorem to see that identifying paired sides yields complete hyperbolic 4-manifolds. The manifolds are then distinguished by how many ends they have. Both Wielenberg and Apanasov and Gutsul construct polyhedra in \({\mathbb H}^{3}\) and give different side-pairings on them whose quotient spaces are N nonhomeomorphic hyperbolic manifolds. In dimensions higher than three, previous examples were restricted to constructions via arithmetic groups or using arithmetic groups to get nonarithmetic ones. The side pairing constructions in dimension 4 was also used in the construction of a compact example [see \textit{M. Davis}, Proc. Am. Math. Soc. 93, 325-328 (1985; Zbl 0553.51012), and \textit{B. Nimershiem}, Topology Appl. 90, No. 1-3, 109-133 (1998; Zbl 0927.57010) and \textit{J. Ratcliffe} and \textit{S. Tschantz}, ``The volume spectrum of hyperbolic 4-manifolds'', preprint)]. In this last work it is also proved that the set of volumes in dimension 4 is the positive integral multiples of \(4\pi /3\). In the present work the author proves that the set of all volumes contains the even multiples of \(4\pi /3\). Although this is a weaker result, it is obtained in a constructive procedure whereas the previous result is an existential one.