homotopy theory, (∞,1)-category theory, homotopy type theory
flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed…
models: topological, simplicial, localic, …
see also algebraic topology
Introductions
Definitions
Paths and cylinders
Homotopy groups
Basic facts
Theorems
homotopy theory, (∞,1)-category theory, homotopy type theory
flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed…
models: topological, simplicial, localic, …
see also algebraic topology
Introductions
Definitions
Paths and cylinders
Homotopy groups
Basic facts
Theorems
A groupoid representation is a representation of a groupoid.
Let $\mathcal{G}$ be a groupoid. Then:
A linear representation of $\mathcal{G}$ is a groupoid homomorphism (functor)
to the groupoid core of the category Vect of vector spaces (this example). Hence this is
For each object $x$ of $\mathcal{G}$ a vector space $V_x$;
for each morphism $x \overset{f}{\longrightarrow} y$ of $\mathcal{G}$ a linear map $\rho(f) \;\colon\; V_x \to V_y$
such that
(respect for composition) for all composable morphisms $x \overset{f}{\to}y \overset{g}{\to} z$ in the groupoid we have an equality
(respect for identities) for each object $x$ of the groupoid we have an equality
Similarly a permutation representation of $\mathcal{G}$ is a groupoid homomorphism (functor)
to the groupoid core of Set. Hence this is
For each object $x$ of $\mathcal{G}$ a set $S_x$;
for each morphism $x \overset{f}{\longrightarrow} y$ of $\mathcal{G}$ a function $\rho(f) \;\colon\; S_x \to S_y$
such that composition and identities are respected, as above.
For $\rho_1$ and $\rho_2$ two such representations, then a homomorphism of representations
is a natural transformation between these functors, hence is
for each object $x$ of the groupoid a (linear) function
such that for all morphisms $x \overset{f}{\longrightarrow} y$ we have
A permutation representation of $\mathcal{G}$ is often called a “$\mathcal{G}$-set” (see at G-set) and the category of permutation representations is also often denoted
(groupoid representations are products of group representations)
Assuming the axiom of choice then the following holds:
Let $\mathcal{G}$ be a groupoid. Then its category of groupoid representations is equivalent to the product category indexed by the set of connected components $\pi_0(\mathcal{G})$ (this def.) of group representations of the automorphism group $G_i \coloneqq Aut_{\mathcal{G}}(x_i)$ (this def.) for $x_i$ any object in the $i$th connected component:
Let $\mathcal{C}$ be the category that the representation is on. Then by definition
Consider the injection functor of the skeleton (from this lemma)
By this lemma the pre-composition with this constitutes a functor
and by combining this lemma with this lemma this is an equivalence of categories. Finally, by this example the category on the right is the product of group representation categories as claimed.
(groupoid representation of delooping groupoid is group representation)
If $B G$ is the delooping groupoid of a group $G$ (this example), then a groupoid representation of $B G$ according to def. is equivalently a group representation of the group $G$:
(fundamental theorem of covering spaces)
For $X$ a topological space then forming monodromy is a functor from the category of covering spaces over $X$ to that of permutation representations of the fundamental groupoid of $X$:
If $X$ is locally path connected and semi-locally simply connected, then this is an equivalence of categories. See at fundamental theorem of covering spaces for details.
Last revised on July 11, 2017 at 09:14:30. See the history of this page for a list of all contributions to it.