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

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry bundle bundles calculus 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 finite foundations functional-analysis functor galois-theory gauge-theory gebra geometric-quantization geometry graph graphs gravity 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 homology homotopy homotopy-theory homotopy-type-theory index-theory infinity integration integration-theory itex k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure measure-theory modal modal-logic model model-category-theory 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 planar 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.
    • CommentAuthorMike Shulman
    • CommentTimeNov 27th 2018

    Correct the characterization of nerves of groupoids.

    diff, v54, current

    • CommentRowNumber2.
    • CommentAuthorDmitri Pavlov
    • CommentTimeOct 25th 2019

    Added redirects.

    diff, v58, current

    • CommentRowNumber3.
    • CommentAuthorGuest
    • CommentTimeDec 16th 2019
    I don't believe the bar construction of a group is exactly the same, on-the-nose, as the nerve of the one-object group of a small category. In particular, the indexing is not the same - they are off by one. There are also a different number of maps in between G^n and G^n+1 at each n. If we are trying to understand these objects deeply we should be concerned with the details and not just identify objects when they look the same at a high level! Some nontrivial quotienting or downshifting or other fiddling has to be done to get them to agree.

    To be precise, if you let G be a discrete group, and let G x - : Sets -> Sets be the monad that takes a set X and returns the "free G-set" G x X, then it's possible to carry out the bar resolution with respect to this monad described in the link in that section. This is clearly what is implied by the link. You would then apply the resulting series of functors to say, the singleton {*} equipped with the trivial group action, and get an augmented simplicial G-set. The empty set maps to *. The singleton [0] maps to the comonad iterated once, i.e. G x {*} \cong G. [n] maps to G^{n+1}.

    But there is some confusion here. The nerve of a category is not augmented, unless you include the empty category; in this case there is an augmentation (but that's not the easy fix to this problem it might appear to be at first glance). In the diagram I wrote above, the ordinal [0] would map to G, and in general [n] to G^{n+1}. This is not what happens when you take the nerve of a one-object category. You get that [0] maps to the set of objects, which in the case of a one object of a category is a singleton, {*}. And [n] maps to G^n, the set of composable strings of n-morphisms.

    A better insight into what's going on is provided by looking at for example Peter May's book "A Concise Course in Algebraic Topology." What the bar construction gives you, if I understand his writing correctly, is the simplicial G-set EG. The quotienting of this by the action of G is the desired BG.

    Would love someone to write up a full exposition of the connection between these that takes this subtlety into account.
    • CommentRowNumber4.
    • CommentAuthorTodd_Trimble
    • CommentTimeDec 17th 2019

    Guest, you’re right. What the section gives you is EGE G, not BGB G. I usually keep this straight in my head by using two-sided bar constructions, so NBG=B(1,G,1)N B G = B(1, G, 1), whereas EG=B(G,G,1)E G = B(G, G, 1) gives you the contractible total space. I will fix in a moment.

    • CommentRowNumber5.
    • CommentAuthorTodd_Trimble
    • CommentTimeDec 17th 2019

    Added a correction to the section on bar construction (h/t to Guest), linking instead to two-sided bar construction.

    diff, v59, current

    • CommentRowNumber6.
    • CommentAuthorMike Shulman
    • CommentTimeDec 17th 2019

    I’m confused; is the point that “the usual bar construction of GG” would be interpreted by some people as referring to EGE G rather than BGB G?

    • CommentRowNumber7.
    • CommentAuthorTodd_Trimble
    • CommentTimeDec 17th 2019

    I think the real point Guest was making is that the article had misidentified the nerve of BGB G (or BAB A), by writing down instead the simplicial object for EGE G. The article also linked to bar construction, largely written by me, where the discussion is about various acyclic resolutions of structures, for example the machine which produces a standard acyclic free G\mathbb{Z}G-resolution of \mathbb{Z} for the purpose of defining group cohomology. Formally that would be more like EG=B(G,G,1)E G = B(G, G, 1) which “resolves a point”.

    • CommentRowNumber8.
    • CommentAuthorMike Shulman
    • CommentTimeDec 17th 2019

    Got it, thanks.

  1. Off by one error

    Béranger Seguin

    diff, v60, current

  2. Added 2 pictures: one of a 22-simplex of N(𝒞)N(\mathcal{C}) and the other of a 33-simplex.

    diff, v63, current

  3. Added a pointer to the page on the Street nerve of a tricategory.

    diff, v65, current

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)