## EQUIVALENCE OF MODELS FOR EQUIVARIANT ( ∞ , 1) -CATEGORIES

## JULIA E. BERGNER

Abstract. In this paper we show that the known models for ( ∞ , 1)-categories can all be extended to equivariant versions for any discrete group G . We show that in two of the models we can also consider actions of any simplicial group G .

## 1. Introduction

Two areas of much recent research in homotopy theory have been the development and application of homotopical categories, or ( ∞ , 1)-categories, and equivariant homotopy theory. In this paper, we seek to bring the two ideas together and investigate equivariant ( ∞ , 1)-categories.

There are many different models for ( ∞ , 1)-categories, all known to be equivalent in the sense that their respective model categories are all Quillen equivalent. Simplicial or topological categories are categories with a simplicial set or space of morphisms between any two objects. Segal categories and complete Segal spaces are bisimplicial sets having properties resembling the simplicial nerve of a simplicial category, but with a weaker form of composition. Quasi-categories encode the same information in a simplicial set. Each model for ( ∞ , 1)-categories can be thought of as living in its respective model category, in which a weak equivalence is defined by a homotopical version of equivalence of categories.

Given a group G , a G -equivariant ( ∞ , 1)-category should be one of the above structures equipped with an action of G . The morphisms in the category of such should respect the G -action, and a weak equivalence should be a map which induces weak equivalences on H -fixed point objects for all (closed) subgroups H of G .

To prove that each model for ( ∞ , 1)-categories has a good equivariant analogue, and that these models are in turn all equivalent to one another, we apply general tools of Stephan [19] and of Bohmann, Mazur, Osorno, Ozornova, Ponto, and Yarnall [4]. Their results give conditions under which a model category has a corresponding G -model category, and under which this process preserves Quillen equivalences. A related approach has also been described by Dotto and Moi [6].

For complete Segal spaces and quasi-categories, establishing that these conditions hold for an action by a discrete group G is immediate from Stephan's results. For simplicial categories and Segal categories, we give proofs here. These conditions

Date : October 7, 2014.

2010 Mathematics Subject Classification. 55U35, 55P91, 55U40, 18G55.

Key words and phrases. ( ∞ , 1)-categories, equivariant homotopy theory.

The author was partially supported by NSF grant DMS-1105766. This research was done while the author was in residence at MSRI during Spring 2014, supported by NSF grant 0932078 000.

also guarantee that we can carry over all the Quillen equivalences that we have non-equivariantly.

When G is a simplicial group, then we need the original model category to have the structure of a simplicial model category. This additional assumption holds for the complete Segal space and Segal category models, so we establish equivariant versions in these contexts.

It is perhaps more interesting to consider the case where G is a topological group, and in particular a compact Lie group. In this case, we need to begin with a topological (rather than simplicial) model category, so it is expected that the right models are complete Segal spaces and Segal categories taken in topological spaces rather than in simplicial sets. We pursue this perspective, as well as a more handson approach to the equivariant structures, in forthcoming work with Chadwick.

We expect that many examples of ( ∞ , 1)-categories have natural group actions that can be investigated from this perspective. For example, any monoidal ( ∞ , 1)category has an action of the automorphism group of a unit object.

The methods that we use in this paper can be extended to more general settings, such as equivariant ( ∞ , n )-categories and equivariant ( ∞ , 1)-operads. Again, for many of the known models we get equivariant versions immediately from Stephan's results; for the generalizations of simplicial categories (categories enriched in Θ n -spaces and simplicial operads, respectively), the proofs can be obtained by modifying the one given here appropriately. The framework of equivariant ( ∞ , n )-categories should give a context in which to understand equivariant (extended) topological field theories. A further extension is to the 2-Segal spaces of Dyckerhoff and Kapranov [8]; as these structures often arise from S · -constructions there are a number of examples to be investigated with group actions incorporated. We plan to look at such examples in future work.

We begin in Section 2 with a statement of the general theorems that we wish to use, in the case where G is a discrete group. In Section 3, we show that they can be applied immediately to the complete Segal space and quasi-category models. In Sections 4 and 5, we prove that they can be applied to the simplicial category and Segal category models. Lastly, in Section 6 we consider simplicial groups G and show that we get equivariant versions of the complete Segal space and Segal category models in this case.

Acknowledgments. The author would like to thank Anna Marie Bohmann, Ang´ elica Osorno, and Marc Stephan for several helpful conversations about this work.

## 2. Equivariant versions of model categories

In this section, we summarize results of Stephan, namely, sufficient conditions under which a G -equivariant version of a cofibrantly generated model category C exists [19]. To begin, we assume that G is discrete, and consider it as a category with a single object and morphisms given by the elements of G .

Definition 2.1. The category of G -objects in C , denoted by C G , is the category of functors G →C .

The key feature of a G -equivariant model structure, rather than just a model structure of objects equipped with a G -action, is that weak equivalences are defined using fixed point objects.

Definition 2.2. Given any subgroup H of G , define the H -fixed points functor , denoted by ( -) H , as the composite C G → C H → C where the first map is the restriction defined by the inclusion of H into G , and the second map is the limit functor.

Definition 2.3. Let G be a discrete group. The G -model structure on C G (if it exists) has weak equivalences the maps X → Y such that, for every subgroup H of G , the map X H → Y H is a weak equivalence in C , and likewise for the fibrations.

Remark 2.4. Stephan works in the following more general setting. Let F be a set of subgroups of G . The F -model structure on C is defined similarly to the G -model structure, but where H is taken to be an element of F . We are most interested in the G -model structure, but our results can be applied to the F -model structure as well.

Since C is a model category, and in particular is complete and cocomplete, we can think of it as being tensored and cotensored over the category of sets, as follows. Let A and B be objects of C and X a set. Then there is a tensor

$$\i u A & a \sec. \, \i m e n \, \i n \\ X & \otimes A = \coprod _ { X } A$$

and a cotensor

$$[ X, B ] = \prod _ { X } B$$

such that there are isomorphisms

Hom ( C X ⊗ A,B ) = Hom ∼ S ets ( X, Hom ( C A,B )) = Hom ( ∼ C A, X,B [ ]) .

Let A be an object of C and H a subgroup of G . Then we denote by G/H ⊗ A the object of C G given composing the map G →S ets given by sending G to G/H with the tensor map -⊗ A : S ets →C .

Lemma 2.5. [19] The functor G/H ⊗- C → C : G is left adjoint to the fixed point functor ( -) H .

We use the following criteria for determining the existence of the G -model structure on C G . Here, we use the formulation given by [4] which is slightly different from the original in [19].

Theorem 2.6. [19] , [4] Let G be a group, and let C be a cofibrantly generated model category. Suppose that, for each subgroup H of G , the fixed point functor ( -) H satisfies the following cellularity conditions:

- (1) the functor ( -) H preserves filtered colimits of diagrams in C G ,
- (2) the functor ( -) H preserves pushouts of diagrams where one arrow is of the form

$$G / K \otimes f \colon G / K \otimes A \rightarrow G / K \otimes B$$

- for some subgroup K of G and f a generating cofibration of C , and (3) for any subgroup K of G and object A of C , the induced map

$$( G / H ) ^ { K } \otimes A \rightarrow ( G / H \otimes A ) ^ { K }$$

is an isomorphism in C .

Then the category C G admits the G -model structure.

This result was further strengthened by Bohmann, Mazur, Osorno, Ozornova, Ponto, and Yarnall via the following result.

Theorem 2.7. [4] Suppose that F : M /arrowparrrightleft N : R be a Quillen equivalence between model categories satisfying the cellularity conditions of Theorem 2.6. Then there is an induced Quillen equivalence F G : M G /arrowparrrightleft N G : R G .

In fact, we have the stronger result that these model categories are actually Quillen equivalent to those described via orbit diagrams, generalizing a result of Elmendorf for topological spaces [9].

Definition 2.8. The orbit category of G is the full subcategory O G of the category of G -sets with objects the orbits G/H where H is a subgroup of G .

↦

Consider the category of functors O op G →C , equipped with the projective model structure, where weak equivalences and fibrations are defined levelwise. There is a functor i : G → O op G sending the single object of G to G/ e { } and a morphism g of G to the G -map G/ e { } → G/ e { } defined by h → hg . The induced map i ∗ : G O op G →C G has a left adjoint i ∗ given by left Kan extension.

Theorem 2.9. [19] Let G be a group, and let C be a cofibrantly generated model category. Suppose that, for each subgroup H of G , the fixed point functor ( -) H satisfies the cellularity conditions of Theorem 2.6. Then there is a Quillen equivalence i ∗ : C O op G /arrowparrrightleft C G : i ∗ .

Remark 2.10. If one instead uses the F -model structure, for a set F of subgroups of G , then it is necessary to assume that the trivial subgroup of G is included in F , so that the functor i is defined.

Combining this result with that of Theorem 2.7, we get a commutative square of Quillen equivalent model categories associated to a Quillen equivalence C /arrowparrrightleft D and a group G :

/d79

/d47

/d47

/d111

/d111

/d79

/d79

/d79

/d15

/d15

/d15

/d15

/d111

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0038v2-figure-ff02a171-2337-4d84-b7e6-bb8904dfe636.jpg)

/d47

/d47

.

/d111

We conclude this section with two important families of examples.

Theorem 2.11. [19] Any category of functors D → S ets , equipped with a cofibrantly generated model structure in which the cofibrations are monomorphisms, admits the G -model structure.

Observe that we can apply the above theorem to any category of functors D → SS ets simply by viewing the objects instead as functors D× ∆ op →S ets .

Theorem 2.12. [19] Let C be a model category which satisfies the cellularity conditions of Theorem 2.6. Then any left Bousfield localization of C also satisfies the cellularity conditions, and hence admits the G -model structure.

## 3. Equivariant complete Segal spaces and quasi-categories

In this section, we consider the two models for ( ∞ , 1)-categories for which we get equivariant versions immediately from Stephan's results. Using Theorem 2.7, we can lift the Quillen equivalences between them to these equivariant versions.

We begin with the model of quasi-categories. Recall that, given any n ≥ 1 and 0 ≤ k ≤ n , the k th horn of the n -simplex ∆[ n ], denoted by V n, k [ ], is the boundary of ∆[ n ] with the k th face removed.

Definition 3.1. A quasi-category is a simplicial set K satisfying the inner horn filling conditions, i.e., that for any n ≥ 2 and 0 &lt; k &lt; n , in any diagram

/d47

/d47

/d60

/d60

/d15

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0038v2-figure-d088925e-1b44-463c-a6c5-615de9f8db16.jpg)

/d15

the dotted arrow lift exists.

Recall the following result, proved using different methods by Joyal [12], Lurie [15], and Dugger and Spivak [7].

Theorem 3.2. There is a model structure QC at on the category of simplicial sets in which the cofibrations are the monomorphisms and the fibrant objects are the quasi-categories.

We can apply Theorem 2.11 and Theorem 2.9 to obtain the following result.

Theorem 3.3. The G -model structure for QC at exists, and there is a Quillen equivalence of model categories

$$i ^ { * } \colon \mathcal { Q } a t ^ { \mathcal { O } ^ { o p } _ { G } } \Rightarrow \mathcal { Q } \mathcal { C } a t ^ { G } \colon i _ { * }.$$

Now we turn to the complete Segal space model. The objects here are simplicial spaces, or functors ∆ op →SS ets . Recall that the category of simplicial spaces can be equipped with the Reedy model structure, in which the weak equivalences are given levelwise [17]. In this case, it is equivalent to the injective model structure, in which the cofibrations are also defined levelwise. Recall that the Reedy model structure is equipped with a compatible simplicial structure, so there is a mapping simplicial set Map( X,Y ) between any simplicial spaces X and Y .

Definition 3.4. A simplicial space W is a Segal space if it is Reedy fibrant and the Segal maps are weak equivalences.

$$W _ { k } \rightarrow \underbrace { W _ { 1 } \times _ { W _ { 0 } } \cdots \times _ { W _ { 0 } } W _ { 1 } } _ { k }$$

Let E denote the nerve of the groupoid with two objects and a single isomorphism between them. Denote by E t its corresponding discrete simplicial space (the 'transpose' of the constant simplicial space at E ).

Definition 3.5. A Segal space W is complete if the map W 0 → Map( E , W t ) is a weak equivalence of simplicial sets.

Theorem 3.6. [18, 7.2] There is a model structure CSS on the category of simplicial spaces, obtained as a left Bousfield localization of the Reedy model structure, which satisfies the following properties:

- (1) the cofibrations are the monomorphisms, and
- (2) the fibrant objects are the complete Segal spaces.

We obtain the following result by applying Theorems 2.11, 2.12, and 2.9.

Corollary 3.7. The model category CSS admits the G -model structure CSS G . There is a Quillen equivalences of model categories

$$i ^ { * } \colon \mathcal { C S S } ^ { \mathcal { O } ^ { o p } _ { G } } \Rightarrow \mathcal { C S S } ^ { G } \colon i _ { * }$$

We now turn to the comparison between the model structures QC at and CSS . There are two different Quillen equivalences, both due to Joyal and Tierney.

Theorem 3.8. [13, 4.11] The functor p ∗ : CSS → QC at , which associates to a complete Segal space W the simplicial set W ∗ , 0 , has a left adjoint p ! . This adjoint pair defines a Quillen equivalence

$$p ^ { * } \colon \mathcal { C S S } \Longrightarrow \mathcal { Q C } a t \colon p _ {! }.$$

The second Quillen equivalence between these two model categories is given by a total simplicial set functor t ! : CSS → QC at and its right adjoint t ! .

Theorem 3.9. [13, 4.12] The adjoint pair

$$t _ {! } \colon \mathcal { C S S } \Rightarrow \mathcal { Q C } a t \colon t ^ {! }$$

is a Quillen equivalence.

Corollary 3.10. There are two commuting squares of Quillen equivalences:

/d79

/d47

/d47

/d111

/d111

/d47

/d47

/d111

/d111

/d79

/d79

/d79

/d79

/d79

/d79

/d79

/d15

/d15

/d47

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0038v2-figure-b0544365-e4fa-43ea-bccd-6d5db2140267.jpg)

/d47

/d15

/d15

/d15

/d15

/d111

/d111

/d47

/d47

.

/d111

/d111

4. Equivariant simplicial categories

In this section we consider simplicial categories. Recall that a simplicial category is a category enriched in simplicial sets, so that between any two objects x and y , there is a simplicial set Map( x, y ), together with compatible composition. In this case, the G -equivariant model structure does not follow immediately from previous results.

We start by recalling some notation. Given any simplicial category C , there is an associated category of components π 0 C whose objects are the same as those of C and whose morphisms are the sets of components of the mapping spaces of C .

Define the functor U : SS ets → SC such that for any simplicial set K , the simplicial category UK has two objects, x and y , and only nonidentity morphisms the simplicial set K = Hom( x, y ).

Theorem 4.1. [2, 1.1] There is a cofibrantly generated model structure SC on the category of small simplicial categories with the following properties.

- (1) The weak equivalences are the simplicial functors f : C → D satisfying the following two conditions:
- · for any objects x and y in C , the map

$$M a p _ { \mathcal { C } } ( x, y ) \to M a p _ { \mathcal { D } } ( f x, f y )$$

is a weak equivalence of simplicial sets, and

- · the induced functor π f 0 : π 0 C → π 0 D on the categories of components is an equivalence of categories.

/d15

/d15

## (2) A set of generating cofibrations for SC contains the functors

- · U∂ ∆[ n ] → U ∆[ n ] for n ≥ 0 , and
- · ∅ →{ } x , where ∅ is the simplicial category with no objects and { x } denotes the simplicial category with one object x and no nonidentity morphisms.

To obtain a model structure for G -simplicial categories, we need to verify that the cellularity conditions hold.

Theorem 4.2. The model category SC satisfies the cellularity conditions of Theorem 2.6.

Proof. To establish condition (1), we modify the argument used for categories in [4]. Let I be a filtered category and F : I →SC G a functor. Consider the simplicial nerve functor N : SC → SS ets ∆ op . Thinking of a simplicial category as a special case of a simplicial object in C at , the simplicial nerve is given by levelwise nerve of categories. Therefore, the functor N commutes with filtered colimits [14]. Thus, we get an isomorphism

$$N \text{colim} _ { I } ( F ( i ) ^ { H } ) \cong \text{colim} _ { I } ( N ( F ( i ) ) ^ { H } ).$$

Since the fixed point functor ( -) H is defined as a limit and the simplicial nerve is a right adjoint functor, we get an isomorphism

$$N ( F ( i ) ^ { H } ) \cong ( N F ( i ) ) ^ { H }.$$

Since finite limits and filtered colimits commute in S ets and are computed levelwise in SS ets ∆ op , we obtain isomorphisms

$$\text{colim} _ { I } ( ( N F ( i ) ) ^ { H } ) \cong ( \text{colim} _ { I } N F ( I ) ) ^ { H } \cong ( N \text{colim} _ { I } F ( i ) ) ^ { H }$$

where the second isomorphism is a second application of commuting the filtered colimit with the nerve. We again use that N is a right adjoint, so that

$$( N \text{colim} _ { I } F ( i ) ) ^ { H } \cong N ( \text{colim} _ { I } F ( i ) ) ^ { H }.$$

Since the nerve functor is fully faithful, this isomorphism holds even before applying the nerve functor, which completes the proof of condition (1).

Next we consider condition (3). The tensor product is given by the disjoint union of categories, and we want to show that the map

$$\int \cos \max \min \Omega \, \Omega \, \Omega \, \Omega \, \Omega \, \Omega \, \Omega \, \Omega \, \Omega \, \Omega \, \Omega \, \Omega \, \Omega \, \Omega \, \Omega \, \Omega \, \Omega \, \Omega \, \Omega \, \Omega \, \Omega \, \Omega \, \Omega \, \Omega \, \Omega \, \Omega \, \Omega \, \Omega \, \Omega \, \Omega \, \Omega \, \Omega \, \Omega \, \Omega \, \Omega \, \Omega \, \Omega \, \Omega \, \Omega \, \Omega \, \Omega \
 \coprod _ { ( G / K ) ^ { H } } A \to \left ( \coprod _ { G / K } A \right ) ^ { H }$$

is an isomorphism. The action of H on ∐ G/K A is given by permuting the copies of A , since each A itself has trivial G -action. Therefore, this action is determined precisely by the action of H on G/K . The desired isomorphism follows.

Finally, we establish condition (2). Given any pushout diagram of the form

∐

/d47

/d47

/d15

/d15

/d47

/d47

/d15

/d15

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0038v2-figure-001a2988-2d27-4b9b-b5fd-6277eb6fa0b2.jpg)

with A → B a generating cofibration in SC , we want to show, making use of condition (3), that the diagram

∐

/d47

/d47

∐

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0038v2-figure-9d660850-8561-4c2f-aa5b-f9ff39b9bfcd.jpg)

/d15

/d15

/d15

/d15

/d47

/d47

is again a pushout square.

We first consider the case where A is the initial simplicial category ∅ and B is a terminal simplicial category { x } . Then in the original pushout square, the simplicial category D is obtained from the simplicial category C simply by adjoining disjoint objects indexed by the cosets G/K . When we apply the fixed point functor ( -) H , we only adjoin those objects indexed by ( G/K ) H , which establishes the desired pushout.

It remains to consider the case where A → B is of the form U∂ ∆[ n ] → U ∆[ n ] for any n ≥ 0. In this case, D is obtained from C by attaching, for each coset G/K , an n -simplex of morphisms to the appropriate mapping space of C , then freely adjoining all necessary composites with other mapping spaces. Since this gluing is done in an equivariant manner, the adjoined simplices have H -action as specified by the H -action on ( G/K ) H . Since the composites are also included in a manner compatible with the G -action, again the only fixed points of D by the action of H can be those of C or those given by simplices indexed by ( G/K ) H , as desired. /square

Corollary 4.3. The model structure SC G exists and there is a Quillen equivalence

$$p ^ { * } \colon \mathcal { S C } ^ { \mathcal { O } ^ { o p } _ { G } } \Rightarrow \mathcal { S C } ^ { G } \colon i _ { * }.$$

We can now relate these model structures to the other models for equivariant ( ∞ , 1)-categories from the previous section. We use a direct Quillen equivalence between SC and QC at , defined using the coherent nerve functor ˜ N : SC → QC at , originally due to Cordier and Porter [5]. Given a simplicial category X and the simplicial resolution C ∗ [ n ] of the category [ n ] = (0 →··· → n ), the coherent nerve ˜ N X ( ) is defined by

This functor has a left adjoint J : QC at →SC .

$$\widetilde { N } ( X ) _ { n } = & \, \hom _ { \mathcal { S } C } ( C _ { * } [ n ], X ). \\ \text{t adjoint } J \colon & \, \mathcal { Q } \mathcal { A } t \rightarrow \mathcal { S } \mathcal { C }.$$

Theorem 4.4. [7] , [11] , [15] The adjoint pair

/d111

/d47

/d47

/d111

is a Quillen equivalence.

$$J \colon \mathcal { Q } a t \Longleftrightarrow \mathcal { S C } \colon \widetilde { N }$$

Corollary 4.5. There is a commuting square of Quillen equivalences

/d79

/d47

/d47

/d111

/d111

/d79

/d79

/d79

/d15

/d15

/d47

/d47

/d15

/d15

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0038v2-figure-10662f4f-b101-4ffc-966d-8d99fe61c704.jpg)

/d111

/d111

## 5. Equivariant Segal categories

Lastly, we turn to the model of Segal categories. In this case, we consider two different model structures with the same weak equivalences.

Definition 5.1. A simplicial space X is a Segal precategory if X 0 is a discrete simplicial set. It is a Segal category if additionally the Segal maps

$$X _ { k } & \rightarrow \underbrace { X _ { 1 } \times _ { X _ { 0 } } \cdots \times _ { X _ { 0 } } X _ { 1 } } _ { k } \\ \text{or all } k > 2.$$

are weak equivalences for all k ≥ 2.

For any Segal category X , we can take its objects to be the set X 0 . Its mapping spaces map X ( x, y ) are given by the fibers of the map ( d , d 1 0 ): X 1 → X 0 × X 0 over a given pair of objects ( x, y ). With notions of weak composition, one can define homotopy equivalences as in [18] and hence a homotopy category Ho( X ) associated to X .

Given a Segal precategory X , there is a functorial construction of a Segal category LX which is weakly equivalent to X in the Segal space model structure [3, § 5].

The inclusion functor from the category of Segal precategories into the category of simplicial spaces has a left adjoint which we denote by ( -) r . Recall that, for a simplicial set K we denote again by K the constant simplicial space, and by K t the discrete simplicial space defined by the set of n -simplices of K in degree n .

Theorem 5.2. [1, 3.2] , [3, 5.1, 5.13] , [16] There exists a cofibrantly generated model structure S C e at c on the category of Segal precategories satisfying the following conditions.

- · The weak equivalences are the Dwyer-Kan equivalences , or maps X → Y such that
- -for any objects x, y ∈ X 0 , map LX ( x, y ) → map LY ( fx, fy ) is a weak equivalence of simplicial sets, and
- -the induced functor Ho ( LX ) → Ho ( LY ) is an equivalence of categories.
- · The fibrant objects are the Reedy fibrant Segal categories.
- · Cofibrations are the monomorphisms.
- · A set of generating cofibrations for S C e at c is given by

$$I _ { c } = \{ ( \partial \Delta [ m ] \times \Delta [ n ] ^ { t } \cup \Delta [ m ] \times \partial \Delta [ n ] ^ { t } ) _ { r } \to ( \Delta [ m ] \times \Delta [ n ] ^ { t } ) _ { r } \}$$

for all m ≥ 0 when n ≥ 1 and for n = m = 0 .

Observe that this model structure actually satisfies the conditions of Theorem 2.11, since its objects are presheaves and the cofibrations are monomorphisms. However, since we have a restriction on those presheaves, namely that the degree zero space be discrete, some features of the model structure are less intuitive. Therefore, we include a complete proof.

Theorem 5.3. The model category S C e at c satisfies the cellularity conditions of Theorem 2.6.

Proof. To show that condition (1) is satisfied, we need only observe that finite limits and filtered colimits commute in the category of sets. Since limits are computed levelwise in the category of Segal precategories, and the fixed point functor ( -) H is defined as a finite limit, the desired condition holds.

Establishing condition (3) is similar to the case of simplicial categories.

It remains to show that condition (2) holds. Let A → B be a generating cofibration for the Reedy model structure on simplicial spaces, of the form

$$\partial \Delta [ m ] \times \Delta [ n ] ^ { t } \cup \Delta [ m ] \times \partial \Delta [ n ] ^ { t } \to \Delta [ m ] \times \Delta [ n ] ^ { t }$$

for some m,n ≥ 0. We know that the Reedy model structure satisfies the desired condition for these generating cofibrations, using Theorem 2.11.

Any generating cofibration of S C e at c is of the form A r → B r , where A → B is as above and ( -) r denotes the reduction functor. Suppose that we have a pushout diagram

∐

/d47

/d47

∐

/d15

/d15

/d15

/d15

/d47

/d47

∐

/d47

/d47

/d15

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0038v2-figure-916dcd79-0984-4f30-ae22-c289979826ae.jpg)

Consider also the pushout

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0038v2-figure-aa6ad91c-a137-473d-ae7a-899f8c01bc9a.jpg)

/d15

/d15

/d15

/d47

/d47

taken in the category of simplicial spaces. If we assume that X is a Segal precategory, so that X = X r , then the fact that the reduction functor is a left adjoint implies that ( Y ′ ) r /similarequal Y . Therefore, in the diagram

∐

/d47

/d47

∐

/d47

/d47

∐

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0038v2-figure-50ea77ff-a9b5-4089-be87-ed2a0af0298e.jpg)

/d15

/d15

/d15

/d15

/d15

/d15

/d47

/d47

∐

/d47

/d47

the left square and the large rectangle are both pushouts; therefore, the right square is also a pushout. /square

Corollary 5.4. The model structure S C e at G c exists and there is a Quillen equiva- lence

$$i ^ { * } \colon \mathcal { S } e \mathcal { C } a t _ { c } ^ { \mathcal { O } _ { G } ^ { o p } } \Rightarrow \mathcal { S } e \mathcal { C } a t _ { c } ^ { G } \colon i _ { * }.$$

For the purposes of comparison with other models, we need another model structure with the same weak equivalences but different fibrations and cofibrations. To define a generating set of cofibrations, we require the following construction.

For m ≥ 1 and n ≥ 0, define P m,n to be the pushout of the diagram

/d47

/d47

/d15

/d15

/d47

/d47

/d15

/d15

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0038v2-figure-8ade56ad-294b-417d-b219-420e8577a524.jpg)

If m = 0, then we define P m, 0 to be the empty simplicial space. For all m ≥ 0 and n ≥ 1, define Q m,n to be the pushout of the diagram

/d47

/d47

/d15

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0038v2-figure-b4db2dc6-b6f8-4148-823b-480000d0aa43.jpg)

/d15

/d15

/d15

/d47

/d47

For each m and n , the map ∂ ∆[ m ] × ∆[ n ] t → ∆[ m ] × ∆[ n ] t induces a map i m,n : P m,n → Q m,n . Note that when m ≥ 2 this construction gives exactly the same objects as those given by reduction, namely that P m,n is precisely ( ∂ ∆[ m ] × ∆[ n ] t ) r and likewise Q m,n is precisely (∆[ m ] × ∆[ n ] t ) r .

Theorem 5.5. [3, 7.1] There is a model structure S C e at f on the category of Segal precategories with the following properties.

- · The weak equivalences are the Dwyer-Kan equivalences.
- · The cofibrations are the maps which can be formed by taking iterated pushouts along the maps of the set

$$I _ { f } = \{ i _ { m, n } \colon P _ { m, n } \to Q _ { m, n } \ | \ m, n \geq 0 \}.$$

- · The fibrant objects are the Segal categories which are fibrant in the projective model structure on simplicial spaces.

Theorem 5.6. The model category S C e at f satisfies the cellularity conditions of Theorem 2.6.

Proof. Since the objects and weak equivalences in S C e at c and S C e at f are the same, the cellularity conditions (1) and (3) continue to hold for S C e at f .

We need only prove that condition (2) holds. Consider a generating cofibration A → B for the projective model structure on simplicial spaces, which has the form

$$\partial \Delta [ m ] \times \Delta [ n ] ^ { t } \rightarrow \Delta [ m ] \times \Delta [ n ] ^ { t }$$

for some m,n ≥ 0. This model structure satisfies the cellularity conditions by Theorem 2.11.

For any m ≥ 2, the map P m,n → Q m,n coincides with A r → B r , so the argument given for S C e at c applies. When m = 0, the map is an isomorphism. Therefore, we need only consider the case when m = 1.

The pushout diagram defining P 1 ,n can be rewritten as

/d47

/d47

/d15

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0038v2-figure-1c9766f0-59e6-43ca-ac66-110f2966f10d.jpg)

/d15

/d15

/d15

/d47

/d47

The top horizontal map is the inclusion, and the left horizontal map is the fold map, so it follows that P 1 ,m = ∆[ n ] t , which coincides with (∆[ n ] t ) r since ∆[ n ] t 0 is already discrete. Since Q 1 ,n = (∆[1] × ∆[ n ] t ) r , we simply need to consider the map (∆[ n ] t ) r → (∆[1] × ∆[ n ] t ) r . But this map is the reduction of a cofibration in the projective model structure, so we can apply the same argument as the one used for

S C e at c to the diagram

/d47

/d47

/d47

/d47

/d15

$$\begin{array} { c } \mathcal { S } \mathcal { C } a t _ { c } \text{ to the diagram} \\ \coprod _ { ( G / K ) ^ { H } } \Delta [ n ] ^ { t } \xrightarrow { \coprod _ { ( G / K ) ^ { H } } } \coprod _ { ( G / K ) ^ { H } } X ^ { H } \\ \downarrow \downarrow \downarrow \\ \coprod _ { ( G / K ) ^ { H } } \Delta [ 1 ] \times \Delta [ n ] ^ { t } \xrightarrow { \coprod _ { ( G / K ) ^ { H } } } ( \Delta [ 1 ] \times \Delta [ n ] ^ { t } ) _ { r } \xrightarrow { \coprod _ { ( G / K ) ^ { H } } } Y ^ { H }. \\ \text{It follows that the right-hand square is a subout, which is what we needed to} \end{array}$$

/d15

/d15

/d15

/d15

/d15

/d47

/d47

/d47

/d47

It follows that the right-hand square is a pushout, which is what we needed to prove. /square

Corollary 5.7. The model structure S C e at g f exists and there is a Quillen equiva- lence

$$i ^ { * } \colon \mathcal { S } e \mathcal { C } a t _ { f } ^ { \mathcal { O } _ { G } ^ { o p } } \Rightarrow \mathcal { S } e \mathcal { C } a t _ { f } ^ { G } \colon i _ { * }.$$

We now have a number of comparisons with other models, beginning with the one connecting S C e at c and S C e at f .

Proposition 5.8. [3, 7.5] The identity functor induces a Quillen equivalence

$$I \colon \mathcal { S } e \mathcal { C } a t _ { f } \Rightarrow \mathcal { S } e \mathcal { C } a t _ { c } \colon J.$$

Corollary 5.9. The identity functor induces a commutative square of Quillen equivalences

/d111

/d111

/d79

/d79

/d15

/d15

/d15

/d15

/d111

$$\begin{smallmatrix} \mathcal { S } e \mathcal { C } a t _ { f } ^ { G } \Longrightarrow \mathcal { S } e \mathcal { C } a t _ { c } ^ { G } \\ \downarrow \\ \mathcal { S } e \mathcal { C } a t _ { f } ^ { \mathcal { O } ^ { o p } _ { G } } \Longrightarrow \mathcal { S } e \mathcal { C } a t _ { c } ^ { \mathcal { O } ^ { o p } _ { G } }. \end{smallmatrix}$$

/d47

/d47

/d79

/d79

/d47

/d47

/d111

Next, we consider the comparison between simplicial categories and Segal categories. The functor N taking a simplicial category to its simplicial nerve, a Segal precategory (in fact, a Segal category) has a left adjoint which we denote by F .

Theorem 5.10. [3, 8.6] The Quillen pair

$$F \colon \mathcal { S } e \mathcal { C } a t _ { f } \Rightarrow \mathcal { S } \mathcal { C } \colon N$$

is a Quillen equivalence.

Corollary 5.11. There is a commutative square of Quillen equivalences

/d111

/d111

/d79

/d79

/d15

/d15

/d15

/d15

/d111

$$\begin{smallmatrix} & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & \\ & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & &  & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & &
 & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & && & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & - & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & } & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & 0 & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & &. & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & ; & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & + & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & _ & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & \ & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & &, & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & = & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & b & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & ^ & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & | & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & &$$

/d47

/d47

/d79

/d79

/d47

/d47

/d111

Next, we consider the inclusion functor I from the category of Segal precategories to the category of simplicial spaces, which has a right adjoint R .

Theorem 5.12. [3, 6.3] The adjoint pair

$$I \colon \mathcal { S } e \mathcal { C } a t _ { c } \Rightarrow \mathcal { C } \mathcal { S } \mathcal { S } \colon R$$

is a Quillen equivalence.

Corollary 5.13. There is a commutative square of Quillen equivalences

/d79

/d47

/d47

/d111

/d111

/d79

/d79

/d79

/d15

/d15

/d15

/d15

/d111

$$\begin{array} { c } \mathcal { S } e \mathcal { C } a t _ { c } ^ { G } \cong \mathcal { C } \mathcal { S } \mathcal { S } ^ { G } \\ \| \| _ { \mathcal { S } e \mathcal { C } a t _ { c } ^ { \mathcal { O } ^ { o p } _ { G } } \cong \mathcal { C } \mathcal { S } \mathcal { S } ^ { \mathcal { O } ^ { o p } _ { G } } }. \\ \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \end{array}$$

/d47

/d47

/d111

Similarly to the comparison between complete Segal spaces and quasi-categories, Joyal and Tierney prove that there are also two different Quillen equivalences directly between QC at and S C e at c . The first of these functors is analogous to the pair given in Theorem 3.8; the functor j ∗ : S C e at c → QC at assigns to a Segal precategory X the simplicial set X ∗ 0 . Its left adjoint is denoted j ! .

Theorem 5.14. [13, 5.6] The adjoint pair

$$j _ {! } \colon \mathcal { Q } a t \Rightarrow \mathcal { S } e \mathcal { C } a t _ { c } \colon j ^ { * }$$

is a Quillen equivalence.

The second Quillen equivalence between these two model categories is given by the map d ∗ : S C e at c → QC at , which assigns to a Segal precategory its diagonal, and its right adjoint d ∗ .

Theorem 5.15. [13, 5.7] The adjoint pair

$$d ^ { * } \colon \mathcal { S } e \mathcal { C } a t _ { c } \Rightarrow \mathcal { Q } \mathcal { C } a t \colon d _ { * }$$

is a Quillen equivalence.

Corollary 5.16. There are two commutative squares of Quillen equivalences

/d79

/d47

/d47

/d111

/d111

/d47

/d47

/d111

/d111

/d79

/d79

/d79

/d79

/d79

/d79

/d79

/d15

/d15

/d47

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0038v2-figure-274e5860-14be-4cfe-aa44-9675f9d76ce1.jpg)

/d47

/d111

/d111

/d15

/d15

/d15

/d15

/d47

/d47

.

/d111

/d111

6. Actions of simplicial groups

In this section, we consider the more general case of actions by any simplicial group G . Given a model category C , to make sense of the category C G , we need to require that C have the structure of a simplicial model category and consider simplicial functors G → C where G is regarded as a simplicial category with one object.

Stephan proves the following result for the topological case, but his proof holds in the simplicial case as well. He restricts to the case of compact Lie groups, partially because they are the case of most interest in equivariant homotopy theory, but also because they satisfy important cofibrancy conditions. In particular, if G is a compact Lie group, then the spaces G/H and ( G/H ) K are CW complexes for any closed subgroups H and K of G . In our case, the analogous statement is that the simplicial sets G/H and ( G/H ) K are cofibrant, which holds automatically since all simplicial sets are cofibrant.

Proposition 6.1. Suppose that G is a simplicial group and C is a cofibrantly generated simplicial model category. Then we have the following.

/d15

/d15

- (1) The category of G -objects in C admits the G -model structure if the conditions of Theorem 2.6 hold. In this case, C G is a simplicial model category.
- (3) There is a Quillen equivalence C O op G /arrowparrrightleft C G .
- (2) The orbit category model category C O op G exists and is a simplicial model category.

Since CSS is known to be a simplicial model category [18, 7.2], we have the following.

Corollary 6.2. The simplicial model categories CSS G and CSS O op G exist and there is a Quillen equivalence

$$i ^ { * } \colon \mathcal { C S S } ^ { \mathcal { O } ^ { o p } _ { G } } \Rightarrow \mathcal { C S S } ^ { G } \colon i _ { * }.$$

Proof. We have already proved that CSS satisfies the cellularity conditions. Therefore, the result follows immediately from Proposition 6.1. /square

However, we can also consider S C e at c ; we include here a proof that it is a simplicial model category.

Proposition 6.3. The model category S C e at c has the structure of a simplicial model category.

Proof. We need to show that the axioms (SM6) and (SM7) for a simplicial model category hold [10, 9.1.6]. We begin with (SM6). Suppose that X and Y are Segal precategories and K is a simplicial set. Recall that the left adjoint to the inclusion functor from Segal precategories to simplicial spaces is the reduction functor ( -) r . Define X ⊗ K = ( X × K ) r , where the product is taken in simplicial spaces. Then define Map( X,Y ) and Y K just as for simplicial spaces; for the latter, observe that if Y 0 is discrete, then so is ( Y K ) 0 = ( Y 0 ) K . Then one can verify the necessary isomorphisms to verify (SM6).

To check axiom (SM7), we need to show that if i : A → B is a cofibration and p : X → Y is a fibration in S C e at c , then the pullback-corner map

$$\text{Map} ( B, X ) \rightarrow \text{Map} ( A, X ) \times _ { \text{Map} ( A, Y ) } \text{Map} ( B, Y )$$

is a fibration of simplicial sets which is a weak equivalence if either i or p is. Since we have defined mapping spaces to be the same as in the category of simplicial spaces, we need only verify that a cofibration or fibration in S C e at c is still a cofibration or fibration, respectively, in the Reedy model structure on simplicial spaces. Since cofibrations are exactly the monomorphisms in both categories, the case of cofibrations is immediate.

Suppose, then, that p is a fibration in S C e at c , so that is has the right lifting property with respect to monomorphisms between Segal precategories which are also Dwyer-Kan equivalences. In particular, it has the right lifting property with respect to monomorphisms which are levelwise weak equivalences of simplicial sets. Suppose that A → B is an acyclic cofibration in the Reedy model structure. Then π 0 ( A 0 ) = ∼ π 0 ( B 0 ), so ( A r ) 0 ∼ = ( B r ) 0 . Therefore the map A r → B r is still a levelwise weak equivalence and monomorphism, and in particular a weak equivalence in S C e at c . Therefore we obtain a lifting

/d47

/d47

/d47

/d47

/d62

/d62

/d15

/d15

/d47

/d47

/d15

/d15

/d47

/d47

/d15

/d15

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0038v2-figure-7a0df8cb-03e8-4b36-9c94-da5ee337fcb5.jpg)

r

Therefore, p is also a fibration in the Reedy model structure on simplicial spaces. It follows that S C e at c satisfies axiom (SM7) and is a simplicial model category. /square

Since we have already verified that S C e at c satisfies the cellularity conditions, we have the following result.

Corollary 6.4. Let G be a simplicial group. The simplicial model categories S C e at G c and S C e at O op G c exist and there is a Quillen equivalence

$$i ^ { * } \colon \mathcal { S } e \mathcal { C } a t _ { c } ^ { \mathcal { O } _ { G } ^ { o p } } \Rightarrow \mathcal { S } e \mathcal { C } a t _ { c } ^ { G } \colon i _ { * }.$$

Using another application of Theorem 2.7, or rather, an analogue for simplicial model categories, we obtain the following.

Corollary 6.5. Let G be a simplicial group. Then there are Quillen equivalences of simplicial model categories

/d79

/d47

/d47

/d111

/d111

/d79

/d79

/d79

/d15

/d15

/d47

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0038v2-figure-42d6869c-8c2f-43d9-a458-fe31a2fd454d.jpg)

/d47

.

/d111

/d111

References

- [1] Julia E. Bergner, A characterization of fibrant Segal categories, Proc. Amer. Math. Soc. 135 (2007) 4031-4037.
- [2] Julia E. Bergner, A model category structure on the category of simplicial categories, Trans. Amer. Math. Soc. 359 (2007), 2043-2058.
- [3] Julia E. Bergner, Three models for the homotopy theory of homotopy theories, Topology 46 (2007), 397-436.
- [4] Anna Marie Bohmann, Kristen Mazur, Ang´ elica Osorno, Viktoriya Ozornova, Kate Ponto, and Carolyn Yarnall, A model structure on G at C , preprint available at math.AT/1311.4605.
- [5] J.M. Cordier and T. Porter, Vogt's theorem on categories of homotopy coherent diagrams, Math. Proc. Camb. Phil. Soc. (1986), 100, 65-90.
- [6] Emanuele Dotto and Kristian Moi, Homotopy theory of G -diagrams and equivariant excision, preprint available at math.AT/1403.6101.
- [7] Daniel Dugger and David I. Spivak, Rigidification of quasicategories, Algebr. Geom. Topol. 11 (2011) 225-261.
- [8] T. Dyckerhoff and M. Kapranov, Higher Segal spaces I, preprint available at math.AT/1212.3563.
- [9] A.D. Elmendorf, Systems of fixed point sets. Trans. Amer. Math. Soc. 277 (1983), no. 1, 275-284.
- [10] Philip S. Hirschhorn, Model Categories and Their Localizations, Mathematical Surveys and Monographs 99 , AMS, 2003.
- [11] A. Joyal, Simplicial categories vs quasi-categories, in preparation.
- [12] A. Joyal, The theory of quasi-categories I, in preparation.
- [13] Andr´ e Joyal and Myles Tierney, Quasi-categories vs Segal spaces, Contemp. Math. 431 (2007) 277-326.
- [14] Stephen Lack, Re: classifying functor and colimits, Category theory list, http://permalink.gmane.org/gmane.science.mathematic s.categories/3407.
- [15] Jacob Lurie, Higher topos theory. Annals of Mathematics Studies , 170. Princeton University Press, Princeton, NJ, 2009.
- [16] Regis Pelissier, Cat´gories enrichies faibles, preprint available at math.AT/0308246. e
- [17] C.L. Reedy, Homotopy theory of model categories, unpublished manuscript, available at http://www-math.mit.edu/ ∼ psh.
- [18] Charles Rezk, A model for the homotopy theory of homotopy theory, Trans. Amer. Math. Soc. , 353(3), 973-1007.

/d15

/d15

16

## J.E. BERGNER

- [19] Marc Stephan, On equivariant homotopy theory for model categories, preprint available at math.AT/1308.0856.

E-mail address : bergnerj@member.ams.org

Department of Mathematics, University of California, Riverside, CA 92521
Julia E. Bergner
Equivalence of models for equivariant $(\infty, 1)$-categories
In this paper we show that the known models for $(\infty, 1)$-categories can
all be extended to equivariant versions for any discrete group $G$. We show
that in two of the models we can also consider actions of any simplicial group
$G$.