Hi.
First of all thanks to Zsolt for the answer to the question on "Cohen Macaulay morphism".
I want to show for which proper and flat morphisms $f:X\rightarrow S$ of complex spaces with $n$ pure dimensional fibers (or locally noetherian, excellent schemes with n-equidimensional fibers) do the two functors $G\rightarrow f^{*}G\otimes \omega^{n}_{X/S}$ and $G\rightarrow H^{-n}(f^{!}G)$ agree?
If $f$ is a Cohen Macaulay morphism, it is obviously true. But I don't know if that is the only case for which the two functors agree…
Partial answer: If $f$ is flat, proper, surjective $S_{2}$-morphism with fibers without embedded components and $\omega^{n}_{X/S}$- $S$-flat, then the two functor agree as well.
Questions:
1) Is there a morphism, other than a CM-morphism, which satisfies these assumptions?
2) Can we relax the hypothesis on the fibers?
Thank you very much.
Best Answer
Hi.
The partial answer for $f$ flat, proper, surjective $S_{2}$-morphism with fibers without embedded components and $\omega^{n}_{X/S}$- $S$-flat is due to the fact that the set of points which are not Cohen-Macaulay is of codimension $\geq 2$...