Lemma 8.3.2 (0PDU) · ScalingStacks

0PDU

Lemma 8.3.2. The morphism $\sigma$ is invertible. Given $\alpha\in R_{\xi_{2}^{-}}^{\bullet}(T,U)$ and $\beta\in R_{\xi_{1}^{-}}^{\bullet}(U,S)$ , we have

\sigma(\alpha\otimes\beta)=\delta_{\alpha_{|U}\cdot\beta\neq 0}\bigl(\operatorname{id}\nolimits\boxtimes(\alpha_{\chi(\beta)(\xi_{1}^{-}(-1))}\cdot\beta_{\xi_{1}^{-}(-1)})\bigr)\otimes\bigl(\alpha_{\xi_{2}^{-}(-1)}\boxtimes(\alpha_{|U\setminus\{\chi(\beta)(\xi_{1}^{-}(-1))\}}\cdot\beta_{|S})\bigr).

Given $\alpha^{\prime}\in R_{\xi_{1}^{-}}^{\bullet}(T,U^{\prime})$ and $\beta^{\prime}\in R_{\xi_{2}^{-}}^{\bullet}(U^{\prime},S)$ , we have

\sigma^{-1}(\alpha^{\prime}\otimes\beta^{\prime})=\delta_{\alpha^{\prime}_{|U^{\prime}}\cdot\beta^{\prime}\neq 0}\bigl(\operatorname{id}\nolimits\boxtimes(\alpha^{\prime}_{\chi(\beta^{\prime})(\xi_{2}^{-}(-1))}\cdot\beta^{\prime}_{\xi_{2}^{-}(-1)})\bigr)\otimes\bigl(\alpha^{\prime}_{\xi_{1}^{-}(-1)}\boxtimes(\alpha^{\prime}_{|U^{\prime}\setminus\chi(\beta^{\prime})(\xi_{2}^{-}(-1))}\circ\beta^{\prime}_{|S})\bigr).

0PDV

Proof. We have

\sigma=(R_{\xi_{1}^{-}}\circ\textrm{mult})\circ(R_{\xi_{1}^{-}}\otimes R_{\xi_{2}^{-}}\otimes\varepsilon_{L_{\xi_{1}^{+}},R_{\xi_{1}^{-}}})\circ(R_{\xi_{1}^{-}}\otimes\lambda\otimes R_{\xi_{1}^{-}})\circ(\eta_{L_{\xi_{1}^{+}},R_{\xi_{1}^{-}}}\otimes\operatorname{id}\nolimits).

We have $\alpha=(\operatorname{id}\nolimits\boxtimes\alpha_{\xi_{2}^{-}(-1)})\cdot(\alpha_{|U}\boxtimes\operatorname{id}\nolimits)$ , hence $\alpha\otimes\beta=(\operatorname{id}\nolimits\boxtimes\alpha_{\xi_{2}^{-}(-1)})\otimes(\alpha_{|U}\cdot\beta)$ . As a consequence, it is enough to prove the first statement of the lemma assuming that $\alpha_{|U}=\operatorname{id}\nolimits_{U}$ . In that case, the composition above is given by

	$\displaystyle\alpha\otimes\beta$	$\displaystyle\mapsto\sum_{x\in\tilde{\xi}_{1}^{-1}(T)}(\operatorname{id}\nolimits_{T\setminus\{\tilde{\xi}_{1}(x)\}}\boxtimes\tilde{\xi}_{1}([-1\to x]))\otimes(\operatorname{id}\nolimits_{T\setminus\{\tilde{\xi}_{1}(x)\}}\boxtimes\tilde{\xi}_{1}([x\to 1]))\otimes\alpha\otimes\beta$
		$\displaystyle\mapsto\sum_{x\in\tilde{\xi}_{1}^{-1}(T)}(\operatorname{id}\nolimits_{T\setminus\{\tilde{\xi}_{1}(x)\}}\boxtimes\tilde{\xi}_{1}([-1\to x]))\otimes(\alpha_{\xi_{2}^{-}(-1)}\boxtimes\operatorname{id}\nolimits)\otimes(\operatorname{id}\nolimits\boxtimes\tilde{\xi}_{1}([x\to 1]))\otimes\beta$
		$\displaystyle\mapsto(\operatorname{id}\nolimits\boxtimes\beta_{\xi_{1}^{-}(-1)})\otimes(\alpha_{\xi_{2}^{-}(-1)}\boxtimes\operatorname{id}\nolimits)\otimes\beta_{\|S}$
		$\displaystyle\mapsto(\operatorname{id}\nolimits\boxtimes\beta_{\xi_{1}^{-}(-1)})\otimes(\alpha_{\xi_{2}^{-}(-1)}\boxtimes\beta_{\|S}).$

It is immediate to check that the formula for $\sigma^{-1}$ does produce an inverse. ∎