Graded algebras, projective spectra and blow-ups in derived algebraic geometry

Jeroen Hekking

We define graded, quasi-coherent ${\mathcal{O}}_S$-algebras over a given base derived scheme $S$, and show that these are equivalent to derived ${\mathbb{G}}_{m,S}$-schemes which are a…