Cops and robbers for hyperbolic and virtually free groups

Lee, Martínez-Pedroza and Rodríguez-Quinche define two new group invariants, the strong cop number \operatorname{sCop} and the weak cop number \operatorname{wCop} , by examining winning strategies for certain combinatorial games played on Cayley graphs of finitely generated groups. We show that a finitely generated group G is Gromov hyperbolic if and only if \operatorname{sCop}(G) = 1 . We show that G is virtually free if and only if \operatorname{wCop}(G)=1 , answering a question by Cornect and Martínez-Pedroza. We show that \operatorname{sCop}(\mathbb{Z}^{2}) = \infty , answering a question from the original paper. It is still unknown whether there exist finite cop numbers not equal to 1 , but we show that this is not possible for \mathrm{CAT}(0) -groups. We provide machinery to explicitly compute strong cop numbers and give examples by applying it to certain lamplighter groups, the solvable Baumslag–Solitar groups, Grigorchuk’s group and Thompson’s group F .

Authors

Institutions

Publication Details

Journal
Groups Geometry and Dynamics
Published
2026-05-11
DOI
https://doi.org/10.4171/ggd/959
Primary Topic
Geometric and Algebraic Topology
Type
preprint
Field-Weighted Citation Impact
0.00

Funders

Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
preprint

Cops and robbers for hyperbolic and virtually free groups

Raphael Appenzeller, Kevin Klinge
Groups Geometry and Dynamics
Geometric and Algebraic Topology
preprint

Cops and robbers for hyperbolic and virtually free groups

Raphael Appenzeller, Kevin Klinge
preprint en

Abstract

Lee, Martínez-Pedroza and Rodríguez-Quinche define two new group invariants, the strong cop number \operatorname{sCop} and the weak cop number \operatorname{wCop} , by examining winning strategies for certain combinatorial games played on Cayley graphs of finitely generated groups. We show that a finitely generated group G is Gromov hyperbolic if and only if \operatorname{sCop}(G) = 1 . We show that G is virtually free if and only if \operatorname{wCop}(G)=1 , answering a question by Cornect and Martínez-Pedroza. We show that \operatorname{sCop}(\mathbb{Z}^{2}) = \infty , answering a question from the original paper. It is still unknown whether there exist finite cop numbers not equal to 1 , but we show that this is not possible for \mathrm{CAT}(0) -groups. We provide machinery to explicitly compute strong cop numbers and give examples by applying it to certain lamplighter groups, the solvable Baumslag–Solitar groups, Grigorchuk’s group and Thompson’s group F .

Groups Geometry and Dynamics
Heidelberg University (DE)
Deutsche Forschungsgemeinschaft
Openalex Percentile: Top 96%
Geometric and Algebraic Topology
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.