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

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.
    • CommentAuthorUrs
    • CommentTimeOct 4th 2013

    added a table with some homotopy groups in the unstable range to orthogonal group – Homotopy groups

    • CommentRowNumber2.
    • CommentAuthorDavidRoberts
    • CommentTimeNov 27th 2014

    Extended by two rows. SO(6)SO(6) is the highest rank in which peculiar things happen below dimension 10. I think it would be good to extend it up to π 11\pi_11 or π 12\pi_12. Mimura and Mimura-Toda have this information for the last two rows. I’m looking around to see if I can find it for the other groups.

    • CommentRowNumber3.
    • CommentAuthorDavidRoberts
    • CommentTimeNov 27th 2014
    • (edited Nov 27th 2014)

    Ah, the venerable Encyclopedic Dictionary of Mathematics has a nice big table of these homotopy groups, for all the groups of interest. Also, the Abanov document has evaporated off the web.

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeNov 27th 2014

    Is there a way to see this online? In GoogleBooks somewhere?

    • CommentRowNumber5.
    • CommentAuthorDavidRoberts
    • CommentTimeNov 27th 2014
    • (edited Nov 27th 2014)

    Not that I’m aware of, which is a pity.

    I’m sticking the table in, at least up to π 12(SO(12))\pi_12(SO(12)), since this probably covers all the orthogonal/homotopy groups of interest to string theory. I can do more if requested; the table goes up to π 15(SO(17))\pi_15(SO(17)).

    • CommentRowNumber6.
    • CommentAuthorDavidRoberts
    • CommentTimeNov 27th 2014

    In fact, in writing this out, it becomes clear that something different is going to happen for Ninebrane, since stably (SO(11)SO(11) and beyond, hence in the right range for 11d supergravity) we have nontrivial torsion homotopy groups in dimension 8 and 9. SO(11)SO(11) also has a nonstable /2\mathbb{Z}/2 in π 10\pi_10, and its π 11\pi_11, though \mathbb{Z}, is not in the stable range. Hmm

    • CommentRowNumber7.
    • CommentAuthorDavidRoberts
    • CommentTimeNov 27th 2014

    One can see a copy of the table in the EDM in page 970 of the Handbook of Algebraic Topology This chapter, number 19, was written by Mimura.

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeNov 27th 2014

    Thanks for expanding the table so much!

    Yes, ninebrane structure is meant to kill just the fractional p 3p_3 of a Fivebrane structure, not the two /2\mathbb{Z}/2\mathbb{Z}-copies in between.

    The way this appears in string theory is not actually that the structure group needs to be highly connected as such (that happens to be a byproduct), it’s that the polynomials in the p ip_i appear as anomalies, and these need to be removed.

    • CommentRowNumber9.
    • CommentAuthorDavidRoberts
    • CommentTimeNov 27th 2014

    But how does one get the fractional p 3p_3? Does this exist even if the structure group doesn’t lift through those two copies?

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeNov 27th 2014

    There is a p 3\mathbb{Z}/2\mathbb[p_3 on BFivebraneB \mathrm{Fivebrane} pulled back from BStringB \mathrm{String} and it will be a multiple of something. Do you mean how to pick the specific fraction?

    The way I suggested to do it is just to let the process of higher Lie integration run. There is that L L_\infty-cocycle μ 12\mu_{12} on 𝔣𝔦𝔳𝔢𝔟𝔯𝔞𝔫𝔢\mathfrak{fivebrane} and just integrating that as in Cech Cocycles for Differential characteristic Classes (schreiber) gives some BNinebrane\mathbf{B} \mathrm{Ninebrane} whose geometric realization is a candidate BNinebraneB \mathrm{Ninebrane}. I don’t know what the fraction comes out as, but the way the Lie integration works one is guaranteed that one kills a minimal element.

    • CommentRowNumber11.
    • CommentAuthorDavidRoberts
    • CommentTimeNov 27th 2014

    Ah, so the fact it’s a Lie algebra theoretic fact means you don’t see the /2\mathbb{Z}/2? I worry though that in doing the Lie integration one needs to pick at some point a filler of some simplex. But let me remind myself how it works, first, before complaining it doesn’t! :-)

    (reads…)

    OK, I see. It’s just a formal thing, but one can then ’go down’ the Whitehead tower and construct the quotients by various to get the intermediate stages. The Lie integration just skips them altogether.

    One point: under Lie integration#integrating_the_string_lie_2algebra_to_the_string_lie_2group there is what I think is a typo: D * 2D\mathbf{B}^n\mathbb[D^2_\ast \to D should probably by D * 2GD^2_\ast \to G, but I hesitate to change in case I’ve missed something.

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeNov 27th 2014

    Yes! Absolutely.

    And yes, that should be a typo. If you have a second, please fix it. Myself I need to rush off..

    • CommentRowNumber13.
    • CommentAuthorDavidRoberts
    • CommentTimeNov 27th 2014

    Will do.

    • CommentRowNumber14.
    • CommentAuthorDavidRoberts
    • CommentTimeMar 24th 2015

    Fixed two errors in the table in the SO(6)SO(6) row.

    • CommentRowNumber15.
    • CommentAuthorUrs
    • CommentTimeMar 24th 2015

    thanks. I wonder what happened there. Did I just make a misprint while copying? Probably.

    • CommentRowNumber16.
    • CommentAuthorDavidRoberts
    • CommentTimeMar 24th 2015

    @Urs, no it was probably me, since I added the citation for the SO(6)SO(6) row via the exceptional isomorphism.

    • CommentRowNumber17.
    • CommentAuthorUrs
    • CommentTimeMay 3rd 2016
    • (edited May 3rd 2016)

    I have added to orthogonal group:

    • statement and proof that O(n)O(k)O(n) \hookrightarrow O(k) is an (n1)(n-1)-equivalence (here)

    • statement and proof that the Stiefel manifold V n(k)V_n(k) is (n1)(n-1)-connected (here).

    The latter I am also copying over to Stiefel manifold

    • CommentRowNumber18.
    • CommentAuthorUrs
    • CommentTimeMay 4th 2016

    I have now added the analogous statements with their analogous proofs also to unitary group.

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)