Questions tagged [braid-groups]
The braid-groups tag has no usage guidance.
204
questions
15
votes
0
answers
860
views
Symmetries of local systems on the punctured sphere
Let $X=S^2\setminus D$, for $D\subset S^2$ some finite set of points, say with $|D|=n\geq 1$. The category of locally constant sheaves of $\mathbb{C}$-vector spaces on $X$ (equivalently, complex ...
2
votes
1
answer
137
views
How to get a presentation of the mapping class group of the $n$-punctured sphere
$\DeclareMathOperator\Mod{Mod}$I would like to compute the mapping class group (homeomorphism preserving orientation modulo those isotopic to the identity) of the sphere $S^2$ minus $n$ points $p_1,\...
3
votes
1
answer
180
views
Bounds for the crossing number in terms of the braid index?
Is there a lower bound on the crossing number of a knot (resp., link) with braid index $b$?
For knots, I believe the smallest crossing number for braid index 2 is 3, the smallest crossing number for ...
3
votes
1
answer
133
views
Squier's conjecture on Burau at roots of unity
In Squier's short, yet influential, paper about the Burau representation, he made two conjectures that might have provided a proof for the faithfulness of the Burau representation (which we now know ...
2
votes
0
answers
64
views
Composition of 3-braids to obtain braids with trivial closure
Given a 3-braid $b=\sigma_1\sigma_2^{-1}\sigma_1\sigma_2^{-1}\sigma_1$ (which has non-trivial closure), can we find a 3-braid $c$, which has trivial closure (closure results in any trivial knot or ...
0
votes
0
answers
23
views
Non-straightenable multiple space-time trajectories and 'entangled' braid
Considering we have the space-time trajectory of multiple particles (or any objects) in the X-Y-Time coordination system. Given a projection direction parallel to the X-Y plane, we can obtain the ...
2
votes
1
answer
120
views
Are there infinite number of 3-braids with trivial closure?
Not counting equivalent braids, are there finite or infinite numbers of 3-braids whose closures are trivial knot or links? If the answer is infinite, are there some patterns in those infinite numbers ...
0
votes
1
answer
193
views
Space-time trajectory that cannot be straightened and its braid form
Considering we have the space-time trajectory of multiple particles (or any objects) in the X-Y-Time coordination system. Given a projection direction, we can obtain the braid form of the space-time ...
4
votes
0
answers
90
views
Interplay beween simplicial and Weyl algebra identities
Recall that the (first) Weyl algebra is the algebra generated by $x,y$ with the relation $xy-yx=1$. It can be realized as the algebra of differential operators on $k[x]$, where one generator acts as ...
4
votes
1
answer
139
views
Alexander polynomials for a certain family of closed braids
Let $n\geq 3$ be a positive integer and $\kappa=(k_1, \dots, k_n)\in \mathbb{Z}^n$. Denote by $B_n$ the braid group on $n$ strings. Consider the braid on $n+1$ strings $\sigma_\kappa:=\sigma_1^{k_1}\...
11
votes
0
answers
188
views
On an Artin (?) subgroup of braid groups
While working on something apparently unrelated I encountered a "braid-like" group, which is a relatively geometric subgroup of a braid group and seems to be itself an Artin group. It seems ...
5
votes
1
answer
141
views
Why is the category of strong braided functors from the braid category to a braided monoidal $M$ equivalent to the subcategory of *strict* functors?
This is my first, and probably my last, (for a while) posting on MO. I am very much a student and I don't claim to be a research mathematician, at all, but I have seen that sometimes "regular&...
3
votes
0
answers
112
views
Generating cycles inside Tits' graph of words for a positive braid
Let $Br_n$ be the braid group and consider words in its generators (not in the inverses). Two such words define the same "positive" braid if one can be obtained from the other by commuting ...
2
votes
1
answer
159
views
Determine if a closed braid is a link/unlink
I am relatively new to the world of braids/knots so really sorry if this question is simple. However, I am not able to find if there is any theorem/procedure that determines if a closed braid, given ...
8
votes
0
answers
136
views
Is the Lawrence–Krammer representation faithful, reduced modulo p?
It is well-known that the braid group $B_n$ is linear for every $n$ by the Lawrence–Krammer (or LKB) representation. It embeds $B_n$ faithfully into $\mathrm{GL}\left(\frac{n(n-1)}{2},\mathbb{Z}[q^{\...
9
votes
2
answers
324
views
Coherence theorem in braided monoidal categories
In MacLane's Categories for the working mathematician, the author shows that the evaluation at 1 gives an equivalence of categories $\mathrm{hom}_{\mathrm{BMC}}(B,M)\simeq M_0$ where $B$ is the braid ...
19
votes
0
answers
355
views
Are braid groups known to not be linear over $\mathbb{Z}$?
$\DeclareMathOperator\GL{GL}$It is known that every braid group $B_n$ embeds as a subgroup of $\GL_m(\mathbb{Z}[q^{\pm 1},t^{\pm 1}])$, where $m=n(n-1)/2$ (see Krammer - Braid groups are linear). This ...
5
votes
0
answers
197
views
Coxeter's braid group quotients
Coxeter's result is that if the generators of the braid group $B_n$ on $n$ strands fulfill a relation $\forall_i\sigma_i^k=1$, then $1/n+1/k>1/2$ must hold to get a finite quotient of $B_n$. In ...
3
votes
1
answer
318
views
Dehornoy's proof that the application of two elementary embeddings is an elementary embedding
What is meant by the statement and the proof of Lemma 3.2 in Chapter XII of Dehornoy's book Braids and Self-Distributivity?
That lemma states "Assume that $j_1$ and $j_2$ are elementary ...
2
votes
0
answers
91
views
Virtual cohomological dimension of mapping class group and braid group of punctured surfaces
$\DeclareMathOperator\MCG{MCG}\DeclareMathOperator\vcd{vcd}\DeclareMathOperator\cd{cd}$Let $B_{k}(S_{g}),$ $\MCG(S_{g};k)$ and $\MCG(S_{g}))$ denote the braid group, the mapping class group (relative ...
5
votes
1
answer
303
views
Representation stability for systems of braid group representations
In general, if I understand correctly, the representation theory of the braid groups is quite complicated, and there's no classification of the irreducibles. However, the braid groups form a sort of ...
3
votes
1
answer
219
views
Good algorithmic properties for quotients of braid groups
I'm trying to understand some things about quotients of braid groups, and particularly I'd like to solve the word problem for some elements of these quotients. I'm using MAGMA to try to access this, ...
9
votes
0
answers
142
views
Configuration space of 4 points as an orbifold
Setup: Consider the braid group $B_n$. One way to define this is as the fundamental group of the unordered configuration space $UC_n(\mathbb{C}) = \{\{z_1,\dotsc,z_n\}\subset \mathbb{C} \mid z_i \not= ...
3
votes
1
answer
64
views
Arc complex characterization of braids with trivial closure
A braid $\beta\in B_n,$ the braid group with $n$ strands, viewed as the mapping class group $\mathrm{Mod}(\mathbb{D}_n)$ of the disk with $n$ punctures is trivial if and only if $\beta$ acts trivially ...
2
votes
0
answers
203
views
Braid group and the fundamental group of coefficients of polynomials
I am studying Norbert A'Campo's article "Tresses, monodromie et le groupe symplectique" and I am trying to understand why $\rho(t_i)=T_i$. I am stating this just for the sake of reference, ...
2
votes
0
answers
37
views
Finiteness of almost maximal submonoids in positive braids
A numerical semigroup of genus $g$ is a submonoid $S=S+S$ of $\mathbb N$ missing $g$ elements (gaps) of $\mathbb N$. It is not hard to show that
there are only finitely many numerical semigroups of ...
2
votes
0
answers
104
views
Image of the pure braid group under the Artin presentation into the automorphism group of the nilpotent quotient of a free group?
As I know, it is unknown that the image of the mapping class group of the surface and its Johnson filtration under the higher Johnson homomorphisms.
There are a relationship between the mapping class ...
2
votes
0
answers
123
views
Braid 2-groups, symmetric 2-groups
Is there an object which can be called a "braid 2-group"? Or a "symmetric 2-group"? (Note: not a braided 2-group)
I am ignorant about 2-categories but I hope that a good candidate ...
5
votes
1
answer
148
views
Composite knots and their braid words
Given a composite knot K = K_1 # K_2, I wonder how the braid word looks like. Is it possible to see from the word that the knot is composite?
I am not aware of a statement such as "the closure of ...
8
votes
1
answer
215
views
Geometric intuition behind Garside's paper?
I apologize in advance for a somewhat wishy-washy question. I just read the paper "The Braid Group and Other Groups" by F. A. Garside in which he solves the conjugacy problem for the braid ...
3
votes
1
answer
196
views
From braid representations to link invariants
If one has a $\mathbb{C}$-linear representation of the braid algebra into e.g. the Temperley-Lieb algebra i.e. $\rho:\mathbb{C}[B_{n}]\to TL_{n}(\delta)$, we can deduce a skein relation $\mathcal{S}$....
0
votes
1
answer
90
views
Fundamental group to groupoid : bijection between homotopy classes?
I'm looking at the fundamental group $\pi_{1}(M)$ of the $n^{th}$ unordered configuration space $M$ of $\mathbb{R}^{d}$. In particular, it's well-known that $\pi_{1}(M)\cong S_{n}$ (symmetric group) ...
3
votes
0
answers
177
views
Braids of fibered knots
There are some theorems saying that the closure of a braid of a specific form is fibered. For instance, a theorem of Stallings says that the closure of a homogeneous braid is a fibered knot.
I am ...
8
votes
2
answers
546
views
Braid groups and Kazhdan's property (T)
In Nica's dissertation Group actions on median spaces, we can read the following assertion:
Braid groups do not contain infinite subgroups satisfying Kazhdan's property (T).
This is used in order to ...
12
votes
1
answer
209
views
Artin groups of type $D_n$ as mapping class groups?
According to Allcock (Braid Pictures for Artin groups, https://arxiv.org/abs/math/9907194), the Artin group $A(D_n$) of type $D_n$ may be realized as an index 2 subgroup of the orbifold fundamental ...
1
vote
0
answers
48
views
How to get the braid word of the tubes in a reducible braid?
If a braid is reducible, it means that the strands can be separated into groups of strands (less groups than number of strands), such that each group is running inside one tube. The tubes themselves ...
3
votes
1
answer
91
views
Knots with a braid presentation with only positive or negative crossings on each fixed position
I am interested in the following class of knots $K$:
$\{$$K$ has a braid presentation such that for any fixed position $k$, either only positive or negative powers of $\sigma_k$ appear in the braid ...
16
votes
2
answers
1k
views
Several questions about Gauss's mathematical conception of braids
I'm trying to figure out several things about Gauss's thoughts concerning a certain four-strand braid. The reference my questions are based on is mainly Moritz Epple's excellent article "orbits ...
5
votes
1
answer
236
views
Integral homology of braid groups as a ring
Let $Br_k$ denote the braid group on $k$ strands. In Corollary A.4 of "Homology of Iterated Loop Spaces" (Page 348), Cohen-Lada-May compute $H_i(Br_k;\mathbb Z)$ as an abelian group for each ...
6
votes
2
answers
341
views
CW-presentation of configurations of points in plane and space
I know from the the theory of Artin groups that, as the $K(\pi,1)$ conjecture is known for Braids group, that using Salvetti complexes we have a fairly explicit finite CW-complex presentation of the ...
2
votes
1
answer
204
views
Linear representations of Hurwitz braid group with small degree
In Bigelow: Does the Jones Polynomial detect the Unknot?, J. Knot Theory Ramifications, 11, 493-505 (2002), Corollary 6.2. ff.,
a non-trivial braid $\beta$ in the kernel of the specialized Burau ...
1
vote
0
answers
95
views
When is the action of the braid group on tensor powers of Yetter-Drinfeld modules faithful?
Let $V$ be a Yetter-Drinfeld module over a Hopf algebra $H$ with invertible antipode. Recall that $V$ is a braided vector space with braiding $\Psi\colon V\otimes V\to V\otimes V, v\otimes w\mapsto v_{...
2
votes
0
answers
71
views
On $\Psi$-generating paths in the Bruhat order of a Weyl group
Let $W$ be a Weyl group with roots $R$ and positive roots $R^+$. Let $v\in W$ of length $r$. We call $\mathbb{m}=(\alpha_1,\ldots,\alpha_r)\in(R^+)^r$ a Bruhat path from $1$ to $v$ if $1\lessdot s_{\...
10
votes
0
answers
285
views
Surjective homomorphisms between braid groups
There cannot be a surjective homomorphism $B_2 \to B_n$ for any $n > 2$ because $B_2$ is commutative and $B_n$ is not. It seems plausible that if $m < n$, there cannot be a surjective ...
3
votes
1
answer
146
views
Cohomology of the moduli space of rational curves with $n$ marked points with spin structure
Consider $\mathcal{M}_{0,n}$- the moduli space of rational curves with $n$ marked points. A map
$$
p\colon \pi_1(\mathcal{M}_{0,n})\longrightarrow H_1(\mathcal{M}_{0,n},\mathbb{Z}/2\mathbb{Z})
$$
...
5
votes
1
answer
240
views
Do there exist any variational principles on the space of braids (or knots)?
This is very speculative question and I do not know where to start looking up the literature, or if what I am looking for is even mathematically possible/meaningful.
Q: I am interested in finding out ...
3
votes
1
answer
287
views
Permuting $n$ points in a $2$-manifold
Given $n$ points on a connected $2$-manifold $M$, I'd like to consider the homotopy classes of paths that "permute" these points.
Edit (Clarifying what I mean by this):
Given a set of $n$ ...
2
votes
0
answers
118
views
Software for finding conjugates in the Braid group
The conjugacy problem for the braid group was solved by Garside, and gives an algorithm for determining whether two braids are conjugate. Since this algorithm is rather tedious, I was wondering if ...
10
votes
0
answers
318
views
Finite quotients of surface braid groups
Let $\Sigma_b$ be a closed orientable surface of genus $b \geq 2$, and denote by $\mathsf{P}_2(\Sigma_b)$ the pure braid group with two strands on $\Sigma_b$.
There is a braid $A_{12} \in \Sigma_b$ ...
9
votes
5
answers
954
views
When do elements in the braid group $B_n$ commute?
I have been looking around for an answer to this question, but I have not been able to find anything. My question is:
Is it known how to tell whether two elements $b_1, b_2 \in B_n$ commute?
EDIT: ...