Ordering pure braid groups on closed surfaces

Pure braid groups are not residually free

We show that the Artin pure braid group on at least four strands is not residually free. Our results also show that the pure braid group on at least three strands has corank two.

On a Map From Pure Braids to Knots

We study a certain type of braid closure which resembles the plat closure but has certain advantages; for example, it maps pure braids to knots. The main results of this note are a Markov-type theorem and a description of how Vassiliev invariants behave under this braid closure.

The pure braid groups and their relatives

In this mostly survey paper, we investigate the resonance varieties, the lower central series ranks, and the Chen ranks, as well as the residual and formality properties of several families of braid-like groups: the pure braid groups $P_n$, the welded pure braid groups $wP_n$, the virtual pure braid groups $vP_n$, as well as their `upper' variants, $wP_n^+$ and $vP_n^+$. We also discuss several natural homomorphisms between these groups, and various ways to distinguish among the pure braid groups and their relatives.

Two-generator subgroups of the pure braid group

We show that any two elements of the pure braid group either commute or generate a free group, settling a question of Luis Paris. Our proof involves the theory of 3-manifolds and the theory of group actions on trees.

Ordering the braid groups

We give an explicit geometric argument that Artin's braid group $B_n$ is right-orderable. The construction is elementary, natural, and leads to a new, effectively computable, canonical form for braids which we call left-consistent canonical form. The left-consistent form of a braid which is positive (respectively negative) in our order has consistently positive (respectively negative) exponent in the smallest braid generator which occurs. It follows that our ordering is identical to that of Dehornoy, constructed by very different means, and we recover Dehornoy's main theorem that any braid can…

Geometric presentations for the pure braid group

We give several new positive finite presentations for the pure braid group that are easy to remember and simple in form. All of our presentations involve a metric on the punctured disc so that the punctures are arranged "convexly", which is why we describe them as geometric presentaitons. Motivated by a presentation for the full braid group that we call the "rotation presentation", we introduce presentations for the pure braid group that we call the "twist presentation" and the "swing presentation". From the point of view of mapping class groups, the swing presentation can be interpreted as st…

On the pure virtual braid group $PV_3$

In this article, we investigate various properties of the pure virtual braid group PV_3. From its canonical presentation, we obtain a free product decomposition of PV_3. As a consequence, we show that PV_3 is residually torsion free nilpotent, which implies that the set of finite type invariants in the sense of Goussarov-Polyak-Viro is complete for virtual pure braids with three strands. Moreover we prove that the presentation of PV_3 is aspherical. Finally we determine the cohomology ring and the associated graded Lie algebra of PV_3.

曲面轨形纯辫群的四项正合序列

A four-term exact sequence of surface orbifold pure braid groups

本文证明了亏格大于等于1且带锥点的二维可定向曲面轨形纯辫群存在四项正合序列，并纠正了此前arXiv.2106.08110中的结果。

Characteristics of graph braid groups

We give formulae for the first homology of the $n$-braid group and the pure 2-braid group over a finite graph in terms of graph theoretic invariants. As immediate consequences, a graph is planar if and only if the first homology of the $n$-braid group over the graph is torsion-free and the conjectures about the first homology of the pure 2-braid groups over graphs in \cite{FH} can be verified. We discover more characteristics of graph braid groups: the $n$-braid group over a planar graph and the pure 2-braid group over any graph have a presentation whose relators are words of commutators, and …

Higher generation for pure braid groups

We exhibit some families of subgroups of the pure braid group that are highly generating, in the sense of Abels and Holz. In one class of examples, the relevant geometric object is a complex termed the restricted arc complex of a surface. Another arises by considering "dangling braiges," introduced by Bux, Fluch, Schwandt, Witzel and the author.

On p-almost direct products and residual properties of pure braid groups of nonorientable surfaces

We prove that the n th pure braid group of a nonorientable surface (closed or with boundary, but different from RP2) is residually 2-finite. Consequently, this group is residually nilpotent. The key ingredient in the closed case is the notion of p-almost direct product, which is a generalization of the notion of almost direct product. We prove therefore also some results on lower central series and augmentation ideals of p-almost direct products.

Pure virtual braids, resonance, and formality

We investigate the resonance varieties, lower central series ranks, and Chen ranks of the pure virtual braid groups and their upper-triangular subgroups. As an application, we give a complete answer to the 1-formality question for this class of groups. In the process, we explore various connections between the Alexander-type invariants of a finitely generated group and several of the graded Lie algebras associated to it, and discuss possible extensions of the resonance-Chen ranks formula in this context.

Automorphisms of pure braid Groups

In this paper, we investigate the structure of the automorphism groups of pure braid groups. We prove that, for $n>3$, $\Aut(P_n)$ is generated by the subgroup $\Aut_c(P_n)$ of central automorphisms of $P_n$, the subgroup $\Aut(B_n)$ of restrictions of automorphisms of $B_n$ on $P_n$ and one extra automorphism $w_n$. We also investigate the lifting and extension problem for automorphisms of some well-known exact sequences arising from braid groups, and prove that that answers are negative in most cases. Specifically, we prove that no non-trivial central automorphism of $P_n$ can be extended to…

On injective homomorphisms for pure braid groups, and associated Lie algebras

The question of whether a representation of Artin's pure braid group is faithful is translated to certain properties of the Lie algebra arising from the descending central series of the pure braid group, and thus the Vassiliev invariants of pure braids via work of T. Kohno \cite{kohno1,kohno2}. The main result is a Lie algebraic condition which guarantees that a homomorphism out of the classical pure braid group is faithful. However, it is unclear whether the methods here can be applied to any open cases such as the Gassner representation.

Brunnian braids and some of their generalizations

We use a variation on the commutator collection process to characterize those pure braids which become trivial when any one strand is deleted, or, more generally, those pure braids which become trivial when all the strands in any one of a list of sets of strands is deleted.

The planar pure braid group is a diagram group

A planar pure braid consists of $n$ descending smooth arcs, each connecting a point on one horizontal line $\ell_{1}$ to a point on a horizontal line $\ell_{2}$, which is required to be directly below the first point. Two arcs are allowed to cross, but no threefold intersections are allowed. The set $Γ_{n}$ of all planar pure braids on $n$ strands is a group with respect to a natural stacking operation. We show that $Γ_{n}$ is always a diagram group, in the sense of Guba and Sapir. A number of consequences follow, including biautomaticity and bi-orderability of the groups $Γ_{n}$. Moreover, ea…

The virtual and universal braids

We study the structure of the virtual braid group. It is shown that the virtual braid group is a semi--direct product of the virtual pure braid group and the symmetric group. Also, it is shown that the virtual pure braid group is a semi--direct product of free groups. From these results we obtain a normal form of words in the virtual braid group. We introduce the concept of a universal braid group. This group contains the classical braid group and has as its quotient groups the singular braid group, virtual braid group, welded braid group, and classical braid group.

Classification of the virtually cyclic subgroups of the pure braid groups of the projective plane

We classify the (finite and infinite) virtually cyclic subgroups of the pure braid groups $P_{n}(RP^2)$ of the projective plane. The maximal finite subgroups of $P_{n}(RP^2)$ are isomorphic to the quaternion group of order 8 if $n=3$, and to $\Z_{4}$ if $n\geq 4$. Further, for all $n\geq 3$, up to isomorphism, the following groups are the infinite virtually cyclic subgroups of $P_{n}(RP^2)$: $\Z$, $\Z_{2} \times \Z$ and the amalgamated product $\Z_{4} \ast_{\Z_{2}} \Z_{4}$.

关于纯辫与链环协变的一则注记

A Note on Pure Braids and Link Concordance

该研究聚焦弦链协变群的代数性质，证明n股弦链协变群模掉其纯辫子群的商群仍为非阿贝尔群，推进了链环协变领域的群结构研究。

Least dilatation of pure surface braids

We study the minimal dilatation of pseudo-Anosov pure surface braids and provide upper and lower bounds as a function of genus and the number of punctures. For a fixed number of punctures, these bounds tend to infinity as the genus does. We also bound the dilatation of pseudo-Anosov pure surface braids away from zero and give a constant upper bound in the case of a sufficient number of punctures.

关于纯辫子的一个不变量

On an invariant of pure braids

本文利用重耦合理论构造纯辫子群的一个表示，并证明其非平凡性，从而给出纯辫子的一个不变量。

Separation in the BNSR-invariants of the pure braid groups

We inspect the BNSR-invariants $Σ^m(P_n)$ of the pure braid groups $P_n$, using Morse theory. The BNS-invariants $Σ^1(P_n)$ were previously computed by Koban, McCammond and Meier. We prove that for any $3\le m\le n$, the inclusion $Σ^{m-2}(P_n)\subseteq Σ^{m-3}(P_n)$ is proper, but $Σ^\infty(P_n)=Σ^{n-2}(P_n)$. We write down explicit character classes in each relevant $Σ^{m-3}(P_n)\setminus Σ^{m-2}(P_n)$. In particular we get examples of normal subgroups $N\le P_n$ with $P_n/N\cong\mathbb{Z}$ such that $N$ is of type $F_{m-3}$ but not $F_{m-2}$, for all $3\le m\le n$.

The BNS-invariant for the pure braid groups

In 1987 Bieri, Neumann and Strebel introduced a geometric invariant for discrete groups. In this article we compute and explicitly describe the BNS-invariant for the pure braid groups.

Pure Virtual Braids Homotopic to the Identity Braid

Two virtual link diagrams are homotopic if one may be transformed into the other by a sequence of virtual Reidemeister moves, classical Reidemeister moves, and self crossing changes. We recall the pure virtual braid group. We then describe the set of pure virtual braids that are homotopic to the identity braid.

纯辫群自同构在二维球面同伦群上的作用

Action of automorphisms of pure braid groups on homotopy groups of two-sphere

本文研究了纯辫群相关Delta-群结构的Moore复形，证明循环群与边界群在纯辫群所有自同构下不变，从而推广了前人结果，并得出纯辫群自同构在二维球面同伦群上存在诱导作用且计算了少量股数的作用。

Quantum Teichmuller theory and representations of the pure braid group

We adapt some of the methods of quantum Teichmüller theory to construct a family of representations of the pure braid group of the sphere.

Lower central series for surface braid groups

We determine the lower central series and corresponding residual properties for braid groups and pure braid groups of orientable surfaces.

Surface framed braids

In this paper we introduce the framed pure braid group on $n$ strands of an oriented surface, a topological generalisation of the pure braid group $P_n$. We give different equivalents definitions for framed pure braid groups and we study exact sequences relating these groups with other generalisations of $P_n$, usually called surface pure braid groups. The notion of surface framed braid groups is also introduced.

Free groups and finite type invariants of pure braids

Finite type invariants (also known as Vassiliev invariants) of pure braids are considered from a group-theoretic point of view. New results include a construction of a universal invariant with integer coefficients based on the Magnus expansion of a free group and a calculation of numbers of independent invariants of each type for all pure braid groups.

From pure braid groups to hyperbolic groups

In this note we show that any homomorphism from a pure surface braid group to a torsion-free hyperbolic group either has a cyclic image or factors through a forgetful map. This extends and gives a new proof of an earlier result of the author which works only when the target is a free group or a surface group. We also prove a similar rigidity result for the pure braid group of the disk.

纯辫子投影的CN矩阵

The CN matrix of a pure braid projection

本文讨论n×n矩阵成为纯辫子投影CN矩阵的模式，刻画纯6-辫子投影的CN矩阵，还刻画其OU矩阵及正纯6-辫子的交叉矩阵。

纯辫的交叉矩阵与Burau矩阵

The crossing matrix and the Burau matrix of pure braids

该研究证明纯辫的Burau矩阵在t=1处的一阶导数等于其交叉矩阵的拉普拉斯算子，并探讨了两类矩阵衍生的共轭不变量。

New presentations of surface braid groups

In this paper we give new presentations of the braid groups and the pure braid groups of a closed surface. We also give an algorithm to solve the word problem in these groups, using the given presentations.

$A_2$ Skein Representations of Pure Braid Groups

We define a family of representations $\{ρ_n\}_{n\geq 0}$ of a pure braid group $P_{2k}$. These representations are obtained from an action of $P_{2k}$ on a certain type of $A_2$ web space with color $n$. The $A_2$ web space is a generalization of the Kauffman bracket skein module of a disk with marked points on its boundary. We also introduce a triangle-free basis of such an $A_2$ web space and calculate matrix representations of $ρ_n$ about the standard generators of $P_{2k}$.

Vassiliev invariants and knots modulo pure braid subgroups

We show that two knots have matching Vassiliev invariants of order less than n if and only if they are equivalent modulo the nth group of the lower central series of some pure braid group, thus characterizing Vassiliev's knot invariants in terms of the structure of the braid groups. We also prove some results about knots modulo the nth derived subgroups of the pure braid groups, and about knots modulo braid subgroups in general.

关于纯辫与键合辫

On pure braids and bonded braids

本文通过代数类比建立键合辫幺半群与纯辫群的联系，构造满态射并扩展至奇异辫幺半群，得到参数化满态射族。

Braids, their properties and generalizations

In the paper we give a survey on braid groups and subjects connected with them. We start with the initial definition, then we give several interpretations as well as several presentations of these groups. Burau presentation for the pure braid group and the Markov normal form are given next. Garside normal form and his solution of the conjugacy problem are presented as well as more recent results on the ordering and on the linearity of braid groups. Next topics are the generalizations of braids, their homological properties and connections with the other mathematical fields, like knot theory (v…

The congruence subgroup problem for braid groups: Thurston's proof

In this article we present an unpublished proof of W. Thurston that pure braid groups have the congruence subgroup property.

On the singular braid monoid of an orientable surface

In this paper we show that the singular braid monoid of an orientable surface can be embedded in a group. The proof is purely topological, making no use of the monoid presentation.

Singular braids, singular links and subgroups of camomile type

In this paper we find a finite set of generators and defining relations for the singular pure braid group $SP_n$, $n \geq 3$, that is a subgroup of the singular braid group $SG_n$. Using this presentation, we prove that the center of $SG_n$ (which is equal to the center of $SP_n$ for $n \geq 3$) is a direct factor in $SP_n$ but it is not a direct factor in $SP_n$. We introduce subgroups of camomile type and prove that the singular pure braid group $SP_n$, $n \geq 5$, is a subgroup of camomile type in $SG_n$. Also we construct the fundamental singquandle using a representation of the singular b…

A Categorical Model for the Virtual Braid Group

This paper gives a new interpretation of the virtual braid group in terms of a strict monoidal category SC that is freely generated by one object and three morphisms, two of the morphisms corresponding to basic pure virtual braids and one morphism corresponding to a transposition in the symmetric group. The key to this approach is to take pure virtual braids as primary. The generators of the pure virtual braid group are abstract solutions to the algebraic Yang-Baxter equation. This point of view illuminates representations of the virtual braid groups and pure virtual braid groups via solutions…

Palindromes and orderings in Artin groups

The braid group $B_{n}$, endowed with Artin's presentation, admits two distinguished involutions. One is the anti-automorphism ${\rm{rev}}: B_{n} \to B_{n}$, $v \mapsto \bar{v}$, defined by reading braids in the reverse order (from right to left instead of left to right). Another one is the conjugation $τ:x \mapsto Δ^{-1}x Δ$ by the generalized half-twist (Garside element). More generally, the involution ${\rm{rev}}$ is defined for all Artin groups (equipped with Artin's presentation) and the involution $τ$ is defined for all Artin groups of finite type. A palindrome is an element invariant un…

Anti-trees and right-angled Artin subgroups of braid groups

We prove that an arbitrary right-angled Artin group $G$ admits a quasi-isometric group embedding into a right-angled Artin group defined by the opposite graph of a tree. Consequently, $G$ admits quasi-isometric group embeddings into a pure braid group and into the area-preserving diffeomorphism groups of the 2--disk and the 2--sphere, answering questions due to Crisp--Wiest and M. Kapovich. Another corollary is that a pure braid group contains a closed hyperbolic manifold group as a quasi-isometrically embedded subgroup up to dimension eight. Finally, we show that the isomorphism problem, conj…

广义辫子的拟环面表示

Quasitoric representation of generalized braids

本文基于Fenn和Bartholomew的纽结理论语言定义广义辫子理论，计算其生成集后证明定向正规广义纽结是拟环面正规广义辫子的闭包，且后者构成正规广义辫子群的子群。

A presentation for the pure Hilden group

Consider the unit ball, $B = D \times [0,1]$, containing $n$ unknotted arcs $a_1, a_2, ..., a_n$ such that the boundary of each $a_i$ lies in $D \times \{0\}$. The Hilden (or Wicket) group is the mapping class group of $B$ fixing the arcs $a_1 \cup a_2 \cup ... \cup a_n$ setwise and fixing $D \times \{1\}$ pointwise. This group can be considered as a subgroup of the braid group. The pure Hilden group is defined to be the intersection of the Hilden group and the pure braid group. In a previous paper we computed a presentaion for the Hilden group using an action of the group on a cellular comple…

Quasi-isometrically embedded subgroups of braid and diffeomorphism groups

We show that a large class of right-angled Artin groups (in particular, those with planar complementary defining graph) can be embedded quasi-isometrically in pure braid groups and in the group of area preserving diffeomorphisms of the disk fixing the boundary (with respect to the $L^2$-norm metric); this extends results of Benaim and Gambaudo who gave quasi-isometric embeddings of $F\_n$ and $\Z^n$ for all $n>0$. As a consequence we are also able to embed a variety of Gromov hyperbolic groups quasi-isometrically in pure braid groups and in the diffeomorphism group of the disk. Examples includ…

Artin's braids, Braids for three space, and groups $Γ_{n}^{4}$ and $G_{n}^{k}$

We construct a group $Γ_{n}^{4}$ corresponding to the motion of points in $\mathbb{R}^{3}$ from the point of view of Delaunay triangulations. We study homomorphisms from pure braids on $n$ strands to the product of copies of $Γ_{n}^{4}$. We will also study the group of pure braids in $\mathbb{R}^{3}$, which is described by a fundamental group of the restricted configuration space of $\mathbb{R}^{3}$, and define the group homomorphism from the group of pure braids in $\mathbb{R}^{3}$ to $Γ_{n}^{4}$. In the end of this paper we give some comments about relations between the restricted configurat…

A kernel of a braid group representation yields a knot with trivial knot polynomials

We show that a non-trivial, non-central normal subgroup of the braid groups contains a braid whose closure is a hyperbolic knot with arbitrary large genus. This shows that non-faithfulness of a quantum representation implies that the corresponding quantum invariant fails to detect the unknot. The proof utilizes the Dehornoy ordering of the braid groups.

平凡群的Artin表示与双曲闭纯3-辫

Artin Presentations of the Trivial Group and Hyperbolic Closed Pure $3$-Braids

本文研究源自六缠结的特殊带标架链环，分析六缠结对称性并给出平凡群的Artin n-表示列表，同时借助已有结果确定了双曲闭纯3-辫的范围。

Representation stability for pure braid group Milnor fibers

We prove a representation stability result for the Milnor fiber associated to the pure braid group. Our result connects previous work of Simona Settepenella to representation stability in the sense of Church--Ellenberg--Farb, answering a question of Graham Denham. We also use our result to compute the stable integral homology of the Milnor fiber.

Affine configurations and pure braids

We show that the fundamental group of the space of ordered affine-equivalent configurations of at least five points in the real plane is isomorphic to the pure braid group modulo its centre. In the case of four points this fundamental group is free with eleven generators.

2-轨形的辫群与映射类群

Braid groups and mapping class groups for 2-orbifolds

本文研究2-轨形的纯辫群结构，给出其正合序列，证明相关同态的核非平凡以纠正已有结论，借助纯轨形映射类群的表现确定该核，并发现轨形辫群是轨形映射类群的真商群这一区别于经典情形的特性。

Goussarov-Polyak-Viro's $n$-equivalence and the pure virtual braid group

In the context of finite type invariants, Stanford introduced a family of equivalence relations on knots defined by the lower central series of the pure braid groups and characterized the finite type invariants in terms of the structure of the braid groups. It is known that this equivalence and Ohyama's equivalence defined by a local move are equivalent. On the other hand, in the virtual knot theory, the concept of Ohyama's equivalence was extended by Goussarov-Polyak-Viro, which called an $n$-equivalence. In this paper we extend Stanford's equivalence to virtual knots and virtual string links…

A Geometric Interpretation of the Normal Closure of the Braid Group $B_n$ in the braid group of the torus $B_n(T)$

Combining the results by Birman and Goldberg, it was proved the normal closure of the pure braid group of the disk $P_n(D)$ in the pure braid group of the torus $P_n(T)$ is the commutator subgroup $[P_n(T),P_n(T)]$. In this paper we are going to study the case for full braid groups: i.e. the normal closure of $B_n(D)$ in $B_n(T)$, which turns out to have an interesting geometric description.