ScalingStacks

Proposition 4 The functor of tensoring with the bimodule ${\mathcal{F}}(W(b))\{k-l\}$ is left adjoint to tensoring with ${\mathcal{F}}(b)$ and the functor of tensoring with ${\mathcal{F}}(W(b))\{l-k\}$ is right adjoint to tensoring with ${\mathcal{F}}(b).$