Processing math: 100%
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).
  1. Let G be a Lie group and let BG be the smooth stack of principal G-bundles. Then we have a natural equivalence GΩBG. If we apply the internal hom [S1,] to the homotopy pullback diagram defining ΩBG (and if internal homs preserve homotopy pullbacks, something I need be reassured about) then we get a homotopy pullback diagram realizing the free loop space object G=[S1,G] as the based loop space of BG=[S1,BG]. On the other hand, since G is a smooth group, then so is G and we can consider the smooth stack BG, whose based loop space is again G.

    What is the relation between BG and BG? (if any)

    From what I read in the lines after equation (3.2) in Konrad Waldorf’s Spin structures on loop spaces that characterize string manifolds I guess that for a connected G the two stacks BG and BG should actually be equivalent, but I don’t clearly see this yet.

    • CommentRowNumber2.
    • CommentAuthorDavidRoberts
    • CommentTimeJun 4th 2013

    I guess simple-connectedness would play a role here, no?

  2. Could be: Konrad Waldorf writes “Since Spin(n) is connected, LFM is a principal LSpin(n)-bundle over LM, see etc. etc.”, which is the sentence I derived my guess from (here M is a spin manifold, FM is its frame bundle (i.e., the total space of the associated principal Spin-bundle) and L stands for “loop space”). But since Spin(n) is actually simply connected (Konrad work with high enough n), it may well be that the sentence should actually have read “Since Spin(n) is simply connected…”.

    • CommentRowNumber4.
    • CommentAuthorAndrew Stacey
    • CommentTimeJun 4th 2013

    I don’t know about the stacky-part, but in terms of Lie groups and their classifying spaces then L and B commute. Indeed, Map(X,) and B commute. For a Lie group G, we have the fibration sequence GEGBG with EG contractible. Then this maps to Map(X,G)Map(X,EG)Map(X,BG) which is still a fibration sequence. Moreover, the contraction of EG maps to a contraction of Map(X,EG) whence the base of the fibration is BMap(X,G). This argument works with C-maps or with CW-complexes or whatever you require. There’s no requirement of connectivity or simple connectivity.

    • CommentRowNumber5.
    • CommentAuthorDavidRoberts
    • CommentTimeJun 5th 2013

    Hmm, and we should use the fact we can take EG to be a group, so that Map(X,EG)/Map(X,G) is perfectly well-defined as a homogeneous space and is a model for BMap(X,G). And shouldn’t this be just Map(X,BG)?

    • CommentRowNumber6.
    • CommentAuthorAndrew Stacey
    • CommentTimeJun 5th 2013

    You don’t need it to be a group, just a principle LG-bundle.

  3. Hi,

    I guess the connectivity assumption is needed in order for Map(S1,BG) to be connected. If not, then it is only the conneceted component of the basepoint to be a BMap(S1,G). But connected should be enough, with no need of simple connectedness.

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeJun 5th 2013
    • (edited Jun 5th 2013)

    Yes, that the two stacks (-stacks) are equivalent follows directly from [S1,] preserving all -limits, which gives

    Ω[S1,BG][S1,ΩBG][S1,G]

    and hence by definition of B as the inverse equivalence in

    Grp(H)ΩBH*/1

    we have

    [S1,BG]B[S1,G]

    as soon as [S1,BG] is connected, which it is precisely if for all n there is an essentially unique G-principal infinity-bundle on the circle times the germ of an n-disk .

    (I am including some links just for the sake of eventual bystanders.)

    • CommentRowNumber9.
    • CommentAuthorAndrew Stacey
    • CommentTimeJun 5th 2013

    I’ve thought about this some more, and the connectivity assumptions are there to ensure that Map(X,BG) is connected since it is the identity component of this which is BMap(X,G).

    The reason being that a point of BMap(X,G) must have a lift to EMap(X,G)=Map(X,EG). Now a point of Map(X,BG) classifies a G-bundle over X and a lift of this to EG is a section, whence a trivialisation. Thus a point of Map(X,BG) is in BMap(X,G) if (and only if) the associated bundle is trivial, which occurs if and only if it is in the identity component of Map(X,BG).

    Thus the general statement is that:

    BMap(X,G)=Map0(X,BG)