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.
    • CommentAuthorUrs
    • CommentTimeSep 30th 2014
    • (edited Sep 30th 2014)

    Want to warm up with something that is really elementary, but I need to get back to speed here.

    There is a canonical O-action (“-action” really) on any infinite loop space, via the canonical O(n)-action on any n-fold loop space.

    Let’s produce some list of examples of these.

    To start with the simplest case: what’s the SO-action on K(,k)?

    I suppose it’s trivial. Like so: the action factors through the J-homomorphism

    SO×ΩXΩS×ΩXprecompΩX

    but the image of J on homotopy groups is pure torsion, and so there is no non-trivial action of the homotopy groups on the in K(,k), I suppose.

    By this reasoning then the action on K(U(1),k) may in principle have a nontrivial bit for k=1,3,7,8,9,11,.... But what is it exactly.

    This will be super-basic. What’s a standard reference that would list some such examples?

    • CommentRowNumber2.
    • CommentAuthorCharles Rezk
    • CommentTimeOct 1st 2014

    What is K(U(1),k), if not K(Z,k+1)?

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeOct 1st 2014
    • (edited Oct 1st 2014)

    I really mean the discrete group U(1) here, whence K() as opposed to B().

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeOct 1st 2014

    But generally, for A any (discrete) abelian group, I am wondering what’s the SO-action on K(A,n)?

    I am suspecting these actions are all trivial. Maybe I should use some universal coefficient argument to extrapolate from the case A=.

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeOct 1st 2014
    • (edited Oct 1st 2014)

    [wait]

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeOct 18th 2014

    I have added the statement that the canonical SO--action on Bn is trivial to cobordism hypothesis in this proposition with a brief indication of the proof. (A writeup spelling out more details is in section 3.2.2 of Local prequantum field theory (schreiber). I am still thinking somebody should tell me that this is a basic textbook excercise, please with a pointer to the textbook.)