導来代数幾何学
導来代数幾何学の別の理論は、スペクトルスキームの理論によってまとめられている。それらの定義は、正確に述べるためにかなりの量の技術を必要とする。 しかし、要するに、スペクトル環によって与えられるスペクトルスキーム X = ( X , O X ) {\displaystyle X=({\mathfrak {X}},{\mathcal {O}}_{\mathfrak {X}})} は、 ∞ {\displaystyle \infty } -トポス X {\displaystyle {\mathfrak {X}}} の束に同伴する E ∞ {\displaystyle \mathbb {E} _{\infty }} -環上 O X {\displaystyle {\mathcal {O}}_{\mathfrak {X}}} で、アフィンスキームの定義と同様いくつかの局所条件に従う。特に