Base change for Borel-Moore homology For a seperated scheme of finite type $X$ over $\mathbf{C}$, let $H_*(X)$ denote its Borel-Moore homology, which is defined by
$$
H_k(X) = R^{-k}\Gamma(X, \omega_X)
$$
where $\omega\in D_c(X, \mathbf{C})$ is a dualising object in the derived category of constructible $\mathbf{C}$-sheaves on $X$. It is immediate from the definition and the six operations for constructible sheaves that $H_*$ is covariant with respect to proper morphisms and contravariant with respect to smooth morphisms. Let $f_*$ and $f^*$ denote respectively the direct and inverse image maps.

Question 
If we are given a cartesian diagramme of schemes over $\mathbf{C}$
  $\require{AMScd}$ \begin{CD} Y' @>\tilde g>> Y \\ @VVf'V @VVfV \\ X'
@>g>> X \end{CD} where $f$ is proper and $g$ is smooth, do we have an equality of the maps between homology groups $f'_*\tilde g^* = g^*f_*: H_*(Y)\to H_*(X')$?

In the book [N. Chriss & V. Ginzburg, Representation theory and complex geometry, 8.3.34]
, this is shown in the case where $g$ is locally a trivial fibration, by reducing it to the commutativity of the following diagramme of derived functors 
\begin{CD}
f_*f^! @>>> \mathrm{id}_X @>>> g_*g^* \\
@VVV @. @AAA \\
f_*\tilde g_*\tilde g^*f^! @. = @. g_* f'_*{f'}^! g^*
\end{CD}
in which all the morphisms are adjunction morphisms except for the base change morphism $\tilde g^*f^! \cong {f'}^! g^*$ in the bottom line, whose definition can be found in [SGA4, Exposé 18, 3.1.14.2]. One gets the result by apply the diagramme to $\omega_X$ and then take global sections.
The commutativity of the diagramme above can be easily checked in the case where $g: X'\to X$ is locally a trivial fibration. While I don't know how to do it if $g$ is only assumed to be smooth, I still suspect the commutativity to remain true. 
Let me also add that there is such an equality $f'_*\tilde g^* = g^*f_*: A_*(Y)\to A_*(X')$ for Chow groups and for $f$ proper and $g$ flat, see for example [Fulton, Intersection theory, Prop. 1.7]. 
 A: $\require{AMScd}$
After the struggle of a whole day due to my unfamiliarity with the category theory, I found the answer.
The commutativity is due essentially to the following facts:


*

*Given any morphism of schemes $f: X \to Y$ we have the adjunction $(f^*, f_*, \epsilon_f, \eta_f)$:
$$
f^*: D_c(Y, \mathbf{C})\to  D_c(X, \mathbf{C}),\; f_*: D_c(X, \mathbf{C})\to  D_c(Y, \mathbf{C})
$$
$$
\epsilon_f : \mathrm{id} \to f_*f^*, \; \eta_f : f^*f_* \to \mathrm{id}
$$
Then, given any two morphisms $X\xrightarrow{f}Y\xrightarrow{g} Z$, we then have $(g_*\epsilon_fg^*)\epsilon_g = \epsilon_{gf}$, as indicated below
\begin{CD}
\mathrm{id}@>\epsilon_{gf}>> (gf)_*(gf)^* \\
@V\epsilon_{g}VV @| \\
g_*g^*@>g_*\epsilon_fg^*>> g_*f_*f^*g^*
\end{CD}

*Given any morphism of schemes $f: X \to Y$ we have the adjunction $(f_!, f^!, \sigma_f, \tau_f)$:
$$
f_!: D_c(X, \mathbf{C})\to  D_c(Y, \mathbf{C}),\; f^!: D_c(Y, \mathbf{C})\to  D_c(X, \mathbf{C})
$$
$$
\sigma_f : \mathrm{id} \to f^!f_!, \; \tau_f : f_!f^! \to \mathrm{id}
$$
Then, given any two morphisms $X\xrightarrow{f}Y\xrightarrow{g} Z$, we then have $\tau_g(g_!\tau_fg^!) = \tau_{gf}$, as indicated below
\begin{CD}
g_!f_!f^!g^!@>g_!\tau_{f}g^!>> f_!f^! \\
@| @V\tau_{f}VV  \\
(gf)_!(gf)^!@>\tau_{gf}>> \mathrm{id}
\end{CD}


The first one is obvious, while the second one is a sheaf-theoretic version of the Fubini theorem.
Now we turn to the diagramme in question
\begin{CD}
Y' @>\tilde g>> Y \\
@Vf'VV @VfVV\\
X' @>g>> X
\end{CD}
where $f$ is proper and $g$ is smooth and equidimensional. 
Suppose we are given two objects $A, B\in D_c(X, \mathbf{C})$ and a morphism $\varphi\in \mathrm{Hom}(f^*A, f^!B)\cong \mathrm{Hom}(A, f_*f^!B)$. Form the following diagramme
\begin{CD}
g^* A @>g^*\epsilon_f>> g^*f_*f^* A @>g^*f_*\varphi>> g^*f_*f^! B @>g^*\tau_f>> g^* B \\
@V\epsilon_{f'}g^*VV @V\mathrm{BC}VV @V\mathrm{BC}VV @A\tau_{f'}g^*AA \\
f'_*{f'}^*g^*A @= f'_*\tilde g^*f^*A @>f'_*\tilde g^*\varphi>> f'_*\tilde g^*f^!B @= f'_*{f'}^!g^*B
\end{CD}
This diagramme is commutative:


*

*The square in the middle is commutative, by applying the base change isomorphism (BC) $g^*f_*\cong f'_*\tilde g^*$ to $\varphi$.

*The square in the left is equivalent to the following adjoint
\begin{CD}
 A @>\epsilon_f>> f_*f^* A \\
@V(g_*\epsilon_{f'}g^*)\epsilon_gVV @Vf_*\epsilon_{\tilde g}f^*VV \\
g_*f'_*{f'}^*g^*A @= f_*\tilde g_*\tilde g^*f^*A 
\end{CD}
This is commutative, as we have mentionned in the above fact 1. that $(g_*\epsilon_{f'}g^*)\epsilon_g = \epsilon_{gf'}= \epsilon_{f\tilde g} = (f_*\epsilon_{\tilde g}f^*)\epsilon_f$.

*Similarly, the square in the right is commutative in regard of the fact 2 and the canonical isomorphisms $g^* \cong g^![2d], \; \tilde g^* \cong \tilde g^![2d]$, where $d = \dim X'/X$.


Now, if we set $A = \mathbf{C}$ and $B = \omega_X[-k]$ in $D_c(X, \mathbf{C})$ for $k\in \mathbf{Z}$, then every homology class $\alpha\in H_k(Y)\cong \mathrm{Hom}_{D_c(Y)}(f^*A, f^! B)$ corresponds to a morphism $\varphi_{\alpha}: f^*A \to f^! B$. Then the composite 
$$(g^*\tau_f)(g^*f_*\varphi_{\alpha})(g^*\epsilon_f): g^*A \to g^*B$$ 
corresponds exactly to the class $g^*f_*\alpha\in H_{k+2d}(X')$, whereas the composite
$$
(\tau_{f'}g^*)(f'_*\tilde g^*\varphi_{\alpha})(\epsilon_{f'}g^*): g^*A \to g^*B
$$
corresponds to the class $f'_*\tilde g^*\alpha\in H_{k+2d}(X')$. 
The commutativity of the above 8-term diagramme applying to $\varphi = \varphi_{\alpha}$ then tells us that 
$$
(g^*\tau_f)(g^*f_*\varphi_{\alpha})(g^*\epsilon_f) = (\tau_{f'}g^*)(f'_*\tilde g^*\varphi_{\alpha})(\epsilon_{f'}g^*)
$$
and consequently $g^*f_*\alpha = f'_*\tilde g^*\alpha$. Thus $g^*f_* = f'_*\tilde g^*:H_*(Y)\to H_*(X')$. 
