MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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

Hi, I found the following in the proof of a theorem: $ Z \subset Y \times M$ where $M$ is a smooth projective variety over $\mathbb{C}$, $Y$ is a scheme and $Z$ is a subscheme of the product, flat over $Y$. Then $\mathcal{O}_Z$ is of finite homological dimension (is quasi-isomorphic to a bounded complex of locally free sheaves), as an $\mathcal{O}_{ Y \times M}$-module. Why? (all schemes are of finite type over $\mathbb{C}$) Thank you.

share|cite|improve this question
This is proved in SGA 6; the main part is in Expos'e I, Corollaire 3.5(b) and the following Example 3.6 (2nd item). – Jason Starr Jun 26 '12 at 12:57
Also, probably you should see Cor.4.14 / Def. 4.14.1 and Cor. 5.8.1. Flatness implies finite Tor dimension. – Jason Starr Jun 26 '12 at 13:02
thank you, Jason :) – emmy Jul 14 '12 at 8:49

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.