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
   • CommentTimeApr 15th 2014
   • PermaLink
   Author: Urs
   Format: MarkdownItexcreated an entry _[[Borel model structure]]_ for the standard (projective) model strucure for actions of simplicial groups on simplicial sets.

   created an entry Borel model structure for the standard (projective) model strucure for actions of simplicial groups on simplicial sets.

2. • CommentRowNumber2.
   • CommentAuthorUrs
   • CommentTimeApr 15th 2014
   • PermaLink
   Author: Urs
   Format: MarkdownItexadded a paragraph on the relation to the "genuine"/"fine" equivariant homotopy theory

   added a paragraph on the relation to the “genuine”/”fine” equivariant homotopy theory

3. • CommentRowNumber3.
   • CommentAuthorMike Shulman
   • CommentTimeJan 2nd 2015
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexIn the paper DDK80 cited at [[Borel model structure]], the equivalence functor $B :sSet^G \to sSet / \overline{W}G$ is a version of the Borel construction, $B V = (V \times W G)/G$. This functor has an evident *right* adjoint defined by $(Y\to \overline{W}G) \mapsto Hom_{sSet/\overline{W}G}(W G,Y)$, but they claim instead that it has a *left* adjoint defined by $Y\mapsto Y \times_{\overline{W}G} W G$. Maybe I was up too late last night, but I cannot see why this is true; can someone enlighten me?

   In the paper DDK80 cited at Borel model structure, the equivalence functor $B :sSet^G \to sSet / \overline{W}G$ is a version of the Borel construction, $B V = (V \times W G)/G$. This functor has an evident right adjoint defined by $(Y\to \overline{W}G) \mapsto Hom_{sSet/\overline{W}G}(W G,Y)$, but they claim instead that it has a left adjoint defined by $Y\mapsto Y \times_{\overline{W}G} W G$. Maybe I was up too late last night, but I cannot see why this is true; can someone enlighten me?