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 17th 2013
    • (edited Oct 17th 2013)

    Inspired by Matthew Ando’s talk at the Conference on twisted cohomology that I am currently attending, I finally typed up a note on

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeOct 18th 2013
    • (edited Oct 18th 2013)

    I have now added what I think is a (simple) formal proof that a Heis( WZW)Heis(\mathcal{L}_{WZW})-structure on some BB induces a GG-fiber \infty-bundle on BB equipped with a map to B nU(1) conn\mathbf{B}^n U(1)_{conn} which restricts on each fiver to WZW\mathcal{L}_{WZW}. (I still need an argument that this G-bundle is indeed G-principal).

    This is at

    Leaving the WZW-terminology aside, this is completely general and formal and has nothing specifically to do with the special situation.

    I am using the following general abstract statements, which I hope I am not mixed up about:

    1. dependent sum preserves fiber products (because limits over cospan diagram in the slice are computed as limits over the corresponding co-cone diagrams down in the base and the inclusion of a cospan diagram into its co-cone diagram is final)

    2. by the same argument dependent sum preserves effective epimorphisms .

    Maybe some abstractly-minded reader can help me see why the argument at the above link also shows GG-principality (if it does).

    • CommentRowNumber3.
    • CommentAuthorDavidRoberts
    • CommentTimeOct 18th 2013

    Isn’t there a universal version of this over BG?

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeOct 19th 2013
    • (edited Oct 19th 2013)

    Over BHeis( WZW)\mathbf{B} Heis(\mathcal{L}_{WZW}). That’s what I am trying to construct.

    So far I have explicit constructions in local models and I have a general formal argument that lifts from GG-cocycles to Heis( WZW)Heis(\mathcal{L}_{WZW}) cocycles induced GG-fiber \infty-bundles with an nn-connection on the total space that restricts on each fiber to WZW\mathcal{L}_{WZW}. What I am still lacking is a general formal argument that this GG-fiber bundle is the GG-principal bundle classified by the underlying GG-cocycle.

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeFeb 3rd 2015

    Prodded by discussion with Eric Sharpe, I have added to the entry pointers to the original articles by Jim Gates, such as Gates-Siegel 88.

    Then I have replaced some of the discussion in the entry by pointers to the meanwhile more comprehensive note cwzw. Eventually I’ll go back and turn this into nnLab material. For the moment I have just expanded the Idea-section a little bit, mentioning more of the story for the heterotic string.

    Much more needs to be done here.

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)