1
$\begingroup$

Quillen defines a morphism $f:X→Y$ to be "of finite tor dimension" if $\mathcal{O}_X$ is of finite tor dimension as a module over $f^{-1}(\mathcal{O}_Y)$. The question is if there are sufficient conditions for $f$ to be of finite tor dimension, which are not too difficult to check.

$\endgroup$
5
  • $\begingroup$ It suffices for $X$ to be regular. Are you specifically interested in the non-regular case? $\endgroup$ May 5, 2014 at 0:36
  • $\begingroup$ @StevenLandsburg: don't you mean Y? (another tautologically sufficient condition is for f to be flat) $\endgroup$ May 5, 2014 at 0:56
  • $\begingroup$ Yes, I meant $Y$. $\endgroup$ May 5, 2014 at 0:59
  • 1
    $\begingroup$ The other straightforward case is when $X$ is a closed subscheme of $Y$, with the ideal of $X$ locally generated by a regular sequence, but I expect you already know this too. $\endgroup$ May 5, 2014 at 1:13
  • 1
    $\begingroup$ I am specifically interested in case Y is not regular. Is there a good condition in case Y is integral and f is proper surjective? $\endgroup$ May 5, 2014 at 8:26

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.