Not signed in (Sign In)

Start a new discussion

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration finite foundations functional-analysis functor galois-theory gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory internal-categories k-theory lie lie-theory limit limits linear linear-algebra locale localization logic manifolds mathematics measure-theory modal modal-logic model model-category-theory monads monoidal monoidal-category-theory morphism motives motivic-cohomology nforum nlab noncommutative noncommutative-geometry number number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeMay 14th 2012

    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).

    • CommentRowNumber2.
    • CommentAuthorTim_Porter
    • CommentTimeOct 5th 2018

    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.

  1. Thanks for raising this, Tim. The problem is the svg code that is put directly in the entry. I would suggest to extract the code for each graphic into a file, and then upload it as an svg image to the nLab, using the usual syntax for images.

    I do not have time myself just now, but can do it when I get the chance if no-one manages it beforehand.
    • CommentRowNumber4.
    • CommentAuthorTim_Porter
    • CommentTimeOct 5th 2018
    • (edited Oct 5th 2018)

    What is wrong with the headings? I tried what I thought would solve it but it did not have any effect.

  2. The svg code confuses the renderer, I believe.
    • CommentRowNumber6.
    • CommentAuthorTim_Porter
    • CommentTimeOct 5th 2018

    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!

    • CommentRowNumber7.
    • CommentAuthorRichard Williamson
    • CommentTimeOct 5th 2018
    • (edited Oct 5th 2018)

    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


    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.

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeMay 20th 2021

    added pointer to:

    diff, v28, current

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeMay 20th 2021

    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)

    diff, v29, current

    • CommentRowNumber10.
    • CommentAuthorGrant_Bradley
    • CommentTimeJun 23rd 2021

    Preliminaries of geometric presentations of braid groups for particles on a graph, attached reference

    diff, v33, current

    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeJun 24th 2021
    • (edited Jun 24th 2021)

    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.

    diff, v34, current

    • CommentRowNumber12.
    • CommentAuthorDavid_Corfield
    • CommentTimeJun 24th 2021

    Where it says

    Elements of the braid group bfB n(X)\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 nBr_n, B nB_n, Braids 2kBraids_{2k} seemingly referring to the same groups.

    • CommentRowNumber13.
    • CommentAuthorDavid_Corfield
    • CommentTimeJun 24th 2021

    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 n\mathbb{C}^n.

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeJun 24th 2021
    • (edited Jun 24th 2021)

    I have tried to harmonize the notation for the group, making it “Br(n)Br(n)” and “PBr(n)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.

    diff, v35, current

    • CommentRowNumber15.
    • CommentAuthorRichard Williamson
    • CommentTimeJun 24th 2021
    • (edited Jun 24th 2021)

    It is possible to give a geometric definition in 3\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 :-).

    • CommentRowNumber16.
    • CommentAuthorDavid_Corfield
    • CommentTimeJun 24th 2021

    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?

    • CommentRowNumber17.
    • CommentAuthorUrs
    • CommentTimeJun 24th 2021

    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.

    diff, v37, current

    • CommentRowNumber18.
    • CommentAuthorUrs
    • CommentTimeJun 24th 2021

    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

    diff, v37, current

Add your comments
  • Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
  • To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

  • (Help)