Suppose we have a scheme $S$ and two sheaves of groups $H, H'$ on $S$ for the fpqc topology such that $H \subset H'$. Let $\mathcal{H}$ be an $H$-torsor. Then how do you naturally get an $H'$-torsor associated to $\mathcal{H}$?
2026-04-22 21:28:30.1776893310
Associated torsor via inclusion of sheafs
35 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
You take the sheafification of
$$S\mapsto (H'(S)\times\mathcal{H}(S))/\sim$$
where $(h'_1,h_1)\sim (h'_2,h_2)$ if there exists some $h\in H(S)$ such that $(h_2',h_2)=(h_1' h,h^{-1}h_1)$.