Algebraic fibrations of certain hyperbolic 4-manifolds

Jiming Ma; Fangting Zheng

doi:10.1016/j.topol.2021.107592

Algebraic fibrations of certain hyperbolic 4-manifolds

Jiming Ma
, Fangting Zheng^*

^*Corresponding author for this work

Department of Pure Mathematics

Fudan University

Research output: Contribution to journal › Article › peer-review

Abstract

An algebraically fibering group is an algebraic generalization of the fibered 3-manifold group in higher dimensions. Let M(P) and M(E) 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 E, respectively. Jankiewicz, Norin, and Wise recently showed that π₁(M(P)) and π₁(M(E)) are algebraically fibered. In other words, there are two exact sequences 1→H_P→π₁(M(P))→ϕ_PZ→1, 1→H_E→π₁(M(E))→ϕ_EZ→1, where H_P and H_E are finitely generated. In this paper, we further show that the fiber-kernel groups H_P and H_E are not FP₂. In particular, they are finitely generated, but not finitely presented.

Original language	English
Article number	107592
Journal	Topology and its Applications
Volume	290
DOIs	https://doi.org/10.1016/j.topol.2021.107592
Publication status	Published - 1 Mar 2021

Keywords

Algebraic fibered
Finitely generated
Finitely presented
Hyperbolic 4-manifolds

Access to Document

10.1016/j.topol.2021.107592

Cite this

@article{db2cd9c8253a4f48a72299b2f5e07b9a,

title = "Algebraic fibrations of certain hyperbolic 4-manifolds",

abstract = "An algebraically fibering group is an algebraic generalization of the fibered 3-manifold group in higher dimensions. Let M(P) and M(E) 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 E, respectively. Jankiewicz, Norin, and Wise recently showed that π1(M(P)) and π1(M(E)) are algebraically fibered. In other words, there are two exact sequences 1→HP→π1(M(P))→ϕPZ→1, 1→HE→π1(M(E))→ϕEZ→1, where HP and HE are finitely generated. In this paper, we further show that the fiber-kernel groups HP and HE are not FP2. In particular, they are finitely generated, but not finitely presented.",

keywords = "Algebraic fibered, Finitely generated, Finitely presented, Hyperbolic 4-manifolds",

author = "Jiming Ma and Fangting Zheng",

note = "Publisher Copyright: {\textcopyright} 2021 Elsevier B.V.",

year = "2021",

month = mar,

day = "1",

doi = "10.1016/j.topol.2021.107592",

language = "English",

volume = "290",

journal = "Topology and its Applications",

issn = "0166-8641",

}

TY - JOUR

T1 - Algebraic fibrations of certain hyperbolic 4-manifolds

AU - Ma, Jiming

AU - Zheng, Fangting

PY - 2021/3/1

Y1 - 2021/3/1

N2 - An algebraically fibering group is an algebraic generalization of the fibered 3-manifold group in higher dimensions. Let M(P) and M(E) 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 E, respectively. Jankiewicz, Norin, and Wise recently showed that π1(M(P)) and π1(M(E)) are algebraically fibered. In other words, there are two exact sequences 1→HP→π1(M(P))→ϕPZ→1, 1→HE→π1(M(E))→ϕEZ→1, where HP and HE are finitely generated. In this paper, we further show that the fiber-kernel groups HP and HE are not FP2. In particular, they are finitely generated, but not finitely presented.

AB - An algebraically fibering group is an algebraic generalization of the fibered 3-manifold group in higher dimensions. Let M(P) and M(E) 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 E, respectively. Jankiewicz, Norin, and Wise recently showed that π1(M(P)) and π1(M(E)) are algebraically fibered. In other words, there are two exact sequences 1→HP→π1(M(P))→ϕPZ→1, 1→HE→π1(M(E))→ϕEZ→1, where HP and HE are finitely generated. In this paper, we further show that the fiber-kernel groups HP and HE are not FP2. In particular, they are finitely generated, but not finitely presented.

KW - Algebraic fibered

KW - Finitely generated

KW - Finitely presented

KW - Hyperbolic 4-manifolds

UR - https://www.scopus.com/pages/publications/85100136446

U2 - 10.1016/j.topol.2021.107592

DO - 10.1016/j.topol.2021.107592

M3 - Article

AN - SCOPUS:85100136446

SN - 0166-8641

VL - 290

JO - Topology and its Applications

JF - Topology and its Applications

M1 - 107592

ER -

Algebraic fibrations of certain hyperbolic 4-manifolds

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this