導来代数幾何学
導来代数幾何学は、代数幾何学を、局所座標を与える可換環を（formula_1上の）次数付き微分代数に置き換えることで一般化する数学の一分野である。 単純可換環またはformula_2 --代数的トポロジーからの環スペクトルとなる。その高次ホモトピー群は、構造層の非離散性（Torなど）を説明する。グロタンディークのスキーム理論は、構造層を冪零元へ運ぶことを可能にする。導来代数幾何学はこの考えの拡張と考えることができ、他の応用として、変形理論における特異代数多様体と非特異代数多様体の交叉理論（またはモチヴィックホモトピー理論 ）の自然な導出を引き起こす。（cf. J. Francis）