## Presheaves on a complete Segal space

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Let C be an $(\infty,1)$-category, incarnated as a complete Segal space, hence in particular a bisimplicial set. Is there a model structure on the slice category of bisimplicial sets over C which presents the $(\infty,1)$-presheaf category of C? Ideally, such a model structure would be Quillen equivalent to the contravariant model structure over a quasicategory incarnation of C, and to the projective model structure for simplicial presheaves on a simplicial-category incarnation of C.

-

## 1 Answer

Yes. Let $W$ be a complete Segal space, thought of as a simplicial "space" $(W_q)$. The fibrant objects of your model category will be the fibrations $f:X\to W$ such that for each simplicial operator $\delta:[q]\to [p]$ with $\delta(q)=p$, the evident map from $X_p$ to the pullback of $$X_q \xrightarrow{f} W_q \xleftarrow{\delta} W_p$$ is a weak equivalence of spaces. (Edit: in fact, it suffices to require the evident map to the pullback to be a weak equivalence only for $\delta:[0]\to[p]$ with $\delta(0)=p$.)

I worked out some of this years ago, but never finished it; somebody should do this (or perhaps someone has already?). Lurie has done pretty much exactly the same thing in the context of quasi-categories, in HTT.

-

Thanks!  Two questions.  (1) By "fibrations $f\colon X\to W$", do you mean Reedy fibrations?  Or fibrations in the CSS model structure?  (2) Is the "evident map" necessarily itself a fibration (say, if $f$ is a fibration according to your answer to (1))? – Mike Shulman Dec 6 2011 at 0:45
Also, (3) I presume that this model structure is constructed as a localization of some over-model-structure for simplicial spaces over W?  And (4, I guess) does that imply that the weak equivalences between fibrant objects in this model structure are still just the levelwise equivalences? – Mike Shulman Dec 6 2011 at 0:47
(1) I mean Reedy fibration.  It turns out that if W is a CSS, and f is a Reedy fibration with the above property, then X is also a CSS, and thus f (being a Reedy fibration between CSS's) is also a fibration in the CSS model category.  (2) I believe it is a fibration if $\delta$ is injective, but not generally.  (In the condition describing fibrant objects, it actually suffices to require a weak equivalence only in the case $\delta:[0]\to [p]$.) (3) Yup.  (4) Yup.   – Charles Rezk Dec 6 2011 at 16:22
Beautiful!  That's all I could have hoped for.  Someone should really work all of this out and write it up. – Mike Shulman Dec 7 2011 at 0:25
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 14, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9262704849243164, "perplexity_flag": "head"}