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 comma 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 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 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.
    • CommentAuthorUrs
    • CommentTimeJun 30th 2010

    at simplicial group I added/expanded the section delooping and simplicial principal bundles

    I discuss this in revisionistic terms meant to exhibit the simple general underlying structure, and then try to spell out how it corresponds to vaarious explicit constructions in the literature, trying to point out page and verse in May’s “Simplicial objects in algebraic topology” and discuss how that yields what I am discussing.

    By the way, did anyone ever find the time to make a sanity check of my query-box claim at decalage that forming decalage in sSet is nothing but forming the standard based path space object?

    • CommentRowNumber2.
    • CommentAuthorTodd_Trimble
    • CommentTimeJun 30th 2010
    • (edited Jun 30th 2010)

    Don’t worry, Urs – you’re completely sane. At least in this instance ;-)

    I think maybe your argument can be simplified, but I don’t have time to look into this now. Maybe later.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeJun 30th 2010

    Thanks for the peer review, Todd!

    This motivated me to make the statement a formal proposition with formal proof at decalage. Also expanded and edited the entry further, adding in particular an Idea-section that uses this statement to give a good idea of the nature of decalage.

    I know – thanks to chat with Danny Stevenson – precisely one point in the literature where the (evident) observation that for G a simplicial group the thing called WGW G is nothing but decalage of the thing called W¯G\overline{W} G is stated more or less explicitly. That’s on page 85 of Duskin’s “Simplicial methods”. Does anyone know of any other reference that does? I would like to list them withj page and verse on this statement in the nLab etry.

    • CommentRowNumber4.
    • CommentAuthorJohn Baez
    • CommentTimeJun 30th 2010

    Have you tried Tim Porter’s enormous electronic tome on simplicial methods? I remember him talking a lot about decalage in his talks at the Barcelona 2-group conference.

    (It’s probably more efficient to ask Tim than to look through that book… but sorry, I’m too lazy to do this.)

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeJun 30th 2010
    • (edited Jun 30th 2010)

    Have you tried Tim Porter’s enormous electronic tome on simplicial methods?

    In crossed menagerie (timporter) the fact that “twisted Cartesian products” are nothig but pullbacks of a universal twisted product is made explicit, but this fact – maybe with less emphasis or more between the lines – has been in the literature for long. The literature that I am aware of I listed at simplicial group – delooping and bundles – references .

    But the fact that I am after, that everythig is much simpler even and all the “twisted” structures nothing but explicit components for the abstractly and easily defined homotopy fiber I don’t see in the menagerie (though maybe it’s there, I haven’t read the full thing).

    The only somewhat intermediate step to this statement in the literature that I am aware of is Duskin’s remark on p. 85 of “Simplicial methods…” where he observes that the “universal twisted product” is just the decalage of BG\mathbf{B}G, which unfortunately is written W¯G\overline{W}G in the literature.

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeJun 30th 2010
    • (edited Jun 30th 2010)

    page 239 mentions the fiber sequence GWGW¯GG \to W G \to \overline{W}G

    • CommentRowNumber7.
    • CommentAuthorTodd_Trimble
    • CommentTimeJul 3rd 2010
    • (edited Jul 3rd 2010)

    Urs, I owe you an apology. It seems there’s something a little fishy about the claim after all. (And it teaches me that you have to be careful in the simplicial world, because things happen there that you wouldn’t expect from experience with TopTop. I forget this at times.) I discovered the fishiness while following up on my claim that your argument can be simplified.

    Both sides of the asserted isomorphism

    Dec(Y)()Y(1+)Y Δ 1× YY 0Dec(Y)(-) \coloneqq Y(1 + -) \cong Y^{\Delta_1} \times_Y Y_0

    has a left adjoint. (Here Y 0Y_0 is the discrete simplicial set on the set of 0-simplices.) The left adjoint of decalage is the left Kan extension along yoneda ΔSet Δ op\Delta \to Set^{\Delta^{op}} of

    Δ1+ΔyonedaSet Δ op,\Delta \stackrel{1 + -}{\to} \Delta \stackrel{yoneda}{\to} Set^{\Delta^{op}},

    and the left adjoint of the other side is given by pushout of

    Y {0}×1 Δ 1×Y π π 0(Y) \array{ Y & \stackrel{\{0\} \times 1}{\to} & \Delta_1 \times Y \\ \pi \downarrow & & \\ \pi_0(Y) & & }

    (because Δ 1×\Delta_1 \times - is left adjoint to () Δ 1(-)^{\Delta_1}, and π()\pi(-) is left adjoint to () 0)(-)_0). Since left adjoints preserve colimits and every simplicial set YY is a colimit of representables, we’d just have to show that the left adjoints are isomorphic when restricted to representables Y=Δ n=Δ(,[n+1])Y = \Delta_{n} = \Delta(-, [n+1]) (naturally in nn). Since π 0(Δ n)=1\pi_0(\Delta_n) = 1, we’d just have to show the following is a pushout (and naturally so in nn).

    Δ n 0×id I×Δ n 1 Δ 1+n\array{ \Delta_n & \stackrel{0 \times id}{\to} & I \times \Delta_n \\ \downarrow & & \downarrow \\ 1 & \to & \Delta_{1+n} }

    The only problem is that this is false (!). For this to be a pushout, we have to check that it is a pushout objectwise, i.e., that we have a pushout of sets

    Δ([m],[1+n]) 0×id Δ([m],[2])×Δ([m],[1+n]) 1 Δ([m],[2+n])\array{ \Delta([m], [1+n]) & \stackrel{0 \times id}{\to} & \Delta([m], [2]) \times \Delta([m], [1+n]) \\ \downarrow & & \downarrow \\ 1 & \to & \Delta([m], [2+n]) }

    Take n=1n=1, m=2m=2. If you take cardinalities of sets, you would get a false pushout:

    3 9 1 6\array{ 3 & \hookrightarrow & 9 \\ \downarrow & & \downarrow \\ 1 & \to & 6 }

    because the lower right corner of the pushout ought be 77, not 66.

    I can explain in more geometric language what is happening. In dimension n=1n=1, we are taking a simplicial square I×II \times I and then contracting the edge 0×I0 \times I to a point. So this contracts the 1-simplex (0,0)(0,1)(0, 0) \to (0, 1) to a point. But the quotient does not identify the 1-simplex (0,1)(1,1)(0, 1) \to (1, 1) with the diagonal simplex (0,0)(1,1)(0, 0) \to (1, 1). Thus there are four nondegenerate 1-simplices in the pushout, whereas we expect just three in the cone Δ 2\Delta_2. Similarly, there are two nondegenerate 2-simplices in the pushout, but only one in Δ 2\Delta_2.

    I was pretty shocked when it began to dawn on me that something was wrong, because it upsets something that I have assumed as obviously true for years. But I’m pretty sure that the above is error-free.

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeJul 4th 2010
    • (edited Jul 4th 2010)

    Thanks, Todd, of course you are right. Silly me. I’ll fix entry as soon as I have a minute…

    • CommentRowNumber9.
    • CommentAuthorTodd_Trimble
    • CommentTimeJul 4th 2010

    Ha, you think you feel silly? I wonder if I’ll be able to track down all the places I’ve been spreading the lie myself! (And my erroneous belief was so deeply ingrained that it took me quite some time to be convinced it really was a mistake.)

    Don’t feel silly. I think in fact it’s a very easy trap to fall into. (Not long ago there was an MO thread on falling into mathematical traps…)

    While I’m in a confessional mood, I’ll mention that last night I fixed a mistake I had perpetrated quite a while ago at connected space. I had long suspected there was a mistake there, and was just about to break down and ask MO for a counterexample, when I finally managed to find one.

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeJul 4th 2010

    Thanks, Todd, but I feel I should have known better.

    But also I feel, most mistakes are there so that we learn somehting. Here is still something to be learned I think:

    after all, the main point I found noteworthy was

    1. decalage is a fibration replacemnt of the morphism X 0XX_0 \to X for fibrant XX;

    2. there is a canonical such fibration replacement, namely X I× XX 0X^I \times_X X_0.

    Then I concluded erroneously that both replacments are in fact isomorphic. But as we have seen now, in fact decalage gives a smaller replacement.

    For the moment I just rolled back the entry. Eventually I would like to restorre a corrected version of my last expanded version with a discussion of ho decalage factorizes the standard fibration replacement.

    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeJul 20th 2010

    added to simplicial group the statement that for a principal action of a simplicial group GG on a Kan complex P, the quotient map

    PX:=P/G P \to X := P/G

    is always a Kan fibration.

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeAug 10th 2011

    I have added statement and proof of the observation that for any simplicial group GG there is a fiber sequence of Kan complexes

    G 0GBΩG/G 0 G_0 \to G \to B \Omega G/G_0

    in simplicial group – properties – fiber sequences.

    • CommentRowNumber13.
    • CommentAuthorUrs
    • CommentTimeSep 14th 2011

    In the References-section at simplicial group I have added two more items for John Moore with the original proof that simplicial groups are Kan, using the information that is being thrown around currently on the CatTheory mailing list

    • CommentRowNumber14.
    • CommentAuthorzskoda
    • CommentTimeSep 14th 2011

    So 1954 is the year of the theorem…

    • CommentRowNumber15.
    • CommentAuthorjim_stasheff
    • CommentTimeSep 14th 2011
    @urs: one point in the literature where the (evident) observation that for G a simplicial group the thing called
    WG is nothing but decalage of the thing called
    W¯G is stated more or less explicitly

    and the following discussion - if I only knew what decalage meant! I know - I can follow the links
    had I but world enough and time
    • CommentRowNumber16.
    • CommentAuthorDavidRoberts
    • CommentTimeSep 15th 2011

    The decalage is the simplicial version of the path space. So WG=DecW¯GWG = Dec \overline{W}G is morally like PBGPBG, the based path space of the classifying space. Except that DecW¯GDec \overline{W}G is a simplicial group (well, not explicitly - it is iso to the underlying simplicial set of a simplicial group), with GG as a subgroup and WG/G=W¯GWG/G = \overline{W}G.

    • CommentRowNumber17.
    • CommentAuthorjim_stasheff
    • CommentTimeSep 15th 2011
    The example was clear but I had to find out what (mathematical) decalage meant by following the link
    will now consult a French dictionary for the street meaning

    \bar WG is no more unfortunate than any other historical notations
    cf BA only the full two sided notation B(M,A,N) is unambiguous

  1. At simplicial group I can’t find what I thought was the basic example, i.e., the singular simplicial complex of a topological group. so maybe I’m wrong and that is actually not an example? or have I missed that example from the page on simplicial groups?

    • CommentRowNumber19.
    • CommentAuthorTodd_Trimble
    • CommentTimeFeb 24th 2014

    It should be an example because singularization is a right adjoint and therefore preserves the finite product diagrams that express something as a topological group.

    • CommentRowNumber20.
    • CommentAuthorMike Shulman
    • CommentTimeJan 2nd 2015

    Does anyone know to what extent the simplicial theory of things like WGW G and W¯G\overline{W} G can be extended from simplicial groups to grouplike simplicial monoids?

    • CommentRowNumber21.
    • CommentAuthorMike Shulman
    • CommentTimeJan 2nd 2015

    In particular, I’m wondering about a simplicial version of May’s theorem 7.6 from Classifying spaces and fibrations that if GG is a grouplike topological monoid, then EG× BGX=B(*,G,X)BGE G\times_{B G} X = B(*,G,X) \to B G is a quasifibration.

    • CommentRowNumber22.
    • CommentAuthorZhen Lin
    • CommentTimeJan 2nd 2015

    The proof of Quillen’s theorem B uses a lemma (cf Lemma 5.7 in [Goerss and Jardine, Ch. IV]), that essentially says that B(*,𝒞,X)N𝒞B (*, \mathcal{C}, X) \to N \mathcal{C} is a quasifibration for any category 𝒞\mathcal{C} and any homotopically constant diagram X:𝒞sSetX : \mathcal{C} \to sSet. It seems to me that this generalises to simplicially enriched categories 𝒞\mathcal{C} as well.

    • CommentRowNumber23.
    • CommentAuthorMike Shulman
    • CommentTimeJan 2nd 2015

    And, of course, any action by a grouplike monoid is homotopically constant. Thanks!

    • CommentRowNumber24.
    • CommentAuthorUrs
    • CommentTimeJul 4th 2021

    Where Moore’s theorem is stated (here), I added more pointers to references, such as to

    and also pointer to where in Weibel’s book this is stated and proven.

    diff, v64, current

    • CommentRowNumber25.
    • CommentAuthorUrs
    • CommentTimeMay 14th 2023

    added pointer to

    for another account of Moore’s theorem

    diff, v68, current

    • CommentRowNumber26.
    • CommentAuthorTim_Porter
    • CommentTimeJul 24th 2023

    Changed some slightly awkward wording.

    diff, v73, current