MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $\Delta:Y\rightarrow X$ a closed immersion of $k$-schemes of finite type and equidimensionnal.

We assume that $\Delta^{*}[-d]IC_{X}=IC_{Y}$, if $X$ is Cohen-Macaulay, does it imply that $Y$ is Cohen-Macaulay?

share|cite|improve this question
Let assume also that both X and Y are equidimensionnal, and that a resolution of singularities for X gives by base change a resolution of singularities for Y. – prochet Apr 15 '13 at 21:30
Could you explain what it means by $IC_{-}$? Are they canonical bundle of $Y$ and $X$ respectively? Also what is $d$? – Youngsu Apr 16 '13 at 9:44
d is the codimension, IC is the intersection complex. – prochet Apr 16 '13 at 20:50

Your Answer


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

Browse other questions tagged or ask your own question.