Open Research Index

Which $F_3$-by-$\mathbb{Z}$s are CAT(0)?

Leo Delage

arXivarxiv/2602.08759Feb 9, 2026math.GRscore 0

In this note we point out a mistake in theorem 4.4 of [Sam06], which states that a semidirect product $F_3\rtimes_φ\mathbb{Z}$ whose defining automorphism $φ$ is unipotent-polynomially-growing and fixes a free factor of rank $2$ 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 $F_2$ twisting the non-fixed generator is not in the commutator subgroup of $F_2$. 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…

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2602.08759
curl -X POST /api/v1/records/arxiv/2602.08759/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2602.08759/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'