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 sequences1 - 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.