導来代数幾何学

導来代数幾何学は、代数幾何学を、局所座標を与える可換環を（formula_1上の）次数付き微分代数に置き換えることで一般化する数学の一分野である。 単純可換環またはformula_2 --代数的トポロジーからの環スペクトルとなる。その高次ホモトピー群は、構造層の非離散性（Torなど）を説明する。グロタンディークのスキーム理論は、構造層を冪零元へ運ぶことを可能にする。導来代数幾何学はこの考えの拡張と考えることができ、他の応用として、変形理論における特異代数多様体と非特異代数多様体の交叉理論（またはモチヴィックホモトピー理論 ）の自然な導出を引き起こす。（cf. J. Francis）
定義.
導来代数幾何学は、基本的にホモロジー代数とホモトピーを使用した幾何学対象の研究である。この分野の対象はホモロジー論的情報とホモトピー論的情報をエンコードする必要があるため、導来空間は様々な概念が含む。導来代数幾何学の研究の基本的な目的は、導来スキーム、より一般には導来代数となる。発見的には、導来スキームは、導来環のいくつかの圏から集合への関手である必要がある。
これをさらに一般化して、より高次亜群の対象を持つことができる（ホモトピー型によってモデル化されることが期待されている）。これらの導来スタックは、次のような適切な関手である。
多くの著者は、ホモトピー型をモデル化し、十分に研究されているため、単純集合に値を持つ関手などの関手をモデル化する。これらの導来空間の定義の違いは、導来環が何であるか、およびホモトピー型がどのように見えるかを選択することによって異なる。導来環のいくつかの例には、可換次数付き微分代数、単純環、およびformula_2 -環。
高次スタック.
ホモトピー型をモデル化するより高次スタックの最終的な理論があると推測される。 Grothendieckは、これらは球状亜群、またはそれらの定義の弱い形式によってモデル化されると推測している。シンプソンは、グロタンディークの考えの精神で有用な定義を与えている。代数スタック（ここでは1スタック）が表現可能と呼ばれるのは、任意の2つのスキームのファイバー積がスキームと同型であるためである。 仮説をとると、0スタックは代数空間で、1スタックはスタックで、任意の2つのスキームに沿ってファイバー積が（n-1）-スタックになるように、nスタックを再帰的に定義できる。
スペクトルスキーム.
導来代数幾何学の別の理論は、スペクトルスキームの理論によってまとめられている。それらの定義は、正確に述べるためにかなりの量の技術を必要とする。 しかし、要するに、スペクトル環によって与えられるスペクトルスキームformula_6は、formula_7 -トポスformula_8の束に同伴するformula_9 -環上formula_10で、アフィンスキームの定義と同様いくつかの局所条件に従う。特に
さらに、スペクトルスキームformula_16は非接続と呼ばれ、formula_17（formula_18）となる。