Remark 18.34.7. Let $\mathcal{C}$ be a site. Suppose given a commutative diagram of sheaves of rings
\[ \xymatrix{ \mathcal{B} \ar[r] & \mathcal{B}' \\ \mathcal{A} \ar[u] \ar[r] & \mathcal{A}' \ar[u] } \]
a $\mathcal{B}$-module $\mathcal{F}$, a $\mathcal{B}'$-module $\mathcal{F}'$, and a $\mathcal{B}$-linear map $\mathcal{F} \to \mathcal{F}'$. Then we get a compatible system of module maps
\[ \xymatrix{ \ldots \ar[r] & \mathcal{P}^2_{\mathcal{B}'/\mathcal{A}'}(\mathcal{F}') \ar[r] & \mathcal{P}^1_{\mathcal{B}'/\mathcal{A}'}(\mathcal{F}') \ar[r] & \mathcal{P}^0_{\mathcal{B}'/\mathcal{A}'}(\mathcal{F}') \\ \ldots \ar[r] & \mathcal{P}^2_{\mathcal{B}/\mathcal{A}}(\mathcal{F}) \ar[r] \ar[u] & \mathcal{P}^1_{\mathcal{B}/\mathcal{A}}(\mathcal{F}) \ar[r] \ar[u] & \mathcal{P}^0_{\mathcal{B}/\mathcal{A}}(\mathcal{F}) \ar[u] } \]
These maps are compatible with further composition of maps of this type. The easiest way to see this is to use the description of the modules $\mathcal{P}^ k_{\mathcal{B}/\mathcal{A}}(\mathcal{M})$ in terms of (local) generators and relations in the proof of Lemma 18.34.3 but it can also be seen directly from the universal property of these modules. Moreover, these maps are compatible with the short exact sequences of Lemma 18.34.6.
Comments (0)