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.
    • CommentAuthorziggurism
    • CommentTimeJan 29th 2020
    • (edited Jan 30th 2020)

    On the one hand, we have BG the space, or the BG the “delooping” one-object groupoid with morphisms G, which we might write G => *. These are closely related; the former is the geometric realization of the nerve of the latter.

    On the other hand we have BG the classifying topos or stack, which is (I think) the category of all principal G-bundles.

    The notation and similar role played by those objects suggest they are versions of the same thing. On nLab, we find in classifying topos it reads says that the correspondence of toposes GBund(X) = Topos(Sh(X), G) is analogous to the correspondence pi0 GBund(X) = pi Top(X,BG).

    Ok but is it just an analogy, or is there some kind of stackification or Yoneda process that turns BG the space/groupoid into BG the topos/stack? Or is there some kind of truncation or geometric realization process that turns BG the stack back into BG the space?

    In the article moduli stack it says the moduli stack *//G is the base of the universal principal bundle. Does that mean in the category of stacks? What’s the “total space” over *//G? Is it a stackified version of EG?

    It’s hard to believe that these theories are so utterly parallel just by coincidence without a literal connection.

    • CommentRowNumber2.
    • CommentAuthorDavidRoberts
    • CommentTimeJan 30th 2020
    • (edited Jan 30th 2020)

    The category of principal GG-bundles over is the stackification (over the category of base manifolds or spaces) of the one-object (Lie, topological, or plain) groupoid associated to GG.

    Does that mean in the category of stacks? What’s the “total space” over *//G*//G?

    Yes. The total space is the stack associated to the action groupoid G//GG//G (using the multiplication action of GG on itself), the projection is the equivariant map G*G\to *.

    • CommentRowNumber3.
    • CommentAuthorziggurism
    • CommentTimeJan 30th 2020

    Thanks David. Is there a reverse or adjoint process to “stackification”? Is there a way to recover a space or groupoid from a stack, to recover BG the category?

    • CommentRowNumber4.
    • CommentAuthorDmitri Pavlov
    • CommentTimeJan 31st 2020
    Re #3: The shape functors recovers a space from a stack.
    • CommentRowNumber5.
    • CommentAuthorziggurism
    • CommentTimeJan 31st 2020

    Thanks Dmitri. So if I do something like described at shape modality, it will turn the category of line bundles on topological spaces into the topological space RP^infinity?

    • CommentRowNumber6.
    • CommentAuthorDavidRoberts
    • CommentTimeJan 31st 2020

    Well, there’s the 2-category of presheaves of groupoids, and stackification goes from that to stacks, and it has a right adjoint, but it’s just the inclusion of a sub-2-category. In this instance, the presheaf is represented by an actual internal groupoid, and I don’t believe there’s a functorial way to go back that far. There’s a noncanonical way, namely if the stack is presentable/geometric, then it admits a nice sort of epimorphism from a representable sheaf (a chart/atlas/cover) and then one can cook up a groupoid from this. Different choices of cover will give rise to different, but Morita/weakly equivalent groupoids. If you are working in say topological spaces then you can geometrically realise the nerve of the groupoid to get a classifying space. Similarly with manifolds, but the result will be at best a diffeological space, in general.

    …, to recover BG the category?

    I’m not sure what you mean by this one.

    • CommentRowNumber7.
    • CommentAuthorDavidRoberts
    • CommentTimeJan 31st 2020
    • (edited Jan 31st 2020)

    (My post was directly after #3, but there was an error and it didn’t go up, and I didn’t notice until now).

    As far as I know, the shape construction more gets you a space representing a homotopy type, so I doubt you will get ℝℙ \mathbb{RP}^\infty on the nose, rather just some K(/2,1)K(\mathbb{Z}/2,1) space (assuming by “line bundles” you mean real line bundles).

    • CommentRowNumber8.
    • CommentAuthorDmitri Pavlov
    • CommentTimeJan 31st 2020
    Re #5: Yes, exactly. And it is very easy to see this, because in this case there is a simple formula for the shape functor:
    shape(F) = hocolim_{n∈Δ^op} F(Δ^n)

    Here F(M) is the nerve of the groupoid of real line bundles on M.

    F(Δ^n) is equivalent to the nerve of a groupoid with a single object
    because all line bundles on Δ^n are trivial.
    The automorphism group of this single object (i.e., the trivial line bundle on Δ^n)
    is precisely C^∞(Δ^n, R^⨯).

    Thus, F(Δ^n) is precisely B(C^∞(Δ^n, R^⨯)).

    Now
    shape(F) = hocolim_{n∈Δ^op} F(Δ^n) = hocolim_{n∈Δ^op} B(C^∞(Δ^n, R^⨯)) = B(hocolim_{n∈Δ^op} C^∞(Δ^n, R^⨯))
    = B(Sing(R^⨯)).
    The simplicial set Sing(R^⨯) is homotopy equivalent to Z/2,
    so we have B(Sing(R^⨯)) = B(Z/2).
    • CommentRowNumber9.
    • CommentAuthorziggurism
    • CommentTimeFeb 1st 2020

    Re #6

    Is there a way to recover a space or groupoid from a stack, to recover BG the category?

    I’m not sure what you mean by this one.

    Yeah I think just saying “BG the category” is too ambiguous, right? I meant “recover the category BG with one object and morphisms G (or the space which is geometric realization of same) from the category/stack of all principal G-bundles”.

    Because the former category is connected and the latter category is not, so it’s clear they are not equivalent as categories or have homotopy equivalent geometric realizations, so it must be a different notion of equivalence.

    But I heard you say Morita equivalence of groupoids, is this how these two groupoids are equivalent?

    • CommentRowNumber10.
    • CommentAuthorziggurism
    • CommentTimeFeb 1st 2020

    Re #8:

    Thank you Dmitri. This answer looks very helpful, thank you.

    • CommentRowNumber11.
    • CommentAuthorDavidRoberts
    • CommentTimeFeb 1st 2020
    • (edited Feb 1st 2020)

    OK, given the category GBunG\mathbf{Bun} of all principal GG-bundles, on manifolds, say, then you can take the terminal stack on the category of manifolds (i.e. Mfld\mathbf{Mfld} itself), and take the functor MfldGBun\mathbf{Mfld} \to G\mathbf{Bun} sending a manifold to the trivial bundle on it. This is a epimorphism of stacks from a representable stack (represented by the terminal manifold) that additionally is representable, and a submersion. Such a functor is called a cover. Take the comma object of this functor with itself, and the result is a representable stack, represented by GG. Then the (2-)Čech nerve of this truncated simplicial stack becomes a levelwise representable simplicial object, which is the nerve of BGBG.

    This story holds more generally for arbitrary differentiable stacks, but it’s not so often they come with a more-or-less canonical cover like GBunG\mathbf{Bun}.

    One level up, there’s an equivalence between the 2-category of differentiable stacks and the 2-category of Lie groupoids, anafunctors and transformations (a combination of results of Pronk and myself). Equivalence in this latter 2-category is the same as Morita equivalence.

    An analogous story holds in the topological category, or the algebraic category etc.

    • CommentRowNumber12.
    • CommentAuthorziggurism
    • CommentTimeFeb 6th 2020

    Thank you David.

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)