pith. sign in

arxiv: 1907.07022 · v1 · pith:O3Y6JSZMnew · submitted 2019-07-16 · 🧮 math.GR

Serre's Property (FA) for automorphism groups of free products

Naomi Andrew This is my paper

Pith reviewed 2026-05-24 20:33 UTC · model grok-4.3

classification 🧮 math.GR
keywords Property (FA)automorphism groupsfree productsSerre's propertygroup actions on treesindecomposable groupsfinite groups
0
0 comments X

The pith

Automorphism groups of free products of indecomposable groups have Serre's Property (FA) under specified conditions on the factors.

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

The paper supplies necessary conditions and sufficient conditions under which the automorphism group of a free product of freely indecomposable, non-cyclic groups possesses Serre's Property (FA). Property (FA) means every action of the group on a tree admits a global fixed point. The sufficient conditions hold automatically when every factor is finite, yielding a complete characterization in that setting. This extends earlier results restricted to finite cyclic groups and settles the remaining cases for those groups.

Core claim

We provide some necessary and some sufficient conditions for the automorphism group of a free product of (freely indecomposable, not infinite cyclic) groups to have Property (FA). The additional sufficient conditions are all met by finite groups, and so this case is fully characterised. Therefore this paper generalises the work of Leder for finite cyclic groups, as well as resolving the open case of that paper.

What carries the argument

Necessary and sufficient conditions on the free factors that force the automorphism group to have a fixed point in every tree action.

If this is right

  • When every factor is finite the automorphism group always has Property (FA).
  • The result covers all finite groups rather than only cyclic ones.
  • Prior open cases for finite cyclic factors are now settled.
  • The same conditions classify the property for any collection of finite indecomposable factors.

Where Pith is reading between the lines

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

  • The same approach may produce criteria for other fixed-point properties such as Property (T).
  • Direct verification on concrete examples like free products of symmetric groups would test the boundary between the necessary and sufficient lists.
  • The characterization could clarify when outer automorphism groups of free products also satisfy (FA).

Load-bearing premise

The factors of the free product are freely indecomposable and not infinite cyclic.

What would settle it

An explicit free product of two finite non-cyclic groups whose automorphism group admits a tree action with no global fixed point would show the sufficient conditions are not enough.

Figures

Figures reproduced from arXiv: 1907.07022 by Naomi Andrew.

Figure 1
Figure 1. Figure 1: The graph T ′ described in Lemma 3.6(2) Otherwise, since Sn acts 2-transitively on the set {Ti}, and is acting by isometries, we have that d(Ti , Tj ) = λ(1 − δij ) where λ is a positive constant and δij is the Kronecker delta. Let vij (with i 6= j) be the nearest point in Ti to Tj . In fact this is the same point as j varies, since if there were j, k such that vij and vik were different, we would have d(T… view at source ↗
Figure 2
Figure 2. Figure 2: Graphs of groups realising each G in Proposition 4.7. Any hyperbolic element can be cyclically reduced to a conjugate of the form a1b1a2b2 . . . anbn, where a1 and bn are non trivial. The path length of this cyclically reduced word is just its length: we use Proposition 2.18, and note that since the original graph of groups had only, the path length of this conjugate doesn’t change depending on which verte… view at source ↗
Figure 3
Figure 3. Figure 3: The graphs of groups at each stage of Proposition 4.9 [PITH_FULL_IMAGE:figures/full_fig_p019_3.png] view at source ↗
read the original abstract

We provide some necessary and some sufficient conditions for the automorphism group of a free product of (freely indecomposable, not infinite cyclic) groups to have Property (FA). The additional sufficient conditions are all met by finite groups, and so this case is fully characterised. Therefore this paper generalises the work of Leder (arXiv:1810.06287) for finite cyclic groups, as well as resolving the open case of that paper.

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

0 major / 2 minor

Summary. The manuscript provides necessary and sufficient conditions for the automorphism group of a free product of freely indecomposable, non-infinite-cyclic groups to satisfy Serre's Property (FA). It verifies that the sufficient conditions hold for all finite groups, thereby fully characterizing the finite case, generalizing Leder's result for finite cyclic groups, and resolving the open case left in that work.

Significance. If the stated conditions are correctly derived and verified, the result supplies a concrete characterization for finite factors that can be directly applied in the study of group actions on trees. This strengthens the literature on Property (FA) for automorphism groups by closing a specific open case and extending the scope beyond cyclic groups.

minor comments (2)
  1. The abstract refers to 'some necessary and some sufficient conditions'; the introduction should explicitly list these conditions with forward references to the theorems that establish them.
  2. Ensure that the statement of the main theorem (likely in §3 or §4) makes the hypotheses on free indecomposability and exclusion of infinite cyclic factors fully explicit in the theorem statement itself rather than only in the surrounding text.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript, recognition of its significance in generalizing Leder's result and resolving the open case for finite groups, and recommendation for minor revision. The report contains no specific major comments requiring point-by-point response.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper states necessary and sufficient conditions on the factors of a free product (freely indecomposable and not infinite cyclic) for the automorphism group to satisfy Property (FA), with the finite-group case verified directly by checking that the sufficient conditions hold. These hypotheses are explicitly required for the statements to apply and do not reduce to fitted parameters, self-definitions, or load-bearing self-citations; the work generalizes an external prior result by a different author without importing uniqueness theorems or ansatzes from the present authors' own prior work. The derivation chain remains self-contained against the stated group-theoretic assumptions.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The claim rests on the standard definition of free products, the definition of Property (FA) from Serre, and the domain restriction to freely indecomposable non-cyclic factors; no free parameters or new entities are introduced in the abstract.

axioms (1)
  • domain assumption The groups in the free product are freely indecomposable and not infinite cyclic
    Explicitly required by the abstract for the conditions to apply.

pith-pipeline@v0.9.0 · 5584 in / 1102 out tokens · 17998 ms · 2026-05-24T20:33:26.653617+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

16 extracted references · 16 canonical work pages · 1 internal anchor

  1. [1]

    Covering theory for graphs of groups

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

    work page 1993

  2. [2]

    Kazhdan ’s property (T), volume 11 of New Mathematical Monographs

    Bachir Bekka, Pierre de la Harpe, and Alain Valette. Kazhdan ’s property (T), volume 11 of New Mathematical Monographs . Cambridge University Press, Cambridge, 2008

    work page 2008

  3. [3]

    O. V. Bogopolski. Arboreal decomposability of groups of automo rphisms of free groups. Algebra i Logika , 26(2):131–149, 271, 1987

    work page 1987

  4. [4]

    Collins and N

    Donald J. Collins and N. D. Gilbert. Structure and torsion in automo rphism groups of free products. Quart. J. Math. Oxford Ser. (2) , 41(162):155–178, 1990

    work page 1990

  5. [5]

    On property (F A) for wreath prod ucts

    Yves Cornulier and Aditi Kar. On property (F A) for wreath prod ucts. J. Group Theory, 14(1):165–174, 2011

    work page 2011

  6. [6]

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

    work page 1987

  7. [7]

    A group-theoretic criterion fo r property F A

    Marc Culler and Karen Vogtmann. A group-theoretic criterion fo r property F A. Proc. Amer. Math. Soc. , 124(3):677–683, 1996

    work page 1996

  8. [8]

    Warren Dicks and M. J. Dunwoody. Groups acting on graphs , volume 17 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, 1989

    work page 1989

  9. [9]

    D. I. Fouxe-Rabinovitch. ¨Uber die Automorphismengruppen der freien Produkte. I. Rec. Math. [Mat. Sbornik] N.S. , 8 (50):265–276, 1940

    work page 1940

  10. [10]

    D. I. Fouxe-Rabinovitch. ¨Uber die Automorphismengruppen der freien Produkte. II. Rec. Math. [Mat. Sbornik] N. S. , 9 (51):183–220, 1941

    work page 1941

  11. [11]

    N. D. Gilbert. Presentations of the automorphism group of a fr ee product. Proc. London Math. Soc. (3) , 54(1):115–140, 1987

    work page 1987

  12. [12]

    Une propri´ et´ e des pro duits directs infinis de groupes finis isomorphes

    Sabine Koppelberg and Jacques Tits. Une propri´ et´ e des pro duits directs infinis de groupes finis isomorphes. C. R. Acad. Sci. Paris S´ er. A, 279:583–585, 1974

    work page 1974

  13. [13]

    Serre's Property FA for automorphism groups of free products

    Nils Leder. Serre’s Property F A for automorphism groups of fr ee products. Preprint, Oct 2018. arXiv:1810.06287

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  14. [14]

    Jean-Pierre Serre. Trees. Springer Monographs in Mathematics. Springer-Verlag, Berlin,

    work page

  15. [15]

    Translated from the French original by John Stillwell, Correct ed 2nd printing of the 1980 English translation

    work page 1980

  16. [16]

    Property T of Kazhdan implies property F A of S erre

    Yasuo Watatani. Property T of Kazhdan implies property F A of S erre. Math. Japon. , 27(1):97–103, 1982. 22 A A presentation of Out(G) This appendix contains a proof of the presentation of Out( G) given in Section 4: Proposition 4.8. If G = A ∗ B ∗ C is a free product of three copies of some (freely inde- composable) group, then Out(G) has a presentation ...

    work page 1982