Not signed in

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

• Forgot your password?
• Apply for membership

1. • CommentRowNumber1.
   • CommentAuthorUrs
   • CommentTimeFeb 22nd 2017
   • (edited Feb 28th 2017)
   • PermaLink
   Author: Urs
   Format: MarkdownItexThe stub entry _[[model structure on simplicial Lie algebras]]_ used to point to _[[model structure on simplicial algebras]]_. But is it really a special case of the discussion there? [Quillen 69](https://ncatlab.org/nlab/show/model+structure+on+simplicial+Lie%20algebras#Quillen69) leaves the definition of the model structure to the reader. Is it with weak equivalences and fibrations those on the underlying simplicial sets? Is this a simplicially enriched model category?

   The stub entry model structure on simplicial Lie algebras used to point to model structure on simplicial algebras. But is it really a special case of the discussion there?

   Quillen 69 leaves the definition of the model structure to the reader. Is it with weak equivalences and fibrations those on the underlying simplicial sets? Is this a simplicially enriched model category?

2. • CommentRowNumber2.
   • CommentAuthorUrs
   • CommentTimeFeb 22nd 2017
   • PermaLink
   Author: Urs
   Format: MarkdownItex> Is this a simplicially enriched model category? Yes, that's a special case of theorem I in Reedy's thesis, from 1974. I have added this to the entry, [here](https://ncatlab.org/nlab/show/model+structure+on+simplicial+Lie+algebras#Details).

   Is this a simplicially enriched model category?

   Yes, that’s a special case of theorem I in Reedy’s thesis, from 1974. I have added this to the entry, here.

3. • CommentRowNumber3.
   • CommentAuthorUrs
   • CommentTimeFeb 22nd 2017
   • PermaLink
   Author: Urs
   Format: MarkdownItexI have made explicit ([here](https://ncatlab.org/nlab/show/model+structure+on+simplicial+Lie+algebras#QuillenAdjunctionTodgLieAlgebras)) that taking normalized chains gives a Quillen adjunction $$ (N^* \dashv N) \;\colon\; (LieAlg_k^{\Delta^{op}})_{proj} \underoverset {\underset{N}{\longrightarrow}} {\overset{N^*}{\longleftarrow}} {\bot} (dgLieAlg_k)_{proj} \,. $$

   I have made explicit (here) that taking normalized chains gives a Quillen adjunction

   $$(N^* \dashv N) \;\colon\; (LieAlg_k^{\Delta^{op}})_{proj} \underoverset {\underset{N}{\longrightarrow}} {\overset{N^*}{\longleftarrow}} {\bot} (dgLieAlg_k)_{proj} \,.$$
4. • CommentRowNumber4.
   • CommentAuthorUrs
   • CommentTimeFeb 28th 2017
   • PermaLink
   Author: Urs
   Format: MarkdownItexI keep claiming that Quillen claimed that there is a model structure on _reduced_ rational simplicial Lie algebras whose weak equivalences and fibrations are those on the underlying simplicial sets. But Quillen's classical text is very vague about this. In "Rational homotopy theory" ([web](http://www.jstor.org/stable/1970725?origin=JSTOR-pdf&seq=1#page_scan_tab_contents)) he just writes below the analogous theorem 4.7 for reduced simplicial commutative Hopf algebras: > We leave to the reader to formulate a similar theorem for $[$reduced simplicial Lie algebras $]$. So I should check. But if anyone has a sanity check to offer, I'd be grateful.

   I keep claiming that Quillen claimed that there is a model structure on reduced rational simplicial Lie algebras whose weak equivalences and fibrations are those on the underlying simplicial sets.

   But Quillen’s classical text is very vague about this. In “Rational homotopy theory” (web) he just writes below the analogous theorem 4.7 for reduced simplicial commutative Hopf algebras:

   We leave to the reader to formulate a similar theorem for $[$reduced simplicial Lie algebras $]$.

   So I should check. But if anyone has a sanity check to offer, I’d be grateful.