Laundry surfaces for closed braid diagrams are presented. It is shown that braid diagrams are characterized by linking matrices obtained by lifting cycles from these surfaces. Oriented link types are then characterized by equivalence classes of linking matrices. Similar equivalence classes can be composed of Gordon and Litherland forms or Seifert matrices.
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.
We define the notion of a braided link cobordism in $S^3 \times [0,1]$, which generalizes Viro's closed surface braids in $\mathbb{R}^4$. We prove that any properly embedded oriented surface $W \subset S^3 \times [0,1]$ is isotopic to a surface in this special position, and that the isotopy can be taken rel boundary when $\partial W$ already consists of closed braids. These surfaces are closely related to another notion of surface braiding in $D^2 \times D^2$, called braided surfaces with caps, which are a generalization of Rudolph's braided surfaces. We mention several applications of braided…
For an oriented surface link $S$, we can take a satellite construction called a 2-dimensional braid over $S$, which is a surface link in the form of a covering over $S$. We demonstrate that 2-dimensional braids over surface links are useful for showing the distinctness of surface links. We investigate non-trivial examples of surface links with free abelian group of rank two, concluding that their link types are infinitely many.
This is a review article on the Bennequin-Birman-Menasco machinery for studying embedded incompressible surfaces in 3-space via their `braid foliations'. Two cases are investigated: case (1) The surface has non-empty boundary; the boundary is a knot or link which is represented as a closed braid, Case (2) The surface is closed, but it lies in the complement of a knot or link which is represented as a closed braid. The main results in the area are established with full proofs, in a systematic fashion, with an eye toward making them accessible to the beginning reader. There are some new contribu…
Is any positive knot the closure of a positive braid? No. But if we consider positivity in terms of the generators of the braid group due to Birman, Ko and Lee, then the answer is yes. In this paper we prove that the same occurs when considering homogeneity. In the way we prove that the plumbing of two surfaces is a BKL-homogeneous surface if and only if both summands are BKL-homogeneous surfaces, a parallel result to that of Rudolph involving quasipositive surfaces. BKL-homogeneous surfaces are, in fact, a natural generalization of quasipositive surfaces.
The groups $G_n^k$ were defined by V. O. Manturov in order to describe dynamical systems in configuration systems. In the paper we consider two applications of this theory: we define a biquandle structure on the groups $G_n^k$, and construct a homomorphism from the surface singular braid monoid to the group $G_n^2$.
We consider a surface link in the 4-space which can be presented by a simple branched covering over the standard torus, which we call a torus-covering link. Torus-covering links include spun $T^2$-knots and turned spun $T^2$-knots. In this paper we braid a torus-covering link over the standard 2-sphere. This gives an upper estimate of the braid index of a torus-covering link. In particular we show that the turned spun $T^2$-knot of the torus $(2,\,p)$-knot has the braid index four.
We introduce a monoid corresponding to knotted surfaces in four space, from its hyperbolic splitting represented by marked diagram in braid like form. It has four types of generators: two standard braid generators and two of singular type. Then we state relations on words that follows from topological Yoshikawa moves. As a direct application we will show equivalence of some known theorems about twist-spun knots. We wish then to investigate an index associated to the closure of surface singular braid monoid. Using our relations we will prove that there are exactly six types of knotted surfaces …
Let $PB_n(S_{g,p})$ be the pure braid group of a genus $g>1$ surface with $p$ punctures. In this paper we prove that any surjective homomorphism $PB_n(S_{g,p})\to PB_m(S_{g,p})$ factors through one of the forgetful homomorphisms. We then compute the automorphism group of $PB_n(S_{g,p})$, extending Irmak, Ivanov and McCarthy's result to the punctured case. Surprisingly, in contrast to the $n=1$ case, any automorphism of $PB_n(S_{g,p})$, $n>1$ is geometric.
A Gauss diagram is a simple, combinatorial way to present a link. It is known that any Vassiliev invariant may be obtained from a Gauss diagram formula that involves counting subdiagrams of certain combinatorial types. In this paper we present simple formulas for an infinite family of invariants in terms of counting surfaces of a certain genus and number of boundary components in a Gauss diagram associated with a closed braid. We then identify the resulting invariants with partial derivatives of the HOMFLY-PT polynomial.
In this paper we compute the automorphism groups $\operatorname{Aut}(\mathbf{P}_n(Σ))$ and $\operatorname{Aut}(\mathbf{B}_n(Σ))$ of braid groups $\mathbf{P}_n(Σ)$ and $\mathbf{B}_n(Σ)$ on every orientable surface $Σ$, which are isomorphic to group extensions of the extended mapping class group $\mathcal{M}^*_n(Σ)$ by the transvection subgroup except for a few cases. We also prove that $\mathbf{P}_n(Σ)$ is always a characteristic subgroup of $\mathbf{B}_n(Σ)$ unless $Σ$ is a twice-punctured sphere and $n=2$.
In this paper, we make use of the relations between the braid and mapping class groups of a compact, connected, non-orientable surface N without boundary and those of its orientable double covering S to study embeddings of these groups and their (virtual) cohomological dimensions. We first generalise results of Birman and Chillingworth and of Gonçalves and Guaschi to show that the mapping class group MCG(N ; k) of N relative to a k-point subset embeds in the mapping class group MCG(S; 2k) of S relative to a 2k-point subset. We then compute the cohomological dimension of the braid groups of all…
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.
We show that Vassiliev invariants separate braids on a closed oriented surface, and we exhibit an universal Vassiliev invariant for these braids in terms of chord diagrams labeled by elements of the fundamental group of the considered surface.
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.
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.
In this paper, we prove that each automorphism of a surface braid group is induced by a homeomorphism of the underlying surface, provided that this surface is a closed, connected, orientable surface of genus at least 2, and the number of strings is at least three. This result generalizes previous results for classical braid groups, mapping class groups, and Torelli groups.
Let $M$ be a closed oriented surface of genus $g\ge 1$, let $B_n(M)$ be the braid group of $M$ on $n$ strings, and let $SB_n(M)$ be the corresponding singular braid monoid. Our purpose in this paper is to prove that the desingularization map $η: SB_n(M) \to \Z [B_n(M)]$, introduced in the definition of the Vassiliev invariants (for braids on surfaces), is injective.
We propose a family of new representations of the braid groups on surfaces that extend linear representations of the braid groups on a disc such as the Burau representation and the Lawrence-Krammer-Bigelow representation.
In this article, we give a necessary and sufficient condition for embedding a finite index subgroup of Artin's braid group into the mapping class group of a connected orientable surface.
This paper describes a family of pseudo-Anosov braids with small dilatation. The smallest dilatations occurring for braids with 3, 4 and 5 strands appear in this family. A pseudo-Anosov braid with 2g+1 strands determines a hyperelliptic mapping class with the same dilatation on a genus-g surface. Penner showed that logarithms of least dilatations of pseudo-Anosov maps on a genus-g surface grow asymptotically with the genus like 1/g, and gave explicit examples of mapping classes with dilatations bounded above by log 11/g. Bauer later improved this bound to log 6/g. The braids in this paper give…
We consider exact sequences and lower central series of surface braid groups and we explain how they can prove to be useful for obtaining representations for surface braid groups. In particular, using a completely algebraic framework, we describe the notion of extension of a representation introduced and studied recently by An and Ko and independently by Blanchet.
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.
We give presentations, in terms of generators and relations, for the monoids of singular braids on closed surfaces. The proof of the validity of these presentations can also be applied to verify, in a new way, the presentations given by Birman for the monoids of Singular Artin braids.
Let M be a compact, connected surface, possibly with a finite set of points removed from its interior. Let d,n be positive integers, and let N be a d-fold covering space of M. We show that the covering map induces an embedding of the n-th braid group B_n(M) of M in the (dn)-th braid group B_{dn}(N) of N, and give several applications of this result. First, we classify the finite subgroups of the n-th braid group of the real projective plane, from which we deduce an alternative proof of the classification of the finite subgroups of the mapping class group of the n-punctured real projective plan…
We determine a set of generators for the Brunnian braids on a general surface $M$ for $M\not=S^2$ or $\RP^2$. For the case $M=S^2$ or $\RP^2$, a set of generators for the Brunnian braids on $M$ is given by our generating set together with the homotopy groups of a 2-sphere.
We prove that the word problem in the mapping class group of the once-punctured surface of genus g has complexity O(|w|^2 g for |w| > log(g) where |w| is the length of the word in a (standard) set of generators. The corresponding bound in the case of the closed surface is O(|w|^2 g^2). We also carry out the same methods for the braid groups, and show that this gives a bound which improves the best known bound in this case; namely, the complexity of the word problem in the n-braid group is O(|w|^2 n), for |w| > log n. We state a similar result for mapping class groups of surfaces with several p…
A 2-dimensional braid over an oriented surface-knot $F$ is presented by a graph called a chart on a surface diagram of $F$. We consider 2-dimensional braids obtained by an addition of 1-handles equipped with chart loops. We introduce moves of 1-handles with chart loops, called 1-handle moves, and we investigate how much we can simplify a 2-dimensional braid by using 1-handle moves. Further, we show that an addition of 1-handles with chart loops is an unbraiding operation.
The deep connections between braids and dynamics by way of the Nielsen-Thurston classification theorem have led to a wide range of practical applications. Braids have been used to detect coherent structures and mixing regions in oceanic flows, drive the design of industrial mixing machines, contextualize the evolution of taffy pullers, and characterize the chaotic motion of topological defects in active nematics. Mixing plays a central role in each of these examples, and the braids naturally associated with each system come equipped with a useful measure of mixing efficiency, the topological e…
We prove that if g and n are integers at least two, then the abstract commensurator of the braid group with n strands on a closed orientable surface of genus g is naturally isomorphic to the extended mapping class group of a compact orientable surface of genus g with n boundary components.
Four constructions of Seifert surfaces - Hopf plumbing, arborescent plumbing, basketry, and T-bandword handle decomposition - are described, and some interrelationships found, e.g.: arborescent Seifert surfaces are baskets; Hopf-plumbed baskets are precisely homogeneous T-bandword surfaces. A Seifert surface is Hopf-plumbed if it is a 2-disk D or if it can be constructed by plumbing a positive or negative Hopf annulus A(O,-1) or A(O,1) to a Hopf-plumbed surface along a proper arc. A Seifert surface is a basket if it is D or it can be constructed by plumbing an n-twisted unknotted annulus A(O,n…
The closure of a braid in a closed orientable surface $Σ$ is a link in $Σ\times S^1$. We classify such closed surface braids up to isotopy and homeomorphism (with a small indeterminacy for isotopy of closed sphere braids), algebraically in terms of the surface braid group. We find that in positive genus, braids close to isotopic links if and only if they are conjugate, and close to homeomorphic links if and only if they are in the same orbit of the outer action of the mapping class group on the surface braid group modulo its center.
We construct an explicit bundle with flat connection on the configuration space of n points of a complex curve. This enables one to recover the `formality' isomorphism between the Lie algebra of the prounipotent completion of the pure braid group of n points on a surface and an explicitly presented Lie algebra t_{g,n} (Bezrukavnikov), and to extend it to a morphism from the full braid group of the surface to the semidirect product exp(hat t_{g,n}) rtimes S_n.
We study the fixed point theory of n-valued maps of a space X using the fixed point theory of maps between X and its configuration spaces. We give some general results to decide whether an n-valued map can be deformed to a fixed point free n-valued map. In the case of surfaces, we provide an algebraic criterion in terms of the braid groups of X to study this problem. If X is either the k-dimensional ball or an even-dimensional real or complex projective space, we show that the fixed point property holds for n-valued maps for all n $\ge$ 1, and we prove the same result for even-dimensional sphe…
We discuss how to apply work of L. Rudolph to braid conjugacy class invariants to obtain potentially effective obstructions to a slice knot being ribbon. We then apply these ideas to a family of braid conjugacy class invariants coming from Khovanov-Lee theory and explain why we do not obtain effective ribbon obstructions in this case.
We discuss the equivalence between the categories of certain ribbon graphs and subgroups of the modular group $Γ$ and use it to construct exponentially large families of not Hurwitz equivalent simple braid monodromy factorizations of the same element. As an application, we also obtain exponentially large families of {\it topologically} distinct algebraic objects such as extremal elliptic surfaces, real trigonal curves, and real elliptic surfaces.
The surface singular braid monoid corresponds to marked graph diagrams of knotted surfaces in braid form. In a quest to resolve linearity problem for this monoid, we will show that if it is defined on at least two or at least three strands, then its two or respectively three dimensional representations are not faithful. We will also derive new presentations for the surface singular braid monoid, one with reduced the number of defining relations, and the other with reduced the number of its singular generators. We include surface singular braid formulations of all knotted surfaces in Yoshikawa'…
Braid combing is a procedure defined by Emil Artin to solve the word problem in braid groups for the first time. It is well-known to have exponential complexity. In this paper, we use the theory of straight line programs to give a polynomial algorithm which performs braid combing. This procedure can be applied to braids on surfaces, providing the first algorithm (to our knowledge) which solves the word problem for braid groups on surfaces with boundary in polynomial time and space. In the case of surfaces without boundary, braid combing needs to use a section from the fundamental group of the …
We give a finite presentation for the braid twist group of a decorated surface. If the decorated surface arises from a triangulated marked surface without punctures, we obtain a finite presentation for the spherical twist group of the associated 3-Calabi-Yau triangulated category. The motivation/application is that the result will be used to show that the (principal component of) space of stability conditions on the 3-Calabi-Yau category is simply connected in the sequel.
Given a knot in $S^3$, one can associate to it a surface diffeomorphism in two different ways. First, an arbitrary knot in $S^{3}$ can be represented by braids, which can be thought of as diffeomorphisms of punctured disks. Second, if the knot is fibered -- that is, if its complement fibers over $S^1$ -- one can consider the monodromy of the fibration. One can ask to what extent properties of these surface diffeomorphisms dictate topological properties of the corresponding knot. In this article we collect observations, conjectures, and questions addressing this, from both the braid perspective…
Let g and n be integers at least two, and let G be the pure braid group with n strands on a closed orientable surface of genus g. We describe any injective homomorphism from a finite index subgroup of G into G. As a consequence, we show that any finite index subgroup of G is co-Hopfian.
Braid groups are an important and flexible tool used in several areas of science, such as Knot Theory (Alexander's theorem), Mathematical Physics (Yang-Baxter's equation) and Algebraic Geometry (monodromy invariants). In this note we will focus on their algebraic-geometric aspects, explaining how the representation theory of higher genus braid groups can be used to produce interesting examples of projective surfaces defined over the field of complex numbers.
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.