Which $F_3$-by-$\mathbb{Z}$s are CAT(0)?
Group Theory
2026-03-30 v3
Abstract
In this note we point out a mistake in theorem 4.4 of [Sam06], which states that a semidirect product whose defining automorphism is unipotent-polynomially-growing and fixes a free factor of rank is a CAT(0) group. We give and prove the corrected statement: such a group is CAT(0), if and only if is the identity or if the element of twisting the non-fixed generator is not in the commutator subgroup of . This gives new examples of free-by-cyclic groups that cannot act properly by semisimple isometries on a CAT(0) space, that are similar to {Gersten}'s examples [Ger94]. We also construct CAT(0) structures for new examples of -by-s by thickening the strips in Bridson's tree of spaces construction [BH99].
Keywords
Cite
@article{arxiv.2602.08759,
title = {Which $F_3$-by-$\mathbb{Z}$s are CAT(0)?},
author = {Leo Delage},
journal= {arXiv preprint arXiv:2602.08759},
year = {2026}
}
Comments
11 pages, 3 figures