56c5cc77ce885f96.tex
1: \begin{abstract}
2: We construct some cusped finite-volume hyperbolic $n$-manifolds $M^n$ that fiber algebraically in all the dimensions $5\leq n \leq 8$. That is, there is a surjective homomorphism $\pi_1(M^n) \to \matZ$ with finitely generated kernel. 
3: 
4: The kernel is also finitely presented in the dimensions $n=7, 8$, and this leads to the first examples of hyperbolic $n$-manifolds $\widetilde M^n$ whose fundamental group is finitely presented but not of finite type. These $n$-manifolds $\widetilde M^n$ have infinitely many cusps of maximal rank and hence infinite Betti number $b_{n-1}$. They cover the finite-volume manifold $M^n$.
5: 
6: We obtain these examples by assigning some appropriate \emph{colours} and \emph{states} to a family of right-angled hyperbolic polytopes $P^5, \ldots, P^8$, and then applying some arguments of Jankiewicz -- Norin -- Wise \cite{JNW} and Bestvina -- Brady \cite{BB}. We exploit in an essential way the remarkable properties of the Gosset polytopes dual to $P^n$, and the algebra of integral octonions for the crucial dimensions $n=7,8$.
7: \end{abstract}
8: