Not signed in (Sign In)

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

Discussion Tag Cloud

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.
    • CommentAuthorzskoda
    • CommentTimeMay 18th 2012
    • (edited May 18th 2012)

    Stub for the Milnor construction of universal principal GG-bundles and the disambiguation page universal bundle (we should have universal vector and associated fibre bundles, not only principal and higher principal cases; and the discussion that there is no difference in classification of locally trivial bundles in the principal versus fibre bundle case if only the effective actions on typical fibers are considered). Added a redirect James Stasheff at Jim Stasheff required at Milnor construction (before the link James Stasheff did not work though many of his papers written under that version of the name are quoted in nnLab!).

    • CommentRowNumber2.
    • CommentAuthorQayumKhan
    • CommentTimeOct 30th 2019

    In general, both the join notation and the link to the “joins” page within this “Milnor construction” page are mathematically incorrect.

    If XX and YY are compact Hausdorff spaces, it does indeed follow from the tube lemma that the quotient-topology join X*YX \ast Y equals the coarser Milnor join XYX \circ Y. Milnor carefully defined the latter in his 1956 article, as his application was to construct a model of EGE G for general topological groups GG.

    However, for example *pt\mathbb{R} \ast pt is strictly finer than pt\mathbb{R} \circ pt. That is, the special case of cones are different when dealing with noncompact spaces!

    The quotient-topology join is used amongst algebraic topologists, because it stays in the category of CW complexes. The Milnor join is popular amongst general/geometric topologists, because it stays in the category of metrizable spaces.

    My recent answer in MathOverflow may be useful to the author of this “Milnor construction” page. One possible way of fixing this error is to amend the “join” page to include the Milnor variant with his \circ notation, and then to refer specifically to that variant from here. I can be enlisted to help by the authors as needed.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeOct 30th 2019

    Thanks. I have changed “topological group” to “compact topological group” in the entry.

    But it remains a stub and I don’t have the intention to expand on it at the moment.

    If you would indeed have the energy to edit the entry and improve on it, that would be most welcome!

    • CommentRowNumber4.
    • CommentAuthorjim stasheff
    • CommentTimeJul 9th 2023
    Milnor's construction on this page is defined as the lim of n-fold joins, without specifying the inclusion on n-fold in n+1-fold
    For comparison with Dold Lashof, it matters.