The Stacks project

Proof. Consider triples $(U, k, x)$ where $U$ is an object of $\mathcal{C}$, $k \in \mathbf{Z}$, and $x$ is a section of $\mathcal{M}^ k$ over $U$ with $\text{d}_\mathcal {M}(x) = 0$. Then we obtain a unique morphism of differential graded $\mathcal{A}_ U$-modules $\varphi _ x : \mathcal{A}_ U[-k] \to \mathcal{M}|_ U$ mapping $1$ to $x$. This is adjoint to a morphism $\psi _ x : j_{U!}\mathcal{A}_ U[-k] \to \mathcal{M}$. Observe that $1 \in \mathcal{A}_ U(U)$ corresponds to a section $1 \in j_{U!}\mathcal{A}_ U[-k](U)$ of degree $k$ whose differential is zero and which is mapped to $x$ by $\psi _ x$. Thus if we consider the map

then we will have conditions (2) and (3). Namely, the objects $j_{U!}\mathcal{A}_ U[-k]$ are good (Lemma 24.23.1) and any direct sum of good objects is good (Lemma 24.23.3).

Next, consider triples $(U, k, x)$ where $U$ is an object of $\mathcal{C}$, $k \in \mathbf{Z}$, and $x$ is a section of $\mathcal{M}^ k$ (not necessarily annihilated by the differential). Then we can consider the cone $C_ U$ on the identity map $\mathcal{A}_ U \to \mathcal{A}_ U$ as in Remark 24.22.5. The element $x$ will determine a map $\varphi _ x : C_ U[-k - 1] \to \mathcal{A}_ U$, see Remark 24.22.5. Now, since we have an admissible short exact sequence

we conclude that $j_{U!}C_ U$ is a good module by Lemma 24.23.2 and the already used Lemma 24.23.1. As above we conclude that the direct sum of the maps $\psi _ x : j_{U!}C_ U \to \mathcal{M}$ adjoint to the $\varphi _ x$

is surjective. Taking the direct sum with the map produced in the first paragraph we conclude. $\square$