Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

I've got a simplicial model category $M.$ I'd like to get my hands on the (infinity,1) category of homotopy limit preserving functors from M to Spaces in order to compare it to another simplicial model category. So it would be convenient if I could have a simplicial model category model for the functor category.

I imagine doing something like the following (sketch):

1) find a model category which models the (infinity,1) category: $\textrm{Fun}(N^{hc}_{\bullet}(M^{cf}),\textrm{SSet})$. I'll call such a model category $\textrm{Fun}(M,\textrm{SSet})$

2) use Bousfield localization on the collection of morphisms S = {for each functor F, the comparison maps F(lim d) ---> lim Fd } in $\textrm{Fun}(M,\textrm{SSet})$ to get a model category structure which models the category of homotopy limit preserving functors.

So my questions are

Question 1: Given a simplicial model category $M$, what model category models the functors from $M$ to Spaces?

Question 2: Given a simplicial model category $M$, what model category models the homotopy-limit-preserving functors from $M$ to Spaces?

Answers to my question don't need to address my sketch, but I am curious about whether that will work. References would also be appreciated.

share|improve this question
add comment

1 Answer

up vote 8 down vote accepted

Suppose that the dual $M^{\mathrm{op}}$ of your original simplicial model category $M$ is combinatorial, so that its associated $\infty$-category $\mathcal{M}^{\mathrm{op}}$ is presentable. Then what you are looking at is the $\infty$-category of presheaves of spaces $\mathcal{P}(\mathcal{M}^{\mathrm{op}}) := \operatorname{Fun}(\mathcal{M}, \mathcal{S})$ on $\mathcal{M}^{\mathrm{op}}$, which is again presentable. There are a couple of different model categories that present $\mathcal{P}(\mathcal{M}^{\mathrm{op}})$, one of them being the projective model structure on a category of simplicial presheaves. You can find the details in section 5.1.1 of Lurie's Higher Topos Theory.

The $\infty$-category $\operatorname{Fun}^R(\mathcal{M}, \mathcal{S})$ of limit-preserving functors is equivalent to $\mathcal{M}^{\mathrm{op}}$ itself through the Yoneda embedding $\mathcal{M}^{\mathrm{op}} \to \mathcal{P}(\mathcal{M}^{\mathrm{op}})$; i.e., limit-preserving functors $\mathcal{M} \to \mathcal{S}$ are corepresentable. This is proposition 5.5.2.2 of Higher Topos Theory.

share|improve this answer
    
This totally answers Question 2. Do you know what model category models the presheaves on M (or M^op) ? Do the projective / injective model structures on Fun(M^op, SSet) do this? How can I see that? Also, do you know how to answer Question 2 if instead of commuting with all limits, the functors only commute with limits of a certain shape (ie, fix the diagram category for the limit)? P.s. I don't really know the etiquette on mathoverflow. Should I select this answer and then post new questions for the ones in this comment? –  Joey Hirsh Dec 26 '12 at 21:59
    
@Joey: I edited the answer to include the concrete reference to the model structures that present $\mathcal{P}(\mathcal{M}^{\mathrm{op}})$. I don't know how to characterize functors that preserve only certain limits; of course, corepresentable ones do, but there are more. With respect to MO etiquette, you should mark the checkbox next to an answer if it does indeed answer your question. You can ask for clarifications in comments; for follow-up questions I think it's better to post them as new questions. In particular, the characterization of functors that preserve only certain limits might... –  Alberto García-Raboso Dec 26 '12 at 23:33
    
...make an interesting question, and it would hopefully attract the attention of an expert. –  Alberto García-Raboso Dec 26 '12 at 23:34
2  
Done! mathoverflow.net/questions/117304/… –  Joey Hirsh Dec 27 '12 at 23:54
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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