## 7.16 G-sets and morphisms

Let $\varphi : G \to H$ be a homomorphism of groups. Choose (suitable) sites $\mathcal{T}_ G$ and $\mathcal{T}_ H$ as in Example 7.6.5 and Section 7.9. Let $u : \mathcal{T}_ H \to \mathcal{T}_ G$ be the functor which assigns to a $H$-set $U$ the $G$-set $U_\varphi $ which has the same underlying set but $G$ action defined by $g \cdot \xi = \varphi (g)\xi $ for $g \in G$ and $\xi \in U$. It is clear that $u$ commutes with finite limits and is continuous^{1}. Applying Proposition 7.14.7 and Lemma 7.15.2 we obtain a morphism of topoi

associated with $\varphi $. Using Proposition 7.9.1 we see that we get a pair of adjoint functors

Let's work out what are these functors in this case.

We first work out a formula for $f_*$. Recall that given a $G$-set $S$ the corresponding sheaf $\mathcal{F}_ S$ on $\mathcal{T}_ G$ is given by the rule $\mathcal{F}_ S(U) = \mathop{\mathrm{Mor}}\nolimits _ G(U, S)$. And on the other hand, given a sheaf $\mathcal{G}$ on $\mathcal{T}_ H$ the corresponding $H$-set is given by the rule $\mathcal{G}({}_ HH)$. Hence we see that

If we work this out a little bit more then we get

with left $H$-action given by $(h \cdot a)(h') = a(h'h)$ for any element $a \in f_*S$.

Next, we explicitly compute $f^{-1}$. Note that since the topology on $\mathcal{T}_ G$ and $\mathcal{T}_ H$ is subcanonical, all representable presheaves are sheaves. Moreover, given an object $V$ of $\mathcal{T}_ H$ we see that $f^{-1}h_ V$ is equal to $h_{u(V)}$ (see Lemma 7.13.5). Hence we see that $f^{-1}S = S_\varphi $ for representable sheaves. Since every sheaf on $\mathcal{T}_ H$ is a coproduct of representable sheaves we conclude that this is true in general. Hence we see that for any $H$-set $T$ we have

The adjunction between $f^{-1}$ and $f_*$ is evidenced by the formula

with $f_*S$ as above. This can be proved directly. Moreover, it is then clear that $(f^{-1}, f_*)$ form an adjoint pair and that $f^{-1}$ is exact. So alternatively to the above the morphism of topoi $f : G\textit{-Sets} \to H\textit{-Sets}$ can be defined directly in this manner.

## Post a comment

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like `$\pi$`

). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

## Comments (2)

Comment #7481 by Nicolás on

Comment #7629 by Stacks Project on