Algebraic fibrations of certain hyperbolic 4-manifolds

Abstract

Algebraically fibering group is an algebraic generalization of the fibered 3-manifold group in higher dimensions. Let $M(\mathcal{P})$ and $M(\mathcal{E})$ be the cusped and compact hyperbolic real moment-angled manifolds associated to the hyperbolic right-angled 24-cell $\mathcal{P}$ and the hyperbolic right-angled 120-cell $\mathcal{E}$, respectively. Jankiewicz-Norin-Wise showed in [13] that ${\pi }_1(M(\mathcal{P}))$ and ${\pi }_1(M(\mathcal{E}))$ are algebraic fibered. Namely, there are two exact sequences $$1\to H_{\mathcal{P}}\to {\pi }_1(M(\mathcal{P}))\stackrel{{\varphi }_{\mathcal{P}}}{\to }\mathbb{Z}\to 1,$$ $$1\to H_{\mathcal{E}}\to {\pi }_1(M(\mathcal{E}))\stackrel{{\varphi }_{\mathcal{E}}}{\to }\mathbb{Z}\to 1,$$ where $H_{\mathcal{P}}$ and $H_{\mathcal{E}}$ are finitely generated. In this paper, we furtherly show that the groups $H_{\mathcal{P}}$ and $H_{\mathcal{E}}$ are not $F{P}_2$. In particular, those fiber-kernel groups are finitely generated, but not finitely presented.