arxiv: 2604.27526 · v1 · submitted 2026-04-30 · 🧮 math.GR

Recognition: unknown

Property R_infty for generalized Higman groups

Ignat Soroko, Nicolas Vaskou

Pith reviewed 2026-05-07 08:21 UTC · model grok-4.3

classification 🧮 math.GR

keywords Higman groupsproperty R_∞acylindrical hyperbolicityautomorphism groupsDelzant's lemmageneralized Higman groupsReidemeister numbergeometric group theory

0 comments

The pith

Generalized Higman groups have property R_∞ because their automorphism groups are acylindrically hyperbolic.

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

The paper supplies a unified proof that the classical Higman groups H_n for n at least 4, together with the generalizations introduced by Martin and by Horbez-Huang, all satisfy property R_∞. The argument proceeds by establishing that the automorphism group of each such G is acylindrically hyperbolic; once this is known and the group of inner automorphisms is infinite, a general criterion forces every automorphism of G to possess infinitely many conjugacy classes. The same techniques also show that the groups G themselves are acylindrically hyperbolic. As an auxiliary result the authors give a self-contained proof, relying on Delzant's lemma, of the criterion that links acylindrical hyperbolicity of Aut(G) to the R_∞ property.

Core claim

We give a unified proof of property R_∞ for the Higman groups H_n (n≥4) and for their generalizations studied by Martin and Horbez-Huang. As a key step, we prove that the automorphism groups of these groups are acylindrically hyperbolic. As a byproduct, we obtain acylindrical hyperbolicity of the groups themselves. In addition, we give an independent proof, based on Delzant's lemma, of the criterion stating that if Aut(G) is acylindrically hyperbolic and Inn(G) is infinite, then G has property R_∞.

What carries the argument

Acylindrical hyperbolicity of Aut(G) for G a generalized Higman group, obtained by verifying that the group's presentation satisfies the hypotheses of existing criteria for acylindrical hyperbolicity.

If this is right

The Higman groups H_n for n≥4 satisfy property R_∞.
The generalizations of Higman groups studied by Martin and by Horbez-Huang also satisfy property R_∞.
The automorphism groups of these groups are acylindrically hyperbolic.
The groups themselves are acylindrically hyperbolic.
If Aut(G) is acylindrically hyperbolic and Inn(G) is infinite, then G has property R_∞.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

Any other finitely presented group whose presentation meets the same technical conditions used here would inherit both acylindrical hyperbolicity of its automorphism group and property R_∞ by the same argument.
The independent proof of the general criterion via Delzant's lemma can be applied directly to other groups already known to have acylindrically hyperbolic automorphism groups and infinite inner automorphism groups.
Acylindrical hyperbolicity of the groups themselves supplies a route to further dynamical or geometric properties that follow from that condition in the literature.

Load-bearing premise

The concrete presentations of the generalized Higman groups satisfy the technical hypotheses needed to invoke known criteria for acylindrical hyperbolicity and to apply Delzant's lemma.

What would settle it

An explicit automorphism of some generalized Higman group whose Reidemeister number is finite, or a proof that the automorphism group fails to be acylindrically hyperbolic while the presentation still meets the stated conditions.

read the original abstract

We give a unified proof of property $R_\infty$ for the Higman groups $H_n$ ($n\ge 4$) and for their generalizations studied by Martin and Horbez--Huang. As a key step, we prove that the automorphism groups of these groups are acylindrically hyperbolic. As a byproduct, we obtain acylindrical hyperbolicity of the groups themselves. In addition, we give an independent proof, based on Delzant's lemma, of the criterion of Fournier-Facio and collaborators stating that if $\operatorname{Aut}(G)$ is acylindrically hyperbolic and $\operatorname{Inn}(G)$ is infinite, then $G$ has property $R_\infty$.

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

Soroko and Vaskou give a unified proof of R_∞ for Higman groups and their Martin/Horbez-Huang generalizations by showing the automorphism groups are acylindrically hyperbolic, plus an independent Delzant-lemma proof of the general criterion.

read the letter

The main thing to know is that this paper supplies one argument that handles both the classical Higman groups H_n for n at least 4 and the later generalizations, by establishing that their automorphism groups act acylindrically hyperbolically. As a byproduct the groups themselves turn out to be acylindrically hyperbolic, and the authors also supply a separate proof of the Fournier-Facio criterion that uses Delzant's lemma on the dynamics of the Aut action once Inn(G) is infinite. That second proof stands on its own and does not recycle the earlier machinery, which is a clear plus. The strategy is straightforward: apply known criteria for acylindrical hyperbolicity to Aut(G), then extract infinitely many twisted conjugacy classes from the non-elementary action. The citations track the relevant prior work on these groups and on the criterion without obvious gaps or loops. The approach is coherent on the page and the results for the classical cases line up with what was already known, so the unification itself is the incremental advance. The soft spot is the verification step. The argument requires that the concrete presentations of the Martin and Horbez-Huang versions satisfy the exact hypotheses of whichever acylindrical hyperbolicity criterion is applied, including the existence of suitable loxodromic elements and the right acylindricity constants. Those checks are presentation-specific, so the paper must spell them out explicitly rather than treat them as uniform. If the details hold, the unified claim is fine; if any generalization slips on one inequality, the coverage narrows. This is the sort of thing a referee will check line by line. The work is for people already following geometric group theory results on twisted conjugacy and hyperbolicity properties. A reader who needs new examples or a reusable technique for similar groups will get something concrete out of it. The thinking is clear and the engagement with the literature is direct, so the paper deserves a serious referee even if the technical verifications turn out to need tightening.

Referee Report

2 major / 2 minor

Summary. The manuscript gives a unified proof that the Higman groups H_n (n≥4) and the generalizations studied by Martin and by Horbez–Huang satisfy property R_∞. The argument proceeds by showing that Aut(G) is acylindrically hyperbolic for each such G, then invoking (or independently proving via Delzant’s lemma) the criterion that AH of Aut(G) together with infinite Inn(G) implies R_∞. As a byproduct the groups G themselves are shown to be acylindrically hyperbolic.

Significance. If the technical hypotheses of the acylindrical-hyperbolicity criteria are verified for the listed presentations, the work supplies a single geometric argument that covers both the classical Higman groups and their known generalizations, while also furnishing an independent proof of the Fournier-Facio-type criterion. The byproduct that the groups are themselves AH adds a new geometric fact about these presentations. These results would strengthen the toolkit for studying twisted conjugacy classes in groups admitting suitable hyperbolic actions.

major comments (2)

[§4] §4 (application to Martin and Horbez–Huang generalizations): the manuscript invokes standard criteria for acylindrical hyperbolicity of Aut(G) but does not explicitly confirm, for each listed presentation, the existence of loxodromic elements with distinct fixed points and the non-elementary character of the action. These verifications are load-bearing for the claim that the unified proof covers all generalizations.
[§5] §5 (independent proof of the Fournier-Facio criterion via Delzant’s lemma): the extraction of infinitely many twisted conjugacy classes from the dynamics of Aut(G) on the hyperbolic space assumes the existence of suitable hyperbolic elements satisfying the precise hypotheses of Delzant’s lemma; the manuscript does not record an explicit check that these elements exist and have the required fixed-point properties for the generalized Higman presentations.

minor comments (2)

[Abstract] The abstract states the main results but does not recall the definition of property R_∞ or cite the original Fournier-Facio criterion; a single sentence would improve readability.
[Introduction] Notation for the generalized presentations (e.g., the precise relators added by Martin or Horbez–Huang) is introduced only in §4; moving a compact summary to the introduction would help readers track the hypotheses.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their positive evaluation and for identifying points where greater explicitness would strengthen the manuscript. We address the major comments below and will revise the paper accordingly to incorporate the suggested verifications while preserving the unified character of the argument.

read point-by-point responses

Referee: [§4] §4 (application to Martin and Horbez–Huang generalizations): the manuscript invokes standard criteria for acylindrical hyperbolicity of Aut(G) but does not explicitly confirm, for each listed presentation, the existence of loxodromic elements with distinct fixed points and the non-elementary character of the action. These verifications are load-bearing for the claim that the unified proof covers all generalizations.

Authors: We agree that the verifications should be recorded explicitly for each presentation. In the revised manuscript we will expand §4 with a dedicated subsection that, for the classical Higman groups H_n (n≥4) as well as the Martin and Horbez–Huang generalizations, explicitly identifies loxodromic elements of Aut(G) with distinct fixed points on the associated hyperbolic space and confirms that the action is non-elementary. These checks will be carried out directly from the defining presentations using the standard acylindrical-hyperbolicity criteria already invoked in the paper, thereby making the coverage of all listed cases fully transparent. revision: yes
Referee: [§5] §5 (independent proof of the Fournier-Facio criterion via Delzant’s lemma): the extraction of infinitely many twisted conjugacy classes from the dynamics of Aut(G) on the hyperbolic space assumes the existence of suitable hyperbolic elements satisfying the precise hypotheses of Delzant’s lemma; the manuscript does not record an explicit check that these elements exist and have the required fixed-point properties for the generalized Higman presentations.

Authors: We acknowledge that an explicit verification of Delzant’s hypotheses is necessary for the independent proof to be self-contained. In the revised §5 we will add a short paragraph (or subsection) that, for each generalized Higman presentation, confirms the existence of hyperbolic elements in Aut(G) satisfying the precise fixed-point and dynamical conditions required by Delzant’s lemma. This verification will be performed uniformly from the acylindrical-hyperbolicity established earlier, ensuring the extraction of infinitely many twisted conjugacy classes applies rigorously to all cases considered. revision: yes

Circularity Check

0 steps flagged

No circularity detected in the derivation chain

full rationale

The paper establishes acylindrical hyperbolicity of Aut(G) for the generalized Higman groups by verifying that their presentations satisfy the hypotheses of external criteria from geometric group theory. It then supplies an independent proof of the Fournier-Facio criterion via Delzant's lemma (an external result) and applies the criterion to obtain property R_∞, with the acylindrical hyperbolicity of the groups themselves obtained as a byproduct. This chain consists of direct verification against stated technical conditions plus external theorems; no step reduces by construction to a self-definition, a fitted parameter renamed as a prediction, or a load-bearing self-citation whose content is unverified outside the paper. The argument is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claims rest on standard axioms of group theory, the definition of acylindrical hyperbolicity, and previously published theorems in geometric group theory; no new free parameters or invented entities are introduced.

axioms (2)

standard math Standard axioms of group theory together with the definition and basic properties of acylindrical hyperbolicity as developed in geometric group theory.
The paper invokes these background results to establish the acylindrical hyperbolicity of Aut(G) for the given groups.
standard math Delzant's lemma on the existence of hyperbolic spaces with prescribed actions.
Used to give the independent proof of the Fournier-Facio criterion.

pith-pipeline@v0.9.0 · 5409 in / 1444 out tokens · 56583 ms · 2026-05-07T08:21:37.296702+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

29 extracted references · 4 canonical work pages

[1]

M Bestvina, K Fujiwara, Bounded cohomology of subgroups of mapping class groups, Geom. Topol. 6 (2002), 69--89

2002
[2]

Springer-Verlag, Berlin, 1999

M\,R Bridson, A Haefliger, Metric spaces of non-positive curvature, Grundlehren der mathematischen Wissenschaften, 319. Springer-Verlag, Berlin, 1999. xxii+643 pp. ISBN: 3-540-64324-9

1999
[3]

20, Mathematical Society of Japan, Tokyo, 2009

D Calegari, scl, MSJ Memoirs, vol. 20, Mathematical Society of Japan, Tokyo, 2009

2009
[4]

Group Theory 25 (2022), no

M Calvez, I Soroko, Property R_ for some spherical and affine Artin--Tits groups, J. Group Theory 25 (2022), no. 6, 1045--1054

2022
[5]

P-E Caprace, M Sageev, Rank rigidity for (0) cube complexes, Geom. Funct. Anal. 21 (2011), no. 4, 851--891

2011
[6]

V Chepoi, Graphs of some (0) complexes, Adv. Appl. Math. 24 (2000), 125--179

2000
[7]

London Math

K Dekimpe, D Gon c alves, The R_ property for free groups, free nilpotent groups and free solvable groups, Bull. London Math. Soc. 46 (2014), no. 4, 737--746

2014
[8]

359 (2025) Paper No

K Dekimpe, M Lathouwers, R_ -property for finitely generated torsion-free 2 -step nilpotent groups of small Hirsch length, Topology Appl. 359 (2025) Paper No. 109084, 12 pp

2025
[9]

K Dekimpe, P\,M\,Lins\,de\,Araujo, Y\,S Rego, Cohomological and quasi-isometric diversity of groups with property R_ , preprint, 2026, arXiv:2602.17411

work page arXiv 2026
[10]

A Fel'shtyn, D\,L Gon c alves, Twisted conjugacy classes in symplectic groups, mapping class groups and braid groups, with an appendix written jointly with Francois Dahmani. Geom. Dedicata 146 (2010), 211--223

2010
[11]

Group Theory 19 (2016), no

A Fel'shtyn, T Nasybullov, The R_ and S_ properties for linear algebraic groups, J. Group Theory 19 (2016), no. 5, 901--921

2016
[12]

Group Theory 18 (2015), no

A Fel'shtyn, E Troitsky, Aspects of the property R_ , J. Group Theory 18 (2015), no. 6, 1021--1034

2015
[13]

Dedicata 220 (2026), article number 25

F Fournier-Facio, H Iveson, A Martino, W Sgobbi, P Wong, Property R_ for groups with infinitely many ends, Geom. Dedicata 220 (2026), article number 25

2026
[14]

F Fournier-Facio, R\,D Wade, Aut-invariant quasimorphisms on groups, Trans. Amer. Math. Soc., 376 (10) (2023), 7307--7327

2023
[15]

A Genevois, Automorphisms of graph products of groups and acylindrical hyperbolicity , Mem. Amer. Math. Soc. 301 (2024), no. 1509, 127 pp

2024
[16]

M Gromov, Hyperbolic groups, Essays in group theory, 75--263, Math. Sci. Res. Inst. Publ., 8, Springer, New York, 1987

1987
[17]

Topol., 7 (2014), no

M F Hagen, Weak hyperbolicity of cube complexes and quasi-arboreal groups, J. Topol., 7 (2014), no. 2, 385--418

2014
[18]

London Math

G Higman, A finitely generated infinite simple group, J. London Math. Soc. 26 (1951), 61--64

1951
[19]

C Horbez, J Huang, Measure equivalence rigidity among the Higman groups, J. Eur. Math. Soc. (2025), published online first. doi:10.4171/jems/1614 https://doi.org/10.4171/jems/1614

work page doi:10.4171/jems/1614 2025
[20]

G Levitt, On the automorphism group of generalized Baumslag--Solitar groups, Geom. Topol. 11 (2007), 473--515

2007
[21]

G Levitt, M Lustig, Most automorphisms of a hyperbolic group have very simple dynamics, Ann. Sci. \'Ecole Norm. Sup. (4) 33 (2000), no. 4, 507--517

2000
[22]

A Martin, On the cubical geometry of the Higman group, Duke Math. J. 166 (2017), no. 4, 707--738

2017
[23]

A Martin, Acylindrical actions on (0) square complexes, Groups Geom. Dyn. 15 (2021), no. 1, 335--369

2021
[24]

A Martin, P Przytycki, Acylindrical actions for two-dimensional Artin groups of hyperbolic type, Int. Math. Res. Not. IMRN 2022, no. 17, 13099--13127

2022
[25]

A Minasyan, D Osin, Acylindrical hyperbolicity of groups acting on trees, Math. Ann. 362 (2015), no. 3--4, 1055--1105

2015
[26]

D Osin, Acylindrically hyperbolic groups, Trans. Amer. Math. Soc. 368 (2016), no. 2, 851--888

2016
[27]

I Soroko, N Vaskou, Property R_ for new classes of Artin groups, preprint, 2024, arXiv:2409.18123v2

work page arXiv 2024
[28]

Group Theory 28 (2025), no

E Troitsky, Twisted conjugacy in residually finite groups of finite Prüfer rank, J. Group Theory 28 (2025), no. 1, pp. 151--164

2025
[29]

T Witdouck, The R_ -property for right-angled Artin groups and their nilpotent quotients, preprint, 2023, arXiv:2304.01077

work page arXiv 2023