A Model Category of Segal Spaces? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T07:51:39Z http://mathoverflow.net/feeds/question/29728 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/29728/a-model-category-of-segal-spaces A Model Category of Segal Spaces? Chris Schommer-Pries 2010-06-27T19:59:48Z 2010-06-28T17:12:28Z <p>So in Julie Bergner's work on (infty, 1)-categories <a href="http://arxiv.org/abs/math/0610239" rel="nofollow">arXiv:0610239</a>, she considers several model categories which model (infty, 1)-categories, which are known to be equivalent. I'm guessing that there is another model which is equivalent to these. It is probably known to experts, and probably exists for easy reasons, but I'm not seeing it so I'm asking here. </p> <h2>Background</h2> <p>In Julie's survey, which reviews some of her own work in <a href="http://arxiv.org/abs/math/0504334" rel="nofollow">arXiv:0504334</a>, the work of Joyal and Tierney <a href="http://arxiv.org/abs/math/0607820" rel="nofollow">arXiv:0607820</a>, and the work of others, she compares four models of (infty, 1)-categories. They are model categories of Segal Categories, Complete Segal spaces, Quasi-categories, and Simplicial Categories. </p> <p>All of these models are related in multiple ways, but some are more closely aligned than others. In particular the Complete Segal spaces and the Segal categories are very similar objects. The underlying categories for these two model categories are almost the same. They are the category of simplicial spaces and the category of simplicial spaces whose zeroeth space $X_0$ is discrete, respectively. </p> <p>Among the simplicial spaces we have those which satisfy the Segal condition. These are the (Reedy fibrant) simplicial spaces such that the Segal map $$X_n \to X_1 \times_{X_0} \cdots \times_{X_0} X_1$$ is a weak equivalence. These are called <em>Segal spaces</em>. There is a model structure on the category of simplicial spaces such that the Segal spaces are the fibrant objects. It is a localization of the Reedy model structure. But in this model structure the weak equivalences between Segal spaces are just the level-wise weak equivalences.</p> <p>The model category of complete Segal spaces is a further localization of this. The weak equivalences between fibrant objects (complete Segal spaces) in this model category are pretty easy. They are the level-wise weak equivalences. More generally the weak equivalences between Segal spaces in this new model structure can also be identified, without too much trouble. They are called <em>Dwyer-Kan equivalences</em> or <em>DK-equivalences</em> for short. </p> <p>A Segal category is a Segal space where the space of objects $X_0$ is discrete. There is a Quillen equivalent model structure on the category of those simplicial spaces whose zeroeth space is discrete. In this model category, a map between two Segal categories is a weak equivalence if and only if it is a DK-equivalence. </p> <h2>Question</h2> <p>I'm wondering if there is an intermediary model category which is <em>equivalent to both</em> the above model categories (hopefuly in an obvious way) which has the following properties: </p> <ol> <li>It should be a model category on the category of simplicial spaces.</li> <li>The fibrant objects should be the Segal spaces. (Not necessarily complete).</li> <li>The weak equivalences should be the DK-equivalences. </li> </ol> <p>Does such a model category exist? is it well known?</p> http://mathoverflow.net/questions/29728/a-model-category-of-segal-spaces/29812#29812 Answer by Charles Rezk for A Model Category of Segal Spaces? Charles Rezk 2010-06-28T17:12:28Z 2010-06-28T17:12:28Z <p>I'm not aware that the model category you want has been constructed. But it seems like an interesting question. You should ask Julie Bergner if she has thought of anything along these lines.</p> <p>I don't have an answer, but I will think out loud for a bit. (I'll be a little vague by what I mean by "space", but I probably mean "simplicial sets" here.)</p> <p>I will assume that your property 3 should say: "The weak equivalences between fibrant objects (i.e., between Segal spaces) are the DK-equivalences." I would also like to throw in an additional property:</p> <p><code>4</code>. The trivial fibrations between Segal spaces are maps $f:X\to Y$ which are DK-equivalences, Reedy fibrations, and such that the induced map $f_0:X_0\to Y_0$ on $0$-spaces is surjective. (Note: since $f$ is a Reedy fibration, $f_0$ is a fibration of spaces.)</p> <p>Yes, this comes out of thin air ... but it's modelled on the trivial fibrations in the "folk model structure" on Cat. You could go further, and posit that fibrations between Segal spaces are Reedy fibrations such that $f_0$ is surjective.</p> <p>Given a space $U$, let $cU$ denote the "$0$-coskeleton" simplical space, with $(cU)_n=U^{\times (n+1)}$. If $U$ is a fibrant space, then $cU$ is Reedy fibrant; if $U\to V$ is a fibration, $cU\to cV$ is a Reedy fibration. Furthermore, $cU$ clearly satisfies the Segal condition.</p> <p>Thus, if $g:U\to V$ is a surjective fibration of spaces, $cg: cU\to cV$ should be a trivial fibration in our model category, according to 4.</p> <p>The functor $c$ is right adjoint to $X\mapsto X_0$: that is, maps of simplicial spaces $X\to cU$ are naturally the same as maps $X_0\to U$ of spaces.</p> <p>Putting all this together, we discover that, if such a model category exists, a cofibration $f: A\to B$ should have the following properties: the map $f_0 : A_0\to B_0$ is a cofibration of spaces, and $B_0=B_0'\amalg B_0''$ so that $f_0$ restricts to a weak equivalence $A_0\to B_0'$, and such that $B_0''$ is <em>homotopy discrete</em> (i.e., has the weak homotopy type of a discrete space). </p> <p>In particular, a necessary condition for $B$ to be cofibrant is that $B_0$ is homotopy discrete.</p> <p>This is a pretty restrictive condition on cofibrations, but it does not seem impossible. If there actually was a model category with all these properties, it appears that the class of fibrant-and-cofibrant objects would be what you might call the <em>quasi Segal categories</em>. These are the Segal spaces $X$ such that $X_0$ is homotopy discrete. Cofibrant replacement of a Segal category would give a DK-equivalent quasi-Segal category. That would be a pleasing outcome, and probably along the lines of what you're looking for. </p>