Consider the ring $R:=\Q[τ,τ^{-1}]$ of Laurent polynomials in the variable $τ$. The Artin's Pure Braid Groups (or Generalized Pure Braid Groups) act over $R,$ where the action of every standard generator is the multiplication by $τ$. In this paper we consider the cohomology of such groups with coefficients in the module $R$ (it is well known that such cohomology is strictly related to the untwisted integral cohomology of the Milnor fibration naturally associated to the reflection arrangement). We give a sort of \textit{stability} theorem for the cohomologies of the infinite series $A$, $B$ and $D,$ finding that these cohomologies stabilize, with respect to the natural inclusion, at some number of copies of the trivial $R$-module $\Q$. We also give a formula which compute this number of copies.
Consider the ring R:=\Q[τ,τ^{-1}] of Laurent polynomials in the variable τ. The Artin's Pure Braid Groups (or Generalized Pure Braid Groups) act over R, where the action of every standard generator is the multiplication by τ. In this paper we consider the cohomology of these groups with coefficients in the module R (it is well known that such cohomology is strictly related to the untwisted integral cohomology of the Milnor fibration naturally associated to the reflection arrangement). We compute this cohomology for the cases I_2(m), H_3, H_4, F_4 and A_n with 1<n<7.
If G is a finite graph and n is a natural number, then the n-strand braid group of G is the fundamental group of the configuration space of n points on G. This article gives a complete computation of the integral cohomology rings of the n-strand braid groups in case G is a tree. Some of the argument builds on earlier joint work with Lucas Sabalka.
The purpose of this article is to describe the integral cohomology of the braid group B_3 and SL_2(Z) with local coefficients in a classical geometric representation given by symmetric powers of the natural symplectic representation. These groups have a description in terms of the so called "divided polynomial algebra". The results show a strong relation between torsion part of the computed cohomology and fibrations related to loop spaces of spheres.
In this paper we first show that many braid groups of low genus surfaces have their centers as direct factors. We then give a description of centralizers and normalizers of prime order elements in pure mapping class groups of surfaces with spherical quotients using automorphism groups of fundamental groups of the quotient surfaces. As an application, we use these to show that the $p$-primary part of the Farrell cohomology groups of certain mapping class groups are elementary abelian groups. At the end we compute the $p$-primary part of the Farrell cohomology of a few pure mapping class groups.
Let $Γ$ be a finite connected graph. The (unlabelled) configuration space $UC^n Γ$ of $n$ points on $Γ$ is the space of $n$-element subsets of $Γ$. The $n$-strand braid group of $Γ$, denoted $B_nΓ$, is the fundamental group of $UC^n Γ$. We use the methods and results of our paper "Discrete Morse theory and graph braid groups" to get a partial description of the cohomology rings $H^*(B_n T)$, where $T$ is a tree. Our results are then used to prove that $B_n T$ is a right-angled Artin group if and only if $T$ is linear or $n<4$. This gives a large number of counterexamples to Ghrist's conjecture…
The main purpose of this article is to give the integral cohomology of classical principal congruence subgroups in SL(2,Z) as well as their analogues in the third braid group with local coefficients in symmetric powers of the natural symplectic representation. The resulting answers (1) correspond to certain modular forms in characteristic zero, and (2) the cohomology of certain spaces in homotopy theory in characteristic p. The torsion is given in terms of the structure of a "p-divided power algebra". The work is an extension of the work in arXiv:1204.5390v1 as well as extensions of a classica…
We describe pure braided versions of Thompson's group F. These groups, $BF$ and $\hat{BF}$, are subgroups of the braided versions of Thompson's group V, introduced by Brin and Dehornoy. Unlike V, elements of F are order-preserving self-maps of the interval and we use pure braids together with elements of F thus preserving order. We define these groups and give normal forms for elements and describe infinite and finite presentations of these groups.
We prove that pure braid groups of closed surface are almost-direct products of residually torsion free nilpotent groups and hence residually torsion free nilpotent. As a Corollary, we prove also that braid groups on 2 strands of closed surfaces are residually nilpotent.
Broué, Malle and Rouquier conjectured in that the center of the pure braid group of an irreducible finite complex reflection group is cyclic. We prove this conjecture, for the remaining exceptional types, using the analogous result for the full braid group due to Bessis, and we actually prove the stronger statement that any finite index subgroup of such braid group has cyclic center.
We find finite presentations for the automorphism group of the Artin pure braid group and the automorphism group of the pure braid group associated to the full monomial group.
We prove that the pure braid groups on closed, orientable surfaces are bi-orderable, and that the pure braid groups on closed, non-orientable surfaces have generalized torsion, thus they are not bi-orderable.
It is known that the pure braid groups are residually torsion-free nilpotent. This property is however widely open for the most obvious generalizations of these groups, like pure Artin groups and like fundamental groups of hyperplane complements (even reflection ones). In this paper we relate this problem to the faithfulness of linear representations, and prove the residual torsion-free nilpotence for a few other groups.
This article is dedicate to cabling on virtual braids. This construction gives a new generating set for the virtual pure braid group $VP_n$. Consequently we describe $VP_4$ as HNN-extension. As an application to classical braids, we find a new presentation of the Artin pure braid group $P_4$ in terms of the cabled generators.
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.
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 final result of this article gives the order of the extension $$\xymatrix{1\ar[r] & P/[P,P] \ar^{j}[r] & B/[P,P] \ar^-{p}[r] & W \ar[r] & 1}$$ as an element of the cohomology group $H^2(W,P/[P,P])$ (where $B$ and $P$ stands for the braid group and the pure braid group associated to the complex reflection group $W$). To obtain this result, we describe the abelianization of the stabilizer $N_H$ of a hyperplane $H$. Contrary to the case of Coxeter groups, $N_H$ is not in general a reflection subgroup of the complex reflection group $W$. So the first step is to refine Stanley-Springer's theore…
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.
The group of planar (or flat) pure braids on $n$ strands, also known as the pure twin group, is the fundamental group of the configuration space $F_{n,3}(\mathbb{R})$ of $n$ labelled points in $\mathbb{R}$ no three of which coincide. The planar pure braid groups on 3, 4 and 5 strands are free. In this note we describe the planar pure braid group on 6 strands: it is a free product of the free group on 71 generators and 20 copies of the free abelian group of rank two.
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.
In this article we prove theorem on Lifting for the set of virtual pure braid groups. This theorem says that if we know presentation of virtual pure braid group $VP_4$, then we can find presentation of $VP_n$ for arbitrary $n > 4$. Using this theorem we find the set of generators and defining relations for simplicial group $T_*$ which was defined in the previuos article of the authors. We find a decomposition of the Artin pure braid group $P_n$ in semi-direct product of free groups in the cabled generators.
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.
We consider the Lie algebra associated with the descending central series filtration of the pure braid group of a closed surface of arbitrary genus. R. Bezrukavnikov gave a presentation of this Lie algebra over the rational numbers. We show that his presentation remains true for this Lie algebra itself, i.e. over integers.
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…
In the present paper we study the singular pure braid group $SP_{n}$ for $n=2, 3$. We find generators, defining relations and the algebraical structure of these groups. In particular, we prove that $SP_{3}$ is a semi-direct product $SP_{3} = \widetilde{V}_3 \leftthreetimes \mathbb{Z}$, where $\widetilde{V}_3$ is an HNN-extension with base group $\mathbb{Z}^2 * \mathbb{Z}^2$ and cyclic associated subgroups. We prove that the center $Z(SP_3)$ of $SP_3$ is a direct factor in $SP_3$.
We construct a class of Garside groupoid structures on the pure braid groups, one for each function (called labelling) from the punctures to the integers greater than 1. The object set of the groupoid is the set of ball decompositions of the punctured disk; the labels are the perimeters of the regions. Our construction generalises Garside's original Garside structure, but not the one by Birman-Ko-Lee. As a consequence, we generalise the Tamari lattice ordering on the set of vertices of the associahedron.
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.
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 …
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.
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.
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.
Complex braid groups are the natural generalizations of braid groups associated to arbitrary (finite) complex reflection groups. We investigate several methods for computing the homology of these groups. In particular, we get the Poincaré polynomial with coefficients in a finite field for one large series of such groups, and compute the second integral cohomology group for all of them. As a consequence we get non-isomorphism results for these groups.
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.
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…
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.
This article is a survey on the braid groups, the Artin groups, and the Garside groups. It is a presentation, accessible to non-experts, of various topological and algebraic aspects of these groups. It is also a report on three points of the theory: the faithful linear representations, the cohomology, and the geometrical representations.
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…
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.
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}$.
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}$.
We present and discuss some open problems formulated by participants of the International Workshop "Knots, Braids, and Auto\-mor\-phism Groups" held in Novosibirsk, 2014. Problems are related to palindromic and commutator widths of groups; properties of Brunnian braids and two-colored braids, corresponding to an amalgamation of groups; extreme properties of hyperbolic 3-orbifold groups, relations between inner and quasi-inner automorphisms of groups; and Staic's construction of symmetric cohomology of groups.
This article is an exposition of certain connections between the braid groups, classical homotopy groups of the 2-sphere, as well as Lie algebras attached to the descending central series of pure braid groups arising as Vassiliev invariants of pure braids. Natural related questions are posed at the end of this article.
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$.
Brunnian braids have interesting relations with homotopy groups of spheres. In this work, we study the graded Lie algebra of the descending central series related to Brunnian subgroup of the pure braid group. A presentation of this Lie algebra is obtained.
We build actions of Thompson group V (related to the Cantor set) and of the so-called "spheromorphism" group of Neretin, on "towers" of moduli spaces of genus zero real stable curves. The latter consist of inductive limits of spaces which are the real parts of the Grothendieck-Knudsen compactification of the usual moduli spaces of punctured Riemann spheres. By a result of M. Davis, T. Januszkiewicz and R. Scott, these spaces are aspherical cubical complexes, whose fundamental groups, the "pure quasi-braid groups", are some analogues of the classical pure braid groups. By lifting the actions of…
This article gives certain fibre bundles associated to the braid groups which are obtained from a translation as well as conjugation on the complex plane. The local coefficient systems on the level of homology for these bundles are given in terms of the determinant of the Burau representation. De Concini, Procesi, and Salvetti [Topology 40 (2001) 739--751] considered the cohomology of the n-th braid group B_n with local coefficients obtained from the determinant of the Burau representation, H^*(B_n;Q[t^{+/-1}]). They show that these cohomology groups are given in terms of cyclotomic fields. Th…
