Given a flat and projective morphism $f:X\rightarrow Y$ of noetherian schemes over some algebraically closed $k$ and $F$, $G$ coherent $O\_X$-modules, flat over $Y$.


Then the base change theroem for the relative $Ext$ sheaves reads:
Let $y\in Y$ and assume $\tau^i(y): \mathcal{E}xt\_f^i(F,G)\otimes k(y)\rightarrow Ext\_{X\_y}^i(F\_y,G\_y)$ is surjective. Then:


i) There is a neighbourhood $U$ of $y$ s.t. $\tau^i(y')$ is an isomorphism for all $y' \in U$


ii) $\tau^{i-1}(y)$ is surjective if and only if $\mathcal{E}xt\_f^i(F,G)$ is locally free in a neighbourhood of $y$


So now assume, we are in the following situation: $Y$ is a smooth projective surface and $X$ is the product of $Y$ with another projective smooth surface and $f$ is the projection. We have $Ext\_{X\_y}^i(F\_y,G\_y)=0$ for all $i\geq3$ and all $y\in Y$. Furthermore we have: $Ext\_{X\_y}^i(F\_y,G\_y)=0$ for $i=0,1,2$ and all $y\in Y\setminus \{y\_0\}$ for a fixed $y\_0 \in Y$. Finally $Ext\_{X\_{y\_0}}^0(F\_{y\_0},G\_{y\_0})=Ext\_{X\_{y\_0}}^2(F\_{y\_0},G\_{y\_0})=k^s$ and $Ext\_{X\_{y\_0}}^1(F\_{y\_0},G\_{y\_0})=k^{2s}$ for some $s\geq1$.


The claim is that we get (with an application of the base change theorem):


(a)$\mathcal{E}xt\_f^i(F,G)=0$ for $i=0,1$ and (b)$\mathcal{E}xt\_f^2(F,G)\otimes k(y\_0)=k^s$


So, since $Ext\_{X\_y}^3(F\_y,G\_y)=0$ for all y, we have by i) that $\tau^3(y)$ is surjective for all y, so it is an isomorphism for all $y\in Y$ and $\mathcal{E}xt\_f^3(F,G)=0$, which this is locally free on $Y$. So $\tau^2(y)$ is an isomorphism for all $y\in Y$ by ii). So we get (b).


But how about (a). We have that $\tau^1(y)$ is surjective for all $y\in Y\setminus y\_0$. But what about $\tau^1(y\_0)$. What can be said about $\mathcal{E}xt\_f^2(F,G)$? Is it localy free somewhere? How do we get the vanishing of $\mathcal{E}xt^1\_f(F,G)$ with the base change theorem?


Background: I'm still working on the Example [http://books.google.de/books?id=\_mYV1q0RVzIC&printsec=frontcover&dq=%22geometry+of+moduli+spaces+of+sheaves%22&source=bl&ots=ZGL9LDSVjV&sig=p9l1BZ-UOXZdlxakuC3k15sTtBk&hl=de&ei=flHpTOHyPI3oOaXj7IcK&sa=X&oi=book\_result&ct=result&resnum=2&sqi=2&ved=0CCMQ6AEwAQ#v=onepage&q=base%20change&f=false](http://books.google.de/books?id=_mYV1q0RVzIC&printsec=frontcover&dq=%22geometry%20of%20moduli%20spaces%20of%20sheaves%22&source=bl&ots=ZGL9LDSVjV&sig=p9l1BZ-UOXZdlxakuC3k15sTtBk&hl=de&ei=flHpTOHyPI3oOaXj7IcK&sa=X&oi=book_result&ct=result&resnum=2&sqi=2&ved=0CCMQ6AEwAQ#v=onepage&q=base%20change&f=false) at the bottom of page 169.


Edit: Sasha gave an answer that uses derived categories. But i'm also interested if one can prove this, just by using i) and ii) in the base change theorem.



Application of the base change theorem
It is always useful to look from the derived category point of view. What you want is the object of $D(Y)$ which is $Rf\_\*R{\mathcal H}om(F,G)$ --- the sheaves ${\mathcal E}xt^i\_f$ are its sheaf cohomology. The base change tells you that $Li^\*Rf\_\*R{\mathcal H}om(F,G) \cong RHom(F\_{y\_0},G\_{y\_0})$, where $i$ is the embedding of the point $y\_0$. Since you know $Ext^2(F\_{y\_0},G\_{y\_0}) = k^s$, you have a map $RHom(F\_{y\_0},G\_{y\_0}) \to k^s[-2]$. It gives by adjunction a map $Rf\_\*R{\mathcal H}om(F,G) \to O\_{y\_0}^s[-2]$. You want to prove that it is an isomorphism. Include this morphism into exact triangle
$$
Rf\_\*R{\mathcal H}om(F,G) \to O\_{y\_0}^s[-2] \to C.
$$
You want to check that $C = 0$. You already know that $C$ is zero on the complement of $y\_0$. Then it suffices to check that $Li^\* C = 0$. Apply $Li^\*$ to the triangle, you will get
$$
RHom(F\_{y\_0},G\_{y\_0}) \to Li^\* O\_{y\_0}^s[-2] \to Li^\* C.
$$
Note that $Li^\* O\_{y\_0} = Li^\* i\_\* k$ has cohomology $k$, $k^2$ and $k$ in degrees $0$, $-1$ and $-2$. Hence you see that the first two terms of the sequence have the same cohomology. So, it remains to check that the map induces their isomorphism. This is the tricky part.


To do this, you need more information about the situation. In your case, remember that $L\_1i^\* O\_{y\_0} = T\_{y\_0}^\* Y$, and since $Y$ is the moduli space of sheaves $G$, it is isomorphic to $Ext^1(G\_{y\_0},G\_{y\_0})^\*$. So, you have to check that $Ext^\bullet(F\_{y\_0},G\_{y\_0})$ as a module over $Ext^\bullet(G\_{y\_0},G\_{y\_0})$ is free, which is evident in your example.


