The Stacks project

Lemma 92.7.2. With notation as in ( suppose that $C$ is a polynomial algebra over $B$. Then $L\pi _!(g_3^{-1}\mathcal{F}) = L\pi _{3, !}\mathcal{F} = \pi _{3, !}\mathcal{F}$ for any abelian sheaf $\mathcal{F}$ on $\mathcal{C}_{C/B}$

Proof. Write $C = B[E]$ for some set $E$. Choose a resolution $P_\bullet \to B$ of $B$ over $A$. For every $n$ consider the object $U_ n = (P_ n \to B, P_ n[E] \to C)$ of $\mathcal{C}_{C/B/A}$. Then $U_\bullet $ is a cosimplicial object of $\mathcal{C}_{C/B/A}$. Note that $u_3(U_\bullet )$ is the constant cosimplicial object of $\mathcal{C}_{C/B}$ with value $(C \to C)$. We will prove that the object $U_\bullet $ of $\mathcal{C}_{C/B/A}$ satisfies the hypotheses of Cohomology on Sites, Lemma 21.39.7. This implies the lemma as it shows that $L\pi _!(g_3^{-1}\mathcal{F})$ is computed by the constant simplicial abelian group $\mathcal{F}(C \to C)$ which is the value of $L\pi _{3, !}\mathcal{F} = \pi _{3, !}\mathcal{F}$ by Lemma 92.4.6.

Let $U = (\beta : P \to B, \gamma : Q \to C)$ be an object of $\mathcal{C}_{C/B/A}$. We may write $P = A[S]$ and $Q = A[S \amalg T]$ by the definition of our category $\mathcal{C}_{C/B/A}$. We have to show that

\[ \mathop{\mathrm{Mor}}\nolimits _{\mathcal{C}_{C/B/A}}(U_\bullet , U) \]

is homotopy equivalent to a singleton simplicial set $*$. Observe that this simplicial set is the product

\[ \prod \nolimits _{s \in S} F_ s \times \prod \nolimits _{t \in T} F'_ t \]

where $F_ s$ is the corresponding simplicial set for $U_ s = (A[\{ s\} ] \to B, A[\{ s\} ] \to C)$ and $F'_ t$ is the corresponding simplicial set for $U_ t = (A \to B, A[\{ t\} ] \to C)$. Namely, the object $U$ is the product $\prod U_ s \times \prod U_ t$ in $\mathcal{C}_{C/B/A}$. It suffices each $F_ s$ and $F'_ t$ is homotopy equivalent to $*$, see Simplicial, Lemma 14.26.10. The case of $F_ s$ follows as $P_\bullet \to B$ is a trivial Kan fibration (as a resolution) and $F_ s$ is the fibre of this map over $\beta (s)$. (Use Simplicial, Lemmas 14.30.3 and 14.30.8). The case of $F'_ t$ is more interesting. Here we are saying that the fibre of

\[ P_\bullet [E] \longrightarrow C = B[E] \]

over $\gamma (t) \in C$ is homotopy equivalent to a point. In fact we will show this map is a trivial Kan fibration. Namely, $P_\bullet \to B$ is a trivial can fibration. For any ring $R$ we have

\[ R[E] = \mathop{\mathrm{colim}}\nolimits _{\Sigma \subset \text{Map}(E, \mathbf{Z}_{\geq 0})\text{ finite}} \prod \nolimits _{I \in \Sigma } R \]

(filtered colimit). Thus the displayed map of simplicial sets is a filtered colimit of trivial Kan fibrations, whence a trivial Kan fibration by Simplicial, Lemma 14.30.7. $\square$

Comments (0)

Post a comment

Your email address will not be published. Required fields are marked.

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

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 08QV. Beware of the difference between the letter 'O' and the digit '0'.