In the first section of Altman and Kleiman's paper "Compactifying the Picard scheme", a base change map for Ext sheaves is defined. I am interested in knowing when this map is an isomorphism.
I recall the setting of the paper, so that nobody is forced to click on the link.
They start with a finitely presented morphism of schemes $f:X\to S$ and two locally finitely presented $\mathcal O_X$-modules $I,F$. Given a morphism $g:T\to S$ and a quasi-coherent $\mathcal O_T$-module $M$, they are able to define base change maps $$b^q(M):\mathscr Ext^q(I,F)\otimes_SM\to \mathscr Ext^q_{X_T}(I_T,F\otimes_SM)$$ under the additional assumption that $I$ is $S$-flat if $q\geq 1$ and $f$ is flat if $q\geq 2$.
Question. When is $b^q(k(s))$ an isomorphism for all $s\in S$?
Now, I am not sure I am interpreting Theorem 1.9 in the paper correctly, but part (i) seems to imply that if $b^q(k(s))$ is surjective at $x\in X_s$ then it is in fact an isomorphism. However, even if this was true, checking stalk surjectivity of all the maps in question does not seem to be very immediate to me. Is there some condition on the data $(I,F,f)$ which allows to conclude all $b^q(k(s))$ are isomorphisms? (We can of course assume all coherence and flatness needed to make sense of the statements.)
Thanks in advance!