arxiv: 2604.01633 · v2 · submitted 2026-04-02 · 🧮 math.GR · math.GT

Recognition: 2 theorem links

· Lean Theorem

Universal virtual braid groups

Oscar Ocampo

Pith reviewed 2026-05-13 20:55 UTC · model grok-4.3

classification 🧮 math.GR math.GT MSC 20F3620F65

keywords virtual braid groupsright-angled Artin groupsresidual finitenesssubgroup separabilityTits alternativevirtual cohomological dimensionfinite quotients

0 comments

The pith

The universal virtual braid group UV_n(c) unifies all standard virtual braid families through natural quotients and contains a finite-index right-angled Artin subgroup.

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

This paper defines UV_n(c) as a single group that encodes c distinct crossing types and admits surjective homomorphisms onto the virtual braid group, virtual singular braid group, virtual twin braid group, and multi-virtual braid groups. The central step is to embed a right-angled Artin group of finite index inside UV_n(c); once that subgroup is present, all the Artin-group consequences transfer directly. The paper records the resulting list of algebraic properties and then classifies exactly when UV_n(c) is subgroup separable, computes its virtual cohomological dimension, and constructs explicit finite quotients whose orders exceed n!.

Core claim

UV_n(c) contains a right-angled Artin subgroup of finite index. Consequently UV_n(c) is residually finite and linear, the word and conjugacy problems are solvable, and the Tits alternative holds. For n ≥ 5 the commutator subgroup is perfect and the symmetric group S_n is the smallest non-abelian finite quotient; these rigidity features survive in all the natural quotients that recover the classical virtual braid-type groups.

What carries the argument

The universal virtual braid group UV_n(c), which encodes c crossing types and surjects onto the classical families while preserving a finite-index right-angled Artin subgroup.

If this is right

UV_n(c) is residually finite, linear, and has solvable word and conjugacy problems.
The Tits alternative holds for UV_n(c) and all its natural quotients.
For n ≥ 5 the commutator subgroup is perfect and every non-abelian finite image contains a copy of S_n.
Subgroup separability and the Howson property hold for UV_n(c) and its pure subgroup if and only if n ≤ 3.
The virtual cohomological dimension of UV_n(c) and the center are determined explicitly.

Where Pith is reading between the lines

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

The same universal construction could be applied to welded braids or fused braids to obtain uniform proofs of residual finiteness across those families.
The explicit finite quotients larger than n! give concrete test cases for studying the profinite completion of virtual braid groups.
The persistence of the S_n quotient under many maps suggests that virtual braid groups may share representation-theoretic features with the symmetric group itself.

Load-bearing premise

The natural quotient maps from UV_n(c) onto the standard virtual braid groups introduce no extra relations that would destroy the finite-index right-angled Artin subgroup.

What would settle it

An explicit computation, for some fixed n ≥ 3 and c ≥ 1, showing that the quotient map from UV_n(c) to the virtual braid group collapses the right-angled Artin subgroup or produces a non-residually-finite image.

Figures

Figures reproduced from arXiv: 2604.01633 by Oscar Ocampo.

**Figure 1.** Figure 1: A braid with 4 strands and c = 2 types of (non-virtual) crossings. Virtual crossings are encircled by a small circle. There are obvious quotients of the universal virtual braid group UVn(c) like the symmetric group Sn, the abelianization Z c ⊕Z2, or the free abelian group Z c (quotient modulo the normal closure of v1 ∈ UVn(c)) and other virtual-braid like groups, for instance: UVn(k) //UVn(ℓ) //UVn(… view at source ↗

read the original abstract

We introduce the universal virtual braid group $UV_n(c)$, which provides a unified algebraic framework for virtual braid--type structures with $c$ types of crossings and admits natural quotient maps onto the standard families in the literature. We prove that $UV_n(c)$ contains a right-angled Artin subgroup of finite index, yielding strong structural consequences: residual finiteness, linearity, solvability of the word and conjugacy problems, and the Tits alternative. For $n\ge 5$, the commutator subgroup $UV_n(c)'$ is perfect, and every non-abelian finite image contains a subgroup isomorphic to the symmetric group $S_n$; in particular, $S_n$ is the smallest non-abelian finite quotient. These rigidity phenomena persist under a broad class of natural quotients, including virtual braid, virtual singular braid, virtual twin and multi-virtual braid groups. We further obtain a complete classification of subgroup separability (LERF) and the Howson property for $UV_n(c)$ and its pure subgroup $PUV_n(c)$, showing that both properties hold precisely for $n\le 3$. We also compute the virtual cohomological dimension, determine the center, prove that the finite-index RAAG subgroup is characteristic, and construct explicit finite quotients of $UV_n(c)$ whose order is strictly larger than $n!$.

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 universal virtual braid group UV_n(c) that surjects onto the usual families and carries a characteristic finite-index RAAG subgroup, which immediately transfers residual finiteness, linearity, and solvable word/conjugacy problems to the quotients.

read the letter

I looked at the paper on universal virtual braid groups. The main move is to build UV_n(c) as a single group with natural quotients onto virtual braids, virtual singular braids, virtual twins, and the multi-virtual versions. They then prove it contains a characteristic finite-index right-angled Artin subgroup. Because the subgroup is characteristic, its image in each quotient is still a finite-index RAAG, so all the standard consequences—residual finiteness, linearity, solvable word and conjugacy problems, Tits alternative—drop out at once for the whole collection of groups. They also show that for n at least 5 the commutator is perfect, that S_n is the smallest non-abelian finite quotient, and that this rigidity survives the quotients. On the subgroup side they give a clean classification: LERF and the Howson property hold precisely for n at most 3. They compute the virtual cohomological dimension, identify the center, and produce some explicit finite quotients larger than n!.

Referee Report

0 major / 3 minor

Summary. The manuscript introduces the universal virtual braid group UV_n(c) as a unifying algebraic framework for virtual braid-type structures with c crossing types. It establishes natural quotient maps onto standard families such as virtual braid groups and virtual singular braid groups. The central result is that UV_n(c) contains a finite-index right-angled Artin subgroup, from which residual finiteness, linearity, solvability of the word and conjugacy problems, and the Tits alternative follow by standard RAAG properties. Additional claims include that the commutator subgroup is perfect for n ≥ 5, that every non-abelian finite image contains S_n (with S_n the smallest such quotient), persistence of rigidity phenomena under quotients, a complete classification of LERF and the Howson property (holding precisely for n ≤ 3), computation of the virtual cohomological dimension, determination of the center, proof that the RAAG subgroup is characteristic, and explicit constructions of finite quotients whose order exceeds n!.

Significance. If the results hold, the paper makes a solid contribution to geometric group theory by unifying several families of virtual braid groups under one presentation and leveraging the finite-index RAAG subgroup to obtain strong structural consequences that descend to the standard quotients. The characteristic property of the RAAG is a key strength, as it ensures the properties are preserved under the natural maps without additional verification for each quotient. The classification of LERF and Howson properties for small n, together with the explicit finite quotients larger than n!, provides concrete, usable information. The work correctly invokes standard RAAG consequences (residual finiteness, linearity, Tits alternative) and extends them to this setting.

minor comments (3)

The abstract and introduction should include a brief explicit presentation of the generators and relations defining UV_n(c) alongside the standard virtual braid relations to make the universality immediately visible to readers.
In the section establishing the finite-index RAAG subgroup, the index computation or the explicit embedding should be cross-referenced when discussing the characteristic property to aid verification of the descent to quotients.
The classification of LERF and Howson properties for n ≤ 3 would benefit from a short table summarizing the cases (n=1,2,3) and the precise subgroups involved.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment and recommendation of minor revision. The report correctly identifies the central role of the finite-index right-angled Artin subgroup and the resulting consequences for residual finiteness, linearity, and the Tits alternative, as well as the classification of LERF and the Howson property. We appreciate the emphasis on the characteristic nature of the RAAG subgroup, which ensures the properties descend to the natural quotients.

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The paper defines UV_n(c) via a presentation with generators and relations for c types of crossings, then proves the existence of a finite-index RAAG subgroup by explicit construction of generators satisfying the RAAG relations within UV_n(c). All listed consequences (residual finiteness, linearity, word/conjugacy solvability, Tits alternative, perfectness of the commutator for n≥5, LERF/Howson classification, virtual cohomological dimension, center, and characteristic property) follow directly from this embedding plus standard theorems on RAAGs and finite-index subgroups; none of these steps reduce by construction to a fitted parameter, self-referential definition, or load-bearing self-citation. The natural quotient maps to virtual braid groups and variants are induced by the presentation and preserve the RAAG subgroup by the characteristic property, again without circular reduction to the input data.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The paper introduces a new group by generators and relations that unifies existing ones; no free parameters are fitted to data. The only axioms are the standard group axioms plus the specific relations defining UV_n(c). The group itself is the main invented object.

axioms (1)

standard math Standard axioms of group theory (associativity, inverses, identity)
Any group presentation relies on these.

invented entities (1)

UV_n(c) no independent evidence
purpose: Universal group with c crossing types that quotients onto standard virtual braid families
Newly defined algebraic object whose properties are proved in the paper.

pith-pipeline@v0.9.0 · 5528 in / 1369 out tokens · 39795 ms · 2026-05-13T20:55:37.746188+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
Theorem 2.10: KU V n(c) is a right-angled Artin group with generators δ_{i,j,t} and commutation relations precisely when index pairs are disjoint.
IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear
Theorem 3.6: vcd(UV_n(c)) = floor(n/2) via clique size in the RAAG graph Γ_{n,c}.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

On Universal Virtual and Welded Braid Groups and Their Linear Representations
math.RT 2026-04 unverdicted novelty 7.0

Universal virtual and welded braid groups are constructed to unify prior variants, with classifications of their complex homogeneous local representations and proofs of abelianization, perfect commutator, trivial cent...

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages · cited by 1 Pith paper · 2 internal anchors

[1]

Almeida, I

K. Almeida, I. Lima and O. Ocampo, Subgroup separability of surface braid groups and virtual braid groups,International Journal of Algebra and Computation36(2) (2026), 173– 190

work page 2026
[2]

V. G. Bardakov, The virtual and universal braids,Fundamenta Mathematicae184(2004), 1–18

work page 2004
[3]

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

work page 2009
[4]

V. G. Bardakov, M. Singh and A. Vesnin, Structural aspects of twin and pure twin groups, Geometriae Dedicata203(2019), 135–154

work page 2019
[5]

Bellingeri and L

P. Bellingeri and L. Paris, Virtual braids and permutations,Annales de l’Institut Fourier 70, 3 (2020), 1341–1362

work page 2020
[6]

Bellingeri, L

P. Bellingeri, L. Paris and A.-L. Thiel, Virtual Artin groups,Proceedings of the London Mathematical Society(3)126, No. 1 (2023), 192–215

work page 2023
[7]

Bieri,Homological dimension of discrete groups, 2nd ed., Queen Mary College Mathe- matics Notes, Queen Mary College, London, 1982

R. Bieri,Homological dimension of discrete groups, 2nd ed., Queen Mary College Mathe- matics Notes, Queen Mary College, London, 1982

work page 1982
[8]

Bogopolski,Introduction to group theory, EMS Textbooks in Mathematics, European Mathematical Society, Z¨ urich, 2008

O. Bogopolski,Introduction to group theory, EMS Textbooks in Mathematics, European Mathematical Society, Z¨ urich, 2008

work page 2008
[9]

K. S. Brown,Cohomology of Groups, Graduate Texts in Mathematics, vol. 87, Springer- Verlag, New York, 1982

work page 1982
[10]

Caprau, A

C. Caprau, A. Pena and S. McGahan, Virtual singular braids and links,Manuscripta Math. 151(1) (2016) 147–175

work page 2016
[11]

M. W. Davis,The Geometry and Topology of Coxeter Groups, London Mathematical Society Monographs Series, vol. 32, Princeton University Press, Princeton, NJ, 2008

work page 2008
[12]

Delgado, Some characterizations of Howson PC-groups, preprint (2014), arXiv:1409.6709

J. Delgado, Some characterizations of Howson PC-groups, preprint (2014), arXiv:1409.6709

work page arXiv 2014
[13]

Godelle and L

E. Godelle and L. Paris,K(π,1) and word problems for infinite type Artin–Tits groups, and applications to virtual braid groups,Mathematische Zeitschrift272(2012), no. 3-4, 1339–1364

work page 2012
[14]

A. G. Howson, On the intersection of finitely generated free groups,J. London Math. Soc. 29(1954), 428–434

work page 1954
[15]

Haglund and D

F. Haglund and D. T. Wise, Special cube complexes, Geom. Funct. Anal. 17 (2008), no. 5, 1551–1620

work page 2008
[16]

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

work page 1999
[17]

L. H. Kauffman, Multi-Virtual Knot Theory,Journal of Knot Theory and its Ramifications 34, No. 14 (2025), Article ID 2540002

work page 2025
[18]

Braids and Permutations

V. Lin, Braids and permutations,https://arxiv.org/abs/math/0404528, 2004

work page internal anchor Pith review Pith/arXiv arXiv 2004
[19]

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

work page 2023
[20]

On virtual singular braid groups

O. Ocampo, On virtual singular braid groups (2022),arXiv:2207.13885

work page internal anchor Pith review Pith/arXiv arXiv 2022
[21]

Scott, Subgroups of surface groups are almost geometric,J

P. Scott, Subgroups of surface groups are almost geometric,J. London Math. Soc. (2)17(3) (1978), 555–565

work page 1978
[22]

V. V. Vershinin, On homology of virtual braids and Burau representation, J. Knot Theory Ramifications 10 (2001), no. 5, 795–812

work page 2001
[23]

D. T. Wise, From riches to raags: 3-manifolds, right-angled Artin groups, and cubical geom- etry, CBMS Regional Conference Series in Mathematics, vol. 117, American Mathematical Society, Providence, RI, 2012. Universidade Federal da Bahia, Departamento de Matem´atica - IME, CEP: 40170-110 - Salvador, Brazil Email address:oscaro@ufba.br

work page 2012