Skip to main content
2 of 3
Answered more of the question.
Simon Rose
  • 6.3k
  • 33
  • 53

The functor $[X/G]$ is not representable whenever there is non-trivial isotropy of the action of $G$ on $X$.

Let us consider the most extreme case: when $X = \bullet$ is a point (the terminal object) and $G$ is any non-trivial group. In such a case, $Hom(-,\bullet/G)$ is a singleton, as $\bullet / G = \bullet$, which is still terminal.

However, $[\bullet / G]$ is much more interesting than that! If you trace through the definition provided above (which is worth doing at least once in your life), we find that $[\bullet / G](U)$ is the collection of principle $G$-bundles over $U$, which is non-trivial most of the time. Thus it follows that, as a stack, $[\bullet / G]$ is the classifying space of $G$.

Particular examples are $[\bullet / \mathbb{G}_m]$ being the collection of line bundles, etc.

As for the question about how the morphism $[X/G] \to Hom(-,X/G)$ is defined:

In your diagram, the morphism $\alpha : E \to X$ is equivariant. You can thus complete the diagram to

$$ \begin{array}{c c c} E & \to & X \\ \downarrow & & \downarrow\\ U & \to & X/G \end{array} $$

which yields the desired map.

Simon Rose
  • 6.3k
  • 33
  • 53