The minimally displaced set of an irreducible automorphism is locally finite

Armando Martino; Dionysios Syrigos; Stefano Francaviglia

REVIEW 2 major objections 4 minor 30 references

The minimally displaced set of an irreducible automorphism is locally finite

T0 review · 2 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The minimally displaced set of an irreducible automorphism with exponential growth is uniformly locally finite in any deformation space of a free splitting.

desk verdict A genuinely new local finiteness theorem for minsets of irreducible automorphisms, with the uniform version resting on an unproved transfer of Bestvina's thickness bound. read the letter →

arxiv 1908.00505 v2 pith:JSKZNNED submitted 2019-08-01 math.GR

Stefano Francaviglia , Armando Martino , Dionysios Syrigos This is my paper · ORCID

classification math.GR

keywords automorphismfreeirreducibledeformationdisplacedminimallyspacebordification

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

Groups like the free group F_n can be studied by looking at all possible geometric shapes, called graphs, that have the same fundamental group. These shapes form a space called a deformation space. An automorphism of the group moves each shape to another shape, and one can measure how much a shape is stretched. The points that are stretched the least are called minimally displaced. For an automorphism that is 'irreducible' in a suitable sense and stretches something by a factor greater than one, these minimally displaced points are exactly the points that support train track maps, which are maps with especially simple behavior on the graph.

The main result of this paper is that the set of minimally displaced points is locally finite: around any such point, only finitely many neighboring shapes are also minimally displaced. In fact the number of such neighbors is bounded by a function depending only on the stretching factor and the rank of the space, so the set is uniformly locally finite.

The proof introduces a way to classify the folds, or simple geometric operations, that could keep a shape minimally displaced. It shows that most folds force the displacement to increase, and only a finite collection of 'critical' folds can ever lead to another minimally displaced point. This gives a finite list of candidates to check in an algorithm, which is useful for problems like deciding whether two automorphisms are conjugate or whether one is reducible.

Extended reading notes

Core claim

Theorem 6.4 and Corollary 6.10: If [φ] ∈ Out(G) is irreducible with λ(φ) > 1, then for any simplex ∆ intersecting Min(φ), any neighbouring simplex ∆1 intersecting Min(φ) is contained in the simplex-critical neighbourhood of ∆ of radius 2D(G)^2; in particular Min(φ) is locally finite, and uniformly locally finite, in O(G) and O1(G). Equivalently, the set of points supporting train track maps for φ is uniformly locally finite.

Load-bearing premise

Uniform local finiteness (Corollary 6.10) rests on Lemma 6.9, which asserts the bound λφ(X∆) ≤ 9 dim O(G) λ(φ)^{3D+2} for a minimally displaced simplex ∆. The proof imports Bestvina's ε-thickness theorem from Culler-Vogtmann space ([2, Proposition 10]) and the Sausage Lemma ([11, Theorem 9.10]) to arbitrary deformation spaces of free products with the statement that the proof 'is the same in this context' (Section 6, Lemma 6.9). If this transfer is not valid for splittings with arbitrary vertex groups (e.g., infinite or non-Grushko factors), the uniformity claim would not follow, although the non-uniform local finiteness of Theorem 6.4 would survive.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Colleague —

The short version: this paper proves something new and worth knowing. For an irreducible automorphism of a free splitting with λ(φ) > 1, the minimally displaced set Min(φ) is locally finite, and the paper finds a finite list of "critical" folds that account for all adjacent min simplices. The local finiteness theorem (Theorem 6.4) looks sound. The uniform version (Corollary 6.10) is the soft spot: it depends on Lemma 6.9, which imports Bestvina's ε-thickness bound from Culler–Vogtmann space with the remark "the proof is the same in this context." No proof is supplied for the transfer to free-product deformation spaces with arbitrary vertex groups. If that transfer fails, Corollary 6.10 does not follow; Theorem 6.4 survives, because it never uses Lemma 6.9.

What is actually good: the critical/regular turn decomposition is a real idea. The paper makes a finite list of turns (candidate critical plus illegal turns of a train track map) and shows that folding any regular turn forces you out of the minset. Proposition 4.19 and the folding-path argument in Section 5 give a clean path to local finiteness. The result is effective in the sense that the finite list is explicit, so it has algorithmic consequences for conjugacy and reducibility problems in relative outer automorphism groups.

The heavy reliance on the authors' own prior work ([11,12]) is not itself a problem—those are published or available, and the new contribution is the turn analysis. But the uniform bound is another matter. Lemma 6.9 asserts two imported bounds: Bestvina's thickness and the Sausage Lemma. The latter comes from [11], but the former is only asserted to extend. In a deformation space with infinite or non-Grushko vertex groups, the thickness constant might depend on the vertex groups, not just on D and λ(φ). The paper gives no argument that it does not. A referee should ask for either a proof of the transfer or a statement of the uniform result as conditional.

Who this is for: geometric group theorists working on outer automorphism groups, deformation spaces, train tracks, and algorithmic questions about Out(F_n) and free products. A serious referee should get this paper; the main theorem deserves testing, and the gap in Lemma 6.9 is local and fixable or excisable.

I would send it to review, and I would ask the referee to focus on Section 6. If I were working in the area, I would cite Theorem 6.4 even if Corollary 6.10 needs a patch.

Referee Report

2 major / 4 minor

Summary. The paper studies the action of an irreducible automorphism of a free splitting on the associated deformation space O(G). It introduces the notion of simplex-critical and simplex-regular turns (Definitions 4.4 and 4.22), proves that folding a regular turn strictly increases the displacement function (Proposition 4.19), and then uses a folding-path argument directed by a straight map to show that any simplex adjacent to a minimally displaced simplex and still intersecting the minset is reached by at most 2D(G)^2 critical folds (Theorem 6.4). A uniformity statement is added in Lemma 6.9 and Corollary 6.10, claiming that the minset is uniformly locally finite, hence that the set of train-track points is uniformly locally finite. The main proof is largely self-contained, with a long section of definitions and standard facts from the authors' earlier work on free products.

Significance. If the proof is correct, the paper gives a clean structural description of the minset of an irreducible automorphism: around any simplex meeting the minset there are only finitely many neighbouring simplices that also meet it, with an explicit bound on the number of critical folds. This is relevant for algorithmic applications to reducible automorphisms and to the simplicial bordification of Outer Space. The distinction between critical and regular turns is natural and gives an explicit finite list in Remark 4.24, which is a definite strength. The non-uniform local finiteness theorem is supported by detailed arguments. The uniform version, however, depends on an import of Bestvina's epsilon-thickness theorem and the Sausage Lemma from the Culler-Vogtmann setting to arbitrary free-product deformation spaces; that transfer is asserted but not proved, and it is load-bearing for the uniformity claim.

major comments (2)

[Section 6, Lemma 6.9] The uniform bound on λφ(X∆) is the only step that upgrades local finiteness to uniform local finiteness, and its proof is not complete. The text says that the epsilon-thickness statement of [2, Proposition 10] 'is proved there in CV_n, but the proof is the same in this context', and then uses the Sausage Lemma [11, Theorem 9.10] without giving the precise statement or verifying the hypotheses for deformation spaces of free splittings with arbitrary vertex groups, which may be infinite or non-Grushko factors. The constant C(φ)=3 dim O(G) λ(φ)^{3D+1} is taken verbatim from the Culler-Vogtmann argument. Since Corollary 6.10 and the abstract's 'uniformly locally finite' assertion depend directly on Lemma 6.9, this is a load-bearing gap. Please provide a proof of the thickness bound in the free-product deformation space, or a precise citation covering that generality, or restrict the uniformity claim accordingly. The non-uniform Theorem 6.4 would survive in any case.
[Proposition 5.4] In the second case of the proof, the quantity C = sup{LX(γ) - LY(p(γ)) : γ ∈ Σ} is asserted to be a maximum by the Bounded Cancellation Lemma and discreteness. Edge lengths in O(G) are arbitrary positive reals, so the set of values is not in general discrete; for rationally independent edge lengths it can be dense. The argument needs to justify attainment instead by observing that, by construction, every γ ∈ Σ crosses exactly one p-illegal turn, so the cancellation amount is a fixed constant determined by that turn. With that observation the maximum is attained and the subsequent surgery argument is valid, but as written this step is not fully justified.

minor comments (4)

[Remark 1.2] The remark claims that every result remains true for deformation spaces of non-connected graphs of groups, but no proof or precise reference is supplied for this extension. Either prove the claim or mark it as an expected generalization, since a reader cannot verify it from the material in the paper.
[Lemma 6.8] The first estimate says 'the number of turns crossed by an element of A∆' is bounded by λφ(X∆)4D|A∆|; this should say 'by the φ-image of an element of A∆', since otherwise the factor λφ(X∆) is unexplained.
[Introduction and cross-references] The displayed main theorem is labelled 'Theorems 6.4 and 6.10', but the second result is Corollary 6.10 and is stated as a corollary. Please correct the cross-reference and the wording in the abstract and introduction.
[Throughout] There are several typos and spacing errors: 'unifo rmly' in the abstract, 'emtpy' in Remark 7.24, and 'the the closure' in Definition 7.5. These should be corrected before publication.

Assumptions & free parameters 1 free parameters · 6 assumptions · 0 invented entities

The paper's central claim relies on a substantial body of prior results, several from the authors' own earlier work, plus an asserted but unproven transfer of thickness estimates to the general free-product setting. No numerical constants are fitted to data; the only hand-chosen objects are the representative group elements H used to define the finite loop set A∆.

free parameters (1)

Choice of group elements H = {h_v}
In Section 4 (after Definition 4.1), the authors choose an arbitrary non-trivial element h_v in each non-trivial vertex group G_v. The set of loops A∆ and the candidate regular/critical classification depend on this choice. The theorem is intended to be independent of the choice, but no invariance is proved.

assumptions (6)

domain assumption Min(φ) is non-empty and coincides with the set of points supporting train track maps for irreducible φ (Theorem 7.23).
Quoted from [2,11,12]; the entire theory of minsets for irreducible automorphisms rests on this. If it failed, the object whose local finiteness is asserted could be empty or undefined.
domain assumption Existence of minimal optimal maps representing any automorphism, and the properties of the tension graph (Lemma 7.25).
Used throughout Section 4 (e.g., Lemma 4.16, Corollary 4.14, Proposition 4.19) and quoted from the authors' prior work [12].
domain assumption Convexity of the displacement function along folding paths (Lemma 4.18).
Used in Proposition 4.19 to rule out minimally displaced points in a neighbourhood; quoted from [12, Lemma 6.2].
standard math Bounded Cancellation Lemma for maps between deformation spaces of free products (used in Proposition 5.4).
Cited to [22, Proposition 3.12]; guarantees the maximum cancellation C is attained and discrete.
domain assumption Bestvina's ε-thickness of minimally displaced points and the Sausage Lemma (used in Lemma 6.9).
Lemma 6.9 asserts the transfer of [2, Proposition 10] from Culler-Vogtmann space to general deformation spaces of free products, and uses [11, Theorem 9.10] (Sausage Lemma). The paper does not prove the transfer; it states 'the proof is the same in this context'.
standard math Basic Bass-Serre theory and graph-of-groups formalism.
Background for deformation spaces, markings, equivariant maps.

how reviews work

0 comments

Cite this review

Pith. "Pith review of The minimally displaced set of an irreducible automorphism is locally finite." pith.science (2026). https://pith.science/paper/JSKZNNED

@misc{pith2026190800505,
  author       = {Pith},
  title        = {Pith review of: The minimally displaced set of an irreducible automorphism is locally finite},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/JSKZNNED}},
  note         = {Machine review of arXiv:1908.00505}
}

read the original abstract

We prove that the minimally displaced set of a relatively irreducible automorphism of a free splitting, situated in a deformation space, is uniformly locally finite. The minimally displaced set coincides with the train track points for an irreducible automorphism. We develop the theory in a general setting of deformation spaces of free products, having in mind the study of the action of reducible automorphisms of a free group on the simplicial bordification of Outer Space. For instance, a reducible automorphism will have invariant free factors, act on the corresponding stratum of the bordification, and in that deformation space it may be irreducible (sometimes this is referred as relative irreducibility).

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

30 extracted references · 30 canonical work pages

[11]

Stefano Francaviglia and Armando Martino, Stretching factors, metrics and train tracks for free products, Illinois J. Math. 59 (2015), no. 4, 859-899

work page 2015
[1]

Hyman Bass, Covering theory for graphs of groups. , J. Pure Appl. Algebra, 89(1-2):3-47,1993

work page 1993
[2]

Mladen Bestvina, A Bers-like proof of the existence of train tracks for free gr oup automorphisms , Fund. Math. 214 (2011), no. 1, 1–12. MR 2845630

work page 2011
[3]

Mladen Bestvina and Mark Feighn, Hyperbolicity of the complex of free factors , Adv. in Math. 256, 2014, 104–155

work page 2014
[4]

Mladen Bestvina and Michael Handel, Train tracks and automorphisms of free groups , Ann. of Math. (2) 135 (1992), no. 1, 1–51. MR 1147956

work page 1992
[5]

Mladen Bestvina and Patrick Reynolds The boundary of the complex of free factors , Duke Math. J. 164, (2015), no. 1 2213–2251

work page 2015
[6]

Benjamin Br¨ uck and Radhika Gupta Homotopy type of the complex of free factors of a free group , preprint arXiv:1810.09380 27

work page Pith review arXiv
[7]

James Conant, Martin Kassabov, and Karen Vogtmann, Hairy graphs and the unstable homology of M od(g, s ), Out(Fn) and Aut(Fn), J. Top. 6 (2013), no. 1, 119–153

work page 2013

Show all 30 references

[8]

Marc Culler and Karen Vogtmann, Moduli of graphs and automorphisms of free groups , Invent. Math. 84 (1986), no. 1, 91–119. MR 830040

1986
[9]

Stefano Francaviglia and Armando Martino, Metric properties of outer space , Publ. Mat. 55 (2011), no. 2, 433–473. MR 2839451

2011
[10]

, The isometry group of outer space , Adv. Math. 231 (2012), no. 3-4, 1940–1973. MR 2964629

2012
[12]

Stefano Francaviglia and Armando Martino, Displacements of automorphisms of free groups I: Displacement functions, minpoints and train tracks , preprint, arXiv:1807.02781

arXiv
[13]

Stefano Francaviglia and Armando Martino, Displacements of automorphisms of free groups II: Connectedness of level sets , preprint, arXiv:1807.02782

arXiv
[14]

On ﬁxed points of certain automorphisms of free g roups

S. M. Gersten, Addendum: “On ﬁxed points of certain automorphisms of free g roups”, Proc. London Math. Soc. (3) 49 (1984), no. 2, 340–342. MR 748994

1984
[15]

London Math

, On ﬁxed points of certain automorphisms of free groups , Proc. London Math. Soc. (3) 48 (1984), no. 1, 72–90. MR 721773

1984
[16]

, Fixed points of automorphisms of free groups , Adv. in Math. 64 (1987), no. 1, 51–85. MR 879856

1987
[17]

Vincent Guirardel and Gilbert Levitt, The outer space of a free product , Proc. Lond. Math. Soc. (3) 94 (2007), no. 3, 695–714. MR 2325317

2007
[18]

Michael Handel and Lee Mosher, The free splitting complex of a free group, I: hyperbolicity , Geom. Topol. 17 (2013), no. 3, 1581–1672. MR 3073931

2013
[19]

Michael Handel and Lee Mosher, The free splitting complex of a free group, II: Loxodromic ou ter automorphisms, to appear on Trans. of AMS
[20]

Allen Hatcher, Homological stability for automorphism groups of free grou ps, Comment. Math. Helv. 70 (1995), no. 1, 39–62. MR 1314940

1995
[21]

Reine Angew

Arnaud Hilion and Camille Horbez, The hyperbolicity of the sphere complex via surgery paths , J. Reine Angew. Math. 730 (2017), 135–161

2017
[22]

Journal of topology 9.2 (2016): 401-450

Camille Horbez Hyperbolic graphs for free products, and the Gromov boundar y of the graph of cyclic splittings. Journal of topology 9.2 (2016): 401-450

2016
[23]

Ilya Kapovich, Detecting fully irreducible automorphisms: a polynomial t ime algorithm , https://arxiv.org/abs/1609.03820

arXiv
[24]

Ilya Kapovich, Algorithmic detectability of iwip automorphisms , Bull. Lond. Math. Soc. 46 (2014), no. 2, 279–290. MR 3194747

2014
[25]

2, 391–414

Ilya Kapovich and Kasra Raﬁ, On hyperbolicity of free splitting and free factor complexe s, Groups, Geometry, and Dynamics, 8 (2014), no. 2, 391–414

2014
[26]

Los,On the conjugacy problem for automorphisms of free groups , Topology 35 (1996), no

J´ erˆ ome E. Los,On the conjugacy problem for automorphisms of free groups , Topology 35 (1996), no. 3, 779–808, With an addendum by the author. MR 1396778

1996
[27]

Martin Lustig, Conjugacy and centralizers for iwip automorphisms of free g roups, Geometric group theory, Trends Math., Birkh¨ auser, Basel, 2007, pp. 197–224. M R 2395795

2007
[28]

Sebastian Meinert, The Lipschitz metric on deformation spaces of G-trees, Algebr. Geom. Topol. 15 (2015), no. 2, 987–1029. MR 3342683

2015
[29]

Trees., Springer Monographs in Mathematics

Jean-Pierre Serre. Trees., Springer Monographs in Mathematics. Springer-Verlag, Berlin, 20 03. Translated from the French original by John Stillwell, Corrected 2nd printing of the 1980 Eng- lish translation

1980
[30]

Stallings, Topology of ﬁnite graphs , Invent

John R. Stallings, Topology of ﬁnite graphs , Invent. Math. 71 (1983), no. 3, 551–565. MR 695906 28

1983

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.

[1] [11]

Stefano Francaviglia and Armando Martino, Stretching factors, metrics and train tracks for free products, Illinois J. Math. 59 (2015), no. 4, 859-899

work page 2015

[2] [1]

Hyman Bass, Covering theory for graphs of groups. , J. Pure Appl. Algebra, 89(1-2):3-47,1993

work page 1993

[3] [2]

Mladen Bestvina, A Bers-like proof of the existence of train tracks for free gr oup automorphisms , Fund. Math. 214 (2011), no. 1, 1–12. MR 2845630

work page 2011

[4] [3]

Mladen Bestvina and Mark Feighn, Hyperbolicity of the complex of free factors , Adv. in Math. 256, 2014, 104–155

work page 2014

[5] [4]

Mladen Bestvina and Michael Handel, Train tracks and automorphisms of free groups , Ann. of Math. (2) 135 (1992), no. 1, 1–51. MR 1147956

work page 1992

[6] [5]

Mladen Bestvina and Patrick Reynolds The boundary of the complex of free factors , Duke Math. J. 164, (2015), no. 1 2213–2251

work page 2015

[7] [6]

Benjamin Br¨ uck and Radhika Gupta Homotopy type of the complex of free factors of a free group , preprint arXiv:1810.09380 27

work page Pith review arXiv

[8] [7]

James Conant, Martin Kassabov, and Karen Vogtmann, Hairy graphs and the unstable homology of M od(g, s ), Out(Fn) and Aut(Fn), J. Top. 6 (2013), no. 1, 119–153

work page 2013