REVIEW 2 major objections 5 minor 62 references
Relative free splitting and free factor complexes: An overview
T0 review · 2 major / 5 minor · reviewed 2026-08-01 · deepseek-v4-flash
Pith's one-line read An element of a relative outer automorphism group moves loxodromically on the relative free splitting complex exactly when it has a filling attracting lamination; translation length is then bounded by constants A and B log(λ).
desk verdict An honest, well-structured overview of a major three-part project; the new PFS(F_n) non-hyperbolicity sketch is a real addition, but the load-bearing filling-exponent step is only summarized and must be checked in Part III. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The argument is carried by Stallings fold paths in the relative free splitting complex, reparameterized by 'free splitting units' to be quasigeodesics. The central tool is the Two Over All Theorem: for a foldable map between free splittings at distance at least nΔ, two edges in distinct orbits must each cross 2^{n−1} edges in every edge orbit of the target. Its strengthened version, the Strong Two Over All Theorem, replaces 'crosses many edges' with 'contains 2^{n−1} non-overlapping subpaths that fill the target', using the theory of filling paths. This exponential flaring is what converts expansion factors of relative train track maps into translation-length bounds on FS(Γ;A); the lower bou
What would settle it
Exhibit a group Γ, a free factor system A, and an element φ∈Out(Γ;A) with a filling attracting lamination whose action on FS(Γ;A) has stable translation length smaller than the constant A(Γ;A) claimed in Theorem A. Alternatively, construct a filling lamination for which the number of train-track iterations needed for a fixed edge's tile to fill the tree is unbounded, contradicting the existence of a uniform filling exponent; this would falsify the key proposition on which the lower bound depends.
Extended reading notes
Core claim
The central claim is that the dynamics of any element of Out(Γ;A) on the relative free splitting complex is controlled by whether its attracting lamination fills Γ rel A. If the lamination fills, the action is loxodromic and the stable translation length τ_φ lies between a positive constant A(Γ;A) and B(Γ;A) log(λ_φ); if it does not fill, every orbit is bounded. The proof, sketched in this overview, rests on two flaring theorems — the Two Over All Theorem and its strengthened form using filling paths — which assert that foldable maps between free splittings at large distance force edges to traverse exponentially many edge orbits in the target. This exponential growth is what converts expansi
Load-bearing premise
The uniform lower bound in Theorem A rests on the claim that, for every filling attracting lamination, there is a uniform integer μ(Γ;A) such that after μκ_0 iterations of a train track representative, the image of any single edge is a path that fills the whole tree; the overview does not reproduce the proof of this 'filling exponent', so the lower bound (and the implication that filling laminations force loxodromic action) collapses if that construction has a gap.
Editorial extensions
If this is right
- Every loxodromic element of any relative outer automorphism group has stable translation length at least A(Γ;A)>0, so arbitrarily small positive translation lengths cannot occur in these actions.
- The dichotomy of Theorem B gives a complete qualitative classification of individual dynamics on FS(Γ;A): no element is parabolic; each is either loxodromic (filling lamination) or elliptic (bounded orbits).
- The upper bound τ_φ ≤ B log(λ_φ) links the geometry of the complex to the train-track expansion factor, providing a computable way to estimate translation lengths once a relative train track representative is known.
- The hyperbolicity results and the coarse-Lipschitz properties of the natural maps (including the embedding of relative outer space) give a geometric foundation for studying subgroups, boundaries, and random walks of Out(Γ;A), in analogy with the role of curve complexes in surface group theory.
Reading between the lines
- If the lower bound in Theorem A is tight up to a universal factor, then the constants A(Γ;A) might be refined to rational numbers with denominator depending only on Γ and A, mirroring the rational lower bounds known for curve complexes; the paper explicitly asks about such refinements.
- The filling-path machinery that powers the lower bound could plausibly be adapted to prove the conjectured analogues on FF(Γ;A), for which the paper already has partial results; a complete proof would yield uniform translation-length bounds for fully irreducible rel A elements.
- The exponential flaring captured by the Two Over All Theorem is a general mechanism that may apply beyond free splitting complexes, for instance to the coned, pointed free splitting complex proposed in the paper as a candidate hyperbolic space for Aut(F_n); the paper's Section 6 suggests this as the original motivation, though it does not prove hyperbolicity there.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This overview announces and sketches the proofs of results from three companion papers (Parts I–III) on relative free splitting and free factor complexes for an arbitrary group Γ and free factor system A. It states: (1) hyperbolicity of FS(Γ;A) and FF(Γ;A), with the latter outside low-complexity exceptions; (2) Theorems A and B, giving uniform constants A, B, Ω such that every φ∈Out(Γ;A) with a filling attracting lamination of expansion factor λ_φ satisfies A ≤ τ_φ ≤ B log λ_φ, and such that φ acts loxodromically on FS(Γ;A) iff it has a filling attracting lamination, iff it has unbounded orbits, iff all orbit diameters are at least Ω. The methods described are Stallings fold paths, projection diagrams, the Two Over All Theorem, and filling paths. The paper also discusses partial results and conjectures for FF(Γ;A) and the original motivation from Aut(Fn).
Significance. If the main theorems are correct, this is a substantial generalization of the known hyperbolicity and loxodromic classification results for Out(Fn), with quantitative refinements that are new even in the classical case. The uniform dependence of the constants on only the number of free factors and the cofactor rank is a strong and useful feature. The paper is carefully written as an overview: it identifies conjectures, open questions, and limitations of the relative train track theory honestly, and it gives an unusually detailed account of the proof methods. Its main weakness is that the central quantitative claims depend on nontrivial results in unpublished preprints, so this document cannot serve as the sole verification. In particular, the lower bound in Theorem A rests on a uniform filling exponent whose proof is only sketched.
major comments (2)
- [Section 5, 'Proving the lower bound of Theorem A'] The proof of the uniform lower bound τ_φ ≥ A rests on the existence of a filling exponent μ(Γ;A) (Part III, Prop. 4.4). The overview's sketch introduces 'filling ranks' of iterated tiles F^{mκ0}(E) and asserts that these ranks increase strictly until constant, and that constancy plus the filling of Λ implies the tile fills T0. Neither the rank is defined nor are these assertions proved. Since this is the load-bearing step for the lower bound in Theorem A and for (1)=>(2) in Theorem B, the overview should state Prop. 4.4 precisely or give a complete proof sketch; as written it leaves the central quantitative claim unverified. The paper's own flag of unresolved issues in relative train track theory for general groups makes this gap more serious.
- [Section 1, 'Hyperbolicity Theorems', and Section 5 discussion of the Guirardel–Horbez theorem] The hyperbolicity statement for FF(Γ;A) and the Guirardel–Horbez theorem are asserted only outside 'certain low-complexity exceptions' / 'exceptional cases', but these exceptional pairs (Γ;A) are never described in the text or even given a precise location in the cited preprints. The abstract also suggests the exceptions apply to both FS and FF, while the body applies them only to FF. Since the scope of the main theorems depends on these exclusions, the overview should enumerate the exceptions or give a precise pointer to where they are listed.
minor comments (5)
- [Section 1] Typo: 'representes' should be 'represents'. Also, the notation F ellT / FellT appears with odd spacing and should be typeset consistently as an operator name.
- [Section 1, Theorem A] The lower-bound constant A=A(Γ;A) conflicts notationally with the free factor system A. Consider renaming the constant (e.g., c0 or a) to avoid confusion.
- [Section 6] The table of deformation spaces and the formula 'π1S1 c∗−→π1G' are hard to read; the typesetting should be cleaned up.
- [Section 5] The unmarked diamond after the statement of the Guirardel–Horbez theorem appears to be an unused marker; remove or explain it.
- [References] The paper cites Parts I–III as preprints without indicating whether they have been accepted or updated. A brief note on their status would help the reader.
Circularity Check
No significant circularity: the overview's central claims are sourced to companion papers by the same authors, and the flagged weak spots are proof-verification gaps, not reductions to the claims themselves.
full rationale
This paper is an expository overview of a three-part work. Its stated derivation chain is explicit: hyperbolicity of FS(Γ;A) and FF(Γ;A) is proved in Part I [HM14]; the Two Over All Theorem is proved in Part II [HM22]; and the Strong Two Over All Theorem, filling-path theory, and the filling exponent μ(Γ;A) are proved in Part III [HM25]. Theorems A and B are presented as the results of those parts, not derived within this overview from their own conclusions. There is no definitional equation that identifies the target quantities: a filling attracting lamination is defined via relative train track theory and lamination realization in free splittings, while τ_φ is the stable translation length of the action on FS(Γ;A); the implication (1)=>(2) of Theorem B is explicitly said to be proved by applying the lower bound of Theorem A, whose proof uses the filling hypothesis. No fitted parameter is renamed as a prediction: the constants A, B, Ω depend only on Γ and A and are not tuned to individual φ. The self-citations are load-bearing in the sense that the actual proofs live in the authors' companion papers, but that is normal for a series overview and does not reduce the argument to its own assertion. The most delicate step flagged by a skeptic, the uniform filling exponent μ=μ(Γ;A) (Part III, Proposition 4.4), is not reproduced in the overview, and the sketch involving undefined 'filling ranks' is incomplete; however, that is a gap in exposition or verification, not circularity, because the proof direction is from the filling-lamination hypothesis to the lower bound, not from the lower bound to itself. The paper also explicitly acknowledges unresolved limitations for the FF analogues (e.g., the lower bound in Conjecture A_FF and (4)=>(1) for general groups, with Lyman's relative train track theory not yet strong enough); these are honest statements of open problems in a different setting and are not used to establish Theorems A and B. Therefore no circular step meeting the required standard is present.
Assumptions & free parameters
assumptions (4)
- standard math Grushko's Theorem and the Kurosh Subgroup Theorem ensure a unique minimum free factor system for finitely generated Γ.
- standard math Masur-Minsky hyperbolicity criteria (coarse transitive family of reparameterized quasigeodesics with projection functions) are valid.
- domain assumption Relative train track theory for Out(Γ;A) exists and provides EG-aperiodic representatives with uniform exponents (based on Lyman [Lym22a]).
- standard math Zieschang-Vogt-Coldeway: a homotopy equivalence between surfaces restricting to a boundary homeomorphism is homotopic rel boundary to a homeomorphism.
Cite this review
Pith. "Pith review of Relative free splitting and free factor complexes: An overview." pith.science (2026). https://pith.science/paper/YFBU3CXH
@misc{pith2026260719249,
author = {Pith},
title = {Pith review of: Relative free splitting and free factor complexes: An overview},
year = {2026},
howpublished = {\url{https://pith.science/paper/YFBU3CXH}},
note = {Machine review of arXiv:2607.19249}
}
abstract
For any group $\Gamma$ and any free factor system~$\mathscr A$ of $\Gamma$, the relative outer automorphism group $\text{Out}(\Gamma;\mathscr A)$ acts naturally on the relative free splitting complex $\mathcal{F\!S}(\Gamma;\mathscr A)$ and on the complex of relative free factor systems $\mathcal{F\!F}(\Gamma;\mathscr A)$, generalizing the well known actions of $\text{Out}(F_n)$ on the absolute free splitting complex $\mathcal{F\!S}(F_n)$ and the absolute free factor complex ${\mathcal{F}}(F_n)$ of the rank~$n$ free group~$F_n$. This overview summarizes a three part work regarding the large scale geometry of $\mathcal{F\!S}(\Gamma;\mathscr A)$ and $\mathcal{F\!F}(\Gamma;\mathscr A)$ and the geometric dynamics of the actions on these complexes by elements of $\text{Out}(\Gamma;\mathscr A)$. In Part I arXiv:1407.3508 we prove hyperbolicity of $\mathcal{F\!S}(\Gamma;\mathscr A)$ and of $\mathcal{F\!F}(\Gamma;\mathscr A)$. In Parts II and III arXiv:2212.09907, arXiv:2503.07532 we study the relation between the geometric dynamics of an element of $\text{Out}(\Gamma;\mathscr A)$ and the dynamics of its relative train track representatives. The main tool in Part II is the \emph{Two Over All Theorem}, expressing an exponential flaring property of Stallings fold paths in $\mathcal{F\!S}(\Gamma;\mathscr A)$. The main tools in Part III are \emph{filling paths}, used to formulate and prove a strong version of the \emph{Two Over All Theorem}.
Reference graph
Works this paper leans on
-
[1]
Bestvina, M
M. Bestvina, M. R. Bridson, and R. D. Wade, On the geometry of the free factor graph for Aut (F_N) , Groups Geom. Dyn. 19 (2025), no. 2, 445--457
2025
-
[2]
Bestvina, J
M. Bestvina, J. Chaika, and S. Hensel, Connectivity of the gromov boundary of the free factor complex, Ann. H. Lebesgue 6 (2023), 1291--1348
2023
-
[3]
Bers, Fiber spaces over Teichm\"uller spaces , Acta Math
L. Bers, Fiber spaces over Teichm\"uller spaces , Acta Math. 130 (1973), 89--126
1973
-
[4]
Bestvina and M
M. Bestvina and M. Feighn, Bounding the complexity of simplicial group actions on trees, Invent. Math. 103 (1991), no. 3, 449--469
1991
-
[5]
, A combination theorem for negatively curved groups, J. Diff. Geom. 35 (1992), no. 1, 85--101
1992
-
[6]
Bestvina and K
M. Bestvina and K. Fujiwara, Bounded cohomology of subgroups of mapping class groups, Geom. Topol. 6 (2002), 69--89
2002
-
[7]
Bestvina and M
M. Bestvina and M. Feighn, Hyperbolicity of the complex of free factors, Adv. Math. 256 (2014), 104--155
2014
-
[8]
Topology 7 (2014), no
, Subfactor projections, J. Topology 7 (2014), no. 3, 771--804
2014
Show all 62 references
-
[9]
Bestvina, M
M. Bestvina, M. Feighn, and M. Handel, Laminations, trees, and irreducible automorphisms of free groups, Geom. Funct. Anal. 7 (1997), 215--244
1997
-
[10]
, The Tits alternative for Out (F n) . I. Dynamics of exponentially-growing automorphisms. , Ann. of Math. 151 (2000), no. 2, 517--623
2000
-
[11]
Bestvina and M
M. Bestvina and M. Handel, Train tracks and automorphisms of free groups, Ann. of Math. 135 (1992), 1--51
1992
-
[12]
, Train tracks for surface homeomorphisms, Topology 34 (1995), 109--140
1995
-
[13]
Bowditch, Tight geodesics in the curve complex, Invent
B. Bowditch, Tight geodesics in the curve complex, Invent. Math. 171 (2008), no. 2, 281--300
2008
-
[14]
Cannon, The theory of negatively curved spaces and groups, Ergodic theory, symbolic dynamics, and hyperbolic spaces (C
J. Cannon, The theory of negatively curved spaces and groups, Ergodic theory, symbolic dynamics, and hyperbolic spaces (C. Series T. Bedford, M. Keane, ed.), Oxford Univ. Press, 1991
1991
-
[15]
Casson and S
A. Casson and S. Bleiler, Automorphisms of surfaces after N ielsen and T hurston , London Mathematical Society Student Texts, vol. 9, Cambridge University Press, 1988
1988
-
[16]
Collins, Cohomological dimension and symmetric automorphisms of free groups, Comm
D. Collins, Cohomological dimension and symmetric automorphisms of free groups, Comm. Math. Helv. 64 (1989), no. 1, 44--61
1989
-
[17]
Clay and C
M. Clay and C. Ulyanik, Simultaneous construction of hyperbolic isometries, Pac. J. Math. 294 (2018), no. 1, 71--88
2018
-
[18]
Culler and K
M. Culler and K. Vogtmann, Moduli of graphs and automorphisms of free groups, Invent. Math. 84 (1986), 91--119
1986
-
[19]
Fathi, F
A. Fathi, F. Laudenbach, V. Poenaru, et al., Thurston's work on surfaces, Mathematical Notes, vol. 48, Princeton Univ. Press, 2012, translated by D. M. Kim and D. Margalit from the 1979 original Travaux de Thurston sur les surfaces , Ast\'erisque 66-67
2012
-
[20]
Farb and L
B. Farb and L. Mosher, Convex cocompact subgroups of mapping class groups, Geometry and Topology 6 (2002), 91--152
2002
-
[21]
Francaviglia and A
S. Francaviglia and A. Martino, Stretching factors, metrics and train tracks for free products, Illinois J. Math. 59 (2015), no. 4, 859--899
2015
-
[22]
Forester, Deformation and rigidity of simplicial group actions on trees, Geometry and Topology 6 (2002), 219--267
M. Forester, Deformation and rigidity of simplicial group actions on trees, Geometry and Topology 6 (2002), 219--267
2002
-
[23]
Fujiwara, Subgroups generated by two pseudo-Anosov elements in a mapping class group
K. Fujiwara, Subgroups generated by two pseudo-Anosov elements in a mapping class group. II. Uniform bound on exponents. , Trans. AMS 367 (2015), no. 6, 4377--4405
2015
-
[24]
Guirardel and C
V. Guirardel and C. Horbez, Boundaries of relative factor graphs and subgroup classification for automorphisms of free products , Geom. Topol. 26 (2022), no. 1, 71--126
2022
-
[25]
Gadre, E
V. Gadre, E. Hironaka, R. Kent, and C. Leininger, Lipschitz constants to curve complexes, Math. Res. Lett. 2 (2013), no. 4, 647--656
2013
-
[26]
Guirardel and G
V. Guirardel and G. Levitt, Deformation spaces of trees, Groups Geom. Dyn. 1 (2007), 135--181
2007
-
[27]
London Math
, The outer space of a free product, Proc. London Math. Soc. (3) 94 (2007), no. 3, 695--714
2007
-
[28]
Gupta, Loxodromic elements for the relative free factor complex, Geom
R. Gupta, Loxodromic elements for the relative free factor complex, Geom. Dedicata 196 (2018), 91--121
2018
-
[29]
Hamenst\"adt , Word hyperbolic extensions of surface groups, preprint, arXiv:math.GT/0505244, 2005
U. Hamenst\"adt , Word hyperbolic extensions of surface groups, preprint, arXiv:math.GT/0505244, 2005
2005
-
[30]
, Spotted Disc and Sphere Graphs I , New York J. Math. 27 (2021), 881--902
2021
-
[31]
W. J. Harvey, Boundary structure of the modular group, Riemann surfaces and related topics: Proceedings of the 1978 Stony Brook Conference (State Univ. New York, Stony Brook, N.Y., 1978) (Princeton, N.J.), Ann. of Math. Stud., vol. 97, Princeton Univ. Press, 1981, pp. 245--251
1978
-
[32]
Handel and L
M. Handel and L. Mosher, The free splitting complex of a free group I: Hyperbolicity , Geom. Topol. 17 (2013), 1581--1670
2013
-
[33]
, Relative free splitting and free factor complexes I: Hyperbolicity , arXiv:1407.3508, 2014
2014 arXiv
-
[34]
AMS 372 (2019), no
, The free splitting complex of a free group II: Loxodromic outer automorphisms , Trans. AMS 372 (2019), no. 6, 4053--4105
2019
-
[35]
, Relative free splitting and free factor complexes II: Stable translation lengths and the Two Over All Theorem , arXiv:2212.09907, 2022
2022 arXiv
-
[36]
, Hyperbolic actions and 2nd bounded cohomology of subgroups of Out (F_n) , Mem. Amer. Math. Soc. 292 (2023), no. 1454, v+170
2023
-
[37]
, Relative free splitting and free factor complexes III: Stable translation lengths and filling arcs , arXiv:2503.07532, 2025
2025 arXiv
-
[38]
Horbez, Hyperbolic graphs for free products, and the Gromov boundary of the graph of cyclic splittings , J
C. Horbez, Hyperbolic graphs for free products, and the Gromov boundary of the graph of cyclic splittings , J. Topology 9 (2016), no. 2, 401--450
2016
-
[39]
Algebra 28 (2000), no
Ilya Kapovich, Mapping tori of endomorphisms of free groups, Comm. Algebra 28 (2000), no. 6, 2895--2917
2000
-
[40]
R. Kent, C. Leininger, and S. Schleimer, Trees and mapping class groups, J. Reine Angew. Math. 637 (2009), 1--21
2009
-
[41]
Kapovich, J
I. Kapovich, J. Maher, C. Pfaff, and S. J. Taylor, Random outer automorphisms of free groups: Attracting trees and their singularity structures, TAMS 375 (2022), no. 1, 525--557
2022
-
[42]
Kapovich and K
I. Kapovich and K. Rafi, On hyperbolicity of free splitting and free factor complexes, Groups Geom. Dyn. 8 (2014), no. 2, 391--414
2014
-
[43]
R. A. Lyman, CTs for free products , arXiv:2203.08868 , 2022
2022 arXiv
-
[44]
, Train track maps on graphs of groups, Groups Geom. Dyn. 16 (2022), no. 4, 1389--1422
2022
-
[45]
Mangahas, Uniform uniform exponential growth of subgroups of the mapping class group, Geom
J. Mangahas, Uniform uniform exponential growth of subgroups of the mapping class group, Geom. Funct. Anal. 19 (2010), no. 5, 1468--1480
2010
-
[46]
, A recipe for short-word pseudo-Anosovs , Amer. J. Math. 135 (2013), no. 4, 1087--1116
2013
-
[47]
Mann, Hyperbolicity of the cyclic splitting complex, Geom
B. Mann, Hyperbolicity of the cyclic splitting complex, Geom. Dedicata 173 (2014), 271--280
2014
-
[48]
Meinert, The Lipschitz metric on deformation spaces of G -trees , Algebr
S. Meinert, The Lipschitz metric on deformation spaces of G -trees , Algebr. Geom. Topol. 15 (2015), no. 2, 987--1029
2015
-
[49]
McCullough and A
D. McCullough and A. Miller, Symmetric automorphisms of free products, Mem. Amer. Math. Soc. 122 (1996), no. 582, viii+97
1996
-
[50]
Masur and Y
H. Masur and Y. Minsky, Geometry of the complex of curves, I. Hyperbolicity , Invent. Math. 138 (1999), no. 1, 103--149
1999
-
[51]
, Geometry of the complex of curves II: Hierarchical structure , Geom. Funct. Anal. 10 (2000), no. 4, 902--974
2000
-
[52]
Mosher, A hyperbolic-by-hyperbolic hyperbolic group, Proc
L. Mosher, A hyperbolic-by-hyperbolic hyperbolic group, Proc. AMS 125 (1997), no. 12, 3447--3455
1997
-
[53]
Mj and P
M. Mj and P. Sardar, A combination theorem for metric bundles, Geom. Funct. Anal. 22 (2012), no. 6, 1636--1707
2012
-
[54]
Skora, Deformations of length functions in groups, preprint, August 1989
R. Skora, Deformations of length functions in groups, preprint, August 1989
1989
-
[55]
Stallings, Topology of finite graphs, Inv
J. Stallings, Topology of finite graphs, Inv. Math. 71 (1983), 551--565
1983
-
[56]
, Folding of G -trees , Arboreal group theory (Berkeley, CA 1988), Math. Sci. Res. Inst. Publ., vol. 19, 1991
1988
-
[57]
A topological variant of the G rushko- N eumann theorem , Groups--- K orea '98 ( P usan), de Gruyter, 2000, pp
, Surfaces mapping to wedges of spaces. A topological variant of the G rushko- N eumann theorem , Groups--- K orea '98 ( P usan), de Gruyter, 2000, pp. 345--353
2000
-
[58]
G. A. Swarup, Proof of a weak hyperbolization theorem, Q. J. Math 51 (2000), no. 4, 529--533
2000
-
[59]
Taylor, A note on subfactor projections, Algebr
S. Taylor, A note on subfactor projections, Algebr. Geom. Topol. 14 (2014), 805--821
2014
-
[60]
Vogtmann, Automorphisms of free groups and outer space, Proceedings of the Conference on Geometric and Combinatorial Group Theory, Part I (Haifa, 2000), vol
K. Vogtmann, Automorphisms of free groups and outer space, Proceedings of the Conference on Geometric and Combinatorial Group Theory, Part I (Haifa, 2000), vol. 94, 2002, pp. 1--31
2000
-
[61]
R. C. H. Webb, Contractible, hyperbolic but non-CAT(0) complexes , GAFA 30 (2020), no. 5, 1439--1463
2020
-
[62]
Zieschang, E
H. Zieschang, E. Vogt, and H. Coldewey, Surfaces and planar discontinuous groups , Lecture Notes in Mathematics, 835, Springer, 1980, Translated from the German by John Stillwell
1980
Reviewed August 1, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.