In algebraic geometry, a derived scheme is a homotopy-theoretic generalization of a scheme in which classical commutative rings are replaced with derived versions such as differential graded algebras, commutative simplicial rings, or commutative ring spectra. From the functor of points point-of-view, a derived scheme is a sheaf X on the category of simplicial commutative rings which admits an open affine covering { S p e c ( A i ) → X } {\displaystyle \{Spec(A_{i})\to X\}} .
In algebraic geometry, a derived scheme is a homotopy-theoretic generalization of a scheme in which classical commutative rings are replaced with derived versions such as differential graded algebras, commutative simplicial rings, or commutative ring spectra. From the functor of points point-of-view, a derived scheme is a sheaf X on the category of simplicial commutative rings which admits an open affine covering { S p e c ( A i ) → X } {\displaystyle \{Spec(A_{i})\to X\}} .
Source: Wikipedia "Derived scheme" · CC BY-SA 4.0
Share this article: X · Bluesky