Permutational wreath pullbacks and framed braid-type groups

\^Enio Leite; Oscar Ocampo

arxiv: 2604.05281 · v1 · submitted 2026-04-07 · 🧮 math.GR · math.GT

Permutational wreath pullbacks and framed braid-type groups

\^Enio Leite , Oscar Ocampo This is my paper

Pith reviewed 2026-05-10 19:35 UTC · model grok-4.3

classification 🧮 math.GR math.GT

keywords permutational wreath pullbackframed braid groupsvirtual braid groupR∞ propertysemidirect productpullback constructioncharacteristic subgroup

0 comments

The pith

A permutational wreath pullback unifies framed braid groups and transfers the R∞ property from their base groups.

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

The authors introduce the permutational wreath pullback as the semidirect product H^n ⋊_σ G, where a surjective map σ from G to the symmetric group S_n tells G how to permute the n copies of H. They show this object is the pullback of the ordinary wreath product H wr S_n along σ, and they compute its center and abelianization in full generality. When H is finitely generated and abelian they give a criterion that makes the kernel H^n characteristic and ensures the whole group inherits the R∞ property whenever G has it. The criterion is verified for virtual braid groups and virtual twin groups, yielding new families of framed groups with the R∞ property. Rigidity theorems prove that an abstract isomorphism of two such pullbacks recovers n, H, G, and the kernel.

Core claim

The permutational wreath pullback H wr_σ G is defined as H^n ⋊_σ G with the action induced by permutation of coordinates via the surjective homomorphism σ: G → S_n. This construction is the pullback of the classical wreath product along σ, its center and abelianization are determined explicitly, and when H is finitely generated abelian a criterion is established under which H^n is characteristic and the group inherits the R∞ property from G. The criterion holds for the kernels coming from the virtual braid group VB_n and the virtual twin group VT_n, producing new families of framed groups with the R∞ property. Rigidity results show that the abstract group determines the abelian kernel, the n

What carries the argument

The permutational wreath pullback H wr_σ G, the semidirect product H^n ⋊ G in which G permutes the coordinates of H^n according to a surjective homomorphism σ to S_n.

If this is right

Classical, surface, virtual, and singular framed braid groups all receive uniform descriptions as instances of the same pullback construction.
Splitting problems for framed surface braid groups reduce directly to the classical Fadell-Neuwirth setting.
New families of framed groups built from virtual braid and virtual twin groups now carry the R∞ property.
Any two abstractly isomorphic permutational wreath pullbacks must have matching n, H, G, and kernel.

Where Pith is reading between the lines

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

The same pullback lens may allow other algebraic properties of classical braid groups to be transferred to their virtual and singular analogues.
The rigidity results suggest that computational invariants of these groups can be read off from the abstract isomorphism type alone.
The construction offers a uniform setting in which to compare splitting behavior across different types of framed braid groups.

Load-bearing premise

The homomorphism σ from G to S_n must be surjective so that the action genuinely permutes all coordinates, and H must be finitely generated abelian for the characteristic-kernel and R∞-inheritance criteria to apply.

What would settle it

An explicit automorphism of the wreath pullback built from the virtual braid group VB_n for which the Reidemeister number is finite would falsify the claim that the group inherits the R∞ property.

Figures

Figures reproduced from arXiv: 2604.05281 by \^Enio Leite, Oscar Ocampo.

**Figure 1.** Figure 1: The classical Artin generator σi and its induced permutation in Sn. Remark 5.1. The geometric crossing represented by σi induces precisely the transposition (i, i + 1) on the set of strands. This permutation determines the action of Bn on Z n in the semidirect product Z n ⋊σ Bn. Definition 5.2. The classical framed braid group on n strands is F Bn := Z n ⋊σ Bn. This shows that the classical framed braid gr… view at source ↗

**Figure 2.** Figure 2: Framing interpretation: the Z n–coordinates record integer twisting data along strands. The same construction extends naturally to braid groups on surfaces. Let M be a connected surface and let Bn(M) denote the braid group on the surface M. For details about surface braid groups we refer the reader to the references [13, 14, 17, 20]. There is a canonical surjective homomorphism σ : Bn(M) −→ Sn obtained by… view at source ↗

**Figure 3.** Figure 3: Example of a braid in a punctured orientable surface. Thus, framed surface braid groups arise as permutational wreath pullbacks, and the results of Section 3 apply verbatim. In particular, whenever structural information on Bn(M) or Pn(M) is available, our general results immediately yield corresponding information for F Bn(M) and its pure subgroup. As in [30], a compact surface M will be called large if … view at source ↗

**Figure 4.** Figure 4: Virtual braid generator [PITH_FULL_IMAGE:figures/full_fig_p017_4.png] view at source ↗

read the original abstract

Let $\sigma\colon G \to S_n$ be a surjective homomorphism and let $H$ be a group. We introduce the \emph{permutational wreath pullback} \[ H \wr_\sigma G = H^n \rtimes_\sigma G, \] where the action of $G$ on $H^n$ is induced by permutation of coordinates via $\sigma$, and undertake a systematic structural study of this construction. We determine the center and the abelianization in full generality. We further show that $H \wr_\sigma G$ admits a natural interpretation as the pullback of the classical wreath product $H \wr S_n$ along $\sigma$, providing a conceptual explanation for its functorial behavior. When $H$ is finitely generated abelian, we establish a criterion for the abelian kernel $H^n$ to be characteristic and for $H \wr_\sigma G$ to inherit the $R_\infty$-property from $G$; we verify this criterion for kernels arising from the virtual braid group $VB_n$ and the virtual twin group $VT_n$, obtaining new families of framed groups with the $R_\infty$-property. Rigidity results show that the abelian kernel, $n$, $H$, and $G$ are determined by the abstract group $H \wr_\sigma G$. Applications include uniform descriptions of classical, surface, virtual, and singular framed braid groups, and a reduction of splitting problems for framed surface braid groups to the classical Fadell--Neuwirth setting.

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 defines a permutational wreath pullback as a semidirect product that doubles as a pullback of the classical wreath product, then uses it to unify framed braid groups and produce new R_∞ examples from virtual cases.

read the letter

The main takeaway is that this construction gives a uniform algebraic handle on classical, virtual, surface, and singular framed braid groups while delivering a workable criterion for the R_∞ property when the base group is finitely generated abelian. The authors treat the object as H^n ⋊_σ G with the coordinate permutation action coming from a surjective σ to S_n, then show it coincides with the pullback of H wr S_n along σ. That pullback view explains the functoriality without extra machinery. They compute the center and abelianization in full generality, which is routine but cleanly done for semidirect products. For abelian H they give an explicit criterion that makes the kernel characteristic and lets the whole group inherit R_∞ from G; they verify the criterion on the virtual braid group VB_n and virtual twin group VT_n, producing new families of framed groups with the property. Rigidity statements recover n, H, and G from group invariants, which follows directly once the center and abelianization are known. The applications reduce some splitting questions for framed surface braids to the classical Fadell–Neuwirth setting, which is a concrete payoff. The soft spots are limited and stated up front. The criterion requires H to be finitely generated abelian, so it does not immediately extend to non-abelian bases. Surjectivity of σ is needed for the action to permute all coordinates, but the paper flags this. No circularity appears; the claims reduce to standard group computations once the definition is fixed. This work is aimed at geometric group theorists and low-dimensional topologists who already care about braid groups and their generalizations or who track the R_∞ property. A reader looking for new examples or a unifying language will find usable statements and verifiable checks. It deserves a serious referee because the construction is explicit, the proofs are in principle checkable from the given data, and the applications are spelled out without overreach. I would send it to peer review.

Referee Report

0 major / 2 minor

Summary. The paper introduces the permutational wreath pullback H wr_σ G = H^n ⋊_σ G for a surjective homomorphism σ: G → S_n, undertakes a structural study by computing the center and abelianization in general, interprets the construction as the pullback of the classical wreath product H wr S_n along σ, establishes a criterion (when H is finitely generated abelian) for the kernel H^n to be characteristic in H wr_σ G and for the group to inherit the R_∞ property from G, verifies the criterion for the actions induced by the virtual braid group VB_n and virtual twin group VT_n, proves rigidity results recovering n, H, and G from the abstract group H wr_σ G, and applies the framework to give uniform descriptions of classical, surface, virtual, and singular framed braid groups while reducing splitting problems for framed surface braid groups to the classical Fadell–Neuwirth setting.

Significance. If the results hold, the paper supplies a unified semidirect-product and pullback framework that encompasses multiple families of framed braid-type groups, produces new examples with the R_∞ property via explicit verification on VB_n and VT_n, and establishes rigidity theorems that recover the defining parameters from group invariants alone. The general computations of center and abelianization, together with the categorical pullback interpretation, provide conceptual clarity and functoriality that could streamline further work on geometric group theory and braid-group variants.

minor comments (2)

[Abstract] The abstract refers to 'framed groups with the R_∞-property' without a brief parenthetical reminder of the definition of the R_∞ property; adding one sentence would improve accessibility for readers outside the immediate subfield.
Notation for the permutational wreath pullback is introduced clearly, but the manuscript should confirm that the symbol wr_σ is not already in use in the virtual-braid literature to avoid potential confusion.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive report, detailed summary of our results, and recommendation to accept the manuscript. We are pleased that the unified framework for permutational wreath pullbacks and its applications to framed braid groups were viewed as significant.

Circularity Check

0 steps flagged

No significant circularity; explicit definition and independent derivations

full rationale

The paper defines the central object explicitly as the semidirect product H^n ⋊_σ G with coordinate permutation action from surjective σ: G → S_n, then observes that this coincides with the categorical pullback of the classical wreath product along σ (a direct consequence of the universal property of pullbacks, not a reduction to inputs). Center and abelianization are computed in full generality from the semidirect product structure using standard formulas. The criterion for the kernel to be characteristic (when H is f.g. abelian) and consequent R_∞ inheritance is stated conditionally on that hypothesis and verified directly for the actions from VB_n and VT_n; rigidity results recover the parameters from computed invariants of the abstract group. No self-citations are load-bearing, no parameters are fitted then renamed as predictions, and no ansatz or uniqueness theorem is imported from prior author work. The derivation chain is self-contained against external group-theoretic benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The paper rests on the standard axioms of group theory and the definition of semidirect products and pullbacks in the category of groups. No numerical parameters are fitted. The new object itself is the main addition.

axioms (2)

standard math Standard axioms of group theory, including the existence of semidirect products when a group acts on another by automorphisms.
The construction H^n ⋊_σ G presupposes that the action induced by σ is by group automorphisms.
standard math The category of groups admits pullbacks along homomorphisms.
The claim that H wr_σ G is the pullback of H wr S_n along σ relies on this categorical fact.

invented entities (1)

permutational wreath pullback H wr_σ G no independent evidence
purpose: To generalize the classical wreath product using an arbitrary surjective homomorphism σ: G → S_n instead of the full symmetric group.
This is the central new object defined and studied in the paper.

pith-pipeline@v0.9.0 · 5575 in / 1797 out tokens · 74338 ms · 2026-05-10T19:35:46.756989+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

31 extracted references · 31 canonical work pages

[1]

V. G. Bardakov and P. Bellingeri, Combinatorial properties of virtual braids,Topology and its Applications156, 6 (2009), 1071–1082

work page 2009
[2]

Baudisch, Subgroups of semifree groups,Acta Math

A. Baudisch, Subgroups of semifree groups,Acta Math. Acad. Sci. Hungar.38(1981), no. 1-4, 19–28

work page 1981
[3]

Bellingeri and S

P. Bellingeri and S. Gervais, Surface framed braids,Geom. Dedicata159(2012), 51–69

work page 2012
[4]

Bellingeri and L

P. Bellingeri and L. Paris, Virtual braids and permutations,Ann. Inst. Fourier70, 3 (2020), 1341–1362

work page 2020
[5]

Bellingeri, L

P. Bellingeri, L. Paris, and A.-L. Thiel, Virtual Artin groups,Proc. London Math. Soc.126, 1 (2023), 192–219

work page 2023
[6]

Charney, An introduction to right-angled Artin groups,Geom

R. Charney, An introduction to right-angled Artin groups,Geom. Dedicata125(2007), 141– 158

work page 2007
[7]

de Cornulier, Semisimple Zariski closure of Coxeter groups,J

Y. de Cornulier, Semisimple Zariski closure of Coxeter groups,J. Group Theory12(2009), no. 1, 79–94

work page 2009
[8]

Dani, The large-scale geometry of right-angled Coxeter groups,Notices Amer

P. Dani, The large-scale geometry of right-angled Coxeter groups,Notices Amer. Math. Soc. 65(2018), no. 7, 725–734

work page 2018
[9]

Dekimpe, D

K. Dekimpe, D. L. Gonçalves and O. Ocampo, TheR∞ property for pure Artin braid groups, Monatsh. Math.195(2021), no. 1, 15–33

work page 2021
[10]

K.Dekimpe, D.L.GonçalvesandO.Ocampo, CharacteristicsubgroupsandtheR ∞-property for virtual braid groups,Journal of Algebra663(2025), 20–47

work page 2025
[11]

Dekimpe, D

K. Dekimpe, D. L. Gonçalves and O. Ocampo, TheR ∞ property for braid groups over orientable surfaces,Monatshefte für Mathematik,208(1) (2025), 1–18

work page 2025
[12]

Dies and A

E. Dies and A. Nicas, The center of the virtual braid group is trivial,J. Knot Theory Ramifications23, No. 8 (2014), Article ID 1450042

work page 2014
[13]

Fadell and J

E. Fadell and J. Van Buskirk, The braid groups ofE2 andS 2,Duke Math. J.29(1962) 243–257

work page 1962
[14]

Fadell and L

E. Fadell and L. Neuwirth, Configuration spaces,Math. Scandinavica10(1962) 111–118

work page 1962
[15]

Fel’shtyn and D

A. Fel’shtyn and D. L. Gonçalves, Twisted conjugacy classes in symplectic groups, mapping class groups and braid groups,Geom. Dedicata146(2010), 211–223

work page 2010
[16]

R. Fenn, E. Keyman and C. Rourke, The singular braid monoid embeds in a group,J. Knot Theory Ramifications7(7) (1998) 881–892

work page 1998
[17]

R. H. Fox and L. Neuwirth, The braid groups,Math. Scandinavica10(1962), 119–126

work page 1962
[18]

Gillette and J

R. Gillette and J. Van Buskirk, The word problem and consequences for the braid groups and mapping class groups of the 2-sphere,Trans. Amer. Math. Soc.131(1968), 277–296

work page 1968
[19]

D. L. Gonçalves and J. Guaschi, Braid groups of non-orientable surfaces and the Fadell– Neuwirth short exact sequence,Journal of Pure and Applied Algebra214(2010), no. 5, 667–677. Permutational wreath pullbacks and framed braid-type groups 25

work page 2010
[20]

Handbookofgroupactions, Vol.II

J. Guaschi, D. Juan-Pineda, A survey of surface braid groups and the lower algebraic K- theoryoftheirgrouprings, from: “Handbookofgroupactions, Vol.II”,(LJi, APapadopoulos, S-T Yau, editors), Adv. Lect. Math. 32, Int. Press, Somerville, MA (2015) 23–75

work page 2015
[21]

Juyumaya and S

J. Juyumaya and S. Lambropoulou,p-adic framed braids,Topology Appl.154, No. 8, (2007), 1804–1826

work page 2007
[22]

Juyumaya and S

J. Juyumaya and S. Lambropoulou,p-adic framed braids II,Adv. Math.234(2013), 149–191

work page 2013
[23]

L. H. Kauffman, Virtual knot theory,Eur. J. Comb.20, 7 (1999), 663–690

work page 1999
[24]

K. H. Ko and L. Smolinsky, The Framed Braid Group and 3-Manifolds,Proc. Am. Math. Soc.115, No. 2, (1992) 541–551

work page 1992
[25]

Lécureux, Hyperbolic configurations of roots and Hecke algebras,J

J. Lécureux, Hyperbolic configurations of roots and Hecke algebras,J. Inst. Math. Jussieu 10(2011), no. 3, 497–530

work page 2011
[26]

E. Leite. Os grupos de tranças emolduradas e suas generalizações. PhD thesis, Universidade Federal da Bahia, Salvador, Brazil, 2025

work page 2025
[27]

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
[28]

T. K. Naik, N. Nanda, and M. Singh, Structure and automorphisms of pure virtual twin groups,Monatshefte für Mathematik202, 3 (2023), 555–582

work page 2023
[29]

T. K. Naik, N. Nanda, and M. Singh, Virtual planar braid groups and permutations,J. Group Theory27(2024), no. 3, 443–483

work page 2024
[30]

Paris and D

L. Paris and D. Rolfsen, Geometric subgroups of surface braid groups,Ann. Inst. Fourier 49(1999), 417–472

work page 1999
[31]

V. V. Vershinin, On the singular braid monoid,Algebra i Analiz,21(5) (2009) 19–36. Universidade Federal da Bahia, Departamento de Matemática - IME, CEP: 40170-110 - Sal v ador, Brazil Email address:leiteenio@gmail.com Universidade Federal da Bahia, Departamento de Matemática - IME, CEP: 40170-110 - Sal v ador, Brazil Email address:oscaro@ufba.br

work page 2009

[1] [1]

V. G. Bardakov and P. Bellingeri, Combinatorial properties of virtual braids,Topology and its Applications156, 6 (2009), 1071–1082

work page 2009

[2] [2]

Baudisch, Subgroups of semifree groups,Acta Math

A. Baudisch, Subgroups of semifree groups,Acta Math. Acad. Sci. Hungar.38(1981), no. 1-4, 19–28

work page 1981

[3] [3]

Bellingeri and S

P. Bellingeri and S. Gervais, Surface framed braids,Geom. Dedicata159(2012), 51–69

work page 2012

[4] [4]

Bellingeri and L

P. Bellingeri and L. Paris, Virtual braids and permutations,Ann. Inst. Fourier70, 3 (2020), 1341–1362

work page 2020

[5] [5]

Bellingeri, L

P. Bellingeri, L. Paris, and A.-L. Thiel, Virtual Artin groups,Proc. London Math. Soc.126, 1 (2023), 192–219

work page 2023

[6] [6]

Charney, An introduction to right-angled Artin groups,Geom

R. Charney, An introduction to right-angled Artin groups,Geom. Dedicata125(2007), 141– 158

work page 2007

[7] [7]

de Cornulier, Semisimple Zariski closure of Coxeter groups,J

Y. de Cornulier, Semisimple Zariski closure of Coxeter groups,J. Group Theory12(2009), no. 1, 79–94

work page 2009

[8] [8]

Dani, The large-scale geometry of right-angled Coxeter groups,Notices Amer

P. Dani, The large-scale geometry of right-angled Coxeter groups,Notices Amer. Math. Soc. 65(2018), no. 7, 725–734

work page 2018

[9] [9]

Dekimpe, D

K. Dekimpe, D. L. Gonçalves and O. Ocampo, TheR∞ property for pure Artin braid groups, Monatsh. Math.195(2021), no. 1, 15–33

work page 2021

[10] [10]

K.Dekimpe, D.L.GonçalvesandO.Ocampo, CharacteristicsubgroupsandtheR ∞-property for virtual braid groups,Journal of Algebra663(2025), 20–47

work page 2025

[11] [11]

Dekimpe, D

K. Dekimpe, D. L. Gonçalves and O. Ocampo, TheR ∞ property for braid groups over orientable surfaces,Monatshefte für Mathematik,208(1) (2025), 1–18

work page 2025

[12] [12]

Dies and A

E. Dies and A. Nicas, The center of the virtual braid group is trivial,J. Knot Theory Ramifications23, No. 8 (2014), Article ID 1450042

work page 2014

[13] [13]

Fadell and J

E. Fadell and J. Van Buskirk, The braid groups ofE2 andS 2,Duke Math. J.29(1962) 243–257

work page 1962

[14] [14]

Fadell and L

E. Fadell and L. Neuwirth, Configuration spaces,Math. Scandinavica10(1962) 111–118

work page 1962

[15] [15]

Fel’shtyn and D

A. Fel’shtyn and D. L. Gonçalves, Twisted conjugacy classes in symplectic groups, mapping class groups and braid groups,Geom. Dedicata146(2010), 211–223

work page 2010

[16] [16]

R. Fenn, E. Keyman and C. Rourke, The singular braid monoid embeds in a group,J. Knot Theory Ramifications7(7) (1998) 881–892

work page 1998

[17] [17]

R. H. Fox and L. Neuwirth, The braid groups,Math. Scandinavica10(1962), 119–126

work page 1962

[18] [18]

Gillette and J

R. Gillette and J. Van Buskirk, The word problem and consequences for the braid groups and mapping class groups of the 2-sphere,Trans. Amer. Math. Soc.131(1968), 277–296

work page 1968

[19] [19]

D. L. Gonçalves and J. Guaschi, Braid groups of non-orientable surfaces and the Fadell– Neuwirth short exact sequence,Journal of Pure and Applied Algebra214(2010), no. 5, 667–677. Permutational wreath pullbacks and framed braid-type groups 25

work page 2010

[20] [20]

Handbookofgroupactions, Vol.II

J. Guaschi, D. Juan-Pineda, A survey of surface braid groups and the lower algebraic K- theoryoftheirgrouprings, from: “Handbookofgroupactions, Vol.II”,(LJi, APapadopoulos, S-T Yau, editors), Adv. Lect. Math. 32, Int. Press, Somerville, MA (2015) 23–75

work page 2015

[21] [21]

Juyumaya and S

J. Juyumaya and S. Lambropoulou,p-adic framed braids,Topology Appl.154, No. 8, (2007), 1804–1826

work page 2007

[22] [22]

Juyumaya and S

J. Juyumaya and S. Lambropoulou,p-adic framed braids II,Adv. Math.234(2013), 149–191

work page 2013

[23] [23]

L. H. Kauffman, Virtual knot theory,Eur. J. Comb.20, 7 (1999), 663–690

work page 1999

[24] [24]

K. H. Ko and L. Smolinsky, The Framed Braid Group and 3-Manifolds,Proc. Am. Math. Soc.115, No. 2, (1992) 541–551

work page 1992

[25] [25]

Lécureux, Hyperbolic configurations of roots and Hecke algebras,J

J. Lécureux, Hyperbolic configurations of roots and Hecke algebras,J. Inst. Math. Jussieu 10(2011), no. 3, 497–530

work page 2011

[26] [26]

E. Leite. Os grupos de tranças emolduradas e suas generalizações. PhD thesis, Universidade Federal da Bahia, Salvador, Brazil, 2025

work page 2025

[27] [27]

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

[28] [28]

T. K. Naik, N. Nanda, and M. Singh, Structure and automorphisms of pure virtual twin groups,Monatshefte für Mathematik202, 3 (2023), 555–582

work page 2023

[29] [29]

T. K. Naik, N. Nanda, and M. Singh, Virtual planar braid groups and permutations,J. Group Theory27(2024), no. 3, 443–483

work page 2024

[30] [30]

Paris and D

L. Paris and D. Rolfsen, Geometric subgroups of surface braid groups,Ann. Inst. Fourier 49(1999), 417–472

work page 1999

[31] [31]

V. V. Vershinin, On the singular braid monoid,Algebra i Analiz,21(5) (2009) 19–36. Universidade Federal da Bahia, Departamento de Matemática - IME, CEP: 40170-110 - Sal v ador, Brazil Email address:leiteenio@gmail.com Universidade Federal da Bahia, Departamento de Matemática - IME, CEP: 40170-110 - Sal v ador, Brazil Email address:oscaro@ufba.br

work page 2009