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

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topological topology topos topos-theory tqft type type-theory universal variational-calculus

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.
    • CommentAuthordomenico_fiorenza
    • CommentTimeOct 22nd 2010
    • (edited Oct 22nd 2010)

    here is something I’ve been fighting with lately. it should be completely n-classical in terms of 2-groups and crossed modules, but since I am sistematically lost in the 2-groups diagrammatics I’ll write here what I have in mind, in the hope someone will tell me how this construction is n-classically named :)

    given an abelian group extension 1AGH1, we can consider the following 3-coskeletal simplicial set: there is exactly one vertex ; there is an edge g for each element in G; there is a 2-simplex with edges g1,g2,g3 and face aA for any such elements such that g1g2g3=a; there is a 3-simplex with faces a1,a2,a3,a4 (and elements from G on the edges) whenever i(1)iai=0.

    let me call B(G//A) this simplicial set. it should be a Kan complex (which is immediate, if I did not miss some point here) so it is the nerve of (the deloping of) a 2-group G//A. moreover there is a natural morphism B(G//A)BH (a weak equivalence, I guess) which fits into a commutative diagram B(G//A)cosk1BGBHcosk1BH

    • CommentRowNumber2.
    • CommentAuthorTim_Porter
    • CommentTimeOct 22nd 2010

    My thought is the following:

    The inclusion of A into G is a crossed module (therefore gives a 2-group). The simplicial set you give is the clasifying space of that crossed module (bar one or two details). The other facts follow in general as this 2-group has trivial second homotopy group (= kernel).

    There are numerous ways of looking at these things, e.g. classifying spaces of general crossed modules are discussed in the Menagerie, but that is not the only terminology one can use for these things.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeOct 22nd 2010
    • (edited Oct 22nd 2010)

    Right, so that 2-group I’d notationally identify with the crossed module (AG) as Tim says. This is a groupoid with G as its objects and morphisms labeled by A. It gives a one-object 2-groupoid B(AG), yes.

    The simplicial set you indicate is indeed the Duskin nerve NB(AG).

    And, yes, the obvious 2-functor

    B(AG)BH

    is an equivalence of 2-groupoids. You can check this for instance noticing that this is a k-surjective functor for all k, or equivalently of course by noticing that

    NB(AG)NBH

    is an acyclic Kan fibration.

    This weak equivalence, by the way, is the tool to extend the short exact sequence to the corresponding fiber sequence. In the -category of -groupoids this goes

    AGHBABGBHB2A.

    The last step is modeled in terms of strict functors by the 2-anafunctor

    B(AG)B(A1)=B2ABH
    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeOct 22nd 2010
    • (edited Oct 22nd 2010)

    I have added this discussion to group extension – Central extensions

  1. I have added this discussion to group extension – Central extensions

    just looked at it: isn’t B(AG) 3-coskeletal? (and not 2-coskeletal, I mean)

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeOct 22nd 2010
    • (edited Oct 22nd 2010)

    Yes, thanks. I have fixed it now.