Abstract
We exhibit some finitevolume cusped hyperbolic 5manifolds that fiber over the circle. These include the smallest hyperbolic 5manifold known, discovered by Ratcliffe and Tschantz. As a consequence, we build a finite type subgroup of a hyperbolic group that is not hyperbolic.
Introduction
In 1977 Jørgensen exhibited the first examples of hyperbolic 3manifolds that fiber over the circle [21] and opened up a subject that has been of central importance in lowdimensional topology in the last 40 years, with the celebrated contributions of Thurston [27, 28] and more recently of Agol and Wise [1, 29]. Since then, it has been an open question whether such fibrations may occur in higher dimensions. We provide here an affirmative answer.
We work in the smooth category, so fibrations are smooth. Every hyperbolic manifold M in this introduction is tacitly assumed to be finitevolume and complete, unless otherwise mentioned. When M is not compact, it is the interior of a compact manifold \(\overline{M}\) with boundary (we say as usual that M is cusped) and a fibration for M is by definition the restriction of a fibration of \(\overline{M}\).
An evendimensional hyperbolic manifold cannot fiber over the circle because of the Chern–Gauss–Bonnet Theorem. The first dimension to look at is then \(n=5\). We prove here the following.
Theorem 1
There are some cusped hyperbolic 5manifolds that fiber over \(S^1\).
We show in particular that the smallest hyperbolic 5manifold known, constructed by Ratcliffe and Tschantz in [26], fibers over the circle, and the fiber is a 4manifold with \(\chi = 1\). This is somehow analogous to the figureeight knot complement, a famous hyperbolic 3manifold of small volume that fibers over the circle with fiber a punctured torus with \(\chi = 1\).
As noted by Thurston [28], the existence of hyperbolic manifolds that fiber over the circle is quite paradoxical, because the fiber is very far from being geodesic: its preimage in \(\mathbb {H}^n\) consists of disjoint smooth hyperplanes, each placed at uniformly bounded distance from each other and having the whole sphere at infinity as a limit set.
In higher dimension \(n\ge 5\) the situation is even more paradoxical because the monodromy of the fiber F has infinite order in \(\mathrm{Out}(\pi _1(F))\), so in particular F cannot admit any hyperbolic metric by Mostow Rigidity. By pursuing along this line we deduce the following. A group G is of finite type if it is the fundamental group of a finite aspherical cell complex.
Corollary 2
There is a hyperbolic group G that contains a subgroup \(H<G\) of finite type that is not hyperbolic.
The existence of such a pair \(H< G\) was a wellknown open problem, raised in particular by Bestvina [4, Question 1.1], Brady [7, Question 7.2], Bridson [9, Question 4.1], and Jankiewicz, Norin, and Wise [20, Section 7]. A finitely presented subgroup of a hyperbolic group that is not hyperbolic was first exhibited by Brady in [7]. On the other hand, every finite type subgroup of a hyperbolic group of cohomological dimension 2 is hyperbolic [16].
The group H constructed here is the kernel of a surjective homomorphism \(G \rightarrow \mathbb {Z}\), and it is the fundamental group of a 4dimensional finite aspherical complex obtained by coning all the 3tori boundaries of some compact aspherical 4manifold. The homomorphism \(G \rightarrow \mathbb {Z}\) is built by taking a fibering cusped hyperbolic 5manifold with large cusp sections and coning the boundary components of the fibers, see Sect. 3. The cohomological dimensions of H and G are 4 and 5.
Corollary 3
There is a finite type group H that is not hyperbolic and does not contain any Baumslag–Solitar subgroup BS(m, n).
Proof
The group H is contained in a hyperbolic group G, and hyperbolic groups contain no Baumslag–Solitar subgroups. \(\square \)
This answers a wellknown question, raised in particular by Bestvina [4], Bridson [8, Question 2.22] and Drutu and Kapovich [14, Problem 11.129]. We note that there are some classes of groups for which it is known that they are hyperbolic if and only if they do not contain any Baumslag–Solitar subgroup: these include the freebycyclic groups [11] and more generally the ascending HNN extensions of free groups [23],
Turning back to our fibering hyperbolic 5manifold, by taking the abelian cover determined by the fibration we deduce the following.
Corollary 4
There are some geometrically infinite hyperbolic 5manifolds that are diffeomorphic to \(F\times \mathbb {R}\), for some 4manifold F that is diffeomorphic to the interior of a compact 4manifold with boundary.
Finally, by taking the finite cyclic covers over a fibering 5manifold we deduce immediately the following.
Corollary 5
There are infinitely many hyperbolic 5manifolds with bounded Betti numbers \(\sum _{i=0}^5 b_i < K\), for some \(K>0\).
Proof
Let \(M \rightarrow S^1\) be a fibering hyperbolic 5manifold with fiber F. Let \(M_{n} \rightarrow M\) be the degreen cyclic covering determined by the kernel of \(\pi _1(M) \rightarrow \pi _1(S^1) = \mathbb {Z}\rightarrow \mathbb {Z}/{n\mathbb {Z}}\). The manifold \(M_n\) also fibers with fiber F. Using MayerVietoris we easily see that \(b_i(M_n)\) is bounded above by some number that depends only on F. \(\square \)
Structure of the paper
In Sect. 1 we construct a fibration \(f:M^5 \rightarrow S^1\) on the cusped hyperbolic 5manifold \(M^5\) that was previously considered in [19]. This manifold has 40 cusps, and the main tool that we use to build f is the picewiselinear Morse theory of Bestvina and Brady [5].
In Sect. 2 we manipulate this example to construct a fibration on the much smaller Ratcliffe–Tschantz hyperbolic 5manifold \(N^5\), which has 2 cusps and is in fact commensurable with \(M^5\). The fiber of this fibration is an aspherical 4manifold \(F^4\) with \(\chi (F^4) = 1\) that we can study and describe explicitly using Regina [12].
We prove Corollary 2 in Sect. 3. Given Theorem 1, the proof of the corollary is relatively short and contains some standard arguments that are known to experts: the only technical difficulties arise from the fact that \(M^5\) is cusped, but these are overcome by applying the Dehn filling theorems of Fujiwara and Manning [15]. An effect of this is that the nonhyperbolic group H is the fundamental group of an aspherical 4dimensional pseudomanifold (which is not a manifold).
In Sect. 4 we make some general comments and suggest some future directions of research.
The fibration
We prove here Theorem 1, that is we provide some examples of cusped hyperbolic 5manifolds that fiber over the circle. The main protagonist is the manifold \(M^5\), that we have already encountered in [19]. This manifold is constructed from a rightangled polytope \(P^5\) via a standard colouring technique that we briefly recall below.
To build the fibration \(f:M^5 \rightarrow S^1\), we work in the piecewiselinear category, and start by constructing a piecewiselinear f. The main tool is the piecewiselinear Morse theory of Bestvina and Brady [5], and we are heavily inspired by the more recent paper of Jankiewicz, Norin, and Wise [20]. We give \(M^5\) an affine cell complex structure and then define f by glueing together some height functions on each affine cell. Since the ascending and descending links at all vertices collapse to points, the function f is smoothable to a fibration, as we will prove in Theorem 8.
In Sect. 2 we will quotient the cyclic covering of the manifold \(M^5\) by some isometries to recover some smaller example where the fiber of the fibration is combinatorially simpler. This smaller example will turn out a posteriori to be the manifold exhibited by Ratcliffe and Tschantz [26].
The polytope \(P^5\)
We describe the 5dimensional hyperbolic rightangled polytope \(P^5\subset \mathbb {H}^5\), already considered by various authors [2, 19, 24, 26]. We use the Klein model for \(\mathbb {H}^5\), embedded in \(\mathbb {R}^5\) as the unit ball.
The polytope \(P^5\) is the intersection of the 16 halfspaces
having an even number of minus signs. It has 16 facets and 26 vertices. The 16 facets are orthogonal to the vectors
with an even number of minus signs. The 26 vertices consist of the 10 ideal vertices
and of the 16 real vertices
with an odd number of minus signs. Every facet of \(P^5\) is opposed to a real vertex. The isometry group \(\mathrm{Isom}(P^5)\) has order \(2^4\cdot 5! = 1920\) and consists of all the maps
where \(\sigma \in S_5\) is any permutation and there is an even number of minus signs.
The polytope \(P^5\) is rightangled. Two facets of \(P^5\) are adjacent if the corresponding orthogonal vectors differ in only two signs. Every facet of \(P^5\) is isometric to the polytope \(P^4\) considered in [25]. The isometry group of \(P^5\) acts transitively on its facets. The adjacency graph of the facets of \(P^5\) is shown in Fig. 1. The polytope \(P^4\) has 10 facets, so every vertex in the adjacency graph is connected to 10 other vertices.
Every 3dimensional face of \(P^5\) is isometric to the rightangled double pyramid \(P^3\) with triangular base, with 3 ideal vertices and 2 real ones, see [25]. Every 2dimensional face of \(P^5\) is a triangle with two ideal vertices and one (rightangled) real one.
The ideal vertices
The polytope \(P^5\) has 10 ideal vertices \(\pm e_1, \ldots , \pm e_5\). The link of each ideal vertex \(v= \pm e_i\) is a 4cube, whose facets are contained in the 8 facets of \(P^5\) incident to v. These 8 facets are precisely those orthogonal to the vectors \((\pm 1, \pm 1, \pm 1, \pm 1, \pm 1)\) whose ith coordinate is the same as that of v.
The 8 facets incident to an ideal vertex \(v= \pm e_i\) can be visualised in the adjacency graph of \(P^5\) as in Fig. 2. If \(i\le 4\) the 8 facets are as in Fig. 2(left), while if \(i=5\) these are as in Fig. 2(right).
The manifold \(M^5\)
We constructed the hyperbolic manifold \(M^5\) in [19] by assigning a very symmetric colouring to \(P^5\), that may be described as follows.
We name each facet of \(P^5\) as in Fig. 1 with the vector \((\pm 1, \ldots , \pm 1)\) orthogonal to its supporting hyperplane (there is an even number of minus signs). We assign 8 distinct colours to the facets of \(P^5\), by giving the same colour to each pair
More specifically, we use the set \(\{1,\ldots , 8\}\) as a palette of colours and we assign them to the facets as indicated in Fig. 3. This is indeed a colouring for \(P^5\), that is adjacent facets are always coloured differently (the two facets in each pair are not adjacent).
We have then used this colouring to construct \(M^5\) via a standard procedure explained in [19]. We pick \(2^8\) copies of \(P^5\) parametrised as \(P_v^5\) with \(v\in (\mathbb {Z}_2)^8\). For every v and every facet F of \(P^5\) having some colour \(i \in \{1,\ldots , 8\}\), we identify the facet F of \(P_v^5\) with the same facet F of \(P_{v+e_i}^5\) via the identity map. See [19] for more details.
After these identifications we get a cusped hyperbolic manifold \(M^5\) tessellated into \(2^8\) copies of \(P^5\), with a natural orbifold covering \(M^5 \rightarrow P^5\). It is shown in [19] that \(M^5\) has 40 cusps and Betti numbers
The Betti numbers are calculated using an algorithm from [13].
The 8 large and 32 small cusps
To understand the cusps of \(M^5\) it suffices to examine a 4cube link C at each ideal vertex v of \(P^5\), equipped with the colouring induced from that of the facets of \(P^5\) incident to v (each facet of C inherits the colour of the facet of \(P^5\) it is contained in). By the same procedure described above, the colouring of C gives rise to a flat 4manifold, which is always a 4torus [19, Proposition 7]. The preimage of C in \(M^5\) is a disjoint union of \(2^c\) such 4tori, where c is the number of colours in \(\{1,\ldots ,8\}\) that are not present among those of the facets incident to v. So there are \(2^c\) cusps in \(M^5\) lying above v, where c depends on v. See [19] for more details.
There are two types of ideal vertices in \(P^5\), and we get \(c=8\) for the first type and \(c=4\) for the second: some cases are shown in Fig. 4. Here are the details. Each of the 8 ideal vertices v of type
is as in Fig. 2(left), and is adjacent to 8 facets of \(P^5\) with all distinct colours: this is clear either by looking at Fig. 3, or by recalling that these 8 facets are orthogonal to the vectors \((\pm 1, \pm 1, \pm 1, \pm 1, \pm 1)\) that share the same ith coordinate \(\pm 1\) if \(v = \pm e_i\). All the 8 colours of the palette are employed and therefore there is a unique cusp in \(M^5\) above v. The preimage of a 4cube link C for v is a single 4torus cusp section in \(M^5\) tessellated into \(2^8\) distinct 4cubes. In fact [19, Proposition 7] implies that these form a \(4\times 4 \times 4 \times 4\) hypercube (that is, a 4dimensional cube tessellated in \(4^4\) smaller cubes) with opposite facets identified by translations. We call the 8 cusps of \(M^5\) obtained in this way (one above each of the 8 ideal vertices v) the large cusps.
On the other hand, each of the remaining two ideal vertices v of type
is as in Fig. 2(right), and is adjacent to 4 pairs of facets having the same colours. Therefore there are 4 colours in the palette \(\{1,\ldots ,8\}\) that are not present among the facets adjacent to v. This implies that there are as many as \(2^4\) cusps in \(M^5\) lying above v. A 4cube link C for v lifts to \(2^8\) distinct 4cubes, that form \(2^4\) disjoint 4tori cusp sections in \(M^5\). By [19, Proposition 7] each 4torus is tessellated into \(2^4\) distinct 4cubes like a \(2 \times 2 \times 2 \times 2\) hypercube with opposite faces identified. We call the \(2 \times 16 = 32\) cusps of \(M^5\) obtained in this way the small cusps.
Summing up, the hyperbolic manifold \(M^5\) has 8 large cusps and 32 small cusps, all toric (that is with 4tori sections) and all cubic (that is obtained by identifying the opposite facets of a 4cube). To be precise, the “largeness” of a cusp is not an intrinsic property of the cusp itself, but only of the sections that we have chosen. It is convenient to adopt these terms since these two types of cusps will sometimes play two different roles in the rest of the paper.
The dual cubulation
The cusped hyperbolic manifold \(M^5\) is diffeomorphic to the interior of a compact smooth 5manifold with boundary that we denote as \(\bar{M}^5\). The boundary of \(\bar{M}^5\) consists of 40 fourdimensional tori.
It is shown in [3, Section 1.2] that the decomposition of \(M^5\) into \(2^8\) copies of \(P^5\) induces a dual cubulation for \(\bar{M}^5\), considered as a piecewiselinear manifold. This is a general fact on manifolds obtained from coloured polytopes: a simple twodimensional example is shown in Fig. 5. We recall here this general construction by focusing on \(P^5\) for the sake of clarity.
Let \(\bar{P}^5\subset \mathbb {R}^5\) be the truncated \(P^5\), that is the Euclidean polytope obtained by intersecting \(P^5\) with the 10 halfspaces \(\pm x_i \le 1\varepsilon \), for some fixed small \(\varepsilon > 0\). The polytope \(\bar{P}^5\) is obtained from \(P^5\) by removing some small stars of its ideal vertices.
The Euclidean polytope \(\bar{P}^5\) has \(16+10\) facets: these are the truncated 16 facets of \(P^5\) plus 10 additional small hypercubes produced by the truncation of the ideal vertices. It has \(16+10 \times 16\) vertices, that are the 16 original finite vertices of \(P^5\) plus the vertices of the 10 new hypercubes.
We equip the 16 truncated facets of \(\bar{P}^5\) with the same colouring of the corresponding facets in \(P^5\), and leave the small 10 hypercubes uncoloured. We apply the same colouring technique described above to \(\bar{P}^5\), that is we take \(2^8\) copies \(\bar{P}_v^5, v \in (\mathbb {Z}_2)^8\) of \(\bar{P}^5\) and we glue a facet F of \(\bar{P}_v^5\) with the same facet F of \(\bar{P}_{v+e_i}^5\) if F has colour i. The small uncoloured hypercubes are left unglued, as in Fig. 5(3).
As a result we get a compact piecewiselinear manifold \(\bar{M}^5\) with boundary, whose interior is easily seen to be homeomorphic to \(M^5\). We now construct a cubulation for \(\bar{M}^5\), that is a decomposition into 5cubes. The manifold \(\bar{M}^5\) is tessellated into \(2^8\) copies of \(\bar{P}^5\). We fix a barycentric subdivision for \(\bar{P}^5\), which lifts to a barycentric subdivision of the tessellation of \(\bar{M}^5\). We consider the vertices v of the original (not yet subdivided) tessellation of \(\bar{M}^5\). Their stars \(\mathrm{St}(v)\) in the barycentric decomposition form a dual decomposition of \(\bar{M}^5\) into polytopes as in Fig. 5(4). Since \(P^5\) is rightangled, the star \(\mathrm{St}(v)\) can be of two types, depending on whether v lies in the interior or in the boundary of \(\bar{M}^5\). Let \(\pi (v)\) be the image of v in \(\bar{P}^5\). Then:

if \(\pi (v)\) is one of the 10 real vertices of \(P^5\), then v lies in the interior of \(\bar{M}\) and \(\mathrm{St}(v)\) is the barycentric subdivision of a 5cube, with v at its center;

if \(\pi (v)\) is one of the additional \(10\times 16\) vertices of \(\bar{P}^5\) obtained from the truncation, then \(v \in \partial \bar{M}^5\) and \(\mathrm{St}(v)\) is one half of a barycentric subdivision of a 5cube, with v at its center.
See Fig. 5. In both cases we get a 5cube, and the 5cubes so obtained intersect along common facets, dual to the edges of the decomposition of \(\bar{M}^5\) into copies of \(\bar{P}^5\). We have thus obtained a decomposition of the piecewiselinear manifold \(\bar{M}^5\) into 5cubes, that is a cubulation.
States and moves
We explain a general strategy to construct interesting piecewiselinear circlevalued maps using the cubulation of \(\bar{M}^5\) just introduced. The strategy is taken from [5] and [20], with some modifications, and has already been used in [3, 19]. It consists of a combinatorial game based on some states and moves, first introduced by Jankiewicz, Norin, and Wise in [20].
Let a state of \(P^5\) be the partition of its facets into two subsets, that we denote as I (in) and O (out). Every facet inherits a status I or O. Analogously, we define a state of \(\bar{P}^5\) as the partition of its noncubic facets into I and O, so a state on \(P^5\) obviously induces one on \(\bar{P}^5\) and viceversa, and we will pass from one to the other without mention.
Let a set of moves \(\mathcal {S}\) be an abritrary partition of the set \(\{1,\ldots ,8\}\) of colours used for \(P^5\). Each set \(S\in \mathcal {S}\) of the partition is a move. (This definition is slightly different from that given in [20]. The main difference is that here every partition is allowed: we do not require all the facets coloured with some colour in a fixed move \(S\in \mathcal {S}\) to be disjoint.) For instance, the set of moves that we use here is the following:
Moves act on states as follows. Given a move \(S\in \mathcal {S}\) and a state s, we build a new state by switching the I/O status of all the facets whose colour belongs to S.
We now fix a state s, that we call the initial state, and a set of moves \(\mathcal {S}\). We now show that the pair \((s,\mathcal {S})\) induces an orientation on all the edges of the dual cubulation of \(\bar{M}^5\) described above.
Recall that \(M^5\) decomposes into the polytopes \(P^5_v\) as \(v\in \mathbb {Z}_2^8\) varies. We assign a state \(s_v\) to each polytope \(P^5_v\) as follows. We start with the initial state s. Then, for every move \(S\in \mathcal {S}\), we calculate the sum
where \(v_i\) is the ith component of \(v\in \mathbb {Z}_2^8\). If \(\sigma =1\) we let S act on s, that is we swap all the statuses I/O of all the facets of \(P^5_v\) having a colour that belongs to S. If \(\sigma =0\), we do nothing. Let \(s_v\) be the final state that we get after all these modifications. Note that in particular we have \(s_0 = s\), so the initial state is assigned to \(P^5_0\).
We now analyze how the state changes when we travel from \(P^5_v\) to \(P^5_{v+e_i}\) by crossing a facet F coloured with i. The colour i belongs to a unique move \(S\in \mathcal {S}\). We first note that, after the crossing, the status of F is necessarily changed, because the parity of the corresponding \(\sigma \) changes. More precisely:
When we cross F, the statuses of all the facets whose colour belongs to the same move S containing the colour of F are changed. The statuses of the other facets are left unaltered.
If we interpret I and O as “In” and “Out”, we can orient the facet F of \(P_v^5\) transversely, with a vector that goes from the adjacent polytope where the status of F is O to the one where its status is I. We orient the edge of the cubulation dual to F accordingly. See an example in Fig. 6(center).
We have oriented in this way all the edges of the cubulation that are dual to some facet of some \(P_v^5\), that is all the edges that are fully contained in the interior of \(\bar{M}^5\). There are two more types of edges to orient:

those that connect an interior vertex of the cubulation with a boundary vertex are oriented towards the boundary;

those that are fully contained in \(\partial \bar{M}^5\) are adjacent to a unique square that is not contained in \(\partial \bar{M}^5\), and we orient them like the opposite edge in that square.
We have oriented all the edges of the cubulation. The orientation of course depends on the initial state s and on the set of moves \(\mathcal {S}\). An example is shown in Fig. 6(right).
Coherent orientations
We say that an orientation of all the edges of a cubulation is coherent if, on every square, opposite edges have the same orientations. For instance, the orientation shown in Fig. 6(right) is coherent.
A coherent orientation is a very useful tool because it defines a circlevalued diagonal map as follows: we identify every kcube of the cubulation with \([0,1]^k\), in a way that every edge is oriented like the natural orientation of [0, 1]. Then we define on the kcube the diagonal map
All these maps glue to a piecewiselinear map from the cubulation to \(\mathbb {R}/\mathbb {Z}\). The resulting map is a (circlevalued) Morse function in the sense of [5]. All the vertices of the cubulation are sent to zero, which should be interpreted as the unique singular value of the Morse function.
Summing up, a coherent orientation on the edges defines a piecewiselinear circlevalued Morse function. We thus aim at constructing coherent orientations.
Definition 6
A set of moves \(\mathcal {S}\) is sparse if for every move \(S\in \mathcal {S}\) the facets of \(P^5\) coloured with some \(i\in S\) are pairwise disjoint.
We call a 3dimensional face of \(P^5\) a ridge. Let s be an initial state and \(\mathcal {S}\) be a set of moves.
Proposition 7
The orientation on the edges of the cubulation induced by s and \(\mathcal {S}\) is coherent if and only if \(\mathcal {S}\) is sparse.
Proof
By construction, all the squares that intersect \(\partial \bar{M}^5\) in a single edge are oriented coherently. All the squares Q that are contained in \(\partial \bar{M}^5\) are oriented like the opposite square \(Q'\) in the unique cube that intersects \(\partial \bar{M}^5\) in Q, and \(Q'\) is contained in the interior of \(\bar{M}^5\).
Therefore it suffices to consider the squares that are contained in the interior of \(\bar{M}^5\). Each such is dual to some codimension2 stratum of the polyhedral decomposition of \(M^5\), which projects to a ridge of \(P^5\), intersection of two facets \(F_1, F_2\). If the colours of \(F_1\) and \(F_2\) belong to distinct moves in \(\mathcal {S}\), the square is oriented coherently, because when we cross \(F_1\) the status of \(F_2\) is left unchanged. If not, the square has one of the two forbidded orientations of Fig. 7(center and right). \(\square \)
Ascending and descending links
We keep using the terminology of [5]. A cube complex is a particular kind of affine cell complex, see [5, Definition 2.1], where every kcube is given the structure of a Euclidean unit cube. Let \(f:X \rightarrow \mathbb {R}/\mathbb {Z}\) be a circlevalued Morse function in the sense of [5, Definition 2.2] defined on some affine cell complex X. Let \(\mathrm{lk}(v)\) be the link of a vertex v in X. Recall from [5, Definition 2.4] that the ascending (descending) link \(\mathrm{lk}_\uparrow (v)\) (\(\mathrm{lk}_\downarrow (v)\)) is the link of v in the union of the cells incident to v where f has a minimum (maximum) at v.
An affine cell complex has a natural PL structure [5, Page 448]. When we decompose a smooth manifold W as an affine cell complex we always suppose implicitly that the PL structures coming from the smooth and the cell complex structures are compatible. This will be the case with the examples considered in this paper.
Theorem 8
Let W be a compact smooth manifold of dimension \(n\le 5\), possibly with boundary. Let W be decomposed as an affine cell complex and \(f:W \rightarrow \mathbb {R}/\mathbb {Z}\) be a circlevalued Morse function in the sense of [5]. If the ascending and descending links at all the vertices are collapsible the map f is homotopic to a smooth fibration.
Proof
The same proof as [3, Theorem 15] works here: the preimage of every closed interval with endpoints both distinct from \(0\in \mathbb {R}/\mathbb {Z}\) is piecewiselinearly a product. We can thus homotope f so that it is a piecewiselinear fibration, that is the preimage of every interval is a product. The dimension bound \(n\le 5\) ensures that f can be smoothened to a fibration [18, 22]. \(\square \)
Our goal is now clear: we would like to find an initial state s and a set of moves \(\mathcal {S}\) for \(P^5\) such that

(1)
\(\mathcal {S}\) is sparse, and

(2)
all the ascending and descending links are collapsible polyhedra.
Unfortunately, it turns out that the only sparse \(\mathcal {S}\) is the partition into singletons
We initially picked \(\mathcal {S}_0\) as a set of moves and searched with a computer for an initial state s that would fulfill the requirement (2), but we could not find any. After some time, we realised that no such state s can exist! One can prove quite easily that with such a \(\mathcal {S}_0\) every state s produces a circlevalued map f that is homotopically trivial on the large cusps (this phenomenon occurs for instance for the state chosen in [19]), and hence it will never be homotopic to a fibration.
Despite these negative news, we could find one interesting pair \((s, \mathcal {S})\) which fulfills (2), although \(\mathcal {S}\) is not sparse. As anticipated above, the set of moves is
We now describe the initial state s. We will later deal with the fact that \(\mathcal {S}\) is not sparse: this problem will be resolved by subdividing some cubes of the cube complex into prisms.
The balanced states
Every move \(S\in \mathcal {S}\) is of type \(S=\{t,t+4\}\) for some fixed t. There are four facets of \(P^5\) whose colour is in S, and we call them a quartet. The 16 facets of \(P^5\) are thus subdivided by \(\mathcal {S}\) into four quartets.
Figure 8 shows that each quartet is subdivided into two pairs of adjacent facets, each pair consisting of facets with distinct colours t and \(t+4\) whose coordinates \(\pm \pm \pm \pm \pm \) differ only at the positions t and 5, see Fig. 1. We call one such pair an adjacent pair. So each quartet is subdivided into two adjacent pairs. We say that a state is balanced if, on each quartet, it assigns the status I to one adjacent pair and O to the other. By applying the moves in \(\mathcal {S}\) we act transitively on the set of all the \(2^4\) balanced states.
We let the initial state s be the balanced state shown in Fig. 9 (any other balanced state would do the job, we fix one just for convenience). We use the set of moves \(\mathcal {S}\) to assign a state \(s_v\) on \(P^5_v\) for each \(v\in \mathbb {Z}_2^8\) as explained before. The states \(s_v\) assigned to \(P^5_v\) as \(v\in \mathbb {Z}_2^8\) varies are precisely all the \(2^4\) balanced states on \(P^5_v\), each repeated \(2^4\) times.
The statuses in \(P^5_v\) of the four facets coloured with either t or \(t+4\) are those of the initial state s if \(v_t+v_{t+4}\) is even, and reversed otherwise. Therefore the polytopes \(P^5_v\) and \(P^5_w\) will inherit the same state \(s_v=s_w\) precisely when
Sixteen useful symmetries of \(P^5\)
We now introduce 16 symmetries of \(P^5\) that will be particularly useful. Recall that \(\mathrm{Isom}(P^5)\) has order 1920 and consists of all the maps
where \(\sigma \in S_5\) is any permutation and there is an even number of minus signs. We identify \(\mathbb {R}^5\) with \(\mathbb {H}\times \mathbb {R}\) where \(\mathbb {H}\) is the quaternions space, and consider the group
If we let \(Q_8\) act on the first factor of \(\mathbb {H}\times \mathbb {R}\) by left multiplication, we obtain the following isometries of \(P^5\):
Here \(L_q\) denotes leftmultiplication by \(q\in Q_8\) on the first factor. We can thus see \(Q_8\) as a subgroup of \(\mathrm{Isom}(P^5)\). We are also interested in the isometric involution
By direct inspection we see that \(\iota \) normalises \(Q_8\) and that the subgroup \(R_{16}\) generated by \(Q_8\) and \(\iota \) has order 16. One may also prove that \(R_{16}\) is isomorphic to the semidihedral group of order 16, but we will not need that. The group \(R_{16}\) is particularly useful because of the following.
Proposition 9
The group \(R_{16}\) preserves (as partitions) both the colouring and \(\mathcal {S}\). It acts freely and transitively on the 16 facets and on the 16 balanced states of \(P^5\).
Proof
We can verify easily that \(Q_8\) preserves both the colouring and the partition, and the same holds for \(\iota \). The group \(Q_8\) acts freely and transitively on the 8 facets represented by a vector \((\pm 1, \pm 1, \pm 1, \pm 1, \pm 1)\) with the same fifth component. The element \(\iota \) switches the sign of the fifth component, so \(R_{16}\) acts transitively on all the 16 facets.
To deduce that \(R_{16}\) acts transitively on the 16 balanced states, we note that there is a natural 11 correspondence between balanced states and facets, defined as follows: a balanced state is uniquely determined by the unique facet with status I that is incident to all the other facets with status I. For instance, in Fig. 9 such a facet is the one with colour 8 and status I. \(\square \)
Every isometry \(\varphi \in R_{16}\) permutes the set of colourings \(\{1,\ldots , 8\}\) and sends the icoloured pair of facets to the \(\varphi (i)\)coloured pair, either by preserving or by reversing the status of both. We encode this information by adding a bar over the ith number on the permutation string if the statuses are reversed. The identity of course acts as the permutation \((1\ 2\ 3\ 4\ 5\ 6\ 7\ 8)\) and by direct inspection we see that \(L_{1}\) acts like
We also check that \(L_i, L_j, L_k\) act respectively as
while the involution \(\iota \) acts as
The position of the bars depends on the choice of our initial balanced state s, but the following fact is true for every possible choice: the isometries in \(Q_8\) are precisely those with a number of bars that is divisible by four.
The ascending and descending links are collapsible
Let a koctahedron be the regular polytope dual to the kcube (sometimes also called korthoplex). The Gosset polytope \(1_{21}\) is a semiregular Euclidean polytope that is combinatorially dual to \(P^5\), discovered by Gosset [17] in 1900. It has 26 facets: 16 facets are 4simplexes dual to the real vertices of \(P^5\) (the polytope \(P^5\) is rightangled and hence simple, so the link of a real vertex is a 4simplex, that is dual to a 4simplex facet of \(1_{21}\)), while 10 facets are 4octahedra dual to the ideal vertices of \(P^5\) (the link of an ideal vertex is a 4cube, dual to the 4octahedral facet of \(1_{21}\)).
The 1skeleton of \(1_{21}\) is the adjacency graph of \(P^5\). If we consider the boundary of \(1_{21}\) and remove the ten 4octahedra from it, we are left with a 4dimensional simplicial complex K which is isomorphic to the flag simplicial complex generated by the adjacency graph of \(P^5\).
Given a state on \(P^5\), we may define its ascending (descending) link as the subcomplex of K spanned by the vertices dual to the facets with status O (I).
Here is a crucial property of the balanced states:
Proposition 10
On a balanced state, the ascending and descending links are both collapsible.
Proof
It suffices to prove this for the balanced state s of Fig. 9, since any other balanced state is related to it by an isometry of \(P^5\) by Proposition 9. The collapsibility of this state was already noted in [19]. The ascending and descending links both collapse to the vertex coloured by 8, because it is connected to every other vertex (so every maximal simplex contains it). \(\square \)
We now show that the same holds at the ideal vertices of \(P^5\). The link of an ideal vertex v of \(P^5\) is a 4cube, and it inherits a state from the initial state s of \(P^5\): every facet of the 4cube gets the status I/O of the corresponding facet of \(P^5\). The ascending and descending links of the 4cube are defined analogously, as subcomplexes of the dual 4octahedron.
Proposition 11
On a balanced state, the ascending and descending links at every ideal vertex of \(P^5\) are collapsible.
Proof
By looking at Figs. 2, 3, and 4 we find that every ideal vertex v of \(P^5\) is adjacent to two mutually nonadjacent facets of \(P^5\) that belong to the same quartet. These two facets are always assigned opposite statuses. Therefore in the 4cube link there are two opposite facets with opposite statuses. Hence in the dual 4octahedron there are two opposite vertices with opposite statuses. Both the ascending and descending links collapse onto these two vertices. \(\square \)
The subdivided cell complex
The initial state s that we have chosen is very nice, but \(\mathcal {S}\) is not sparse. The induced orientation on the edges of the cubulation of \(\bar{M}^5\) will contain some bad squares like in Fig. 7(center or right) and there is no way to define on such a square an affine function that is coherent with the orientation of the edges. We solve this problem by subdividing the cube complex into smaller pieces: we cut all the cubes that contain these bad squares into four prisms.
We first determine the bad squares. Recall that a ridge in \(P^5\) is a 3dimensional face. We call a ridge bad if the colours of the adjacent facets belong to the same quartet. The 8 bad ridges of \(P^5\) are dual to the 8 red edges shown in Fig. 8. The bad squares contained in the interior of \(\bar{M}^5\) are precisely those that are dual to some 3stratum that projects to a bad ridge of \(P^5\), as explained in the proof of Proposition 7. Since the statuses of the two facets incident to a bad ridge always coincide, the bad square is as in Fig. 7(center). The other bad squares in \(\bar{M}^5\) are those contained in the boundary that are parallel to some interior bad square through a 3cube.
The only bad squares are thus as in Fig. 7(center). This is good news, because these bad squares can be subdivided into four triangles as in Fig. 10, and on each triangle T there is a natural affine height function \(T \rightarrow \mathbb {R}/\mathbb {Z}\) that induces the orientation of its edges and sends the three vertices to 0, 1/2, and \(1=0\). The four affine functions match along the edges and the central vertex of the bad square is sent to 1/2 (as a kind of piecewiselinear saddle point).
Given two cubes \(C, C'\) with oriented edges, there is an obvious way to orient all the edges of \(C\times C'\), since these are either of the form \(e \times \{p'\}\) for some edge \(e\subset C\) or \(\{p\} \times e'\) for some edge \(e'\subset C'\). A product of cubes with coherent orientations is a cube with coherent orientation.
A kcube of the cubulation of \(\bar{M}^5\) is called good if it is coherently oriented and bad otherwise. We already know that \(\bar{M}^5\) contains only one type of bad squares. More generally, we now prove there is only one type of bad kcubes for every \(k\ge 2\).
Proposition 12
Every kcube of the cubulation of \(\bar{M}\) is oriented either coherently, or as \(C \times C'\) for some bad square C and a coherently oriented \((k2)\)cube \(C'\).
Proof
This holds because the bad ridges in \(P^5\) are pairwise disjoint. This can be proved by checking that all the cliques in Fig. 8 contain at most one red edge. \(\square \)
We now subdivide the cube complex decomposition of \(\bar{M}\) by cutting each bad kcube \(C \times C'\) into four prisms \(T \times C'\), where T is one of the four triangles contained in the bad square C as in Fig. 10.
We get a new affine cell decomposition of \(\bar{M}\). All the edges are oriented, all the affine cells have a natural affine function that is compatible with the edges orientations, and these affine functions all match to a circlevalued Morse function \(f:\bar{M} \rightarrow \mathbb {R}/\mathbb {Z}\).
Theorem 13
The ascending and descending links at all the vertices of the affine cell decomposition are collapsible polyhedra. Therefore f is homotopic to a fibration.
Proof
There are 3 types of vertices w in the affine cell decomposition:

(1)
the barycenters of some polytope \(\bar{P}_v^5\),

(2)
the barycenters of some 4cube facet of \(\bar{P}_v^5\), that lie in \(\partial \bar{M}^5\),

(3)
the barycenters of the bad squares.
The vertices of type (1) and (2) are those of the original cubulation, while those of type (3) were introduced in the subdivision into prisms. We analyse the three cases separately. The collapsibility of the ascending and descending links of the vertices of type (1) and (2) is carefully deduced from Propositions 10 and 11, while for those of type (3) it follows essentially from Fig. 11. Here are the details.
We start with (1). Let w be the barycenter of \(\bar{P}_v^5\). Its link \(\mathrm{lk}(w)\) in the affine cell decomposition is the boundary of the Gosset polytope \(1_{21}\), with a couple of further subdivisions:

(i)
the 4octahedra dual to the ideal vertices of \(P^5\) are each subdivided into 16 simplexes by adding a central vertex (which indicates an edge pointing towards a vertex of type (2));

(ii)
one additional vertex is added at the barycenter of each edge dual to a bad ridge of \(P_v^5\), and all the adjacent simplexes are subdivided in two (the additional vertex indicates an edge pointing towards a vertex of type (3)).
Recall from Proposition 10 that the ascending and descending links of the state \(s_v\) are some collapsible subcomplexes of the complex K obtained from the boundary of \(1_{21}\) by removing its 4octahedra. Note that \(\mathrm{lk}(w)\) is obtained from K by adding and subdividing some simplexes (these are the modifications (i) and (ii) described above). The ascending and descending links of w in \(\mathrm{lk}(w)\) are obtained from those of \(s_v\) by the following corresponding modifications:

(i)
the central vertex of each 4octahedron has status O because the edges of the cubulation that intersect the boundary in one endpoint are directed towards it by construction; the central vertex is hence added to the ascending link, together with all the simplexes containing it spanned by vertices with status O; by Proposition 11, the link of this new central vertex in the ascending link is collapsible, so this operation is an expansion (the new ascending link collapses onto the old one);

(ii)
some simplexes are subdivided, but this does not change the piecewiselinear homomorphism type of the ascending and descending links.
The ascending and descending links of \(s_v\) are collapsible by Proposition 10, so the resulting ascending and descending links at w also are, and we are done.
We turn to (2). Let \(w \in \partial \bar{M}^5\) be the barycenter of a boundary 4cube facet of some polytope \(\bar{P}^5_v\), which corresponds to an ideal vertex of \(P^5\). The link \(\mathrm{lk}(w)\) of w in the decomposition is a cone over a polytope that is a 4octahedron with some further subdivisions at the edges dual to the bad ridges. The parts of the ascending and descending links contained in the subdivided 4octahedron are collapsible by Proposition 11. The vertex of the cone has status I, so the descending link is further modified by some expansion. Therefore the ascending and descending links at w are collapsible.
Finally, we examine the case (3). Let w be the barycenter of some bad square. This can lie either in the interior or in the boundary of \(\bar{M}^5\). If it lies in the interior, it is dual to a 3stratum that projects to a bad ridge of \(P^5\). The link \(\mathrm{lk}(w)\) of w in the decomposition is the join of a square (dual to the bad square) and a triangular prism (dual to the ridge). The square has vertices with status I,O,I,O, as one deduces from Fig. 7(center). The triangular prism has the status inherited from the bad ridge.
By looking carefully at Fig. 8 we deduce that a bad ridge that is the intersection of two facets with colours \(t, t+4\) is also incident (along its 6 triangular faces) to facets of all the other 6 colours, whose statuses can be as in Fig. 11. For instance, the 6 facets one obtains from the topleft bad ridge incident to the facets coloured with 1 and 5 are shown in Fig. 12. Since the ascending and descending links in Fig. 11 are collapsible, they remain so after the join with two vertices with status I (or O).
If the bad square lies in \(\partial \bar{M}^5\), the link of w is the cone over the join of the square with vertices I,O,I,O and another square, which is one of the three square faces of the prism shown in Fig. 11. In all the cases shown in the figure the square face contains contractible ascending and descending links and hence we conclude as above. \(\square \)
The proof of Theorem 1 is now complete.
The fibrations on the boundary 4tori
We have constructed a fibration \(f:\bar{M}^5 \rightarrow S^1\). This of course restricts to a fibration on each of the 40 boundary 4tori, that we now analyse.
The decomposition of \(\bar{M}^5\) into 5dimensional polytopes induce a decomposition of \(\partial \bar{M}^5\) into 4cubes. Remember that there are 8 large cusps and 32 small cusps. Correspondingly we have 8 large boundary 4tori in \(\partial \bar{M}^5\) that decompose each as \(4 \times 4 \times 4 \times 4\) hypercubes and 32 small boundary 4tori that decompose each as \(2 \times 2 \times 2 \times 2\) hypercubes. We identify correspondingly each boundary 4torus with \(\mathbb {R}^4/4\mathbb {Z}^4\) and \(\mathbb {R}^4/2\mathbb {Z}^4\) in the obvious way.
Proposition 14
Up to permuting some coordinate axis and/or reversing their orientations, the fibration on each large 4torus is isotopic to \(f(x_1,x_2,x_3,x_4) = x_1\), while that on each small 4torus is \(f(x_1,x_2,x_3,x_4) = x_1+x_2+x_3+x_4\).
Proof
We first note that the dual cube complex of the decompositions of the 4tori into 4cubes is isomorphic to the original decomposition (the tessellation of Euclidean space into cubes is selfdual).
We first analyse the small boundary 4tori. Each such is constructed from a 4cube equipped with its unique 4colouring. The fibration on it is in turn induced by a state and a set of moves that are the restrictions of those \(s,\mathcal {S}\) of \(\bar{M}^5\). By analysing these restrictions we find that the state is a balanced state (opposite facets have opposite statuses), and the set of moves is the set of opposite facets (the same partition of the colouring). With this configuration it is easy to prove that the fibration on the 4torus is simply the diagonal fibration \(f(x_1,x_2,x_3,x_4) = x_1+x_2+x_3+x_4\). The fibration is already smooth by construction, no isotopy is needed.
The situation on the large boundary 4tori is quite different and more complicated because these are adjacent to the bad ridges. Each large boundary 4torus is constructed from a 4cube equipped with its unique 8colouring. The fibration is induced by a state and a set of moves on the 4cube that are the restrictions of those \(s, \mathcal {S}\) of \(\bar{M}^5\), and are as follows.
The set of moves consists of 4 pairs of facets like in the previous case, with one key difference: one pair consists of opposite facets, while the other three pairs consist of adjacent facets. The state has opposite statuses on the first pair, and coinciding statuses on each of the other three pairs. The bad 2squares that separate the pairs of adjacent facets are those contained in the bad ridges of \(P^5\).
The resulting orientations on the edges of the dual \(4\times 4 \times 4 \times 4\) cube complex are as follows. On the coordinate direction that is dual to the facets of the first pair, all the edges are just oriented coherently towards the same direction. We call it the preferred direction. The orientations of the other edges are also invariant under integral translations along the preferred direction. Therefore to understand the orientation of all the edges it suffices to study any big 3cube \(4\times 4 \times 4\) that is orthogonal to the preferred direction.
The orientations on such a big 3cube are as shown in Fig. 13. The figure shows the bad squares and how we decomposed them into triangles. The big 3cube decomposes into \(4\times 4 \times 4\) cubes, that are of two kinds: the good ones that do not contain any bad square, and the bad ones that contain a pair of opposite bad squares, and were hence decomposed into 4 prisms. The positions of the 48 bad squares and the orientations of the edges that are hidden in the figure can be deduced easily from what is shown.
The decomposition of the 4dimensional \(4\times 4 \times 4 \times 4\) large boundary 4torus is the one shown in Fig. 13 multiplied by [0, 1], then repeated and juxtaposed 4 times. A fiber of the fibration is a complicated 3dimensional object, union of various 3dimensional polyhedra attached along their faces by forming varying angles. However, since there is a preferred direction where all the arrows point in the same way, every such polyhedron will be transverse to it. Every fiber of f is the graph of a piecewiselinear function from a 3torus orthogonal to the direction to the \(S^1\) parallel to the direction. Therefore the fibration is isotopic to the projection \(f(x_1,x_2,x_3,x_4) = x_1\), if we suppose that the first coordinate represents the preferred direction. \(\square \)
A totally geodesic fibering 3dimensional submanifold
We have constructed a fibration \(f:M^5 \rightarrow S^1\). We now describe some interesting geodesic 3dimensional submanifolds.
Let \(F^k \subset P^5\) be a kface with \(1 \le k \le 4\). Its preimage in \(M^5\) consists of a (possibly disconnected) totally geodesic kdimensional hyperbolic submanifold that is easily described. The face \(F^k\) inherits a colouring from that of \(P^5\), where every facet \(G^{k1}\) of \(F^k\) takes the colour of the unique facet of \(P^5\) that intersects \(F^k\) in \(G^{k1}\). With the technique already explained above, the colouring defines a hyperbolic kmanifold \(M^k\) that orbifoldcovers \(F^k\). The preimage \(\pi ^{1}(F^k)\) of \(F^k\) in \(M^5\) consists of \(2^c\) copies of \(M^k\), where c is the number of colours in the palette \(\{1,\ldots ,8\}\) that are not assigned to any facet of \(P^5\) incident to \(F^k\).
This yields plenty of interesting geodesic submanifolds in \(M^5\). Every twodimensional face \(F^2\) in \(P^5\) is a triangle with one real rightangled vertex and two ideal vertices. Depending on whether the triangle inherits 2 or 3 colours from those of \(P^5\), its preimage consists of many geodesic hyperbolic punctured spheres in \(M^5\), with 3 or 4 punctures respectively.
Every threedimensional face \(F^3\) in \(P^5\) is a bipyramid with three ideal vertices and two real vertices. This is the rightangled polyhedron \(P^3\) already considered for instance in [25]. Its preimage consists of a number of cusped hyperbolic 3manifolds totally geodesically embedded in \(M^5\).
We are particularly interested in the case where \(F^3\) is a bad ridge. In that case we have already seen during the proof of Theorem 13 that the six faces of \(F^3\) inherit six different colours (so \(F^3\) is adjacent to 8 facets with 8 distinct colours overall) and hence the preimage of \(F^3\) is a connected totally geodesic hyperbolic 3manifold \(M^3\subset M^5\) tessellated into \(2^6\) copies of \(F^3\). The interesting point here is that all the states of these \(2^6\) copies inherited from the states of \(P^5_v\) are as shown in Fig. 11. All the ascending and descending links are collapsible, and therefore we deduce the following.
Proposition 15
The fibration \(f:M^5 \rightarrow S^1\) restricts to a fibration on each totally geodesic \(M^3 \subset M^5\) that is the preimage of a bad ridge of \(P^5\).
There are eight such disjoint geodesically embedded \(M^3\), one above each bad ridge of \(P^5\). By analysing \(M^3\) we discover that it has 12 toric cusps, all contained in the large cusps of \(M^5\).
Determination of the fiber
The fiber of the fibration \(f:\bar{M}^5 \rightarrow S^1\) is a compact 4manifold \(\bar{F}^4\) with boundary, and it is of course of primary interest to understand the topology of \(\bar{F}^4\) and the monodromy of the fibration. We denote by \(F^4\) the interior of \(\bar{F}^4\), that is the fiber of the fibration \(f:M^5 \rightarrow S^1\).
A partially ideal triangulation of \(F^4\) can be built quite easily as follows. In each \(P^5_v\), let \(\Sigma ^3_v \subset \partial P^5_v\) be the union of all the 36 ridges that separate two facets with opposite status (these ridges are never bad). Each ridge is a double pyramid with three ideal vertices and two finite vertices. The piecewiselinear object \(\Sigma ^3_v\) is a punctured 3sphere inside the punctured 4sphere \(\partial P^5_v\), with the punctures being at the ideal vertices. The punctured 3sphere \(\Sigma ^3_v\) separates the two punctured 4discs in \(\partial P^5_v\) that consist of all the facets with status O or I, respectively.
Let \(C(\Sigma ^3_v)\subset P^5_v\) be the cone over \(\Sigma ^3_v\) centered at the barycenter of \(P^5_v\). This is a 4disc with some points removed from the boundary (again, the ideal vertices). One can verify that, up to an isotopy, we have
We have thus described the fiber as a concrete piecewiselinear object \(F^4\) contained in \(M^5\). Of course \(F^4\) is very far from being geodesic: it decomposes into some 4dimensional polytopes (the cones over the ridges) that form various angles at their 3dimensional common facets.
Each ridge is a double pyramid that can be triangulated canonically into two tetrahedra; each such tetrahedron has 3 ideal vertices and one real vertex. Accordingly each \(C(\Sigma ^3_v)\) can be triangulated into 72 distinct 4simplexes, where each 4simplex has 3 ideal vertices and 2 real ones. Summing up, the manifold \(F^4\) is triangulated into \(72 \times 2^8=18432\) distinct 4simplexes with both ideal and finite vertices. This triangulation is too large to be studied, and this motivated us to look for some smaller examples. We do this in the next section.
Remark 16
As is typical with these constructions, the fiber \(F^4\) has two connected components, obtained by taking in (1) the vectors \(v\in \mathbb {Z}_2^8\) with even or odd sum \(v_1+\cdots + v_8\). The fibration \(f:M^5 \rightarrow S^1\) that we have constructed has disconnected fibers, and the image of \(f_*:\pi _1(M^5) \rightarrow \pi _1(S^1) = \mathbb {Z}\) is \(2\mathbb {Z}\). We will henceforth substitute f with its lift along the degree2 covering \(S^1 \rightarrow S^1\) to get a fibration with connected fibers. We still name the resulting fibration as \(f:M^5 \rightarrow S^1\) for simplicity.
A smaller example
In the previous section we have constructed a fibration \(f:M^5 \rightarrow S^1\). We now build a smaller example \(N^5\) that is commensurable with \(M^5\). The smaller example \(N^5\) turns out to be the smallest hyperbolic 5manifold known, constructed by Ratcliffe and Tschantz in [26]. For such an object we can describe the fiber explicitly and study it using Regina [12].
The abelian cover
Let \(\tilde{M}^5 \rightarrow M^5\) be the abelian cover obtained by unwrapping completely the fibration \(f :M^5 \rightarrow S^1\). Formally, this is the cover determined by the kernel of \(f_*:\pi _1(M^5) \rightarrow \pi _1(S^1) = \mathbb {Z}\). The fibration \(f:M^5 \rightarrow S^1\) lifts to a fibration \(\tilde{f} :\tilde{M}^5 \rightarrow \mathbb {R}\) with the same fiber \(F^4\) as the original f. The hyperbolic manifold \(\tilde{M}^5\) has infinite volume, it is geometrically infinite and diffeomorphic to \(F^4 \times \mathbb {R}\).
The tessellation of \(M^5\) into polytopes \(P_v^5\) with \(v\in \mathbb {Z}_2^8\) lifts naturally to a tessellation of \(\tilde{M}^5\) that can be described explicitly. The manifold \(\tilde{M}^5\) decomposes into infinitely many copies of \(P^5\) indexed as
where \(v \in \mathbb {Z}_2^8\) and \(l \in \mathbb {Z}\) vary with the condition that \(v_1+ \cdots + v_8 + l \) should be an even integer. (This condition is connected to Remark 16: without it, we would get two identical copies of \(\tilde{M}^5\)). The polytope \(P_{v,l}^5\) inherits the colouring of \(P^5\) and the state of \(P_v^5\). The facet F of \(P_{v,l}^5\) is identified with the identity map to the facet F of \(P_{v+e_i,l \pm 1}^5\), where i is the colour of F and the sign \(+1\) or \(1\) depends on whether the status of F in \(P_{v,l}^5\) is O or I.
The covering \(\tilde{M}^5 \rightarrow M^5\) is simply the forgetful map \(P_{v,l}^5 \rightarrow P_v^5\). The monodromy of the covering is the deck transformation
that sends \(P_{v,l}^5\) to \(P_{v,l+2}^5\) via the identity map. Of course we have
The Ratcliffe–Tschantz hyperbolic 5manifold \(N^5\)
We now quotient \(\tilde{M}^5\) to obtain a much smaller hyperbolic manifold \(N^5\), that we find a posteriori to be isometric to the smallest hyperbolic 5manifold known, discovered by Ratcliffe and Tschantz in [26].
Every polyhedron \(P^5_{v,l}\) is by construction identified canonically with \(P^5\). Given an isometry \(\varphi :P^5_{v,l} \rightarrow P^5_{v',l'}\), we denote by \(\bar{\varphi }\) the corresponding isometry \(\bar{\varphi }:P^5 \rightarrow P^5\). Recall that \(P^5_{v,l}\) and \(P^5_{v',l'}\) inherit the colouring of \(P^5\) and the states of \(P^5_v\) and \(P^5_{v'}\).
Recall from Proposition 9 that \(R_{16}\) is a group of isometries of \(P^5\) that preserve the colouring of \(P^5\) and acts freely and transitively on the balanced states of \(P^5\). This implies that for every pair of polytopes \(P^5_{v,l}\) and \(P^5_{v',l'}\) of the tessellation of \(\tilde{M}^5\) there is a unique statepreserving isometry \(\varphi :P^5_{v,l} \rightarrow P^5_{v',l'}\) with \(\bar{\varphi }\in R_{16}\). This is a very convenient property. We now show that this isometry extends to an isometry of \(\tilde{M}^5\), and that all the isometries of \(\tilde{M}^5\) constructed in this fashion form a group.
Every isometry \(\psi \in R_{16}\) acts on the set \(\{1, \ldots , 8\}\) of colourings, and hence linearly on \(\mathbb {Z}_2^8\) by sending \(e_i\) to \(e_{\psi (i)}\).
Lemma 17
Every statepreserving isometry \(\varphi :P^5_{v,l} \rightarrow P^5_{v',l'}\) extends to a unique isometry \(\Phi :\tilde{M}^5 \rightarrow \tilde{M}^5\), which sends \(P^5_{v+w,l+j}\) to \(P^5_{v'+\bar{\varphi }(w),l'+j}\) via the unique statepreserving isometry \(\rho \) with \(\bar{\rho }= \bar{\varphi }\), for every \(w \in \mathbb {Z}_2^8\) and \(j\in \mathbb {Z}\) with \(w_1+\cdots +w_8+j\) even. We have \(\bar{\varphi }\in Q_8\) if and only if \(ll'\) is even.
All the isometries \(\Phi \) of this kind form a group \(\Gamma \) that acts freely and transitively on the polyhedra \(P^5_{v,l}\) of the tessellation.
Proof
We show that \(\Phi \) is welldefined. By definition \(\Phi \) sends the polyhedron \(P^5_{v+w,l+j}\) to \(P^5_{v'+\varphi (w),l'+j}\) via \(\varphi \), for every \(w \in \mathbb {Z}_2^8\) and \(j\in \mathbb {Z}\) with \(w_1+\cdots +w_8+j\) even. It is immediate to check that \(\Phi \) permutes the polyhedra of the tessellation of \(\tilde{M}\). It is an isometry when restricted to each of them, and it remains to prove that it is welldefined on their intersections.
Consider a facet F that separates two polyhedra \(P^5_{v+w,l+j}\) and \(P^5_{v+w+e_i,l+j+1}\). The colour of F is i. The map \(\Phi \) sends the two polyhedra adjacent to F respectively to \(P^5_{v'+\varphi (w),l'+j}\) and \(P^5_{v'+\varphi (w+e_i),l'+j+1} = P^5_{v'+\varphi (w) + e_{\varphi (i)}, l'+j+1}\), and it sends F to the facet \(\varphi (F)\) of colour \(\varphi (i)\) contained in both of them. Therefore \(\Phi \) is welldefined.
The fact that \(\varphi \in Q_8\) if and only if \(ll'\) is even follows from the discussion after Proposition 9, where we say that \(\varphi \in Q_8\) if and only if the number of “bars” is divisible by four. \(\square \)
We have just defined a group \(\Gamma \) of isometries of \(\tilde{M}\) that acts freely and transitively on the polytopes \(P^5_{v,l}\) of the tessellation. The action on \(\tilde{M}\) is not free, because the statespreserving map
extends to an isometry \(\Phi \) of \(\tilde{M}^5\) which fixes the nonempty intersection \(P^5_{0,0} \cap P^5_{e_1+e_5,0}\), that consists of two bad ridges separating the facets with colour 1 and 5. The quotient \(\tilde{M}^5/\Gamma \) is an interesting orbifold (not a manifold) tessellated into a single copy of \(P^5\).
We now describe a torsionfree index two subgroup \(\Gamma _0 \triangleleft \Gamma \). We consider the following isometries in \(\Gamma \):

(1)
those that send \(P_{0,0}^5\) to \(P_{v,0}^5\) with \(v_1+ \cdots + v_4\) even;

(2)
the isometry that sends \(P_{0,0}^5\) to \(P_{e_1,1}^5\).
Let \(\Gamma _0<\Gamma \) be the subgroup generated by these (finitely many) isometries.
Theorem 18
The group \(\Gamma _0\) has index two in \(\Gamma \) and acts freely on \(\tilde{M}^5\). The quotient \(N^5 = \tilde{M}^5/\Gamma _0\) is a cusped hyperbolic 5manifold tessellated in two copies of \(P^5\), isometric to the manifold discovered by Ratcliffe and Tschantz in [26].
Proof
Let the parity of a vector \(w\in \mathbb {Z}_2^8\) be the parity of \(w_1+w_2+w_3+w_4\). By using the explicit description of \(\Phi \) of Lemma 17 we can check that the isometries of type (1) send \(P^5_{w,l}\) to some \(P^5_{w',l}\) such that w and \(w'\) have the same parity, while the isometry (2) sends \(P^5_{w,l}\) to some \(P^5_{w',l+1}\) such that w and \(w'\) have the same parity \(\Leftrightarrow \) l is odd. To prove this, we use that for (1) \(\varphi \in Q_8\) acts on the colourings by preserving the two subsets \(\{1,\ldots , 4\}\) and \(\{5,\ldots , 8\}\), while for (2) \(\varphi \not \in Q_8\) exchanges these two subsets. So for (1) we have \(w' = v + \varphi (w)\) and hence
is even, while for (2) we have \(w' = e_1+\varphi (w)\) and hence
is even \(\Leftrightarrow \) l is odd. From these facts we deduce easily that \(P_{v,l}\) and \(P_{w,l}\) lie in the same orbit with respect to \(\Gamma _0\) if and only if v and w have the same parity. This shows that \(\Gamma _0< \Gamma \) has index two and that \(P_{0,0}^5\) and \(P_{e_1+e_5,0}^5\) are representatives of the two orbits. Hence the quotient \(N^5\) is tessellated into two copies of \(P^5\).
We prove that the action is free. Let \(\Phi \in \Gamma _0\) send \(P^5_{v,l}\) to \(P^5_{v',l'}\) via some isometry \(\varphi \). If \(l'\ne l\), then \(\Phi \) has infinite order and therefore it has no fixed points (the action of \(\Gamma \) is properly discontinuous). If \(l'=l\) and \(\varphi \ne \mathrm{id}\), then \(\varphi \in Q_8\) is an isometry of \(P^5\) that fixes the vertical axis \(\{0\}\times \mathbb {R}\subset \mathbb {H}\times \mathbb {R}\), which does not intersect any facet of \(P^5\), since the vertical axis \(x_1 = x_2 = x_3 = x_4 = 0\) in the Klein model is a geodesic which connects two opposite ideal vertices of \(P^5\), namely \((0,0,0,0,\pm 1)\); this implies that \(\Phi \) does not have any fixed point in \(\tilde{M}^5\).
If \(l'=l\), \(\varphi = \mathrm{id}\), and \(v\ne v'\), then \(\varphi = \mathrm{id}\) implies that \(P_{v,l}\) and \(P_{v',l}\) have the same status, which holds precisely if \(v_i + v_{i+4} + v_i' + v_{i+4}'\) is even for all \(i\in \{1,\ldots , 4\}\). Moreover, by hypothesis also \(v_1+\cdots + v_4+v_1'+\cdots + v_4'\) is even: from these conditions we deduce that there are at least two distinct numbers \(i,j \in \{1,\ldots , 4\}\) such that v and \(v'\) differ in the coordinates \(i,j,i+4,j+4\). This implies that \(P^5_{v,l} \cap P^5_{v',l} = \emptyset \) (because distinct bad ridges of \(P^5\) are disjoint) and hence \(\Phi \) has no fixed points.
The fact that the resulting manifold \(N^5\) is isometric to the one found by Ratcliffe and Tschantz was then found via computer, by constructing triangulations of both manifolds and then proving that they are combinatorially isomorphic. The code is available in [30]. \(\square \)
In Table 1 we show how to obtain \(N^5\) as an isometric facetpairing of two copies of \(P^5\). The second column in the table shows the status I/O of each facet, and the last column indicates the permutation of the 5 axis of \(\mathbb {R}^5\) induced by the isometric pairing: the permutation is enough to recover the isometry that glues the two facets. It is clear from the table that if we exchange the two polytopes via the identity map we get a statuspreserving isometry of \(N^5\), yielding the fibering orbifold \(\tilde{M}/\Gamma \). The pairing is combinatorially equivalent to the one exhibited in [26], as we checked with a computer.
Some topological information on the manifold \(N^5\) was already given in [26, Section 9]. We have
This is the hyperbolic 5manifold with the smallest volume \(7\zeta (3)/4 = 2.103\ldots \) known. It is orientable and has two cusps, whose sections are the flat 4manifolds denoted as D and P in [26]. Both these flat 4manifolds fiber over \(S^1\) with fiber the Hantsche–Wendt flat 3manifold \(\mathrm{HW}\), the first with trivial monodromy (so \(D = \mathrm{HW}\times S^1\)), and the second with a nontrivial one. We have
The fiber
Using Sage we have written the algorithm described in Sect. 1.15 to construct the fiber \(F^4\) of the fibration \(f:N^5 \rightarrow S^1\). The code is available from [30]. The resulting fiber \(F^4\) is triangulated into \(2\cdot 72 = 144\) distinct 4dimensional simplexes, a much more reasonable number than the one found in Sect. 1.15.
The triangulation of \(F^4\) has both ideal and real vertices. We have then asked Regina [12] to simplify it, and the result is a nice triangulation of \(F^4\) with only 40 distinct 4simplexes. Its isomorphism signature is
This is is a nice purely ideal triangulation, with 5 ideal vertices, 17 edges, 78 triangles, 100 tetrahedra, and 40 polychora. Regina also found some triangulations with 36 distinct 4simplexes, that look however less symmetric than the one described above. One has the following isomorphism signature:
Regina tells us that \(F^4\) is the interior of a compact manifold \(\bar{F}^4\) with 5 boundary components, each homeomorphic to \(\mathrm{HW}\). This is of course coherent with the fact that the cusp sections of \(N^5\) are bundles with \(\mathrm{HW}\) fibers. The fact that \(\bar{F}^4\) has more boundary components than \(\bar{N}^5\) is of course not a contradiction, since many boundary components of \(\bar{F}^4\) can lie in the same boundary component of \(\bar{N}^5\). Regina computes the integral homology of \(F^4\), which is
We deduce that \(\chi (F^4)=1\). This implies in particular that there is no way to obtain a smaller fiber by further quotienting \(N^5\) by some isometries.
The manifold \(F^4\) is of course aspherical, since \(N^5\) is aspherical and covered by \(F^4\times \mathbb {R}\). Regina furnishes a presentation of its fundamental group with 4 generators \(\mathtt{a,b,c,d}\) and 8 relations:
A totally geodesic fibering 3dimensional submanifold
We have noticed in Sect. 1.14 that \(M^5\) contains eight disjoint totally geodesic hyperbolic 3manifolds \(M^3\) such that \(f_{M^3}\) is a fibration on each. These manifolds \(M^3\) are precisely the preimages of the 8 bad ridges of \(P^5\).
The same phenomenon occurs in the fibration \(f:N^5 \rightarrow S^1\). The bad ridges of the two copies of \(P^5\) that form the tessellation of \(N^5\) glue to form a unique connected totally geodesic hyperbolic 3manifold \(N^3\subset N^5\), that is covered by the 3manifold \(M^3\) considered above. By direct inspection we find that the fiber of \(f:N^3 \rightarrow S^1\) is a torus with three punctures, naturally contained in the fiber \(F^4\).
The monodromy?
Like every other fibration, the one \(f:N^5 \rightarrow S^1\) that we have constructed here could be fully described topologically by exhibiting the fiber \(F^4\) and the monodromy diffeomorphism \(\varphi :F^4 \rightarrow F^4\). Thanks to Regina, we have a quite reasonable description of the fiber \(F^4\), but admittedly we do not have yet a description of the monodromy, because it is quite hard to infer it from the combinatorial data that we have.
Nevertheless, after analysing the triangulation furnished by Regina we make the following guess. Let \(\Sigma ^2\) be a torus with three holes.
Guess 19
The 4manifold \(\bar{F}^4\) is obtained from one boundary component \(\mathrm{HW}\) by attaching first \(\Sigma ^2 \times D^2\) along an embedding \((\partial \Sigma ^2) \times D^2 \hookrightarrow \mathrm{HW}\), and then some handles of dimension \(\ge 2\). The monodromy \(\varphi \) is the identity on \(\mathrm{HW}\), it preserves \(\Sigma ^2\), and acts on it like a pseudoAnosov diffeomorphism.
The image of the embedding of \((\partial \Sigma ^2) \times D^2\) in \(\mathrm{HW}\) should be a thickened link with 3 components (that is, three disjoint solid tori). The surface \(\Sigma ^2\) should be the transverse intersection of the geodesic 3manifold \(N^3\) described above and the fiber \(\bar{F}^4\). At the fundamental group level, if this picture were true we would deduce that \(\pi _1(\bar{F}^4)\) is generated by the injectively embedded subgroups \(\pi _1(\mathrm{HW})\) and \(\pi _1(\Sigma ^2)\), and the monodromy acts on the first like the identity and on the second like a pseudoAnosov diffeomorphism. That might lead (if it were true!) to a reasonable description of the monodromy.
Nonhyperbolic groups
We prove here Corollary 2. Let \(M^5\) be the cusped hyperbolic 5manifold that fibers over \(S^1\), with fiber \(F^4\), constructed in Sect. 1. (We may suppose after unwrapping that the fiber \(F^4\) is connected, see Remark 16.)
Recall that \(M^5\) has 40 toric cusps. We pick 40 disjoint embedded sections of the cusps and truncate \(M^5\) along them to get a compact manifold \(\bar{M}^5\), whose interior is diffeomorphic to \(M^5\), and whose boundary consists of 40 Euclidean 4tori. By Proposition 14 the restriction \(f :T^4 \rightarrow S^1\) to each boundary Euclidean 4torus \(T^4\subset \partial M^5\) is isotopic to a geodesic fibration, that is one where each fiber is a geodesic 3torus in \(T^3\). We modify the original fibration \(f:\bar{M}^5\rightarrow S^1\) via this isotopy so that its restriction to each boundary component \(T^4\) is geodesic. Let \(\bar{F}^4\) be the fiber of \(f:\bar{M}^5 \rightarrow S^1\), a compact 4manifold bounded by 3tori whose interior is diffeomorphic to \(F^4\).
By the residual finiteness of \(\pi _1(M^5)\), up to passing to a finite regular cover we may suppose that each 4torus boundary \(T^4\) of \(\bar{M}^5\) has systole larger than \(2\pi \). The fibration lifts obviously to the finite cover. We keep denoting the manifold and the fiber by \(M^5\) and \(F^4\). The number of boundary 4tori of \(\bar{M}^5\) may now be bigger than 40, but this is not a problem.
We now follow the terminology of [15]. Let \(\hat{M}^5\) be the space obtained from \(\bar{M}^5\) by filling along the geodesic 3tori fibers in all the boundary components. Topologically, we are shrinking every geodesic 3torus fiber to a point, thus replacing every boundary component of \(\bar{M}^5\) with a circle. The complement of these circles in \(\hat{M}^5\) is homeomorphic to \(M^5\). We set \(G=\pi _1(\hat{M}^5)\).
Proposition 20
The space \(\hat{M}^5\) is aspherical and G is hyperbolic and torsionfree.
Proof
This is a 2\(\pi \)filling because each of the shrinked 3tori has systole larger than \(2\pi \) (there are no closed geodesics shorter than \(2\pi \) in the ambient 4torus). Therefore [15, Theorem 2.7] implies that \(\hat{M}^5\) has a locally CAT(\(\kappa \)) complete path metric for some \(\kappa > 0\). In particular \(\hat{M}^5\) is aspherical and \(G=\pi _1(\hat{M}^5)\) is hyperbolic and torsionfree. \(\square \)
The smooth fibration \(f:\bar{M}^5 \rightarrow S^1\) quotients to a topological fibration \(f:\hat{M}^5 \rightarrow S^1\) whose fiber is homeomorphic to the space \(\hat{F}^4\) obtained from \(\bar{F}^4\) by coning each of its 3torus boundary components. At the fundamental groups level we get \(f_* :G \rightarrow \mathbb {Z}\) and we define
Proposition 21
The space \(\hat{F}^4\) is aspherical and hence H is of finite type.
Proof
The space \(\hat{M}^5\) is aspherical and covered by \(\hat{F}^4 \times \mathbb {R}\), which is hence also aspherical, so \(\hat{F}^4\) also is. \(\square \)
It only remains to prove that H is not hyperbolic. We note that \(\hat{M}^5\) and \(\hat{F}^4\) are aspherical orientable pseudomanifolds of dimension 5 and 4. In particular we get the following.
Proposition 22
We have \(H^5(G) = H^5(\hat{M}^5) = \mathbb {Z}\) and \(H^4(H) = H^4(\hat{F}^4) = \mathbb {Z}\).
Proof
We have \(M^5 = \hat{M}^5 \setminus S\) where S is the singular set and consists of circles. The exact sequence of the pair gives \(H^5(\hat{M}^5) = H^5(\hat{M}^5, S)\). If we denote by \(\nu S\) a closed regular neighbourhood of S we have \(H^5(\hat{M}^5, S) = H^5(\hat{M}^5, \nu S) = H^5(\bar{M}^5, \partial \bar{M}^5) = \mathbb {Z}\) after excising the interior of \(\nu S\). The proof for \(\hat{F}^4\) is similar with S consisting of points. \(\square \)
The crucial point needed to show that H is not hyperbolic is the following.
Proposition 23
The outer automorphism group \(\mathrm{Out}(H)\) is infinite.
Proof
This holds because the monodromy of the fibration has infinite order. To show this, let \(\alpha \in \pi _1(\hat{M}^5)\) be an element whose image \(f_*(\alpha )\) generates \(\pi _1(S^1)\). Conjugation by \(\alpha ^k\) is an automorphism of H that is nontrivial in \(\mathrm{Out}(H)\) for each \(k\ne 0\). Indeed, if by contradiction we had \(\alpha ^k g \alpha ^{k} = \beta g \beta ^{1}\) for some \(\beta \in H\) and all \(g\in H\), then \(\beta ^{1}\alpha ^k \ne e\) would commute with every element of H. Since G is hyperbolic, the centraliser of \(\beta ^{1}\alpha ^k\) is infinite cyclic [10, Corollary III.\(\Gamma \).3.10], and hence cyclic since G is torsionfree (every virtually cyclic torsion free group is cyclic). Therefore H is infinite cyclic, a contradiction since \(H^4(H) = \mathbb {Z}\). \(\square \)
Finally, suppose for a contradiction that H is hyperbolic. Since \(\mathrm{Out}(H)\) is infinite, by Rips’ theory [6, Corollary 1.3] the group H splits over a cyclic subgroup. However, this is impossible.
Proposition 24
The group H cannot split over a cyclic subgroup.
Proof
Suppose that \(H= A*_\mathbb {Z}B\) (the cases where the cyclic group is trivial or we have a HNN extension are similar). We get an exact sequence
and hence \(H^4(A) \oplus H^4(B) = H^4(H) = \mathbb {Z}\). Both A and B have infinite index in H, so they are the fundamental group of an infinite cover of \(\hat{F}^4\), which is a noncompact aspherical 4dimensional object. Therefore \(H^4(A) = H^4(B)=0\), a contradiction. \(\square \)
The proof of Corollary 2 is complete.
Further research
There is a heuristic aspect of the result presented in this paper which is worth noting: we did not construct deliberately a hyperbolic 5manifold that fibers; on the contrary, we picked the simplest hyperbolic 5manifold \(M^5\) that we know, we tried to construct some fibration f on it, and we were quite surprised to find one with moderate effort. This might suggest that there could be plenty of fibering hyperbolic 5manifolds, and that our present difficulty in exhibiting more examples is only due to the intrinsically complicated combinatorics involved with any of these objects and to our lack of knowledge. A first natural direction of research consists of finding more examples.
Question 25
How many commensurability classes of hyperbolic 5manifolds that fiber over the circle are there? Are there any compact examples?
The technology presented here applies as is only to rightangled polytopes, and we know only one commensurability class of rightangled hyperbolic 5polytopes. Another natural question is the following.
Question 26
Are there hyperbolic manifolds that fiber in dimension \(7,9, \ldots \) ?
More generally, it is asked in [3] whether there are hyperbolic manifolds with perfect circlevalued Morse functions in all dimensions: at present we know that these exist for all \(n\le 5\). Note that in dimension \(n=4\) there are both cusped and compact examples [3]. A bolder question raised in [3] is whether any hyperbolic manifold of any dimension should be finitely covered by one that has a perfect circlevalued Morse function. In odd dimensions, this is equivalent to asking whether every odddimensional hyperbolic manifold fibers virtually. Not a single counterexample seems known at present.
Fibering is an open condition in cohomology. Given an odddimensional hyperbolic manifold M, there is a (possibly empty) open cone \(U\subset H^1(M,\mathbb {R})\) such that the classes represented by fibrations are precisely those in \(U\cap H^1(M,\mathbb {Z})\). In dimension 3 we know from Thurston’s work that U is polytopal, that is, is the cone over some open facets of a polytope. It is asked in [3] whether this holds in any dimension. It would be interesting to fully understand at least some concrete examples.
Problem 27
Determine U for a specific fibering hyperbolic 5manifold M. Is U polytopal? Is it dense in \(H^1(M,\mathbb {R})\)? Can we find examples where U is dense, and others where it is not dense?
Note that this question is trivial for the Ratcliffe–Tschantz manifold \(N^5\) since \(H^1(N^5,\mathbb {R}) = \mathbb {R}\). One might look at some cover of \(N^5\) with larger first Betti number.
Whenever a hyperbolic 3manifold fibers over the circle, we know that the fiber is a finitetype surface and the monodromy is pseudoAnosov. Here we were able to determine the fiber for \(N^5\) in the form of a 4dimensional ideal triangulation that Regina can handle. However, we could not determine the monodromy. The monodromy is a selfdiffeomorphism of the fiber that is certainly of interest here.
Problem 28
Determine the monodromy in some example. Study its dynamics.
Every fibration of a hyperbolic 5manifold over the circle induces an abelian covering that is a geometrically infinite hyperbolic 5manifold diffeomorphic to a product \(F\times \mathbb {R}\). In dimension 3 there are many beautiful theorems on such manifolds, while in dimension 5 we know absolutely nothing for the moment, except that they exist.
Problem 29
Consider a geometrically infinite hyperbolic 5manifold diffeomorphic to \(F\times \mathbb {R}\). Is it rigid? Can we define some reasonable ending invariant? Is there any such manifold that does not cover a finitevolume one?
References
Agol, I.: The virtual Haken conjecture (with an appendix by I. Agol, D. Groves and J. Manning). Doc. Math. 18, 1045–1087 (2013)
Agol, I., Long, D., Reid, A.: The Bianchi groups are separable on geometrically finite subgroups. Ann. Math. 153, 599–621 (2001)
Battista, L., Martelli, B.: Hyperbolic 4manifolds with perfect circlevalued Morse functions. Trans. Amer. Math. Soc. 375, 2597–2625 (2022)
Bestvina, M.: Questions in geometric group theory. https://www.math.utah.edu/~bestvina/eprints/questionsupdated.pdf
Bestvina, M., Brady, N.: Morse theory and finiteness properties of groups. Invent. Math. 129, 445–470 (1997)
Bestvina, M., Feighn, M.: Stable actions of groups on real trees. Invent. Math. 121, 287–321 (1995)
Brady, N.: Branched coverings of cubical complexes and subgroups of hyperbolic groups. J. Lond. Math. Soc. 60, 461–480 (1999)
Bridson, M.: Nonpositive curvature in group theory. In: Campbell, C.M., Robertson E.F., Smith, G.C. (eds.) Groups St. Andrews in Bath. LMS Lecture Notes, vol. 270, pp. 1–50 (1998)
Bridson, M.: Problems concerning hyperbolic and CAT(0) groups. https://docs.google.com/file/d/0Btup63120GVVZqNFlTcEJmMmc/edit
Bridson, M., Haefliger, A.: Metric Spaces of NonPositive Curvature. In: Grundlehren der Math. Wiss., vol. 319. SpringerVerlag, Heidelberg (1999)
Brinkmann, P.: Hyperbolic automorphisms of free groups. Geom. Funct. Anal. 10, 1071–1089 (2000)
Burton, B., Budney, R., Pettersson, W., et al.: Regina: Software for lowdimensional topology. http://reginanormal.github.io/ (1999–2021)
Choi, S., Park, H.: Multiplicative structure of the cohomology ring of real toric spaces. Homol. Homotopy Appl. 22, 97–115 (2020)
Drutu, C., Kapovich, M.: Geometric Group Theory, with an appendix by B. Nica, vol. 63. AMS Colloquium Publications (2018)
Fujiwara, K., Manning, J.: CAT(0) and CAT(1) fillings of hyperbolic manifolds. J. Differ. Geom. 85, 229–270 (2010)
Gersten, S.M.: Subgroups of word hyperbolic groups in dimension 2. J. Lond. Math. Soc. 54, 261–283 (1996)
Gosset, T.: On the regular and semiregular figures in space of n dimensions. Messenger Math. 29, 43–48 (1900)
Hirsch, M.W., Mazur, B.: Smoothings of Piecewise Linear Manifolds. Annals of Mathematics Studies, vol. 80. Princeton University Press, Princeton (1974)
Italiano, G., Martelli, B., Migliorini, M.: Hyperbolic manifolds that fiber algebraically up to dimension 8. arXiv:2010.10200
Jankiewicz, K., Norin, S., Wise, D.T.: Virtually fibering rightangled Coxeter groups. J. Inst. Math. Jussieu 20, 957–987 (2021)
Jørgensen, T.: Compact 3manifolds of constant negative curvature fibering over the circle. Ann. Math. 106, 61–72 (1977)
Munkres, J.R.: Obstructions to the smoothing of piecewisedifferentiable homeomorphisms. Ann. Math. (2) 72, 521–554 (1960)
Mutanguha, J.P.: The dynamics and geometry of free group endomorphisms. Adv. Math. 384, 107714 (2021)
Potyagailo, L., Vinberg, E.V.: On rightangled reflection groups in hyperbolic spaces. Comment. Math. Helv. 80, 63–73 (2005)
Ratcliffe, J., Tschantz, S.: The volume spectrum of hyperbolic 4manifolds. Exp. Math. 9, 101–125 (2000)
Ratcliffe, J., Tschantz, S.: Integral congruence two hyperbolic 5manifolds. Geom. Dedicata 107, 187–209 (2004)
Thurston, W.: On the geometry and dynamics of diffeomorphisms of surfaces. Bull. Am. Math. Soc. 19, 417–431 (1988)
Thurston, W.: Hyperbolic structures on 3manifolds II: surface groups and 3manifolds which fiber over the circle. arXiv:9801045
Wise, D.T.: The structure of groups with a quasiconvex hierarchy, preprint. http://www.math.mcgill.ca/wise/papers
https://github.com/topologiapisa/tessellatedmanifoldtriangulation
Acknowledgements
We thank Roberto Frigerio and Giles Gardam for valuable discussions.
Funding
Open access funding provided by Università di Pisa within the CRUICARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Italiano, G., Martelli, B. & Migliorini, M. Hyperbolic 5manifolds that fiber over \(S^1\). Invent. math. (2022). https://doi.org/10.1007/s0022202201141w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s0022202201141w