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 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 history homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie lie-theory limit 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 string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory 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 1AGH11\to A\to G\to H\to 1, we can consider the following 3-coskeletal simplicial set: there is exactly one vertex \bullet; there is an edge g\bullet\stackrel{g}{\to}\bullet for each element in GG; there is a 2-simplex with edges g 1,g 2,g 3g_1,g_2,g_3 and face aAa\in A for any such elements such that g 1g 2g 3=ag_1g_2g_3=a; there is a 3-simplex with faces a 1,a 2,a 3,a 4a_1,a_2,a_3,a_4 (and elements from GG on the edges) whenever i(1) ia i=0\sum_i(-1)^i a_i=0.

    let me call B(G//A)\mathbf{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//AG//A. moreover there is a natural morphism B(G//A)BH\mathbf{B}(G//A)\to \mathbf{B}H (a weak equivalence, I guess) which fits into a commutative diagram B(G//A) cosk 1BG BH cosk 1BH \begin{matrix} \mathbf{B}(G//A)&\hookrightarrow& \mathbf{cosk}_1\mathbf{B}G\\ \downarrow &&\downarrow\\ \mathbf{B}H &\to &\mathbf{cosk}_1\mathbf{B}H \end{matrix}

    • CommentRowNumber2.
    • CommentAuthorTim_Porter
    • CommentTimeOct 22nd 2010

    My thought is the following:

    The inclusion of AA into GG 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)(A \to G) as Tim says. This is a groupoid with GG as its objects and morphisms labeled by AA. It gives a one-object 2-groupoid B(AG)\mathbf{B}(A \to G), yes.

    The simplicial set you indicate is indeed the Duskin nerve NB(AG)N \mathbf{B}(A \to G).

    And, yes, the obvious 2-functor

    B(AG)BH \mathbf{B}(A \to G) \to \mathbf{B}H

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

    NB(AG)NBH N\mathbf{B}(A \to G) \to N \mathbf{B}H

    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 \infty-category of \infty-groupoids this goes

    AGHBABGBHB 2A. A \to G \to H \to \mathbf{B}A \to \mathbf{B}G \to \mathbf{B}H \to \mathbf{B}^2 A \,.

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

    B(AG) B(A1)=B 2A BH \array{ \mathbf{B}(A \to G) &\to & \mathbf{B}(A \to 1) = \mathbf{B}^2 A \\ {}^{\mathrlap{\simeq}}\downarrow \\ \mathbf{B}H }
    • 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)\mathbf{B}(A\to G) 3-coskeletal? (and not 2-coskeletal, I mean)

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

    Yes, thanks. I have fixed it now.