Quotient of a category by a group action - MathOverflow

Quotient of a category by a group action

2010-04-27T06:13:53Z

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?

Answer by Dai Tamaki for Quotient of a category by a group action

2010-04-27T07:47:00Z

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.

Answer by Dan Ramras for Quotient of a category by a group action

2010-04-27T18:46:29Z

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.