Let a group $G$ act on a small category $C$. If $G$ acts freely on objects, there is a sensible construction of the quotient $C/G$ (this is briefly spelt out here)

What about the non-free case?

  • 3
    $\begingroup$ The appropriate 2-categorical construction is to replace $C$ by $C \times EG$ where $EG$ is the codiscrete category ($\mathrm{Hom}(x, y) = *$ for all $x$ and $y$) with object set $G$ and $G$ acting by left translation, and forming the quotient $(C \times EG)/G$ as described there. But, I guess your question is about the 1-categorical colimit? $\endgroup$ – Reid Barton Apr 27 '10 at 6:21
  • $\begingroup$ Indeed. Do you have a reference for the 2-categorical construction, anyways? $\endgroup$ – Mariano Suárez-Álvarez Apr 27 '10 at 6:31

From the view point of representations of finite dimensional algebras, there is a construction called the "orbit category" or "skew category" construction. The construction appears, for example, a paper by Cibils and Marcos, a paper by Keller, and a paper by Asashiba.

If you browse these papers, you will notice that their construction is a version of the Grothendieck construction. Here we regard an action of a group $G$ on a category $C$ as a functor $$G \longrightarrow Cats.$$

So it's related to Reid's comment.

  • $\begingroup$ Thomason's thesis says that for any diagram $F:D\to Cat$, the Grothendieck wreath product of D by F (or F by D?) is a model for the homotopy colimit, in the sense that its geometric realization is homotopy colimit of the geometric realization of the diagram. So I guess that's what's going on here (hence the relationship with Reid's comment). $\endgroup$ – Dan Ramras Apr 27 '10 at 18:31
  • $\begingroup$ Yes. That’s exactly what I wanted to say in the last sentence. $\endgroup$ – Dai Tamaki Apr 27 '10 at 19:42

Here is a particular special case that seems to be useful to me:

Let $F: D \to G$-Sets be a diagram of $G$-sets, indexed by some small category D. Then ignoring the G-actions, one can form the Grothendieck wreath product $D\wr F$. Objects are pairs (d, x) with $x\in F(d)$, and morphisms $(d,x)\to (d', x')$ are arrows $a:d\to d'$ such that $F(a)(x) = x'$. This category inherits an action of G from the actions on the sets in the diagram; $g\cdot (d,x) = (d, gx)$ (on morphisms, $g$ looks like the identity: $g\cdot (a:(d,x)\to(d',x')) = a:(d,gx)\to(d',gx')$, which makes since $F(a)$ is $G$-equivariant.

There is another diagram $F/G : D\to$ Sets, which takes $d\in D$ to $F(D)/G$, and there's a natural functor $D\wr F \to D\wr (F/G)$. I claim that this functor satisfies the universal property of the colimit, i.e. $(D\wr F)/G = D\wr (F/G)$.

This special case has the interesting property that the nerve of $D\wr (F/G)$ is precisely $N_\cdot (D\wr F)/G$. I don't think that will hold for arbitrary group actions on categories.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.