Coherent RFRS groups

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Fisher, Sam P., Linton, Marco, Sánchez-Peralta, Pablo
Format: Preprint
Published: 2026
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866908894459068416
author Fisher, Sam P.
Linton, Marco
Sánchez-Peralta, Pablo
author_facet Fisher, Sam P.
Linton, Marco
Sánchez-Peralta, Pablo
contents We prove that a finitely generated virtually RFRS group of cohomological dimension at most $2$ is coherent if and only if its second $L^{2}$-Betti number vanishes if and only if it is virtually free-by-cyclic. The non-vanishing of the second $L^{2}$-Betti number provides the first known global obstruction to coherence in any reasonably wide class of groups, allowing for proofs of incoherence without needing to exhibit explicit witnesses to incoherence. As applications of this result, we completely characterise coherence among two-dimensional Coxeter groups, confirming conjectures of Jankiewicz and Wise, and show that incoherence is generic in groups of nonpositive deficiency, confirming a conjecture of Wise. We also find that, among virtually compact special groups of virtual cohomological dimension two, coherence is algorithmically decidable and is a quasi-isometry, measure equivalence, and profinite invariant. In an appendix, Marco Linton applies one of the main results to prove that cubulated locally quasi-convex hyperbolic groups are virtually free-by-cyclic, solving problems of Abdenbi--Wise and Wise in the cubulated case.
format Preprint
id arxiv_https___arxiv_org_abs_2603_16763
institution arXiv
publishDate 2026
record_format arxiv
spellingShingle Coherent RFRS groups
Fisher, Sam P.
Linton, Marco
Sánchez-Peralta, Pablo
Group Theory
20F65, 20J05 (Primary) 20E07, 20C07 (Secondary)
We prove that a finitely generated virtually RFRS group of cohomological dimension at most $2$ is coherent if and only if its second $L^{2}$-Betti number vanishes if and only if it is virtually free-by-cyclic. The non-vanishing of the second $L^{2}$-Betti number provides the first known global obstruction to coherence in any reasonably wide class of groups, allowing for proofs of incoherence without needing to exhibit explicit witnesses to incoherence. As applications of this result, we completely characterise coherence among two-dimensional Coxeter groups, confirming conjectures of Jankiewicz and Wise, and show that incoherence is generic in groups of nonpositive deficiency, confirming a conjecture of Wise. We also find that, among virtually compact special groups of virtual cohomological dimension two, coherence is algorithmically decidable and is a quasi-isometry, measure equivalence, and profinite invariant. In an appendix, Marco Linton applies one of the main results to prove that cubulated locally quasi-convex hyperbolic groups are virtually free-by-cyclic, solving problems of Abdenbi--Wise and Wise in the cubulated case.
title Coherent RFRS groups
topic Group Theory
20F65, 20J05 (Primary) 20E07, 20C07 (Secondary)
url https://arxiv.org/abs/2603.16763