Lemma 86.6.2. Suppose we have a diagram (86.4.0.1). Then the maps $1 \star \eta _ f : L(g')^* \to L(g')^* \circ a \circ Rf_*$ and $\eta _{f'} \star 1 : L(g')^* \to a' \circ Rf'_* \circ L(g')^*$ agree via the base change maps $\beta : Lg^* \circ Rf_* \to Rf'_* \circ L(g')^*$ (Cohomology on Sites, Remark 21.19.3) and $\alpha : L(g')^* \circ a \to a' \circ Lg^*$ (86.4.1.1). More precisely, the diagram
\[ \xymatrix{ L(g')^* \ar[r]_-{1 \star \eta _ f} \ar[d]_{\eta _{f'} \star 1} & L(g')^* \circ a \circ Rf_* \ar[d]^\alpha \\ a' \circ Rf'_* \circ L(g')^* & a' \circ Lg^* \circ Rf_* \ar[l]_-\beta } \]
of transformations of functors commutes.
Proof.
This proof is dual to the proof of Lemma 86.6.1. In this proof we write $f_*$ for $Rf_*$ and $g^*$ for $Lg^*$ and we drop $\star $ products with identities as one can figure out which ones to add as long as the source and target of the transformation is known. Recall that $\beta : g^* \circ f_* \to f'_* \circ (g')^*$ is an isomorphism and that $\alpha $ is defined using the isomorphism $\beta ^\vee : g'_* \circ a' \to a \circ g_*$ which is the adjoint of $\beta $, see Lemma 86.4.1 and its proof. First we note that the left vertical arrow of the diagram in the lemma is equal to the composition
\[ (g')^* \to (g')^* \circ g'_* \circ (g')^* \to (g')^* \circ g'_* \circ a' \circ f'_* \circ (g')^* \to a' \circ f'_* \circ (g')^* \]
where the first arrow is the unit for $((g')^*, g'_*)$, the second arrow is $\eta _{f'}$, and the third arrow is the counit for $((g')^*, g'_*)$. This is a simple consequence of the fact that the composition $(g')^* \to (g')^* \circ (g')_* \circ (g')^* \to (g')^*$ of unit and counit is the identity. Consider the diagram
\[ \xymatrix{ & (g')^* \circ a \circ f_* \ar[r] & (g')^* \circ a \circ g_* \circ g^* \circ f_* \ar[ld]_\beta \\ (g')^* \ar[ru]^{\eta _ f} \ar[dd]_{\eta _{f'}} \ar[rd] & (g')^* \circ a \circ g_* \circ f'_* \circ (g')^* & (g')^* \circ g'_* \circ a' \circ g^* \circ f_* \ar[u]_{\beta ^\vee } \ar[ld]_\beta \ar[d] \\ & (g')^* \circ g'_* \circ a' \circ f'_* \circ (g')^* \ar[ld] \ar[u]_{\beta ^\vee } & a' \circ g^* \circ f_* \ar[lld]^\beta \\ a' \circ f'_* \circ (g')^* } \]
In this diagram the two squares commute Categories, Lemma 4.28.2 or more simply the discussion preceding Categories, Definition 4.28.1. The triangle commutes by the discussion above. By the dual of Categories, Lemma 4.24.8 the square
\[ \xymatrix{ \text{id} \ar[r] \ar[d] & g'_* \circ a' \circ g^* \circ f_* \ar[d]^\beta \\ g'_* \circ a' \circ g^* \circ f_* \ar[r]^{\beta ^\vee } & a \circ g_* \circ f'_* \circ (g')^* } \]
commutes which implies the pentagon in the big diagram commutes. Since $\beta $ and $\beta ^\vee $ are isomorphisms, and since going on the outside of the big diagram equals $\beta \circ \alpha \circ \eta _ f$ by definition this proves the lemma.
$\square$
Comments (0)