Hyperbolic four-manifolds with one cusp (Q2636920)

An \(n\)-dimensional cubulation is a finite set of copies of the \(n\)-cube \([-1,1]^n\) together with a partition of the \((n-1)\)-dimensional faces into pairs and an Euclidean isometry between the faces of each pair. The combinatorial data of the face-matchings is the input into an algorithm which associates to each 4-dimensional cubulation a cusped, complete finite-volume hyperbolic 4-manifold. The manifold is assembled from copies of a standard building block \(\mathcal{B}\) with 8 non-compact, totally geodesic boundary components, with one copy of \(\mathcal{B}\) for each 4-cube and boundary components matched isometrically in pairs following the pattern of the cubulation. The block \(\mathcal{B}\) is built from four copies of the ideal hyperbolic 24-cell. It is shown that combinatorially distinct cubulations give rise to non-homeomorphic manifolds. Hence for every integer \(k\geq1\) there is a \(C>1\) such that the number of \(k\)-cusped hyperbolic 4-manifolds with volume at most \(V\) is at least \(C^{V\ln{V}}\). It was already known that the number of complete hyperbolic 4-manifolds with volume at most \(V\) (and no bound on the number of cusps) is bounded below and above by similar expressions [\textit{M. Burger} et al., Geom. Funct. Anal. 12, No. 6, 1161--1173 (2002; Zbl 1029.57021)]. The construction is used to give a one-cusped hyperbolic 4-manifold, with cuspidal section the 3-torus. The authors conjecture that this is always so for one-cusped manifolds arising from cubulations. The condition that all cuspidal sections are 3-tori can be checked combinatorially. If this condition holds, Dehn fillings of the cusps give many closed 4-manifolds with metrics of non-positive sectional curvature or with Einstein metrics.