Pith. sign in

REVIEW 1 cited by

Profinite rigidity for free-by-cyclic groups with centre

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2409.20513 v1 pith:HKAGNFDL submitted 2024-09-30 math.GR

classification math.GR
keywords groupsfinitegammacentrefree-by-cyclicgroupprofinitefinitely
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

A free-by-cyclic group $F_N\rtimes_\phi\mathbb{Z}$ has non-trivial centre if and only if $[\phi]$ has finite order in ${\rm{Out}}(F_N)$. We establish a profinite ridigity result for such groups: if $\Gamma_1$ is a free-by-cyclic group with non-trivial centre and $\Gamma_2$ is a finitely generated free-by-cyclic group with the same finite quotients as $\Gamma_1$, then $\Gamma_2$ is isomorphic to $\Gamma_1$. One-relator groups with centre are similarly rigid. We prove that finitely generated free-by-(finite cyclic) groups are profinitely rigid in the same sense; the proof revolves around a finite poset $\mathbf{fsc}(G)$ that carries information about the centralisers of finite subgroups of $G$ -- it is a complete invariant for these groups. These results provide contrasts with the lack of profinite rigidity among surface-by-cyclic groups and (free abelian)-by-cyclic groups, as well as general virtually-free groups.

Discussion (0). Sign in to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. On the Farrell--Tate $K$-theory of $\text{Out}(F_n)$

    math.AT 2025-05 accept novelty 7.0 of 10

    For every prime p at least 11, the p-adic Farrell-Tate K-theory of Out(F_{p+1}) has an odd summand of dimension (p-7)(p-5)/24, yielding the first computer-free odd class in K^1(BOut(F_{12})) tensor Q.

Pith tools