The braid groups satisfy a number of properties that one would expect of a hyperbolic group, liking having a solvable word problem, and having exponential growth. Are the braid groups hyperbolic groups? If not, is there any obvious property of hyperbolic groups showing that they are not?
2025-01-13 05:36:33.1736746593
Is the braid group hyperbolic?
453 Views Asked by Quizzical https://math.techqa.club/user/quizzical/detail At
1
There are 1 best solutions below
Related Questions in GROUP-THEORY
- Number of necklaces of 16 beads with 8 red beads, 4 green beads and 4 yellow beads
- Proper and discontinuous action of a group
- Category Theory compared with Meta-Grammars (or Hyper-Grammars) in Programming Languages
- Prove a subgroup is normal
- Is a finite group $G$ determined by the sequence $p(G,k)$ of probabilities that $G$ is generated by $k$ random elements?
- Conjugacy classes for rotations of $D_{2n}$
- Understanding the concept
- To prove a statement about finite groups of even order.
- Normal subgroup of prime order in the center
- Showing that the groups (Q,+) and (Q⁺,*) are not isomorphic
Related Questions in GEOMETRIC-GROUP-THEORY
- Find the Cayley graph of the group $G = ( \mathbb{Z}/2 \mathbb{Z}) × ( \mathbb{Z}/2 \mathbb{Z})$ with generating set ${(1, 0),(0, 1)}$.
- Centralizers in mapping class groups
- Weakly relatively hyperbolic groups
- Short exact sequences for amalgameted free products and HNN Extensions
- Finitely generated group acting cocompactly on a Manifold of bounded geometry
- Relatively hyperbolic groups
- Countable abelian groups are amenable.
- problem with proof 'horoball QI extension theorem'
- Modify a Dehn presentation
- Realising Seifert-van Kampen in 2-complexes
Related Questions in BRAID-GROUPS
- Residually Finite Braid Group
- I'm going to do a project on braid groups, and I'm looking for recommendations on books about braid groups.
- Obtaining a braid from a knot/link (Alexander's theorem)
- On applications of Alexander's Theorem
- Are the generators of the braid group conjugates?
- Subgroup of the braid group $B_n$ generated by $\sigma_i$ and $\sigma_{i+1} ^2$ is a free group?
- Is any braid group generated by finite "transpositions"?
- Prove that the relation $\leq$ on the braid group $B_n$ is anti symmetric.
- Proving $B_n/[B_n,B_n]$ is infinite (cyclic) group.
- Finding all quotients of the braid group $B_5$ up to order $720$
Related Questions in HYPERBOLIC-GROUPS
- Modify a Dehn presentation
- Some questions about a proof referring to hyperbolic group
- Groups acting properly discontinuous and cocompactly on the hyperbolic plane by isometries.
- What is the name for the group of hyperbolic rotations in n-dimensional Euclidean space?
- Examples of hyperbolic groups that have boundary homeomorphic to $S^2$?
- Is the braid group hyperbolic?
- Dehn's algorithm satisfies linear isoperimetric inequality
- normalizer of a cyclic subgroup in a torsion-free hyperbolic group
- Infinite geodesic rays leaving a K-quasiconvex subgroup stay K-close to it.
- Motivation for Hyperbolic Groups - Soft Question
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Refuting the Anti-Cantor Cranks
- Find $E[XY|Y+Z=1 ]$
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- What are the Implications of having VΩ as a model for a theory?
- How do we know that the number $1$ is not equal to the number $-1$?
- Defining a Galois Field based on primitive element versus polynomial?
- Is computer science a branch of mathematics?
- Can't find the relationship between two columns of numbers. Please Help
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- A community project: prove (or disprove) that $\sum_{n\geq 1}\frac{\sin(2^n)}{n}$ is convergent
- Alternative way of expressing a quantied statement with "Some"
Popular # Hahtags
real-analysis
calculus
linear-algebra
probability
abstract-algebra
integration
sequences-and-series
combinatorics
general-topology
matrices
functional-analysis
complex-analysis
geometry
group-theory
algebra-precalculus
probability-theory
ordinary-differential-equations
limits
analysis
number-theory
measure-theory
elementary-number-theory
statistics
multivariable-calculus
functions
derivatives
discrete-mathematics
differential-geometry
inequality
trigonometry
Popular Questions
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- How to find mean and median from histogram
- Difference between "≈", "≃", and "≅"
- Easy way of memorizing values of sine, cosine, and tangent
- How to calculate the intersection of two planes?
- What does "∈" mean?
- If you roll a fair six sided die twice, what's the probability that you get the same number both times?
- Probability of getting exactly 2 heads in 3 coins tossed with order not important?
- Fourier transform for dummies
- Limit of $(1+ x/n)^n$ when $n$ tends to infinity
Outside of the one and two strand case they are not hyperbolic. One obstruction is that braid groups on $n>2$ strands, $B_n$, contain $\mathbb Z^2$ subgroups which can not happen in hyperbolic groups.
First note that $B_3$ is a subgroup of $B_n$ for $n>2$. Order the strands and name them $b_1,b_2,b_3,...,b_n$. Let $\sigma$ be the element which braids $b_1$ around $b_2,b_3$ where $b_1$ goes around the back of those two and then cross in front and let $\rho$ be the element which braids $b_2,b_3$ (basically an element in $B_2$). These two elements "obviously" commute so we get $\langle \sigma, \rho \rangle \cong \mathbb{Z}^2$ as a subgroup of $B_n$ for $n>2$ (if you want a formal proof there is enough detail in A Primer on Mapping Class Groups by Farb and Margalit). In the case of $B_1,B_2$ we have the trivial group and $\mathbb{Z}$ respectively and these are hyperbolic but not in an "interesting" way.
You mention that one of your motivations is that there do seems to be some similarities to hyperbolic groups and it turns out this is a really good observation which gets into some interesting math. I won't be giving much details but it seems good to mention some of these ideas.
There is a different way to describe braid groups and it is as mapping class groups of punctured disk (basically the group of topological symmetries up to a natural identification). Very roughly you can think about punctures moving around each other in the disk as braids moving around each other. If you "plot" this with a time axis you can see the punctures moving "drawing" the braid.
This becomes important because now you get tools from surface theory and their mapping class groups. The mapping class group acts naturally on something called the curve complex which, somewhat surprisingly, is $\delta$-hyperbolic, proved by Masur and Minsky, and infinite diameter (you can choose $\delta =19$). Lots of the hyperbolic behavior can actually be seen in this action on the curve complex. Further, Masur and Minsky developed a way of studying the geometry of mapping class groups through the curve complex of the surface and curve complexes of all its (essential) subsurfaces by "piecing together" the geometric information of the curve complexes in some consistent way.