Homotopy of Planar Lie Group Equivariant Presheaves

We utilise the theory of crossed simplicial groups to introduce a collection of local Quillen model structures on the category of simplicial presheaves with a compact planar Lie group action on a small Grothendieck site. As an application, we give a characterisation of equivariant cohomology theories on a site as derived mapping spaces in these model categories.


Introduction
The cyclic category of Connes, which appears in the theory of non-commutative geometry, has proven to be a very useful tool since its introduction. Many authors have noted how cyclic objects model topological spaces with a SO(2)-action. This was formally developed by Dwyer et al. [6], Spaliński [31] and Blumberg [2] with Quillen equivalences between certain Quillen models on Top SO(2) and cyclic sets (in fact a slight modification of this category in the case of Blumberg).
The cyclic category is a special case of a wider class of categories called crossed simplicial groups [12]. These categories have the same objects as the simplex category, but allow the actions of groups G n on [n] compatible with the simplicial structure. In Communicated by Tim Porter.
B Scott Balchin slb85@le.ac.uk 1 Department of Mathematics, University of Leicester, University Road, Leicester LE1 7RH, England, UK the case of the cyclic category we have G n = Z/(n + 1). One can ask which other groups can be used in place of the cyclic groups. The first example that one many think of is letting G n = D n+1 , giving the dihedral category. Similar to the cyclic category modelling SO(2)-equivariant homotopy theory, the dihedral category can be used for the modelling of O(2)-equivariant homotopy theory [32].
There are also more exotic examples of crossed simplicial groups that can be considered. Take for instance the braid crossed simplicial group B, formed by letting G n = B n+1 , the braid group on n + 1 strings. A beautiful pictorial representation of a morphism [4] → [3] in B can be found in [12, §3.7]. Although this crossed simplicial group has its uses, it can only be used to model non-equivariant homotopy theory [21].
The question then is which crossed simplicial groups should we restrict our study to in order to be able to capture equivariant homotopy theories? The class of crossed simplicial groups that we are interested in are referred to as planar crossed simplicial groups, of which the cyclic and dihedral categories are examples. Planar crossed simplicial groups are those which can be used to model topological spaces with a planar Lie group action (i.e., a connective covering of O(2)). We have already remarked that we can capture SO (2) and O(2)-actions, but we can also access more interesting equivariant theory, such as Spin N (2)-actions. We shall see that for each planar crossed simplicial group, there is a choice of three different canonical models we can equip it with, depending on how much we want to respect the fixed point subgroups of the topological group.
Planar Lie group actions arise in some natural situations. Take, for example, the nerve functor N : Cat → sSet. An interesting fact is that one can equip the nerve of a groupoid with a natural cyclic (or more generally, a planar crossed simplicial group) action as shown in [13,Remark 5.5]. Consequently, the realisation of the nerve of a groupoid carries a canonical planar Lie group action.
Cyclic sets were used in the theory of cyclic presheaves in the work of Seteklev and Østvaer [30] (adapted from the Masters thesis of Seteklev [29]), where a local model structure is developed which mimics the construction of the local model on simplicial presheaves. This is the same model which is used in the theory of homotopical algebraic geometry [38]. We extend this model structure to all planar crossed simplicial groups. By construction, the local presheaf model structures that we develop here can be seen as giving the theory of equivariant (∞, 1)-stacks. We use this viewpoint, and present an application for equivariant (∞, 1)-stacks as a setting for equivariant cohomology theories.

Outline of the paper
We begin by introducing the theory of planar crossed simplicial groups before recalling a class of model structures on their presheaf categories. We then use these to develop local models on the categories of presheaves valued in these categories using left Bousfield localisation. Finally, we define equivariant cohomology theories as derived mapping spaces in these model categories. We will argue that our definition is well founded by exploring the cyclic case.

Crossed simplicial groups 2.1 Definition and classification theorem
Crossed simplicial groups were introduced by Loday and Fiedorowicz [12] (and independently by Krasauskas under the name of skew-simplicial sets [21]). Detailed accounts of the properties of these objects can be found in [9]. Here we will recall the necessary notions that we need for our intended application.  [4] or [5]) is an example of a crossed simplicial group where G n = Z/(n + 1) with generator τ n such that (τ n ) n+1 = id n . We will denote this category C. This category is used, among other places, in the theory of cyclic homology [23].

Example 2.3
From the previous example we can define new crossed simplicial group. Let N > 1 be a natural number, define C N by setting G n = Z/N (n + 1). This is an example of a planar Lie group and will be studied in more detail in the following section.
We can generate many more examples of crossed simplicial groups by using the following classification theorem. Theorem 2.4 ([12, Theorem 3.6]) Any crossed simplicial group G splits uniquely as a sequence of functors G n → G n → G n such that G is a simplicial group and G is one of the following seven crossed simplicial groups:

•
The trivial crossed simplicial group. • C The cyclic crossed simplicial group, C n = Z/(n + 1). • S The symmetric crossed simplicial group, S n = S n+1 .
• R The reflexive crossed simplicial group, R n = Z/2Z. • D The dihedral crossed simplicial group, D n = D n+1 .
We will call these crossed simplicial groups the simple crossed simplicial groups. We will say that G is of type G . Example 2.5 An example that arises form the classification theorem uses the quaternion groups Q n . These groups are dicyclic, therefore we can see that there is a crossed simplicial group Q = {Q n+1 } n≥0 due to the extension R → Q → D. The dihedral (resp., quaternionic) crossed simplicial groups are the object of study in dihedral (resp., quaternionic) homology as discussed in [22,32].
As with the simplex category, our interest with crossed simplicial groups lies in their presheaf categories. We will now introduce this concept and see how this notion is an extension of simplicial objects. Definition 2.6 Let G be a crossed simplicial group and C be a category. A Gobject in C is defined to be a functor X : ( G) op → C. We shall denote such a functor as X * with X n being the image of [n]. If λ : [m] → [n] is a morphism in G we shall denote by λ * : X n → X m the morphism X (λ). We shall denote the category of all G-C objects as G-C.

Remark 2.7
The inclusion functor i : → G induces a restriction i * : G-Set → sSet which forgets the G n actions. This functor is faithful but not full.
Sometimes it is more convenient to consider a G-object as a simplicial object with some extra structure.

Proposition 2.8 ([12, Lemma 4.2])
A G-object in a category C is equivalent to a simplicial object X * in C with the following additional structure: In particular, a G-map f * : X * → Y * is the same thing as a simplicial map such that each of the f n : X n → Y n is G n -equivariant.

Planar crossed simplicial groups
We will now move our attention to a special class of crossed simplicial groups. Planar crossed simplicial groups were first studied in [9] and further in [35]. They are important as they correspond to Lie groups that appear as structure groups of surfaces. First of all we give the notion of the geometric realisation of a crossed simplicial group. 1. Let G be a crossed simplicial group. Then the realisation |G| of the simplicial set G = {G n } n∈N is a topological group. 2. The geometric realisation |N G| of the nerve of the category G is homotopy equivalent to the classifying space B|G|. 3. Let X : G op → Set be a G-Set, then |i * X | has a natural |G|-action.

Definition 2.10
A planar crossed simplicial group is a crossed simplicial group which is of type C or D in the classification theorem.
Planar crossed simplicial groups are an interesting thing to study as their geometric realisations are planar Lie groups, which can be used to add extra structure to surfaces as done in [9]. Planar Lie groups have a full classification, and this classification matches up exactly with the planar crossed simplicial groups. Table 1 gives all of the planar crossed simplicial groups along with their geometric realisations, where we consider all M, N ∈ N. The groups SO (2) and O (2) are the universal covers of SO (2) and O(2) respectively.

Definition 2.12
The next result is one that will be crucial for the rest of the paper, and allows us to move from planar crossed simplicial group sets to topological spaces with group action. It follows from Theorem 2.9 with the properties of planar crossed simplicial groups taken into consideration. A proof of the result in the cyclic case can be found at [6, Proposition 2.8].

Proposition 2.13
Let G be a planar crossed simplicial group, then there is a realisation functor such that the following diagram commutes:

Top
Where |i * − | is the realisation functor on the underlying simplicial set, and u is the forgetful functor. This functor admits a right adjoint called the singular functor S G defined as For the rest of this paper we will only be interested in the planar crossed simplicial groups which have a compact group as its realisation (the reason being that equivariant homotopy theory is concerned with actions of compact Lie groups).

Three Quillen model structures for compact planar crossed simplicial group sets
In this section we will be interested in model structures in the sense of Quillen [26]. We develop three model structures for each compact planar crossed simplicial group. These models arise from the following theorem which is one of the basis for equivariant homotopy theory [10,25]: We will be interested in developing model structures on planar crossed simplicial group sets which are Quillen equivalent to the above model, where we allow F to be one of the three following families: These model structures are known for C, D and Q, the results of this section are showing how simply we can lift these models to the N -fold cases.

Remark 3.2
There is also a collection of intermediate model structures which occur between the weak and strong model structures, however we will not consider them here as they do not add to the theory.

The weak model
The first model that we will look at is the weak model as introduced by Dwyer et al. [6]. Note that this model structure works for any crossed simplicial group, not just compact planar ones.

Proposition 3.3 ([6, Theorem 6.2])
The category G-Set has a cofibrantly generated model structure where a map f : X → Y is a: Quillen . 3. Cofibration if it has the left-lifting property with respect to trivial fibrations.
The generating cofibrations are given by {∂ G[n] → G[n]} (i.e., boundary inclusions defined in the obvious way). We will call this model the weak model and will denote it G-Set w .

Proposition 3.4 Let G be a compact planar crossed simplicial group. Then there is a Quillen equivalence
with the equivalence given using the realisation and singular functors of Proposition 2.13.
Proof The cyclic case is [6, Theorem 4.1]. The proof hinges on the properties of the realisation/singular adjunction, and it can be checked that all of the functors in Proposition 2.13 satisfy the required properties. Therefore the other cases follows mutatis mutandis.

The strong model
We now look at the strong model structure which was introduced by Spaliński for C, D and Q [31,32]. We will begin by reviewing the cyclic case, extending it to the N -fold cyclic category. The N -fold cases follow almost immediately from the N = 1 case, and could be considered a corollary of the work of Spaliński. In particular, Spaliński proved the following theorem (see [31, §2] for details on specific terminology in the assumptions). Then there is a model structure on D in which a functor f : X → Y is a:

Cofibration if it has the left-lifting property with respect to trivial fibrations.
To use this theorem for model structures on G-Set we need only define the family of adjoint functors. We will only define one side of the adjunction, namely the i family, as the i are simply constructed from these in a slightly technical way. We begin with the cyclic case, for which we need the concept of edgewise subdivision (Fig. 1).

Definition 3.6
Let X be a simplicial set, define the r -fold edgewise subdivision of X to be the simplicial set sd r X where sd r X n = X r (n+1)−1 , and the face and degeneracy maps are described in terms of the face and degeneracies of X in the following way: Remark 3.7 Let X ∈ C N -Set be an N -fold cyclic set, let sd Nr X denote the subdivision of the underlying simplicial set. Then sd Nr X carries a natural Z/Nr action given by where τ n : [n] → [n] is the cyclic operator. Therefore for every r ≥ 1 there is a functor

Cofibration if it has the left-lifting property with respect to trivial fibrations.
We call the above model structure on C N -Set the strong model structure and we will denote it by Proof The case of N = 1 is given in [31,Theorem 3.10], where it is shown that the functors r are part of an adjunction which satisfy the conditions of Theorem 3.5. For N > 1, we are looking at a sub-collection of the functors for N = 1, which therefore still have the desired properties. Therefore we have the existence of the model structure.
For the Quillen adjunction, the detailed case of N = 1 is given in [31, Theorem 5.1], where it is shown using the cyclic realisation/singular adjunction. As will be the norm with this paper, due to the properties shared by the cyclic and N -fold cyclic realisations, these conditions trivially hold for the N -fold case, and the result follows.
We now move on to consider the dihedral and quaternionic cases. In this case we need to be able to access the fixed point data of the reflexive part of the groups, so to do this we introduce another subdivision functor (Fig. 2). Definition 3.9 Let X be a simplicial set, define the Segal subdivision of X to be the simplicial set sqX where sqX n = X 2n+1 , and the face and degeneracy maps are described in terms of the face and degeneracies of X in the following way: Remark 3.10 If X ∈ D N -Set is an N -fold dihedral set, let sqX denote the Segal subdivision of the underlying simplicial set. Then sqX carries a natural Z/2 action given by where ω n : [n] → [n] is the reflexive operator. Therefore there is a functor Using a combination of the two subdivision functors that we have introduced we can now access the fixed point data for any dihedral group.

Definition 3.11
For X a simplicial set and r ≥ 1, define the r -dihedral subdivision functor sbd r to be sbd r X = sq(sd r (X )) Which by Remarks 3.7 and 3.10 gives a functor The category D N -Set has a cofibrantly generated model structure where a map f : X → Y is a: , Quillen . 3. Cofibration if it has the left-lifting property with respect to the class of trivial fibrations.
We call the above model structure on D N -Set the strong model structure and we will denote it by D N -Set s . Moreover there is a Quillen equivalence Proof The existence of the model for N = 1 is given in [32,Theorem 4.3], as we already have the functors r satisfying the conditions of Theorem 3.5, what is shown is that the family r also satisfies these assumptions. The Quillen equivalence for N = 1 is given in [32,Theorem 4.3]. The case for N > 1 follows as discussed in the proof of Proposition 3.8.
We complete this section with a model for Q M -Set which follows very easily from the dihedral case. We see that the group Q r also acts on sbd r X where X is a quaternionic set. Therefore for r ≥ 1 we define the functor  Quillen . 3. Cofibration if it has the left-lifting property with respect to the class of trivial fibrations.
We call the above model structure on Q M -Set the strong model structure and we will denote it by Q M -Set s . Moreover there is a Quillen equivalence

The coupled model
We now move on to the last collection of model categories for G-Set. In this case we will develop discrete models which respect all closed subgroups of G, not just the finite subgroups. Note that the action, for example, of SO(2) on any cyclic set is discrete. In [11] the fixed point set is given as Therefore to capture this extra data, we must construct a new category which extends G-Set in such a way we can keep track of the infinite group action.
Definition 3.14 Let C and D be categories, and F : C → D a functor. Then the category C F D has: 1. Objects given by triples (A, B, F A → B) with A ∈ C and B ∈ D. 2. Morphisms specified by maps f 1 : A → A and f 2 : B → B such that the following diagram commutes: We will call such a category coupled.
Remark 3. 15 The above category construction can be seen as the comma category ( f /1 D ) [24]. Therefore it can also be seen as a presentation of the lax limit of F : A → B in Cat [20].   C and B → B is a fibration in D. C and F A F A B → B

Cofibration if A → A is a cofibration in
We begin with the cyclic case as proved by Blumberg [2], to do this we construct a functor ∇ : sSet → C-Set s such that |X | H |∇ X | H C for all finite H < SO (2). Definition 3.19 Let ∇ n = S C (| [n]|). Then we have that ∇ * is a cosimplicial cyclic set. We then define This functor has a right adjoint A given by A (Y ) n = Hom C-Set (∇ n , Y ) We consider the category P := sSet ∇ C-Set s . Proof To show this we need to show that given a map ( is a trivial cofibration, then the map B → B is a weak equivalence. We begin by noting that the map B → B is the composite and we know by assumption that the second map is a weak equivalence. Therefore it will suffice just to show that the first map is a weak equivalence. By taking the realisation this is equivalent to showing that is a weak equivalence of spaces for all finite H ⊂ SO (2). We then use the fact that the geometric realisation is a colimit to see that Since A → A is a cofibration of simplicial sets, it is an inclusion and |∇ A| C → |∇ A | C is a closed inclusion. By Lemma 3.20 the fixed-point functor commutes with the pushout so we get |B| H C is a pushout of a trivial cofibration and therefore itself a trivial cofibration.

. Weak equivalence if A → A is a weak equivalence of simplicial sets and B → B
is a strong weak equivalence of cyclic sets.

Cofibration if A → A is a cofibration of simplicial sets and ∇ A ∇ A B → B is a strong cofibration of cyclic sets.
We now must construct a bijection between our two categories of interest, P and Top SO (2) .

S X SO(2) , S C (X ) , ∇ S X SO(2) → S C (X )
Here the map ∇ S X SO(2) → S C (X ) is the adjoint to the composite (2) and S C (X ) → S C (Y ) which fit in the following commutative diagram: ≤SO(2) .

Theorem 3.25 ([2, §6]) The functors L and R specify a Quillen equivalence between P equipped with the model structure given in Corollary 3.22 and Top
For model structures of this type, we will frequently abuse notation and just denote C-Set c := P := sSet ∇ C-Set s and call it the coupled model on cyclic sets. However we should remember that in fact C-Set c has a different underlying category than C-Set w and C-Set s . We can now consider changing the above machinery to work in C N -Set. All of the following statements follow almost instantly from the machinery introduced by Blumberg which we reproduced above, and by using the strong model structures that we defined previously. This really is one of the advantages of working with planar crossed simplicial groups, the properties that they share usually allow us to prove things about all of them after it has been asserted in a single case. First of all we must think of what is the correct underlying category to use. We will be considering the category

Lemma 3.26 ∇ N is Reedy admissible ∀N ∈ N.
Therefore there is a model structure on P N given by Theorem 3.17.
Proof If we look at the proof of Lemma 3.21, we see that the only tool that we required was the fact that the geometric realisation was a colimit combined with Lemma 3.20 which works for all G. We have that the realisation | − | C N is a colimit by definition, and therefore the proof is identical.

Proposition 3.27 There is a Quillen equivalence
where the adjunctions L and R are the obvious ones obtained form the cyclic case.
Proof As above, we can prove this statement using the proofs from the N = 1 case.
The properties of C-sets that are used to prove the statement have been proved in the case of C N -sets.
Again, we will ease notation and denote C N -Set c := P N := sSet ∇ N C N -Set s and call it the coupled model on N -fold cyclic sets.
The question now is how can we extend this to other planar crossed simplicial groups. Spaliński answered this question with respect to D-Set in relation to Top O (2) in [33]. We outline the adjustments needed from the above to facilitate this. In the case of O(2), we have two infinite subgroups, namely SO (2) and O(2) itself. Therefore we need some way to take into account the Z/2 action which relates SO (2) and O (2). Denote by R the crossed simplicial group where G n = Z/2 for all n. We can put a model structure on the category R-Set which has a Quillen adjunction to the equivariant model structure on Top Z/2 . This model structure is discussed in [33, §3].
We consider the category K := R-Set D-Set s . We see that this is related to the previous case, all we have done is replaced sSet with R-Set which will track the Z/2 action. As Spaliński points out in [33], the proofs involving the category K are analogous to the case proved by Blumberg due to the properties of the realisation functor.

Cofibration if A → A is a cofibration of R-sets and A A B → B is a strong cofibration of dihedral sets.
We now must construct a bijection between our two categories of interest, K and Top O (2) . We can do this in the akin to the cyclic case, and we get the following result.

Theorem 3.31 ([33, §5]) There exists functors L and R which specify a Quillen equivalence between K equipped with the model structure given in Corollary 3.30 and
Top ≤O(2) . Now, again we modify to allow it to work for D N , the proof of which is obtainable from the theory discussed above and using the ideas from the strong model structures. We consider the category

Presheaves with values in compact planar crossed simplicial groups
In this section we will develop local model structures on presheaves with values in compact planar crossed simplicial groups with the three different models discussed in Sect. 3. We will begin by recalling the theory of simplicial presheaves as discussed, at length, in [15].

Simplicial presheaves
Definition 4.1 Let C be a simplicial category, a topology on C is a Grothendieck topology on the category Ho(C). A simplicial site (C, τ ) is the data of C along with the topology τ . We will now put the first model structure on the category sPr(C), which will not use any properties of the topology of the simplicial site. This is known as the point-wise (or sometimes global) projective structure and was originally developed in [3].

Proposition 4.3 There exists a point-wise model structure on the category sPr(C)
where a map f : F → F is a:

Cofibration if it has the left-lifting property with respect to the class of trivial fibrations.
To reflect the topology of the site, we will add more weak equivalences. The following definition is one way to formulate these in a base-point free way.

Definition 4.4 A map f : F → F in sPr(C) is a local weak equivalence if:
• the induced map π 0 F → π 0 F is an isomorphism of sheaves, where π 0 is the sheafification of π 0 . • the induced squares π n F π n F F 0 F 0 are pullbacks after sheafification.

Weak equivalence if it is a local weak equivalence 2. Fibration if it has the right-lifting property with respect to the trivial cofibrations 3. Cofibration if it is a cofibration in the point-wise model.
We will denote this model structure sPr τ (C).

Definition 4.6
A hypercover of an object X ∈ C is the data of a simplicial presheaf H together with a morphism H → X such that: 2. For any n ≥ 0, the morphism of presheaves H n Hom( n , H) → Hom(∂ n , H) × Hom(∂ n ,X ) Hom( n , X ) induces an epimorphism after sheafification.

Remark 4.7
It can be shown that sPr τ (C) is in fact the left Bousfield localisation of sPr(C) with the point-wise model structure with respect to hypercovers.

Presheaves for the weak and strong models
We will begin by looking at presheaves over the weak and strong models. This was developed in the cyclic case by Seteklev and Østvaer in [30], all results here can be obtained from the results presented there.

Definition 4.8
Let G be a compact planar crossed simplicial group and C a small Grothendieck site. A G-presheaf on C is a functor F : C op → G-Set. We will denote by G-Pr(C) the category of all G-presheaves on C.
From now on we will focus on equipping the category of G-presheaves with the strong model, however all of the results that follow also hold for the weak model. Note that, as discussed in [30], the category G-Pr(C) is tensored, cotensored and enriched in G-Set. As in the simplicial case, we can put a point-wise model structure on G-Pr(C) which does not look at all at the topology on C, whose existence follows from the fact that G-Set s is cofibrantly generated. For the cyclic case this is given as [30,Theorem 4.2].

Proposition 4.9
There is a cofibrantly generated model structure on G-Pr(C) called the projective point-wise model structure where a map is a:

Cofibration if it has the left-lifting property with respect to the trivial fibrations.
The generating set of cofibrations is given by C ⊗ i where i is a generating cofibration of G-Set s and C ∈ C. We will denote this model G-Pr s (C) We will now construct the local model structure on the G-presheaves. To do this we will take the approach of Remark 4.7 and define the strong descent condition for hypercovers of cyclic presheaves, and then localise at this class of maps (see [30,Theorem 5.3]). is a weak equivalence in G-Set s .

Definition 4.11
There is a cofibrantly generated strong local model structure on G-Pr s (C) given as the left Bousfield localisation of the point-wise model at the class of hypercovers. We will denote this model G-Pr τ (C) s We finish this section by outlining how we can explicitly describe the weak equivalences in these models. We will look at the construction for the strong cyclic case, with the other cases being the same with the correct replacement of subdivision functors as discussed in Sect. 3. First of all note that the functors r : C-Set → sSet induce a family of functors r * : C-Set * → sSet * between the pointed versions of these categories. For X a fibrant cyclic set and x ∈ X 0 we define π r n (X, x) := π n r * (X, x).
is a strong local weak equivalence if for all r ≥ 1: • the induced map π r 0 F → π r 0 F is an isomorphism of sheaves. • the induced squares π r n F π r n F r F 0 r F 0 are pullbacks after sheafification.

Remark 4.13
From the definition of π r n (X, x) it is easy to see that a map f : F → F in C-Pr(C) is a strong local weak equivalence if and only if r ( f ) is a local weak equivalence of simplicial presheaves for all r ≥ 1. This means that we could also reformulate Theorem 3.5 for presheaf categories to obtain the results in this section.

Presheaves for the coupled model
We are now interested in presheaves valued in coupled categories. We will consider this from two different viewpoints. Let X be a simplicial Grothendieck topos. We define two categories where F * : Fun(X op , C) → Fun(X op , D) is the induced functor on the presheaf categories by composition with F. Lemma 4.14 If the functor F is Reedy admissible, then so is F * between the pointwise model structures on the presheaf categories.
Proof As we will only be concerned with the resulting homotopy theory, it is enough to prove this for the injective point-wise model. Assume that A → A is a trivial cofibration in Fun(X op , C) and F * A F * A B → B a trivial cofibration in Fun(X op , D).
We need to show that B → B is a weak equivalence in Fun(X op , D). Recall that in the injective point-wise model structure, A → A is a trivial cofibration if and only if ∀x ∈ X the induced map A(x) → A (x) is a trivial cofibration in C. Likewise we consider ∀x ∈ X the maps be trivial cofibrations in D. However note that F * A (x) = F (A(x)). By assumption on F it then follows that ∀x ∈ X the maps B(x) → B (x) are weak equivalences in D. Therefore B → B is a weak equivalence in the point-wise model structure for Fun(X op , D).

Proposition 4.15
The categories P(X) and Q(X) are isomorphic. Moreover, there is a Quillen equivalence between the point-wise model structures.
) which can be trivially viewed as an object of C F D. This assignment for each x ∈ X allows us to construct a functor α : Q(X) → P(X). This functor can be seen as being fully faithful and essentially surjective due to its constructive nature. The Quillen equivalence follows from comparing the classes of weak equivalences and fibrations in each category and showing that they coincide with the functor α.
Taking into account Proposition 4.15, we arrive at the following definition for presheaves with values in the coupled model structure. We begin as always with the cyclic case. We will denote by C N -Pr c (C) the category of all C N coupled presheaves on C.
Now we wish to equip this category with a local model structure. To do this we will just change the presheaf categories appearing in the definition by their local models. We list the following as a corollary since the existence of the model structures follows from Theorem 3.17 and a slight modification of Lemma 4.14.

Corollary 4.17
There is a cofibrantly generated model structure on C N -Pr(C) (resp., D N -Pr(C), Q M -Pr(C)) defined as We will denote this model by C N -Pr c τ (C) (resp., D N -Pr c τ (C), Q M -Pr c τ (C)) and call it the coupled local model structure.

Equivariant sheaf cohomology theories
We finish this paper by discussing (equivariant) cohomology theories. Recall from [37] that for a site C the homotopy category Ho(sPr τ (C)) is known as the category of ∞stacks on C. For a given model m (weak, strong, coupled) we know that by Proposition 2.8, an object of Ho( G-Pr m τ (C)) can be seen as an ∞-stack on C along with some additional structure encoding the action of G. Due to this reasoning, we make the following definition.
Definition 5.1 Let G be a planar crossed simplicial group and m one of the three model structures. We will call Ho( G-Pr m τ (C)) the category of G m -equivariant ∞-stacks on C.
Of course, one can explore analogues of all homotopical algebraic constructs in this equivariant setting. We choose to focus on the use of stacks in non-abelian cohomology theories. An overview of this for the non-equivariant case can be found in the article of Toën [36]. We will specialise to the setting of sheaf cohomology of sites, the following can be found in the book of Jardine [17]. We will now describe how the above construction works, as it will play a key role in the equivariant case. We can see the above isomorphism as a chain of natural isomorphisms as follows: (simplicial abelian sheaves) (1) Isomorphism 1 takes the setting from the homotopy category of simplicial presheaves to the corresponding homotopy category of simplicial abelian presheaves. This step is an isomorphism because of the following result proved by Osdol [39].
Isomorphism 2 follows from the Dold-Kan correspondence. This takes us into the setting of the homotopy category of simplicial abelian presheaves with morphisms now in the derived category. Finally, isomorphisms 3 and 4 can be taken simply as the corresponding definitions.
To mirror this construction in the equivariant case, we first need to consider what our coefficients will be. In particular, we wish to define an equivariant Eilenberg-MacLane space. To do this, we revisit the construction of classical Eilenberg-MacLane spaces via the linearisation of spheres [28,Example 1.14].
We begin by recalling that the simplicial circle is the simplicial set defined to be S 1 := [1]/∂ [1] and the simplicial n-sphere is defined to be the n-fold smash product: We can then consider for any abelian group A, the space A ⊗ Z[S n ] where the second term is the free abelian group generated by the level-wise non-base-points of S n . That is, we can see the points of A⊗Z[S n ] to be finite sums of points in S n with coefficients in A modulo the relation that all A-multiples of the base-point are zero. One can equip this space with the induced quotient topology where A is given the discrete topology.

Proposition 5.5 ([1, Corollary 6.4.23]) For any abelian group A the space A ⊗Z[S n ]
is a K (A, n) space. Note that for n ≥ 1 the space has a unique connected component and therefore we do not need to specify a base-point.
As we have defined the above using a simplicial construction, it can very easily be modified to the G setting. We begin by defining the analogue of the simplicial sphere.

Definition 5.6
The G-circle is the G-set defined to be S 1 G := G[1]/∂ G [1]. The G-n-sphere is the n-fold smash product of S 1 G .
Definition 5.8 Let A be an abelian group, we define the G-K (A, n) object to be where Z[S n G ] is the abelian group freely generated by the level-wise non-base-point elements.
By considering the underlying simplicial object i * (K G (A, n)) K (A, n) we see that such an object is both n-connected and n-truncated as we would expect.
We now look at altering the site cohomology from the simplicial case to the equivariant case using the equivariant Eilenberg-MacLane objects. Clearly the choice of model structure plays a part in the cohomology defined above. The weak model structure is the coarsest model, and retrieves Borel style cohomology, whereas the strong and coupled model are finer, and are of Bredon type. This construction has been done using presheaves of G-spaces, in contrast, what we have done here is a combinatorial discrete formalisation [14].
We will unpack this definition for the cyclic case. We work with the cyclic case as we wish to produce a series of natural isomorphisms as in the non-equivariant case, and all such isomorphisms can be described using work that has been done in the cyclic setting. We begin by proving the equivariant version of the Illusie conjecture, for which we must consider the category C-R-mod of C-objects in the category of R-modules. There is a free functor C : CSet → C-R-mod, arising as a left adjoint to the forgetful functor going the other way. The category C-R-mod can be equipped with the corresponding weak/string/coupled model via a transfer. We promote the free functor C to C-presheaves by applying it section-wise. Using this, it is possible to move from the setting of C-presheaves to C-abelian sheaves: and in fact, this association is an isomorphism due to the following proposition. Proof Recall from the previous section that the strong (and indeed the weak and coupled) models rely on the subdivision functors r : C-Set → sSet. We will prove the result for the case of the strong model, the weak and coupled models follow easily from this. First we note that for any subdivision r C X C r X . Now we note that a map f is a weak equivalence in C-Pr s τ (C) if and only if r f is a weak equivalence in sPr τ (C) for all r ≥ 0. Therefore our desired result follows from the simplicial Illusie conjecture, Proposition 5.4.

Remark 5.11
Although we have shown the above only for the cyclic case, we can see that it holds for all of the planar crossed simplicial groups as the subdivision functors all have the required property that we use in the proof.
We have now replicated the first step from the simplicial case. Recall that the next step was the isomorphism [Z * , K (A, n)] [Z [0], A[−n]] from the maps in the homotopy category of simplicial abelian sheaves to maps between sheaves of chain complexes which was facilitated using the Dold-Kan correspondence. In the general equivariant case, such an isomorphism is unaccessible as we would need some Dold-Kan style theorem between the abelian objects and certain "chain complexes". However, in the cyclic case such a construction exists as a consequence of work on so-called duchain complexes (see [7,8,34]). We will not introduce the full theory but just give the relevant result. First, we introduce what we mean by cyclic chain and duchain complexes.
such that ∂ 2 = δ 2 = 0, but otherwise the ∂'s and δ's are independent. A map of duchain complexes is a set of maps f i : X i → Y i such that all the obvious squares commute.
Denote by f i (t) = 1 + (−1) i t i+1 for i ≥ 0. A cyclic chain complex is a duchain complex such that • f n−1 f n (δ∂)x = x, for all x ∈ X n , n > 0.
We can now use this notion of cyclic complexes to give the statement of the "cyclic Dold-Kan theorem".

Proposition 5.13 ([8, Proposition 2.2])
The category of cyclic chain complexes over R is equivalent to the category of C-R-modules.
Using the above proposition we see that we have therefore got an isomorphism to a mapping between sheaves of cyclic complexes as one would expect. In the simplicial case we had In the equivariant case the choice of model will determine what we get at this step. What can be said is that in the weak model case, Dwyer and Kan proved that the category of R-modules equipped with the weak model is Quillen equivalent to another category, namely the category of mixed complexes [8]. And then in [19] Kassel shows that there is a way to compute cyclic cohomology as derived functors on a mixed complex using an Ext construction. Therefore, we see that in the weak cyclic case, we retrieve a cyclic cohomology, which can be seen as a Borel type equivariant cohomology theory as shown in [18]. We conclude that the definition of equivariant site cohomology via equivariant ∞-stacks is a sensible one. The advantage of using this definition of equivariant cohomology is that we do need results about Dold-Kan type correspondences to compute it for a general planar Lie group, and we have control over the level of equivariance via a choice of model structure.
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.