Lemma 91.4.6. If $B$ is a polynomial algebra over the ring $A$, then with $\pi$ as in (91.4.0.1) we have that $\pi _!$ is exact and $\pi _!\mathcal{F} = \mathcal{F}(B \to B)$.

Proof. This follows from Lemma 91.4.1 which tells us the constant simplicial algebra on $B$ can be used to compute $L\pi _!$. $\square$

There are also:

• 2 comment(s) on Section 91.4: Simplicial resolutions and derived lower shriek

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).