Given two smooth projective schemes $X$ and $Y$ over some algebraically closed field $k$, we have $X\times Y$ with the projections $p$ to $X$ and $q$ to $Y$. Furthermore we have a "nice" sheaf of algebras $R$ on $X$, i.e. locally free and of global dimension at most dim($X$), e.g. Azumaya or something similar. Given two $p^{\*}R$-modules $M$ and $N$ on $X\times Y$, which are coherent and torsion free. Like in the commutative case, i define the i-th relative $\mathcal{E}xt$-sheaf on $Y$ to be: $\mathcal{E}xt^i_{p^{\*}R,q}(M,N):=(R^i(q_{\*}\mathcal{H}om_{p^{\*}R}(M,-))(N)$ Can I expect them to have the same properties as in the commutative case? For example: (1) Do we have $\mathcal{E}xt^i_{p^{\*}R,q}(M,N)=0$ for $i>dim(X)$? (2) Given $y\in Y$ is there a map $\mathcal{E}xt^i_{p^{\*}R,q}(M,N)\otimes k(y) \rightarrow Ext_R^i(M_y,N_y)$ (3) If $Ext_R^i(M_y,N_y)=0$ for all $y\in Y$ does this imply $\mathcal{E}xt^i_{p^{\*}R,q}(M,N)=0$? (4) Is there a kind of base change theorem for the $\mathcal{E}xt^i_{p^{\*}R,q}(M,N)$? Or do I need more conditions for $M$ and $N$ to have the desired properties? I'm especially interested in the case, where $M=p^{\*}P$ for some $R$-module $P$ on $X$.