Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorUrs
• CommentTimeMar 26th 2010

edited decalage a bit

there was the statement that $Dec Y \to Y$ is a "fibration". I made that Kan fibration. Is that right?

• CommentRowNumber2.
• CommentAuthorTim_Porter
• CommentTimeMar 27th 2010

It certainly is a Kan fibration if Kis a simplicial group since it is clearly an epimorphism.

In general, I think it is fairly easy to prove. IDEA: Suppose you have a (n,k) horn in Dec K so a sequence of faces with a gap. Map that down to K where you are given a filler for the horn and hence know the gap and what fills things there. The filler is a n+2 simplex in K so gives an n+1 simplex in Dec K. I think that will be the filler up top. There was a moment when I had some doubts about the compatibility with respect to the last face, but in fact you are GIVEN a filler for the horn down the bottom so I don't think now there is a problem.

Does that look right?

• CommentRowNumber3.
• CommentAuthorHarry Gindi
• CommentTimeMar 27th 2010

You should add the link to PJ Ehlers's thesis here as well, which discusses all of this in detail (and has become pretty much my standard source for all of this simplicial homotopy theory ) stuff.

• CommentRowNumber4.
• CommentAuthorUrs
• CommentTimeMar 29th 2010
• (edited Apr 26th 2012)

It should be true that when $X_0 = *$ that the decalage $\mathrm{Dec} X$ of $X$ is the pullback along $X^{\Delta^1} \stackrel{d_1}{\to} X$ of $\Delta^0 \to X$. Do we have a discussion of this in the literature anywhere?

[ edit: this is of course not true: the decalage gives a smaller model for $X^I \times_X X_0$ ]

• CommentRowNumber5.
• CommentAuthorUrs
• CommentTimeMar 29th 2010

I added a query box to decalage on this point

• CommentRowNumber6.
• CommentAuthorHarry Gindi
• CommentTimeMar 29th 2010
• (edited Mar 30th 2010)

Edit:

@Urs: Yes, you actually can describe it that way. In Ehlers's thesis, he defines the internal hom in terms of the Décalage, because the latter is easier to describe explicitly.

• CommentRowNumber7.
• CommentAuthorTim_Porter
• CommentTimeMar 30th 2010

beware, which 'internal hom'. The join is the tensor ofor an internal hom on augmented sSet, but this is not thee same as the usual internal hom, so 'an internal hom' would be safer wording.

• CommentRowNumber8.
• CommentAuthorUrs
• CommentTimeMar 30th 2010
• (edited Apr 26th 2012)

[ old stupid remark removed ]

• CommentRowNumber9.
• CommentAuthorUrs
• CommentTimeJul 3rd 2021
• (edited Jul 3rd 2021)

I moved the example of simplicial classifying spaces from the last paragraph of the Idea-section to a first subsection of the Examples-section (now here).

Incidentally, it used to say (and still says):

A central application is the special case where $X = \overline{W} G$ is the simplicial classifying space of a simplicial group $G$ (see at simplicial principal bundle). In this case $Dec_0 \overline{W} G$, called $W G$, is a standard model for the universal simplicial principal bundle.

But that seems wrong to me, if we stick to standard conventions. I have added this followup remark:

Or rather, with the conventions used at simplicial classifying spaces (which are those of Goerss & Jardine, p. 269) we have $W G \,=\, Dec^0(\overline{W}G)$ (shifting and forgetting the first, i.e. 0th, face-and degeneracy maps.)

• CommentRowNumber10.
• CommentAuthorUrs
• CommentTimeJul 3rd 2021
• (edited Jul 3rd 2021)

It feels like there ought to be a slick way to use décalage to produce a simplicial model for the relation $\big[ \mathbf{B}\mathbb{Z}, \mathbf{B}\mathcal{G} \big] \;\simeq\; \mathcal{G} \!\sslash_{\!\!ad}\! \mathcal{G}$, for any $\infty$-group (simplicial group) $\mathcal{G}$. But if so, I don’t see it yet. Does anyone know?

• CommentRowNumber11.
• CommentAuthornasosev
• CommentTimeApr 4th 2022

There appears to be a typo in the section ’Morphisms out of the décalage’ in the line starting with ’the vertical morphism is given in degree $0$ by…’: $s_0$ should be replaced by $d_0$.