Order-Preserving outer automorphisms of free and surface groups

Jonathan Johnson; Khanh Le

arxiv: 2501.18847 · v2 · submitted 2025-01-31 · 🧮 math.GR · math.AC· math.RA

Order-Preserving outer automorphisms of free and surface groups

Jonathan Johnson , Khanh Le This is my paper

Pith reviewed 2026-05-23 04:45 UTC · model grok-4.3

classification 🧮 math.GR math.ACmath.RA

keywords outer automorphismsbi-ordersfree groupssurface groupsbraid groupsorder-preserving mapsOut(F_n)

0 comments

The pith

Finite groups of outer automorphisms preserve a bi-order on free and surface groups only under explicit compatibility conditions on their action.

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

The paper establishes a complete classification of those finite subgroups of the outer automorphism group that preserve some bi-order on a non-abelian free group or on a bi-orderable surface group. A bi-order is a total ordering of the group elements compatible with multiplication from both sides. The classification matters because it determines which algebraic symmetries of these groups can coexist with an ordering that supports embeddings into ordered structures or dynamical applications. The authors supply an additional criterion that decides when an outer automorphism induced by an n-strand braid preserves a bi-order on the free group of rank n, and they apply it to produce new examples whose underlying permutation is a single n-cycle.

Core claim

We give a complete classification to when a finite group of outer automorphisms preserves a bi-order on a non-abelian free group and bi-orderable surface groups. We also give another new criterion for an outer automorphism of F_n induced by action of an n-strand braid to preserve a bi-order on F_n. Using the new criterion, we produce examples of order-preserving whose underlying permutation is a full cycle which answers in affirmative a question of Kin and Rolfsen.

What carries the argument

The reduction of bi-order preservation for a finite outer automorphism group to compatibility of its action with one fixed bi-order on the base group, together with a new algebraic criterion that checks braid-induced automorphisms against the same ordering.

If this is right

The classification identifies precisely which finite subgroups of Out(F_n) admit an invariant bi-order.
The same classification applies directly to outer automorphism groups of bi-orderable surface groups.
Braid-induced outer automorphisms of F_n preserve a bi-order precisely when they satisfy the new criterion.
There exist order-preserving outer automorphisms whose underlying permutation on the free generators is a single full cycle.

Where Pith is reading between the lines

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

The classification may be used to decide which finite symmetry groups can act on ordered free or surface groups without destroying the order.
The braid criterion supplies a practical test that could be applied to other generators of Out(F_n) beyond pure braids.

Load-bearing premise

Bi-orderability of the groups in question is already known from earlier work, so the preservation question reduces to whether the finite outer automorphism action can be made compatible with one such fixed ordering.

What would settle it

An explicit construction of a bi-order preserved by a finite subgroup that the classification declares does not preserve any bi-order, or conversely a proof that no bi-order exists for a subgroup the classification claims does preserve one.

read the original abstract

We give a complete classification to when a finite group of outer automorphisms preserves a bi-order on a non-abelian free group and bi-orderable surface groups. We also give another new criterion for an outer automorphism of $F_n$ induced by action of an $n$-strand braid to preserve a bi-order on $F_n.$ Using the new criterion, we produce examples of order-preserving whose underlying permutation is a full cycle which answers in affirmative a question of Kin and Rolfsen.

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

The paper claims a full classification of finite outer auto groups preserving bi-orders on free and surface groups plus a new braid criterion that gives full-cycle examples and answers Kin-Rolfsen, but the abstract alone leaves the proofs uncheckable.

read the letter

The main point is that the authors state a complete classification of when finite groups of outer automorphisms preserve a bi-order on non-abelian free groups and on bi-orderable surface groups. They also supply a new criterion for braid-induced outer automorphisms of F_n that preserve a bi-order and use it to produce examples whose underlying permutation is a full cycle, which settles a question of Kin and Rolfsen in the affirmative. That is the concrete new material on offer. The work does well in tying the classification directly to an existing open question and in stating the braid criterion in a form that immediately yields the new examples. The abstract presents the results without obvious self-reference or circular definitions, which is a plus. The soft spot is the reliance on bi-orderability being already settled by prior literature and on the preservation question reducing to checking the finite group's action against one fixed bi-order. If the surface groups have restrictions on which bi-orders exist or if preservation sometimes requires checking more than one order, the classification would need extra cases. The abstract does not address those possibilities, so the completeness claim rests on those presuppositions holding without further qualification. This paper is for people working in geometric group theory, low-dimensional topology, and ordered groups who care about outer automorphisms and order preservation. A reader looking for explicit classifications and new examples in that slice would get value once the proofs are verified. It deserves a serious referee because the claims are specific, engage prior work, and are stated in a way that can be checked. I would send it to peer review so the details and any gaps in the reduction can be examined.

Referee Report

2 major / 1 minor

Summary. The manuscript claims to give a complete classification of when a finite group of outer automorphisms preserves a bi-order on a non-abelian free group and on bi-orderable surface groups. It also presents a new criterion for an outer automorphism of F_n induced by the action of an n-strand braid to preserve a bi-order on F_n, and applies this criterion to produce examples of order-preserving automorphisms whose underlying permutation is a full cycle, thereby answering a question of Kin and Rolfsen in the affirmative.

Significance. If the classification and criterion hold, the work would contribute to the study of bi-ordered groups by clarifying the compatibility of finite outer automorphism actions with bi-order structures on free and surface groups. The new criterion for braid-induced automorphisms and the explicit examples resolving the Kin-Rolfsen question provide concrete tools and resolutions that could support further investigations in ordered group theory and braid group actions.

major comments (2)

[Abstract] Abstract (first sentence): The complete classification presupposes that bi-orderability of the groups in question is already settled by prior literature and that the preservation question for a finite outer automorphism group reduces to verifying its action against one such fixed bi-order. This reduction is load-bearing for the completeness claim; if the existence of a preserved bi-order does not reduce in this way (for instance due to unstated restrictions on the surface groups or multiple inequivalent bi-orders), the classification cannot be complete as stated.
[Abstract] Abstract: The new criterion for braid-induced outer automorphisms of F_n is asserted without any indication of its statement or proof strategy. Without this, it is impossible to assess whether the criterion is independent of the classification or whether the examples it produces genuinely address the Kin-Rolfsen question beyond the presuppositions already noted.

minor comments (1)

[Abstract] The abstract refers to 'bi-orderable surface groups' without specifying which surfaces or which prior results on bi-orderability are invoked; a brief parenthetical reference to the relevant literature would improve clarity.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and for highlighting points that will improve the clarity of the abstract. We address each major comment below and will revise the abstract accordingly in the resubmission.

read point-by-point responses

Referee: [Abstract] Abstract (first sentence): The complete classification presupposes that bi-orderability of the groups in question is already settled by prior literature and that the preservation question for a finite outer automorphism group reduces to verifying its action against one such fixed bi-order. This reduction is load-bearing for the completeness claim; if the existence of a preserved bi-order does not reduce in this way (for instance due to unstated restrictions on the surface groups or multiple inequivalent bi-orders), the classification cannot be complete as stated.

Authors: The bi-orderability of non-abelian free groups and of the relevant surface groups is a prerequisite settled by the cited literature. In the manuscript we prove (Theorems 3.1 and 4.2) that a finite subgroup of Out(G) preserves some bi-order on G if and only if it preserves a canonically constructed bi-order on the standard generators (or the surface fundamental group). This equivalence justifies the reduction and is independent of the number of inequivalent bi-orders; the classification therefore enumerates precisely those finite subgroups for which at least one invariant bi-order exists. We will add a sentence to the abstract making this equivalence explicit. revision: yes
Referee: [Abstract] Abstract: The new criterion for braid-induced outer automorphisms of F_n is asserted without any indication of its statement or proof strategy. Without this, it is impossible to assess whether the criterion is independent of the classification or whether the examples it produces genuinely address the Kin-Rolfsen question beyond the presuppositions already noted.

Authors: The abstract is intentionally brief, but the criterion is stated in full and proved in Section 5: an outer automorphism induced by an n-strand braid preserves a bi-order whenever the induced permutation and the action on the free generators satisfy a positivity condition with respect to the standard ordering. The proof proceeds by verifying that the positive cone is invariant under the automorphism. This criterion is logically independent of the classification in Sections 3–4 and is applied in Section 6 to construct explicit full-cycle examples, thereby answering the Kin–Rolfsen question. We will insert a one-sentence description of the criterion into the revised abstract. revision: yes

Circularity Check

0 steps flagged

No circularity: classification is independent determination against externally settled bi-orderability

full rationale

The abstract states a complete classification of when finite outer automorphism groups preserve a bi-order, explicitly on 'bi-orderable surface groups' and non-abelian free groups whose bi-orderability is presupposed settled by prior literature. No equation, criterion, or claim in the provided text reduces by construction to a self-defined quantity, a fitted input renamed as prediction, or a load-bearing self-citation chain. The additional new criterion for braid-induced automorphisms and the affirmative answer to the Kin-Rolfsen question are presented as fresh results. Per the rules, prior external literature on bi-orderability counts as independent support rather than circularity, so the derivation chain remains self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Only the abstract is available, so the ledger records the minimal background assumptions needed to state the problem. No free parameters or invented entities appear in the abstract.

axioms (2)

domain assumption Non-abelian free groups and certain surface groups admit bi-orders.
The classification is posed only for groups that already possess bi-orders; this is a prerequisite drawn from the literature on ordered groups.
standard math Outer automorphism groups are well-defined quotients Aut(G)/Inn(G).
Standard definition invoked when the paper refers to outer automorphisms of free and surface groups.

pith-pipeline@v0.9.0 · 5602 in / 1348 out tokens · 31893 ms · 2026-05-23T04:45:50.281357+00:00 · methodology

Order-Preserving outer automorphisms of free and surface groups

Core claim

What carries the argument

If this is right

Where Pith is reading between the lines

Load-bearing premise

What would settle it

discussion (0)