Abstract:This paper upbuilds the theoretical framework of orbit braids in $M\times I$ by making use of the orbit configuration space $F_G(M,n)$, which enriches the theory of ordinary braids, where $M$ is a connected topological manifold of dimension at least 2 with an effective action of a finite group $G$ and the action of $G$ on $I$ is trivial. Main points of our work include as follows. We introduce the orbit braid group $\mathcal{B}_n^{orb}(M,G)$, and show that it is isomorphic to a group with an additional endowed operation (called the extended fundamental group of $F_G(M,n)$), formed by the homotopy classes of some paths (not necessarily closed paths) in $F_G(M,n)$, which is an essential extension for fundamental groups. The orbit braid group $\mathcal{B}_n^{orb}(M,G)$ is large enough to contain the fundamental group of $F_G(M,n)$ and other various braid groups as its subgroups. Around the central position of $\mathcal{B}_n^{orb}(M,G)$, we obtain five short exact sequences weaved in a commutative diagram. We also analyze the essential relations among various braid groups associated to those configuration spaces $F_G(M,n), F(M/G,n)$, and $F(M,n)$. We finally consider how to give the presentations of orbit braid groups in terms of orbit braids as generators. We carry out our work by choosing $M=\mathbb{C}$ with typical actions of $\mathbb{Z}_p$ and $(\mathbb{Z}_2)^2$. We obtain the presentations of the corresponding orbit braid groups, from which we see that the generalized braid group $Br(B_n)$ actually agrees with an orbit braid group and $Br(D_n)$ is a subgroup of another orbit braid group. In addition, the notion of extended fundamental groups is also defined in a general way in the category of topology and some characteristics extracted from the discussions of orbit braids are given.

Classifying spaces from Ore categories with Garside families

New Garside structures and applications to Artin groups

Garside Groups and Yang–Baxter Equation

Left regular representations of Garside categories II. Finiteness properties of topological full groups

Classifying spaces for families of abelian subgroups of braid groups, RAAGs and graphs of abelian groups

A new Garside structure on torus knot groups and some complex braid groups

Algorithms for Garside calculus

Braid groups of J-reflection groups and associated classical and dual Garside structures

On some Garsideness properties of structure groups of set-theoretic solutions of the Yang-Baxter equation

Uniqueness of roots up to conjugacy in circular and hosohedral-type Garside groups

ARTIN GROUPS AND THE FUNDAMENTAL GROUPS OF SOME MODULI SPACES

A theory of orbit braids

The classification problem for extensions of torsion-free abelian groups, I

Spaces Related to Virtual Artin Groups

Simplicial pseudohyperplane arrangements give weak Garside groups

Relative Gorenstein flat modules and Foxby classes and their model structures

Local wild mapping class groups and cabled braids

Orbit structures and complexity in Schubert and Richardson Varieties

Parabolic subgroups of complex braid groups: the remaining case

$G$-torsors on perfectoid spaces