Given an augmented simplicial object $d_\bullet:X_\bullet \to \Delta X_{-1}$, suppose there's a simplicial map $s_\bullet :\Delta X_{-1}\to X_\bullet$ making $d_\bullet$ a deformation retract, i.e such that $d_\bullet$ is both a retract and a homotopy-section of $s_\bullet$. This is equivalent to providing the augmented simplicial object with an "extra degeneracy" (just an alternative description of the simplicial homotopy axioms in this case). Such an extra degeneracy of an augmented simplicial object will be called a splitting.

Let $\mathrm{S}$-$s\mathsf C$ denote the category of split simplicial objects (with fixed splitting) and simplicial arrows between them respecting the simplicial homotopies. This category admits a forgetful functor to simplicial objects $s\mathsf C$.

On page 20 of Duskin's Simplicial Methods and the Interpretation of Triple Cohomology (AMS page), the author remarks this forgetful functor is a left adjoint to a shifting functor defined by deleting the top face map, viewing the top degeneracy as an extra one, and shifting to a lower index. (The simplicial homotopy is defined by $h_i=s_0^{n-i}s_{n+1}d_0^{n-i}$.)

Moreover, the author writes this shifting functor $s\mathsf C\to \mathrm{S}$-$s\mathsf C$ is monadic. In other words, simplicial objects are monadic over split simplicial objects.

  1. What's the intuition behind the fact the shifting functor actually takes values in split simplicial objects? This seems strange to me - as if saying a simplicial object becomes contractible if you forget the top face map. How can that be?

  2. What's the intuition behind monadicity? An algebra over a split simplicial object (which is already a structured simplicial object) is an arrow to it, so how can additional structure on an already structured object yield back the original notion of object and arrow?

Added. I am looking for naive geometric intuition for these facts, namely: 1. that a simplicial object becomes contractible upon merely forgetting a face map and reindexing; 2. simplicial objects are monadic over split ones. Ideally, I would like an example of what the contraction deformation retract actually does to the Décalage of a non-contractible simplicial complex, say the boundary of a tetrahedron.

  • 1
    $\begingroup$ For 1., It's worth considering examples. Taking the nerve of the one-object groupoid associated to a group and then applying the "shifting" functor (also called the décalage, Dec) you get the simplicial object that Segal uses to build the total space of the universal bundle for that group. May I suggest my paper nyjm.albany.edu/j/2013/19-5.html ? There the functor W is a special case of Dec, in the world of simplicial groups (or more general multisorted Lawvere theories, as I consider) $\endgroup$ – David Roberts Sep 3 '17 at 1:26
  • $\begingroup$ @DavidRoberts thank you for the reference. Unfortunately I don't understand what geometric insight I am supposed to get out of the group example. I feel my question is much more naive/philosophical - what's the geometric content to 1. the fact a simplicial object becomes contractible upon merely forgetting some structure; 2. the monadicity result. I have edited the question to emphasize I'm looking for naive geometric intuition. $\endgroup$ – Arrow Sep 3 '17 at 8:33
  • $\begingroup$ You aren't forgetting a face map, you are in fact adding an augmentation, using the "forgotten" face map, and the "forgotten" degeneracy becomes the added splitting of the augmentation. I've always found the construction of the universal bundle to be enlightening. The point of my short paper is to link the two ways of describing this: via the action groupoid of G on itself by multiplication, and via giving the codiscrete groupoid on G. Then I wrote my paper with Urs Schreiber considering the generalisation to 2-groups, and then I wrote what was eventually published in NYJM. $\endgroup$ – David Roberts Sep 3 '17 at 9:07
  • $\begingroup$ If you think of the group examples as trying to build the universal bundle then you may find some geometric insight (one small thing to correct from my first comment: $W = Dec\circ \overline{W}$, rather than just "$W=Dec$". If you consider the $\overline{W}$ construction in the case of a simplicial groupoid, and then what $Dec$ does to that, it may also help. $\endgroup$ – David Roberts Sep 3 '17 at 9:10
  • $\begingroup$ @DavidRoberts thank you for the recommendations. I don't know what universal bundles are, but hopefully I'll get there eventually. $\endgroup$ – Arrow Sep 3 '17 at 9:17

I don't know about geometric intuition, but this is pretty straightforward as long as $C$ is complete and cocomplete, though you can get away with substantially weaker hypotheses.

  • Simplicial objects in $C$ form a functor category $[\Delta^\mathrm{op},C]$, while split simplicial objects also form a functor category $[\Delta_\top, C]$ where $\Delta_\top$ is the subcategory of $\Delta$ given by top-element-preserving maps (or perhaps bottom-element-preserving, depending on conventions).

  • The shift and forgetful functors are both given by precomposition with functors between $\Delta^\mathrm{op}$ and $\Delta_\top$, so they each have left and right adjoints (actually, these functors are in fact adjoint to one another so the adjoints are induced functorially, not just by Kan extension, but that's beside the point).

  • Moreover, the functors between $\Delta^\mathrm{op}$ and $\Delta_\top$ are both are surjective on objects, so the induced functors between functor categories are conservative and reflect (co)equalizers (in fact they reflect all limits and colimits because limits and colimits are computed objectwise in $C$ and essential surjectivity guarantees that all objects are "seen").

  • So by the Beck Monadicity theorem, both of these functors are both monadic and comonadic. That is:

An essentially surjective functor $I\to J$ between small categories induces a functor $[J,C] \to [I,C]$ which is monadic and comonadic if $C$ is complete and cocomplete.

Another oft-used instance of this is when $C = Set$ and $I = Ob J$, then this says that the presheaf category $Set^I$ is both monadic and comonadic over $Set^{Ob I} = Set/ Ob I$, a slice of $Set$.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.