3
$\begingroup$

I was curious if someone could point me to a reference or tell me if there is any notion of projective morphism between derived schemes? What about a notion of Proj? Also I am interested in what blow-ups are in the derived setting.

Improve this question
$\endgroup$
1
  • 1
    $\begingroup$ In the spectral setting, projective space is discussed in Lurie's SAG. $\endgroup$
    – Yosemite Sam
    Commented Feb 7, 2017 at 15:59

0

Reset to default

You must log in to answer this question.

Browse other questions tagged .