Embedding finitely generated free-by-cyclic groups in {finitely generated free}-by-cyclic groups

Marco Linton

arxiv: 2510.10178 · v2 · submitted 2025-10-11 · 🧮 math.GR

Embedding finitely generated free-by-cyclic groups in {finitely generated free}-by-cyclic groups

Marco Linton This is my paper

Pith reviewed 2026-05-18 07:59 UTC · model grok-4.3

classification 🧮 math.GR

keywords free-by-cyclic groupsmapping torigroup embeddingshyperbolic groupsquasi-convex subgroupscubulation

0 comments

The pith

Any finitely generated free-by-cyclic group embeds in a finitely generated free-by-cyclic group.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper refines earlier work on subgroups of mapping tori of free groups, narrowing the focus to free-by-cyclic groups. It proves that every finitely generated free-by-cyclic group sits inside a larger finitely generated free-by-cyclic group. In the hyperbolic case, the embedding can be chosen quasi-convex inside a hyperbolic supergroup. This combines with prior cubulation results to show that every hyperbolic free-by-cyclic group is cocompactly cubulated.

Core claim

We refine Feighn--Handel's results on subgroups of mapping tori of free groups to the special case of free-by-cyclic groups. We use these refinements to show that any finitely generated free-by-cyclic group embeds in a finitely generated free-by-cyclic group. When the free-by-cyclic group is hyperbolic, it embeds in a hyperbolic finitely generated free-by-cyclic group as a quasi-convex subgroup. Combined with a result of Hagen--Wise, this implies that all hyperbolic free-by-cyclic groups are cocompactly cubulated.

What carries the argument

Refinements of Feighn--Handel's results on subgroups of mapping tori of free groups, specialized to free-by-cyclic groups, which support the embedding constructions.

Load-bearing premise

The refinements of Feighn--Handel's results on subgroups of mapping tori of free groups hold when restricted to the special case of free-by-cyclic groups.

What would settle it

A finitely generated free-by-cyclic group with no embedding into any finitely generated free-by-cyclic group, or a hyperbolic example without a quasi-convex embedding into any hyperbolic finitely generated free-by-cyclic group, would disprove the claims.

read the original abstract

We refine Feighn--Handel's results on subgroups of mapping tori of free groups to the special case of free-by-cyclic groups. We use these refinements to show that any finitely generated free-by-cyclic group embeds in a {finitely generated free}-by-cyclic group. When the free-by-cyclic group is hyperbolic, it embeds in a hyperbolic {finitely generated free}-by-cyclic group as a quasi-convex subgroup. Combined with a result of Hagen--Wise, this implies that all hyperbolic free-by-cyclic groups are cocompactly cubulated.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The embedding theorem for fg free-by-cyclic groups into ones with fg free factor looks workable if the Feighn-Handel refinement checks out, and the cubulation corollary follows cleanly from there.

read the letter

The main point is that any finitely generated free-by-cyclic group embeds into a finitely generated free-by-cyclic group. For hyperbolic examples the embedding is quasi-convex, so Hagen-Wise gives cocompact cubulation for the whole class. That is the concrete output worth knowing about right away. Linton takes Feighn-Handel subgroup theorems for mapping tori and specializes them to free-by-cyclic groups. The adaptation supplies the subgroup control needed to build an ambient group whose free factor is finitely generated. The hyperbolic case then adds the quasi-convexity statement. This is a direct, useful refinement rather than a brand-new framework, and it organizes a family of groups that appear in 3-manifold topology and dynamics. The paper states the claims clearly and cites the external inputs without circularity. The soft spot is the refinement step itself. The original Feighn-Handel results assume a finitely generated free factor, and extending the control to cases where the normal free subgroup has infinite rank requires care with infinite orbits under the cyclic generator. If the proofs handle those orbits without slipping back into finite-generation assumptions, the embedding goes through. The abstract does not spell out the details, so that is the section a referee would need to examine line by line. This work is aimed at geometric group theorists who care about cubulations or free-by-cyclic groups. A reader already familiar with Feighn-Handel and Hagen-Wise will get the most out of it and can check the adaptation quickly. It deserves a serious referee because the result is new, the method is grounded, and the potential gap is localized rather than fatal to the whole argument. I would send it to peer review.

Referee Report

1 major / 2 minor

Summary. The manuscript refines Feighn--Handel results on subgroups of mapping tori of free groups to the special case of free-by-cyclic groups. These refinements are used to prove that every finitely generated free-by-cyclic group embeds into a finitely generated free-by-cyclic group. In the hyperbolic case the embedding may be taken quasi-convex into a hyperbolic target; combined with Hagen--Wise this yields cocompact cubulation for all hyperbolic free-by-cyclic groups.

Significance. If the embedding and refinement hold, the work supplies a uniform reduction of questions about arbitrary finitely generated free-by-cyclic groups to the finitely generated free-factor case, with preservation of hyperbolicity and quasi-convexity. The resulting cubulation statement for the hyperbolic subclass is a concrete structural advance that builds directly on the cited external theorems.

major comments (1)

[§3] §3 (refinement of Feighn--Handel): the adaptation of the subgroup-control statements must be checked explicitly for the case in which the normal free subgroup has infinite rank. The original Feighn--Handel theorems rely on finite generation of the free group to guarantee finite generation of certain stabilizers and finite orbits under the cyclic generator; the manuscript should supply a self-contained argument showing that these controls survive when the cyclic action moves infinitely many basis elements while the overall semidirect product remains finitely generated. Without this verification the embedding construction into a finitely generated free-by-cyclic group does not go through for the general case.

minor comments (2)

[Title and Introduction] The title notation '{finitely generated free}-by-cyclic' is nonstandard; a parenthetical clarification or a short notational paragraph in the introduction would prevent misreading.
[§3] A short table or diagram comparing the original Feighn--Handel statements with the refined versions would make the differences easier to track.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the positive summary and significance assessment, and for the constructive major comment on Section 3. We address the point directly below and will revise the manuscript to incorporate an explicit verification.

read point-by-point responses

Referee: [§3] §3 (refinement of Feighn--Handel): the adaptation of the subgroup-control statements must be checked explicitly for the case in which the normal free subgroup has infinite rank. The original Feighn--Handel theorems rely on finite generation of the free group to guarantee finite generation of certain stabilizers and finite orbits under the cyclic generator; the manuscript should supply a self-contained argument showing that these controls survive when the cyclic action moves infinitely many basis elements while the overall semidirect product remains finitely generated. Without this verification the embedding construction into a finitely generated free-by-cyclic group does not go through for the general case.

Authors: We agree that an explicit, self-contained verification is needed for the infinite-rank case, as the original Feighn--Handel results assume finite generation. The finite generation of the semidirect product does constrain the action: only finitely many basis elements can lie in orbits that interact with the finite generating set of the whole group. In the revised manuscript we will add a dedicated paragraph (or short lemma) in §3 that adapts the stabilizer and orbit arguments directly to this setting. The argument uses the finite generating set of the semidirect product to produce a finite collection of orbits in the free group, which in turn guarantees that the relevant stabilizers are finitely generated and that the orbits under the cyclic generator remain finite. This verification will be placed immediately before the embedding construction, ensuring the refinement applies uniformly and that the subsequent embedding and quasi-convexity statements hold for all finitely generated free-by-cyclic groups. revision: yes

Circularity Check

0 steps flagged

No circularity: embedding derived from external refinements of Feighn-Handel

full rationale

The paper refines Feighn--Handel's results on subgroups of mapping tori of free groups to the special case of free-by-cyclic groups, then uses these refinements to construct embeddings of finitely generated free-by-cyclic groups into those with finitely generated free factors; when hyperbolic, the embedding is quasi-convex. This chain draws on independent prior work by Feighn--Handel and Hagen--Wise rather than self-citations or internal redefinitions. No step equates the target embedding or cubulation conclusion to a fitted parameter, ansatz smuggled via self-citation, or renaming of a known result by construction. The derivation is self-contained against the cited external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Only the abstract is available; the ledger therefore records the explicit dependence on Feighn--Handel and Hagen--Wise together with standard background facts of geometric group theory that are not re-proved here.

axioms (2)

domain assumption Feighn--Handel's results on subgroups of mapping tori of free groups admit a refinement to the free-by-cyclic case
Invoked in the first sentence of the abstract as the starting point for the embedding construction.
domain assumption Hagen--Wise result on cocompact cubulation of hyperbolic groups with quasi-convex embeddings
Used in the final sentence to obtain the cubulation conclusion.

pith-pipeline@v0.9.0 · 5618 in / 1464 out tokens · 46457 ms · 2026-05-18T07:59:37.563127+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/ArithmeticFromLogic.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We refine Feighn–Handel’s results on subgroups of mapping tori of free groups to the special case of free-by-cyclic groups... Theorem 4.1 shows that a finitely generated free-by-cyclic group F⋊ψZ splits as a HNN-extension

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

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

The Local Lifting Property, Property FD, and stability of approximate representations
math.GR 2026-03 unverdicted novelty 6.0

3-manifold groups, limit groups, and selected one-relator and right-angled Artin groups possess the local lifting property and property FD, implying flexible stability of their approximate representations.