pith. sign in

arxiv: 2410.06751 · v3 · submitted 2024-10-09 · 🧮 math.GR

Short positive loxodromics in graph products

Elia Fioravanti , Alice Kerr This is my paper

Pith reviewed 2026-05-23 19:15 UTC · model grok-4.3

classification 🧮 math.GR
keywords graph productsgeneralised loxodromicspositive wordsproduct set growthequationally noetherian groupswell-ordered growth ratessubgroups
0
0 comments X

The pith

Positive words generate generalised loxodromics in subgroups of graph products.

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

The paper develops a method to produce generalised loxodromics from positive words inside subgroups of graph products. This construction transfers strong product set growth properties from the vertex groups to the overall graph product. It also proves that growth rates of a designated class of subgroups become well-ordered whenever the vertex groups are equationally noetherian. The results rest on the combinatorial features of the defining graph together with the stated hypotheses on the vertex groups.

Core claim

We give a method for effectively generating generalised loxodromics in subgroups of graph products, using positive words. This has several consequences for the growth of subsets of these groups. In particular, we show that graph products of groups with strong product set growth properties also share those properties. We additionally show that the set of growth rates of a class of subgroups of any graph product of equationally noetherian groups is well-ordered.

What carries the argument

The construction of generalised loxodromics from positive words in the graph product, which relies on the defining graph to produce short elements that act loxodromically on the associated space.

If this is right

  • Graph products inherit strong product set growth properties whenever their vertex groups possess them.
  • The set of growth rates of the designated class of subgroups is well-ordered when vertex groups are equationally noetherian.
  • Positive words supply an effective source of generalised loxodromics inside many subgroups of these graph products.
  • Growth questions about subsets of the graph product reduce to corresponding questions about the vertex groups.

Where Pith is reading between the lines

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

  • The method may allow explicit computation of growth rates in concrete families such as right-angled Artin groups or Coxeter groups.
  • It raises the question of whether similar positive-word techniques apply to other graph-of-groups constructions beyond the given setting.
  • The well-ordering result could be used to compare growth rates across different subgroups without enumerating them all.

Load-bearing premise

The vertex groups must satisfy the strong product set growth or equationally noetherian hypotheses, and the defining graph must allow the positive-word construction to succeed.

What would settle it

An explicit graph product in which all vertex groups meet the growth or noetherian conditions yet the product fails to inherit the growth property, or in which the relevant subgroup growth rates fail to be well-ordered.

Figures

Figures reproduced from arXiv: 2410.06751 by Alice Kerr, Elia Fioravanti.

Figure 1
Figure 1. Figure 1: Coherent arcs (left) and incoherent arcs (right). [PITH_FULL_IMAGE:figures/full_fig_p011_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: From left to right, Cases (2a), (2b) and (3) of Proposition 2.16 and Re [PITH_FULL_IMAGE:figures/full_fig_p012_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: α Fix(g) Fix(h) hα gα ghα A(g) A(g) Fix(h) α ghα A(g) A(g) Fix(h) p q α hα ghα [PITH_FULL_IMAGE:figures/full_fig_p013_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Some of the loxodromic/loxodromic cases in the proof of Proposition 2.16, [PITH_FULL_IMAGE:figures/full_fig_p014_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: The case m = 3 of Example 4.1. We now show that the dependence on dim(Γ) also cannot be dropped from The￾orem A; this construction is a little more involved and we discuss it in Proposition 4.3 below. First, however, it is interesting to observe that there are much simpler examples showing that the powers needed to combine the essential supports of two elements truly depend on the dim(Γ) in general. Exampl… view at source ↗
Figure 6
Figure 6. Figure 6: The opposite graph of Λ. For each 1 ⩽ i ⩽ s, define vi := xit and ui := xit · · · xi3 · xi2 · xi1, which we can think of as “representatives” of the leaves and branches of Λo , respectively. We think of the vi and ui as elements of AΛ. Let Ti be the tree dual to the hyperplanes labelled by vi in the universal cover of the Salvetti complex XΛ (this corresponds to 28 [PITH_FULL_IMAGE:figures/full_fig_p028_6.png] view at source ↗
read the original abstract

We give a method for effectively generating generalised loxodromics in subgroups of graph products, using positive words. This has several consequences for the growth of subsets of these groups. In particular, we show that graph products of groups with strong product set growth properties also share those properties. We additionally show that the set of growth rates of a class of subgroups of any graph product of equationally noetherian groups is well-ordered.

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.

Referee Report

2 major / 2 minor

Summary. The manuscript gives a method for effectively generating generalised loxodromics in subgroups of graph products via positive words. It derives consequences for growth of subsets, showing that graph products inherit strong product-set growth properties from their vertex groups, and proves that the set of growth rates of a certain class of subgroups of any graph product of equationally noetherian groups is well-ordered.

Significance. If the results hold, the effective construction of short positive generalised loxodromics and the inheritance theorems would supply concrete tools for studying growth in graph products, a class central to geometric group theory. The well-ordering of growth rates under the equationally noetherian hypothesis is a notable structural result that could interact with existing work on growth in hyperbolic and relatively hyperbolic groups.

major comments (2)
  1. [Abstract / growth-inheritance claim] The inheritance of product-set growth (abstract, final paragraph) is stated to hold when each vertex group satisfies the relevant growth hypothesis. The reduction via normal forms and syllable length appears to require the hypothesis on every vertex group simultaneously; if a single vertex group fails the hypothesis, the positivity and shortness arguments for loxodromicity may not transfer. No alternative argument bypassing a defective vertex group is indicated in the provided abstract or skeptic analysis.
  2. [Well-ordering theorem] The well-ordering of growth rates for subgroups of graph products of equationally noetherian groups likewise reduces inductively over the defining graph. The manuscript should clarify whether the well-ordering persists when the graph is disconnected or when some vertex groups are equationally noetherian while others are not.
minor comments (2)
  1. [Introduction] Notation for 'generalised loxodromics' and 'positive words' should be defined at first use with explicit reference to the standard definitions in the literature on graph products.
  2. [Introduction] The abstract claims 'several consequences for the growth of subsets'; a brief enumeration of those consequences in the introduction would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments. We respond point-by-point to the major comments below.

read point-by-point responses

  1. Referee: [Abstract / growth-inheritance claim] The inheritance of product-set growth (abstract, final paragraph) is stated to hold when each vertex group satisfies the relevant growth hypothesis. The reduction via normal forms and syllable length appears to require the hypothesis on every vertex group simultaneously; if a single vertex group fails the hypothesis, the positivity and shortness arguments for loxodromicity may not transfer. No alternative argument bypassing a defective vertex group is indicated in the provided abstract or skeptic analysis.

    Authors: The inheritance statement applies precisely when every vertex group satisfies the growth hypothesis. The proof uses the normal form in the graph product, in which syllables lie in individual vertex groups; the positivity and shortness of the constructed loxodromics are preserved only because the hypothesis holds uniformly across all vertex groups. If any vertex group fails the hypothesis, the inheritance claim is not asserted for the resulting graph product. We will revise the abstract and the relevant theorem statement to emphasize this simultaneous requirement and to note that the argument does not provide a bypass for defective vertex groups. revision: yes

  2. Referee: [Well-ordering theorem] The well-ordering of growth rates for subgroups of graph products of equationally noetherian groups likewise reduces inductively over the defining graph. The manuscript should clarify whether the well-ordering persists when the graph is disconnected or when some vertex groups are equationally noetherian while others are not.

    Authors: The well-ordering theorem is stated under the hypothesis that every vertex group is equationally noetherian. When the defining graph is disconnected the graph product is a free product of the graph products on the connected components; the inductive argument treats the free-product case as the base step, so well-ordering carries over. If only some vertex groups are equationally noetherian the hypothesis fails and the theorem makes no claim. We will add a short clarifying remark after the theorem statement and in the introduction to record these points explicitly. revision: yes

Circularity Check

0 steps flagged

No circularity; derivations reduce to combinatorial arguments on graph structure and external vertex-group hypotheses.

full rationale

The abstract and context describe a combinatorial construction of positive generalized loxodromics in graph-product subgroups, followed by transfer of growth properties and well-ordering results. These steps rely on normal forms, syllable length, and support in the defining graph together with stated hypotheses on the vertex groups (strong product-set growth or equationally noetherian). No equations, self-definitions, fitted parameters renamed as predictions, or load-bearing self-citations appear. The reduction to vertex groups is a standard structural argument, not a circular redefinition of the target claims. The paper is therefore self-contained against its external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review prevents enumeration of free parameters, axioms, or invented entities; none are visible in the provided text.

pith-pipeline@v0.9.0 · 5584 in / 1185 out tokens · 16498 ms · 2026-05-23T19:15:10.738890+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

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

  1. Uniform growth in small cancellation groups

    math.GR 2024-05 unverdicted novelty 6.0

    The class of acylindrically hyperbolic groups with uniform exponential growth is closed under geometric small cancellation quotients, implying a group with uniform growth but arbitrarily large torsion balls and univer...

Reference graph

Works this paper leans on

51 extracted references · 51 canonical work pages · cited by 1 Pith paper

  1. [1]

    Balasubramanya, and Denis Osin

    Carolyn Abbott, Sahana H. Balasubramanya, and Denis Osin. Hyperbolic structures on groups. Algebr. Geom. Topol. , 19(4):1747--1835, 2019

    work page 2019

  2. [2]

    Arzhantseva, Christopher H

    Goulnara N. Arzhantseva, Christopher H. Cashen, Dominik Gruber, and David Hume. Negative curvature in graphical small cancellation groups. Groups Geom. Dyn. , 13(2):579--632, 2019

    work page 2019

  3. [3]

    G. N. Arzhantseva and I. G. Lysenok. A lower bound on the growth of word hyperbolic groups. Journal of the London Mathematical Society , 73:109--125, 2006

    work page 2006

  4. [4]

    Tits alternatives for graph products

    Yago Antol\' i n and Ashot Minasyan. Tits alternatives for graph products. Journal f\" u r die reine und angewandte Mathematik , 704:55--83, 2015

    work page 2015

  5. [5]

    Acylindrical group actions on quasi-trees

    Sahana Balasubramanya. Acylindrical group actions on quasi-trees. Algebraic & Geometric Topology , 17:2145--–2176, 2017

    work page 2017

  6. [6]

    Barkauskas

    Donald A. Barkauskas. Centralizers in graph products of groups. J. Algebra , 312(1):9--32, 2007

    work page 2007

  7. [7]

    Constructing group actions on quasi-trees and applications to mapping class groups

    Mladen Bestvina, Ken Bromberg, and Koji Fujiwara. Constructing group actions on quasi-trees and applications to mapping class groups. Publications math\' e matiques de l'IH\' E S , 122:1--64, 2015

    work page 2015

  8. [8]

    Acylindrical actions on projection complexes

    Mladen Bestvina, Kenneth Bromberg, Koji Fujiwara, and Alessandro Sisto. Acylindrical actions on projection complexes. L’Enseignement Math\' e matique , 65:1--32, 2019

    work page 2019

  9. [9]

    On the joint spectral radius for isometries of non-positively curved spaces and uniform growth

    Emmanuel Breuillard and Koji Fujiwara. On the joint spectral radius for isometries of non-positively curved spaces and uniform growth. Annales de l'Institut Fourier , 71(1):317--391, 2021

    work page 2021

  10. [10]

    Hierarchical hyperbolicity of graph products

    Daniel Berlyne and Jacob Russell. Hierarchical hyperbolicity of graph products. Groups, Geometry, and Dynamics , 16(2):523–580, 2022

    work page 2022

  11. [11]

    J. O. Button. Explicit H elfgott type growth in free products and in limit groups. Journal of Algebra , 389:61--77, 2013

    work page 2013

  12. [12]

    Contracting elements and conjugacy growth in coxeter groups, graph products, and other groups

    Laura Ciobanu and Anthony Genevois. Contracting elements and conjugacy growth in coxeter groups, graph products, and other groups. In preparation , 2024

    work page 2024

  13. [13]

    Lower bound on growth of non-elementary subgroups in relatively hyperbolic groups

    Yu - miao Cui, Yue - ping Jiang, and Wen - yuan Yang. Lower bound on growth of non-elementary subgroups in relatively hyperbolic groups. Journal of Group Theory , 25(5):799--822, 2022

    work page 2022

  14. [14]

    On the positive theory of groups acting on trees

    Montserrat Casals-Ruiz , Ilya Kazachkov, and Javier de la Nuez Gonz\'alez . On the positive theory of groups acting on trees. International Mathematics Research Notices , (2):1837--1918, 2021

    work page 1918

  15. [15]

    On the elementary theory of graph products of groups

    Montserrat Casals-Ruiz , Ilya Kazachkov, and Javier de la Nuez Gonz\'alez . On the elementary theory of graph products of groups. Dissertationes Mathematicae , 595, 2024

    work page 2024

  16. [16]

    Marc Culler and John W. Morgan. Group actions on R -trees. Proc. London Math. Soc. (3) , 55(3):571--604, 1987

    work page 1987

  17. [17]

    Groups acting acylindrically on trees

    William D Cohen. Groups acting acylindrically on trees. Preprint, arXiv:2306.12192 , 2023

    work page arXiv 2023

  18. [18]

    Product set growth in B urnside groups

    R\' e mi Coulon and Markus Steenbock. Product set growth in B urnside groups. Journal de l’\' E cole polytechnique - Math\' e matiques , 9:463--504, 2022

    work page 2022

  19. [19]

    Simultaneous construction of hyperbolic isometries

    Matt Clay and Caglar Uyanik. Simultaneous construction of hyperbolic isometries. Pacific Journal of Mathematics , 294(1):71--88, 2018

    work page 2018

  20. [20]

    Product set growth in groups and hyperbolic geometry

    Thomas Delzant and Markus Steenbock. Product set growth in groups and hyperbolic geometry. Journal of Topology , 13:1183--1215, 2020

    work page 2020

  21. [21]

    On automorphisms and splittings of special groups

    Elia Fioravanti. On automorphisms and splittings of special groups. Compos. Math. , 159(2):232--305, 2023

    work page 2023

  22. [22]

    The rates of growth in a hyperbolic group

    Koji Fujiwara and Zlil Sela. The rates of growth in a hyperbolic group. Inventiones mathematicae , 233:1--44, 2023

    work page 2023

  23. [23]

    The rates of growth in an acylindrically hyperbolic group

    Koji Fujiwara. The rates of growth in an acylindrically hyperbolic group. Preprint, arXiv:2103.01430 , 2021

    work page arXiv 2021

  24. [24]

    Automorphisms of graph products of groups and acylindrical hyperbolicity

    Anthony Genevois. Automorphisms of graph products of groups and acylindrical hyperbolicity. Preprint, arXiv:1807.00622 , 2018

    work page arXiv 2018

  25. [25]

    Hyperbolicities in CAT (0) cube complexes

    Anthony Genevois. Hyperbolicities in CAT (0) cube complexes. Enseign. Math. , 65(1-2):33--100, 2019

    work page 2019

  26. [26]

    Rank-one isometries of CAT (0) cube complexes and their centralisers

    Anthony Genevois. Rank-one isometries of CAT (0) cube complexes and their centralisers. Adv. Geom. , 21(3):347--364, 2021

    work page 2021

  27. [27]

    Elisabeth R. Green. Graph products of groups . PhD thesis, University of Leeds, 1990

    work page 1990

  28. [28]

    Fr\' e d\' e ric Haglund and Daniel T. Wise. Special cube complexes. Geom. Funct. Anal. , 17(5):1551--1620, 2008

    work page 2008

  29. [29]

    Frédéric Haglund and Daniel T. Wise. Coxeter groups are virtually special. Advances in Mathematics , 224(5):1890--1903, 2010

    work page 1903

  30. [30]

    Product set growth in virtual subgroups of mapping class groups

    Alice Kerr. Product set growth in virtual subgroups of mapping class groups. Preprint, arXiv:2103.12643 , 2021

    work page arXiv 2021

  31. [31]

    Croissance uniforme dans les groupes hyperboliques

    Malik Koubi. Croissance uniforme dans les groupes hyperboliques. Annales de l'institut Fourier , 48(5):1441--1453, 1998

    work page 1998

  32. [32]

    Free-by-cyclic groups are equationally N oetherian

    Monika Kudlinska and Motiejus Valiunas. Free-by-cyclic groups are equationally N oetherian. Preprint, arxiv:2407.08809 , 2024

    work page arXiv 2024

  33. [33]

    A recipe for short-word pseudo-Anosovs

    Johanna Mangahas. A recipe for short-word pseudo-Anosovs . American Journal of Mathematics , 135(4):1087--1116, 2013

    work page 2013

  34. [34]

    Acylindrical hyperbolicity of groups acting on trees

    Ashot Minasyan and Denis Osin. Acylindrical hyperbolicity of groups acting on trees. Mathematische Annalen , 362:1055--1105, 2015

    work page 2015

  35. [35]

    Acylindrically hyperbolic groups with exotic properties

    Ashot Minasyan and Denis Osin. Acylindrically hyperbolic groups with exotic properties. Journal of Algebra , 522:218--235, 2019

    work page 2019

  36. [36]

    Random walks on weakly hyperbolic groups

    Joseph Maher and Giulio Tiozzo. Random walks on weakly hyperbolic groups. J. Reine Angew. Math. , 742:187--239, 2018

    work page 2018

  37. [37]

    Uniform exponential growth of non-positively curved groups

    Thomas Ng. Uniform exponential growth of non-positively curved groups . PhD thesis, Temple University, 2020

    work page 2020

  38. [38]

    Relatively hyperbolic groups: Intrinsic geometry, algebraic properties, and algorithmic problems

    Denis Osin. Relatively hyperbolic groups: Intrinsic geometry, algebraic properties, and algorithmic problems. Memoirs of the American Mathematical Society , 179, 05 2004

    work page 2004

  39. [39]

    Acylindrically hyperbolic groups

    Denis Osin. Acylindrically hyperbolic groups. Transactions of the American Mathematical Society , 368:851--888, 2016

    work page 2016

  40. [40]

    Stanislav R. Safin. Powers of sets in free groups. Sbornik: Mathematics , 202(11):1661--1666, 2011

    work page 2011

  41. [41]

    D. Segal. Polycyclic Groups . Cambridge Tracts in Mathematics. Cambridge University Press, 2005

    work page 2005

  42. [42]

    Jean-Pierre Serre. Trees . Springer-Verlag, 1980

    work page 1980

  43. [43]

    Automorphisms of graph groups

    Herman Servatius. Automorphisms of graph groups. J. Algebra , 126(1):34--60, 1989

    work page 1989

  44. [44]

    Quasi-convexity of hyperbolically embedded subgroups

    Alessandro Sisto. Quasi-convexity of hyperbolically embedded subgroups. Math. Z. , 283(3-4):649--658, 2016

    work page 2016

  45. [45]

    Contracting elements and random walks

    Alessandro Sisto. Contracting elements and random walks. Journal f\" u r die reine und angewandte Mathematik , 742:79--114, 2018

    work page 2018

  46. [46]

    A generalization of the davis–moussong complex for dyer groups

    Mireille Soergel. A generalization of the davis–moussong complex for dyer groups. Journal of Combinatorial Algebra , 8:1--41, 02 2024

    work page 2024

  47. [47]

    Shalen and Philip Wagreich

    Peter B. Shalen and Philip Wagreich. Growth rates, Z _p -homology, and volumes of hyperbolic 3-manifolds. Transactions of the American Mathematical Society , 331(2):895--917, 1992

    work page 1992

  48. [48]

    Acylindrical hyperbolicity of groups acting on quasi-median graphs and equations in graph products

    Motiejus Valiunas. Acylindrical hyperbolicity of groups acting on quasi-median graphs and equations in graph products. Groups, Geometry, and Dynamics , 15(1):143--195, 2021

    work page 2021

  49. [49]

    Uniform exponential growth for groups with proper product actions on hyperbolic spaces

    Renxing Wan and Wenyuan Yang. Uniform exponential growth for groups with proper product actions on hyperbolic spaces. Preprint, arXiv:2307.08400 , 2023

    work page arXiv 2023

  50. [50]

    Growth of relatively hyperbolic groups

    Xiangdong Xie. Growth of relatively hyperbolic groups. Proceedings of the American Mathematical Society , 135(3):695--704, 2007

    work page 2007

  51. [51]

    Effective flipping, skewering and rank rigidity for cubulated groups with factor systems

    Abdul Zalloum. Effective flipping, skewering and rank rigidity for cubulated groups with factor systems. Preprint, arXiv:2305.16298 , 2023

    work page arXiv 2023