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).
    • CommentRowNumber1.
    • CommentAuthorDylan Wilson
    • CommentTimeJan 24th 2013
    In the beginning of HTT Jacob advertises the notion of higher gerbes in the usual way, via a geometric interpretation of higher cohomology groups. Later, he gives a classification theorem which says something like "If n is at least 2, A is an abelian group object in an infinity topos, X, then A-banded n-gerbes are classified by elements of H^n+1 (X, A)" (here at the nLab I guess you call his n-gerbes "EM n-gerbes.")

    My question is: If I get rid of the assumption on n, but still have an abelian group object, etc., then what goes wrong with this classification? That is: In the special case that X corresponds to a space, and A corresponds to an abelian group, what is the difference between an (EM) 0-gerbe banded by A and an A-torsor? Similarly, what is the difference between an (EM) 1-gerbe banded by A and an A-banded gerbe (in the classical setting)?

    I tried to parse the nonabelian classification given on the nLab involving a slightly different notion of gerbe in order to apply it to this question, but couldn't manage it.

    I suppose another answer to my question would be a clear definition (for all n) of some objects that H^n+1(X, A) does classify. The end of the infty-gerbe article promises this in section 2.3 of something that Urs wrote, but I couldn't find a section 2.3 in the linked page... and clicking on "2." in the description of sections didn't seem to do anything... Maybe something's wrong with my browser.
    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeJan 24th 2013
    • (edited Jan 24th 2013)

    The short answer is: for A an abelian group object, A-1-gerbes are classified by Aut(BA)-cohomology, where Aut(BA) is the automorphism 2-group of A. This “contains” BA-cohomology but is richer.

    For instance if we are over the smooth site, then U(1)-gerbes are not equivalently U(1)-bundle gerbes (which are but a special case of the former), but are associated to (U(1)2)-principal 2-bundles, where (U(1)2)=Aut(BU(1)) is the 2-group coming from the crossed complex as indicated, with 2Aut(U(1)) acting canonically.

    The usual U(1)-bundle gerbes are instead (U(1)1)=BU(1)-principal 2-bundles (only).

    I’ll say more in the next message…

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeJan 24th 2013
    • (edited Jan 24th 2013)

    For a strange reason the literature on gerbes is abound with a certain confusion of terms, which somewhat hides a rather beautiful simple picture. The worst problem in the literature is that “gerbe” in the sense of Giraud, Breen etc. is a different notion to the “bundle gerbes” of Murray, Stevenson, etc. and then there is the tendency to drop the “bundle” in “bundle gerbe”. Even though these notions are of course related, they are conceptually crucially different and not equivalent. This non-equivalence is effectively what your question aims at.

    Here is the simple grand picture and general classification. Allow me to advertize for further details part I, section 4.4 “Gerbes” of our Principal ∞-bundles – theory, presentations and applications (schreiber) and for a bit more context sections 3.6.10 to 3.6.15 in differential cohomology in a cohesive topos (schreiber).

    So pick some ambient -topos H which contains all the sheaves, stacks, etc. over your favorite site.

    Then we have the following definitions and classifications, which should all at least sound entirely evident.

    1. For any V,XH a V-fiber ∞-bundle over X is a map EX such that there exists a 1-epimorphism UX and an -pullback diagram

      V×UEUX
    2. If VBG is pointed connected and hence equivalently the delooping/moduli -stack of an ∞-group G, then this is equivalentlya G-∞-gerbe.

      To repeat for emphasis: G-gerbes are BG-fiber bundles.

    3. A map PX with a G-∞-action on P over X is a G-principal ∞-bundle if the map is equivalently the quotient map PP//GX.

    Now the classification results:

    V-fiber -bundles are classified by Aut(V)-cohomology, where Aut(V) is the automorphism ∞-group of V as an internal group:

    VBund(X)H(X,BAut(G)).

    Moreover, the equivalence is established by sending a cocycle g:XBAut(G) first to its homotopy fiber PX, which is the corresponding Aut(V)-principal -bundle, and then forming the associated ∞-bundle EP×Aut(V)V. Equivalently, it is given by directly pulling back the universal V-fiber ∞-bundle, which is the homotopy fiber sequence

    VV//Aut(V)BAut(V)

    which itself is the pullback of the object classifier ^ObjObj of H along the inclusion of the 1-image of the name *VObj of V.

    Anyway, in particular therefore for GGrp(H) an group G-∞-gerbes BG-fiber ∞-bundles are classified by Aut(BG)-cohomology

    GGerbes(X)H(X,BAut(BG)).

    This is nonabelian cohomology and thus often regarded as something exotic. What is true is that you cannot use off-the-shelf homological algebra to compute it, but otherwise it’s an entirely mundane concept and already just slightly more sopisticated homological algebra in fact almost does the trick.

    For G an ordinary group object (a 0-truncated -group), the Aut(BG) is the “automorphism 2-group” of G given by the crossed complex

    Aut(BG)[GAdAut(G)].

    Accordingly there is a canonical map

    BGAutG

    and if G is at least a braided ∞-group (for instance an abelian ∞-group) then this is an -group homomorphism and hence has a further delooping to a map

    B2GBAut(G).

    This hence induces a map from ordinary degree-2 G-cohomology to Aut(G)-cohomology:

    H(X,B2G)H(X,BAut(G)).

    And this map is, finally, what injects G-principal 2-bundles which you may think of as G-bundle gerbes into actual G-gerbes.