The Stacks project

Proof. It follows from the assumptions that $f$ and $h \circ h'$ are Tor independent (details omitted), hence the statement makes sense. In this proof we write $g^*$ in place of $Lg^*$ and $f_*$ instead of $Rf_*$. Let $a$, $a'$, and $a''$ be the right adjoints of Lemma 48.3.1 for $f$, $f'$, and $f''$. The arrow corresponding to the right square is the composition

where $\xi _{right} : g_* \circ a' \to a \circ h_*$ is an isomorphism (hence can be inverted) and is the arrow “dual” to the base change map $h^* \circ f_* \to f'_* \circ g^*$. The outer arrows come from the canonical maps $1 \to h_* \circ h^*$ and $g^* \circ g_* \to 1$. Similarly for the left square we have

For the outer rectangle we get

where $k = g \circ g'$ and $m = h \circ h'$. We have $k^* = (g')^* \circ g^*$ and $m^* = (h')^* \circ h^*$. The statement of the lemma is that $\gamma _{rect}$ is equal to the composition

To see this we contemplate the following diagram

Going down the right hand side we have the composition and going down the left hand side we have $\gamma _{rect}$. All the quadrilaterals on the right hand side of this diagram commute by Categories, Lemma 4.28.2 or more simply the discussion preceding Categories, Definition 4.28.1. Hence we see that it suffices to show that

is equal to $\xi _{rect}$. This is the statement dual to Cohomology, Remark 20.28.5 and the proof is complete. $\square$