pith. sign in

arxiv: 2209.04706 · v2 · submitted 2022-09-10 · 🧮 math.GR

Positive cones and bi-orderings on almost-direct products of free groups

Oscar Ocampo , Juliana Roberta Theodoro de Lima This is my paper

Pith reviewed 2026-05-24 11:43 UTC · model grok-4.3

classification 🧮 math.GR
keywords bi-orderingspositive conesalmost-direct productsfree groupsMagnus orderingsbraid groupsMcCool groupsnormal forms
0
0 comments X

The pith

Almost-direct products of free groups have explicit positive cones that define bi-invariant orderings.

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

The paper constructs explicit positive cones for bi-orderings on almost-direct products of free groups by combining normal forms from the group decomposition with Magnus-type orderings on the free factors. These cones are shown to satisfy compatibility with natural projections, convexity of canonical subgroups, and invariance under suitable classes of automorphisms. The construction applies directly to families such as pure monomial braid groups and McCool groups. A sympathetic reader would care because bi-orderings give a way to understand algebraic and geometric structure in groups that arise naturally in braid theory and automorphism groups of free groups.

Core claim

Using normal forms derived from the almost-direct product decomposition together with Magnus-type orderings on free factors, the paper gives an explicit description of the positive cones defining bi-invariant orderings on almost-direct products of free groups and establishes that these cones are compatible with natural projections, that canonical subgroups are convex, and that the cones are invariant under suitable automorphisms.

What carries the argument

The positive cone obtained from almost-direct product normal forms combined with Magnus-type orderings on the free factors.

If this is right

  • The orderings are bi-invariant on the full almost-direct product.
  • Natural projections preserve the ordering.
  • Canonical subgroups are convex with respect to the ordering.
  • The cones remain positive under suitable automorphisms of the group.
  • The same cones restrict to give bi-orderings on pure monomial braid groups and McCool groups.

Where Pith is reading between the lines

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

  • The same normal-form technique may extend to other extensions of free groups that admit compatible decompositions.
  • Explicit cones could be used to compare different bi-orderings on the same group by direct set inclusion.
  • The construction supplies a concrete way to test whether a given automorphism preserves a bi-ordering.

Load-bearing premise

The almost-direct product decomposition admits normal forms that interact compatibly with Magnus-type orderings on the free factors so that the resulting positive cone defines a bi-ordering.

What would settle it

An explicit pair of elements in an almost-direct product where the proposed positive cone fails to be closed under multiplication or conjugation by arbitrary group elements.

read the original abstract

Almost-direct products of free groups arise naturally in braid theory and in the study of automorphism groups of free groups. Although bi-invariant orderings are known to exist for many such groups, their explicit structure is often left implicit. In this paper, we give an explicit description of the positive cones defining bi-invariant orderings on almost-direct products of free groups, using normal forms derived from the almost-direct product decomposition together with Magnus-type orderings on free factors. We establish key structural properties of these cones, including compatibility with natural projections, convexity of canonical subgroups, and invariance under suitable classes of automorphisms. As applications, we show how the construction applies to several families of groups of geometric and algebraic interest, such as pure monomial braid groups and McCool groups.

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 paper claims to give an explicit description of the positive cones defining bi-invariant orderings on almost-direct products of free groups, using normal forms derived from the almost-direct product decomposition together with Magnus-type orderings on free factors. It establishes key structural properties of these cones, including compatibility with natural projections, convexity of canonical subgroups, and invariance under suitable classes of automorphisms. Applications are given to pure monomial braid groups and McCool groups.

Significance. If the construction is valid, the explicit positive cones would be a useful advance over the mere existence results previously available for these groups arising in braid theory and Out(F_n). The normal-form approach combined with Magnus orderings could enable concrete computations of orderings and their properties in geometrically interesting families.

major comments (2)
  1. [Construction of the positive cone] The central construction defines the positive cone via the first nontrivial factor in the normal form, with positivity taken from a Magnus-type ordering on that free factor. For this to define a bi-ordering, the cone must be closed under conjugation by arbitrary elements of the almost-direct product. Conjugation by an element of one factor induces an automorphism on another factor; the manuscript states invariance only under 'suitable classes of automorphisms' but does not supply an explicit verification that every induced automorphism arising from the almost-direct product structure preserves the chosen Magnus ordering (i.e., maps its positive cone into itself). Without this check, bi-invariance is not established. (Construction section and the paragraph following the definition of the cone.)
  2. [Proof of the main theorem] The claim that the resulting cone satisfies the bi-ordering axioms (in particular, that it is a semigroup and that g > 1 implies g^{-1} < 1) is asserted after the normal-form definition, but the argument that the normal-form decomposition interacts compatibly with the Magnus ordering under the relations of the almost-direct product is not spelled out in sufficient detail to confirm that no cancellation or reordering can produce a positive element whose inverse is also positive. A short lemma verifying the semigroup property directly from the normal-form ordering would remove this gap. (Proof of Theorem A or the main existence result.)
minor comments (2)
  1. [Introduction] The abstract refers to 'Magnus-type orderings' without a precise citation to the original Magnus construction or to the specific variant used; adding a reference in the introduction would clarify the starting point.
  2. [Preliminaries] Notation for the almost-direct product decomposition and the associated normal forms is introduced without an explicit statement of the uniqueness of the normal form; a displayed equation or short proposition establishing uniqueness would aid readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful and constructive report. The two major comments identify places where the manuscript would benefit from additional explicit verification and detail to fully establish the bi-invariance and semigroup properties. We address each point below and will revise the manuscript accordingly.

read point-by-point responses

  1. Referee: The central construction defines the positive cone via the first nontrivial factor in the normal form, with positivity taken from a Magnus-type ordering on that free factor. For this to define a bi-ordering, the cone must be closed under conjugation by arbitrary elements of the almost-direct product. Conjugation by an element of one factor induces an automorphism on another factor; the manuscript states invariance only under 'suitable classes of automorphisms' but does not supply an explicit verification that every induced automorphism arising from the almost-direct product structure preserves the chosen Magnus ordering (i.e., maps its positive cone into itself). Without this check, bi-invariance is not established. (Construction section and the paragraph following the definition of the cone.)

    Authors: We agree that the current text only asserts invariance under suitable classes without a complete check for all conjugations arising in the almost-direct product. In the revised version we will add an explicit lemma (placed immediately after the definition of the positive cone) verifying that every automorphism induced by conjugation between factors preserves the positive cone of the chosen Magnus ordering on each free factor. This will complete the argument for bi-invariance. revision: yes

  2. Referee: The claim that the resulting cone satisfies the bi-ordering axioms (in particular, that it is a semigroup and that g > 1 implies g^{-1} < 1) is asserted after the normal-form definition, but the argument that the normal-form decomposition interacts compatibly with the Magnus ordering under the relations of the almost-direct product is not spelled out in sufficient detail to confirm that no cancellation or reordering can produce a positive element whose inverse is also positive. A short lemma verifying the semigroup property directly from the normal-form ordering would remove this gap. (Proof of Theorem A or the main existence result.)

    Authors: We accept that the compatibility of the normal-form ordering with the relations of the almost-direct product is not detailed enough to rule out potential cancellation issues. We will insert a short auxiliary lemma (in the proof of the main existence result) that directly verifies the semigroup property from the normal-form definition, confirming that the ordering is compatible with the group operation and that no element and its inverse can both be positive. revision: yes

Circularity Check

0 steps flagged

No circularity: explicit construction from external Magnus orderings and group decompositions

full rationale

The paper's central claim is an explicit construction of positive cones on almost-direct products of free groups, obtained by combining normal forms from the almost-direct product decomposition with Magnus-type bi-orderings on the free factors. No equations or steps in the provided abstract or description reduce the target positive cone to a self-definition, a fitted parameter renamed as a prediction, or a load-bearing self-citation chain. Magnus-type orderings are referenced as established external objects rather than derived within the paper. The listed structural properties (compatibility with projections, convexity, invariance under suitable automorphisms) are presented as consequences of the construction rather than presupposed inputs. This satisfies the default expectation of a non-circular derivation that remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The construction rests on the existence of Magnus-type orderings on free groups and on the availability of normal forms for almost-direct products; both are treated as background facts rather than derived here.

axioms (1)
  • domain assumption Existence of Magnus-type orderings on free groups
    The positive cones are built by combining these orderings with the normal forms of the almost-direct product.

pith-pipeline@v0.9.0 · 5654 in / 1060 out tokens · 20296 ms · 2026-05-24T11:43:32.433766+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

23 extracted references · 23 canonical work pages

  1. [1]

    V. G. Bardakov and M. V. Neshchadim, Subgroups, automorphisms, and Lie algebras related to the basis-conjugating automorphism group, Algebra Logika 55 (2016), no. 6, 670–703; translation inAlgebra Logic55 (2016), no. 6, 436–460

    work page 2016

  2. [2]

    V. G. Bardakov, R. Mikhailov, V. V. Vershinin and J. Wu, On the pure virtual braid group P V3, Commun. Algebra 44(3) (2016) 1350–1378

    work page 2016

  3. [3]

    Bergman, Ordering co-products of groups, J

    G. Bergman, Ordering co-products of groups, J. Algebra133 (1990), 313–339

    work page 1990

  4. [4]

    Clay and D

    A. Clay and D. Rolfsen, Ordered groups and topology, Graduate Studies in Mathematics, Volume 176, pp. x+154 (American Mathematical Society, Providence, RI, 2016)

    work page 2016

  5. [5]

    Cohen, Monodromy of fiber-type arrangements and orbit configuration spaces,Forum Math

    D. Cohen, Monodromy of fiber-type arrangements and orbit configuration spaces,Forum Math. 13 (2001), no. 4, 505–530

    work page 2001

  6. [6]

    Cohen, Cohomology rings of almost-direct products of free groups,Compos

    D. Cohen, Cohomology rings of almost-direct products of free groups,Compos. Math. 146 (2010), no. 2, 465–479

    work page 2010

  7. [7]

    Cohen and A

    D. Cohen and A. Suciu, Homology of iterated semidirect products of free groups,J. Pure Appl. Algebra 126 (1998), 87–120

    work page 1998

  8. [8]

    F. R. Cohen, J. Pakianathan, V. V, Vershinin and J. Wu, Basis-conjugating automorphisms of a free group and associated Lie algebras, Groups, homotopy and configuration spaces, 147–168, Geom. Topol. Monogr., 13, Geom. Topol. Publ., Coventry, 2008

    work page 2008

  9. [9]

    Fadell and L

    E. Fadell and L. Neuwirth, L, Configuration spaces,Math. Scand. 10 (1962) 119–126

    work page 1962

  10. [10]

    Falk and R

    M. Falk and R. Randell, The lower central series of a fiber-type arrangement,Inventiones Mathematicae 82 (1985), 77–88

    work page 1985

  11. [11]

    Falk and R

    M. Falk and R. Randell, Pure braid groups and products of free groups, in Braids, Con- temporary Mathematics, vol. 78 (American Mathematical Society, Providence, RI, 1988), 217–228

    work page 1988

  12. [12]

    González-Meneses, Ordering pure braid groups on compact, connected surfaces,Pacific J

    J. González-Meneses, Ordering pure braid groups on compact, connected surfaces,Pacific J. Math. 203(2) (2002) 369–378

    work page 2002

  13. [13]

    Jambu and S

    M. Jambu and S. Papadima, A generalization of fiber-type arrangements and a new deform- ation method,Topology 37 (1998), 1135–1164

    work page 1998

  14. [14]

    D. M. Kim and D. Rolfsen, An ordering for groups of pure braids and fibre-type hyperplane arrangements, Canad. J. Math.55 (2003), no. 4, 822–838

    work page 2003

  15. [15]

    Kohno, Série de Poincaré-Koszul associée aux groupes de tresses pures,Invent

    T. Kohno, Série de Poincaré-Koszul associée aux groupes de tresses pures,Invent. Math.179 (1985), 57–75

    work page 1985

  16. [16]

    J. R. Theodoro de Lima and D. De Mattos, Ordering homotopy string links over surfaces, J. Knot Theory Ramifications25 (2016), no. 1, 1650001

    work page 2016

  17. [17]

    Linnell and T

    P. Linnell and T. Schick, Finite group extensions and the Atiyah conjecture,J. Amer. Math. Soc. 20(4) (2007), 1003–1051

    work page 2007

  18. [18]

    Magnus, A

    W. Magnus, A. Karrass and D. Solitar, Combinatorial group theory. Presentation of groups in terms of generators and relations. 2nd revised edition, Dover Publications, New York, 1976

    work page 1976

  19. [19]

    McCool , On basis-conjugating automorphisms of free groups,Canad

    J. McCool , On basis-conjugating automorphisms of free groups,Canad. J. Math.38 (1986) 1525–1529. 10 O. OCAMPO AND J. R. THEODORO DE LIMA

    work page 1986

  20. [20]

    Paris, Onthefundamentalgroupofthecomplementof acomplexhyperplane arrangement, Arrangements-Tokyo 1998, 257–272, Adv

    L. Paris, Onthefundamentalgroupofthecomplementof acomplexhyperplane arrangement, Arrangements-Tokyo 1998, 257–272, Adv. Stud. Pure Math., 27, Kinokuniya, Tokyo, 2000

    work page 1998

  21. [21]

    A. A. Vinogradov, On the free product of ordered groups,Mat. Sb. 25 (1949), 163–168

    work page 1949

  22. [22]

    Xicoténcatl, Orbit configuration spaces

    M. Xicoténcatl, Orbit configuration spaces. Ph.D. thesis, University of Rochester (1997)

    work page 1997

  23. [23]

    Yurasovskaya, Homotopy string links over surfaces, Ph.D

    E. Yurasovskaya, Homotopy string links over surfaces, Ph.D. thesis, The University of British Columbia (2008). Universidade Federal da Bahia, Departamento de Matemática - IME, A v. Adhemar de Barros S/N, CEP: 40170-110 - Sal v ador - BA - Brazil Email address: oscaro@ufba.br Instituto de Matemática, Universidade Federal de Alagoas, A venida Louriv al Melo...

    work page 2008