Algebraic fibrations of certain hyperbolic 4-manifolds

An algebraically fibering group is an algebraic generalization of the fibered 3-manifold group in higher dimensions. Let M(P) and M(epsilon) be the cusped and compact hyperbolic real moment-angled manifolds associated with the hyperbolic right-angled 24-cell P and the hyperbolic right-angled 120-cell epsilon, respectively. Jankiewicz, Norin, and Wise recently showed that pi(1)(M(P)) and pi(1)(M(epsilon)) are algebraically fibered. In other words, there are two exact sequences 1 -> H-P ->pi(1)(M(P))->(phi P)Z -> 1, 1 -> H-epsilon ->pi(1)(M(epsilon))->(& phi);(epsilon)Z -> 1, where H-P and H-epsilon are finitely generated. In this paper, we further show that the fiber-kernel groups H-P and H-epsilon are not F P-2. In particular, they are finitely generated, but not finitely presented. (C) 2021 Elsevier B.V. All rights reserved.