nLab
model structure for complete Segal spaces

Context

Model category theory

model category

Definitions

Morphisms

Universal constructions

Refinements

Producing new model structures

Presentation of (,1)(\infty,1)-categories

Model structures

for \infty-groupoids

for ∞-groupoids

for nn-groupoids

for \infty-groups

for \infty-algebras

general

specific

for stable/spectrum objects

for (,1)(\infty,1)-categories

for stable (,1)(\infty,1)-categories

for (,1)(\infty,1)-operads

for (n,r)(n,r)-categories

for (,1)(\infty,1)-sheaves / \infty-stacks

Internal (,1)(\infty,1)-Categories

Contents

Idea

The notion of complete Segal space is a model for the notion of (∞,1)-category regarded as an internal category in an (∞,1)-category in ∞Grpd.

The model category structure on the collection of all bisimplicial sets is a presentation the (∞,1)-category of all complete Segal spaces, hence for the (∞,1)-category of (∞,1)-categories.

Definition

We first discuss the model structure

as such, and then more generally model structures

in a suitable ambient model category 𝒞\mathcal{C}, which reproduce the previous case when 𝒞=sSet Quillen\mathcal{C} = sSet_{Quillen}.

For complete Segal spaces

Write sSet for the category of simplicial sets, which here we always think of as equipped with the standard model structure on simplicial sets that is a presentation of the (∞,1)-category ∞Grpd.

Write [Δ op,sSet][\Delta^{op}, sSet] for the category of simplicial objects in sSetsSet, hence for the category of bisimplicial sets. This inherits from sSetsSet in particular the

which is a presentation of the (∞,1)-category of simplicial objects in ∞Grpd. In all of the following in its place one can also use the

  • projective or injective model structure on functors [Δ op,sSet] proj[\Delta^{op}, sSet]_{proj}, [Δ op,sSet] inj[\Delta^{op}, sSet]_{inj}.

Write c:SetsSetc : Set \to sSet for the inclusion of sets as discrete objects into simplicial sets. Write

[Δ op,c]:sSet[Δ op,sSet] [\Delta^{op}, c] : sSet \to [\Delta^{op}, sSet]

for the corresponding inclusion of simplicial sets into bisimplicial sets.

When we think in the following of a simplicial set in the context of [Δ op,sSet][\Delta^{op}, sSet], we always do so via this inclusion (and not via the other natural such inclusion!).

Definition

The model structure for complete Segal spaces is the left Bousfield localization of [Δ op,sSet] Reedy[\Delta^{op}, sSet]_{Reedy} at the set of morphisms

W:={Sp[n]Δ[n]} n{N({ab})*}, W := \{ Sp[n] \hookrightarrow \Delta[n] \}_{n \in \mathbb{N}} \cup \{ N(\{a \stackrel{\simeq}{\to} b\}) \to * \} \,,

where the first summand is the set of spine inclusions, while the second summand is the singleton containing the morphism from the nerve of the groupoid with two objects and precisely one non-identity morphism (and its inverse) from one to the other.

This appears originally in section 12 of (Rezk).

Remark

Equivalently one can replace here the spine inclusions with the inner horn inclusions.

Remark

An object X[Δ op,sSet]X \in [\Delta^{op}, sSet] being a local object with respect to the nnth spine inclusion says that the morphism

X nX 1× X 0× X 0X 1 X_n \to X_1 \times_{X_0} \cdots \times_{X_0} X_1

(with nn factors on the right) is a weak homotopy equivalence of simplicial sets. Therefore the objects which are local with respect to all spine inclusions are precisely the Segal spaces.

Accordingly, an object is furthermore local also with respect to J*J \to * if it is a complete Segal space.

The model category structure thus obtained is characterized as follows.

Proposition

The category [Δ op,sSet]=[Δ op×Δ op,Set][\Delta^{op}, sSet] = [\Delta^{op}\times \Delta^{op}, Set] of bisimplicial sets carries the structure of an sSet-enriched category with hom-object for two bisimplicial sets XX and YY given by

hom(X,Y):=i 2 *(Y X), hom(X,Y) := i_2^*(Y^X) \,,

where

This refines to the structure of a

by setting

The fibrant objects in the structure are precisely the complete Segal spaces.

This is essentially (Rezk, theorem 7.2). See also (Joyal-Tierney, theorem 4.1).

For complete Segal space objects

We may generalize from complete Segal spaces to complete Segal space objects in an ambient context other tham ∞Grpd (sSet Quillen) \simeq (sSet_{Quillen})^\circ:

Let CC be a simplicial combinatorial model category. Write C C^\circ for the (∞,1)-category presented by it. Write [Δ op,C][\Delta^{op}, C] for the functor category/category of simplicial objects in CC.

Proposition

There is the structure of a simplicial model category on [Δ op,C][\Delta^{op}, C] such that

  1. is is a left Bousfield localization of the injective model structure on functors [Δ op,C] inj[\Delta^{op}, C]_{inj};

  2. such that the fibrant objects X:Δ opCX \colon \Delta^{op} \to C are precisely the injectively fibrant objects such that furthermore there image under [Δ op,C]([Δ op,C]) [\Delta^{op}, C] \to ([\Delta^{op},C])^\circ is an internal (∞,1)-category in C C^\circ.

(Lurie, prop. 1.5.4, remark 1.5.6)

Properties

Cartesian monoidal model structure

Proposition

The category [Δ op,sSet][\Delta^{op}, sSet] is a cartesian closed category. This closed monoidal category-structure is compatible with the model category structure in that it makes [Δ op,sSet] cSegal[\Delta^{op}, sSet]_{cSegal} into a monoidal model category.

This is the last clause of (Rezk, theorem 7.2). The key lemma for establishing this clause is (Rezk, prop. 9.2).

Relation to other model structures

Model structure for quasi-categories

We discuss the relation to the model structure for quasi-categories.

(See also at model structure for dendroidal complete Segal spaces the section Relation to quasi-operads .)

A quick way to say the following turns out to be to say that the model structure for complete Segal spaces is the simplicial completion of Cisinski model structures of the model structure for quasi-categories (see (Ara)).

Definition

For nn \in \mathbb{N}, write

Δ J[n]:=N(0n)sSet \Delta_J[n] := N(0 \stackrel{\simeq}{\to} \cdots \stackrel{\simeq}{\to} n) \in sSet

for the nerve of the free groupoid on Δ[n]\Delta[n] (the codiscrete groupoid in (n+1)(n+1) objects.) This extends to a functor

Δ J:ΔsSet. \Delta_J : \Delta \to sSet \,.
Proposition

We have the following pair of adjoint functors between simplicial sets and bisimplicial sets.

The first is

(p 1 *i 1 *):[Δ op,Set]p 1 *i 1 *[Δ op×Δ op,Set] (p_1^* \dashv i_1^*) : [\Delta^{op}, Set] \stackrel{\overset{i_1^*}{\leftarrow}}{\underset{p_1^*}{\to}} [\Delta^{op} \times \Delta^{op}, Set]

where i 1 *i_1^* sends a bisimplicial set to the simplicial set of its first row

i 1 *:X ,X ,0. i_1^* : X_{\bullet,\bullet} \mapsto X_{\bullet, 0} \,.

The other is

(t !t !):[Δ op×Δ op,Set]t !t ![Δ op,Set] (t_! \dashv t^!) : [\Delta^{op} \times \Delta^{op}, Set] \stackrel{\overset{t^!}{\leftarrow}}{\underset{t_!}{\to}} [\Delta^{op}, Set]

where

  • t !t_! assigns the total simplicial set to a bisimplicial set: it is the left Kan extension of the functor t:Δ×ΔssSett : \Delta \times \Delta \to ssSet given by ([k],[l])Δ[k]×Δ J[l]([k],[l]) \mapsto \Delta[k]\times \Delta_J[l] (with JJ from def. 2) along the Yoneda embedding

    t !(X ,)= [k],[l]X k,lΔ[k]×Δ J[l]; t_!(X_{\bullet,\bullet}) = \int^{[k],[l]} X_{k,l} \cdot \Delta[k] \times \Delta_J[l] \,;
  • and where t !t^! forms in each degree the mapping space

    t !:X ([m,n]Hom sSet(Δ[m]×Δ J[n],X)). t^! : X_\bullet \mapsto \left( [m,n] \mapsto Hom_{sSet}( \Delta[m] \times \Delta_J[n], X) \right) \,.
Proposition

The composite of the two adjunctions from prop. 4

sSett !p 1 *i 1 *t !sSet sSet \stackrel{\overset{i_1^* t^!}{\leftarrow}}{\underset{t_! p_1^*}{\to}} sSet

is the identity adjunction: both functors are isomorphic to the identity functor.

This appears at the end of the proof of (Joyal-Tierney, theorem 4.12).

Proposition

Both adjunctions of prop. 4 are Quillen equivalences between the model structure for quasi-categories on simplicial sets and the Rezk model structure for complete Segal spaces on bisimplicial sets, def. 1.

This appears (Joyal-Tierney, theorem 4.11, 4.12).

Model structure for dendroidal complete Segal spaces

The operadic analog of simplicial sets / bisimplicial sets are dendroidal sets / dendroidal spaces, parameterized over the tree category Ω\Omega

dsSet:=[Ω op,sSet]. dsSet := [\Omega^{op}, sSet] \,.

Write ηΩdSetdsSet\eta \in \Omega \hookrightarrow dSet \hookrightarrow dsSet for the tree with a single edge and no non-trivial vertex.

Then slice category of dsSetdsSet over η\eta is evidently equivalent to that of bisimplicial sets

ssSetdsSet /ηdsSet. ssSet \simeq dsSet_{/\eta} \hookrightarrow dsSet \,.

By restriction along this inclusion, the model structure for dendroidal complete Segal spaces reproduces the above model structure. See there for more details.

References

Complete Segal spaces were originally defined in

  • Charles Rezk, A model for the homotopy theory of homotopy theory , Trans. Amer. Math. Soc., 353(3), 973-1007 (pdf)

The Quillen equivalence with the model structure for quasi-categories is discussed in

A survey of the model structures and their relations is in

The generalization to complete Segal objects in model categories other than sSetsSet was considered in

Discussion in terms of Cisinski model structures is in

Revised on December 3, 2012 19:25:20 by Urs Schreiber (131.174.40.163)