ScalingStacks

0MYE

Proof. First, by Proposition 3.11 and induction it suffices to show the statement for objects of the form IndG0G​ℚ​(n)​[m].\operatorname{Ind}_{G_{0}}^{G}\mathbb{Q}(n)[m]. If GG is connected the homomorphims of objects of the form IndG0G⁡ℚ⁡(n)​[m]=ℚ⁡(n)​[m]\operatorname{Ind}_{G_{0}}^{G}\mathbb{Q}(n)[m]=\mathbb{Q}(n)[m] are described in terms of SWS^{W} in both DMG⁡(k,ℚ),\operatorname{DM}_{G}(k,\mathbb{Q}), see Proposition 3.12, and in DG⁡(pt,ℚℓ),\operatorname{D}_{G}(\operatorname{pt},\mathbb{Q}_{\ell}), see [BL94, Section 13.10], and the statement is easily seen to be true. The case that GG is not connected can be handled as described in [SVW18, Theorem A.2.8]. ∎

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.

Jens Niklas Eberhardt, Catharina Stroppel

Original source: arXiv:2109.00305v2