Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
the entry braid group said what a braid is, but forgot to say what the braid group is; I added in a sentence, right at the beginning (and fixed some other minor things).
This entry is not displaying well. The svg graphics do not display and something is going wrong with the the headings further down to page. I could not see what was causing this.
What is wrong with the headings? I tried what I thought would solve it but it did not have any effect.
The examples of SVG diagrams on knot and knot group work fine!
I tried the svg code in inkscape and it worked well. I created a pdf file and tried to add that to the braid group page but could not get the syntax right!
It depends a bit on the content of the svg code I think. Although knot does not look correct to me.
I think something like
[[filename.jpg:pic]]
should work. I don’t think it matters what the file extension is.
I don’t think there is anything wrong with the svg code per se, just that it is confusing the renderer. So it would be OK to have it as an svg graphic, just not with the code embedded.
added pointer to:
also these:
Joshua Lieber, Introduction to Braid Groups, 2011 (pdf)
Juan González-Meneses, Basic results on braid groups, Annales Mathématiques Blaise Pascal, Tome 18 (2011) no. 1, pp. 15-59 (ambp:AMBP_2011__18_1_15_0)
Alexander I. Suciu, He Wang, The pure braid groups and their relatives, Perspectives in Lie theory, 403-426, Springer INdAM series, vol. 19, Springer, Cham, 2017 (arXiv:1602.05291)
I have fixed the typesetting in the paragraph you added (here). The syntax errors you introduced have caused all text that followed to not render properly.
So I have:
fixed $C_n(X)
to $C_n(X)$
(missing closing dollar sign)
fixed the missing square bracket in [fat diagonal]]
fixed $\bfB_n(X)$
to $\mathbf{B}_n(X)$
(though the problem remains that neither matches the notation used elsewhere in the entry)
Also I have:
changed “permutation group” to “symmetric group”,
fixed [[morse theory]]
to [[Morse theory]]
Beyond that, I suggest more edits:
The paragraph you added really does two independent things:
1) It (almost) says that in the guise of the fundamental group of a configuration space of points, braid groups can be defined for general topological spaces. This could well we part of the Definition-section right after the “Geometric definition”. One should then start out making this explicit, with words like “The above definition of the braid group as the fundamental group of a configuration spaces of points in Euclidean space immediatly generalizes to other topological spaces. …”
2) It claims some special properties for the case where the topological space is a graph. This should go to “Examples” or maybe “Properties”. But currently this comment remains vague and may need to be expanded to be useful. Could you give a pointer to the reference that you are alluding to here (“An and Maciazek”)?
Finally, allow me suggest to avoid introducing a definition by the words “there is currently much interest”. First, the text added may stay around for years or forever, so that instead of “currently” one needs to say “as of 2021” or similar for it to keep making sense. Second, if there really is much interest, then it should be easy to give a couple of review references, which would be more useful for the reader. But mainly I think that “there is currently much interest” is a lame way of justifying content by appeal to the perceived authority of an unspecified group, where it would be more useful to justify it by mentioning of some of its intrinsic merits.
Where it says
Elements of the braid group $\bfB_n(X)$
aside from the bf issue, how are these braid groups to be seen in comparison to other braid groups mentioned on the page?
Are all other mentions on the page the same group? We have $Br_n$, $B_n$, $Braids_{2k}$ seemingly referring to the same groups.
The entry starts off with the braids in 3-dimensional Cartesian space. Then we get to the definition and it’s about the configuration space of points in $\mathbb{C}^n$.
I have tried to harmonize the notation for the group, making it “$Br(n)$” and “$PBr(n)$” throughout.
On the question in #13: A path of configurations of points in the plane is a braid in 3d space! I have added a sentence at the beginning of “Geometric definition” (here) to bring out the informal idea right up front. (Not claiming this couldn’t be expanded on.)
Then I went and partially rewrote (here) the addition from #10 as suggested in #11.
It is possible to give a geometric definition in $\mathbb{R}^{3}$, but once one has been able to find a good algebraic formalism, I’d typically view the geometric definition informally, i.e. as a form of pictorial notation which ultimately/in principle can be translated back to algebra. I think one typically ends up in a minefield of needless clutter, à la Joyal and Street, if one tries to make the geometric manipulations ’rigorous’. This becomes very relevant one-dimension up: the geometry of 2-braids and things like 2-Temperley-Lieb algebras is very intricate, and I definitely think it is better to fix some algebraic (i.e. category/higher category theoretic) definition and use a pictorial notation to informally reason about it than to try to do a Joyal-Street one dimension up.
I’d certainly favour this geometric/algebraic point of view as primary over the configuration space one, but that may well just be a matter of mathematical taste :-).
Re #14, thanks, that’s clearer.
Now, the examples are rendering badly. I guess a simple list would be adequate, or other pages calling to these numbered examples?
I have fixed the formatting of the examples (here), also expanded slightly and added some hyperlinks to keywords.
I think it’s good practice, especially on a collaborative wiki, to include every thought in its numbered environment. The more this is done, the more pages are modular and robustly accessible under all kinds of future edits.
I finally realized that there had been a paragraph on surface braid groups already at the very end. I have partially merged that into the edit of #14 and partially made it a further Example: Hurwitz braid group
1 to 18 of 18