Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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.

share|improve this question
    
Can you give a hint on how one proves the partial answer you gave? I would be interested. Thanks. –  Zsolt Patakfalvi Jun 30 '10 at 12:58
2  
Could you define $\omega^{n}_{X/S}$? –  Sándor Kovács Oct 24 '10 at 17:20
add comment

1 Answer 1

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$...

share|improve this answer
1  
Are the sheaves output by these functors obviously reflexive? –  Karl Schwede Jan 2 '11 at 21:41
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.