導来代数幾何学とは何？わかりやすく解説 Weblio辞書

索引トップランキングカテゴリー

導来代数幾何学

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/03/25 22:22 UTC 版)

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

定義

導来代数幾何学は、基本的にホモロジー代数とホモトピーを使用した幾何学対象の研究である。この分野の対象はホモロジー論的情報とホモトピー論的情報をエンコードする必要があるため、導来空間は様々な概念が含む。導来代数幾何学の研究の基本的な目的は、導来スキーム、より一般には導来代数となる。発見的には、導来スキームは、導来環のいくつかの圏から集合への関手である必要がある。

F:{\text{DerRings}}\to {\text{Sets}}

これをさらに一般化して、より高次亜群の対象を持つことができる（ホモトピー型によってモデル化されることが期待されている）。これらの導来スタックは、次のような適切な関手である。

F:{\text{DerRings}}\to {\text{HoT}}

多くの著者は、ホモトピー型をモデル化し、十分に研究されているため、単純集合に値を持つ関手などの関手をモデル化する。これらの導来空間の定義の違いは、導来環が何であるか、およびホモトピー型がどのように見えるかを選択することによって異なる。導来環のいくつかの例には、可換次数付き微分代数、単純環、および $E_{\infty }$ -環。

高次スタック

ホモトピー型をモデル化するより高次スタックの最終的な理論があると推測される。 Grothendieckは、これらは球状亜群、またはそれらの定義の弱い形式によってモデル化されると推測している。シンプソン^[2]は、グロタンディークの考えの精神で有用な定義を与えている。代数スタック（ここでは1スタック）が表現可能と呼ばれるのは、任意の2つのスキームのファイバー積がスキームと同型であるためである。 ^[3]仮説をとると、0スタックは代数空間で、1スタックはスタックで、任意の2つのスキームに沿ってファイバー積が（n-1）-スタックになるように、nスタックを再帰的に定義できる。

スペクトルスキーム

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

${\mathfrak {X}}\cong {\text{Shv}}(X_{top})$ はいくつかの位相空間と同等の $\infty$ -トポス
被覆が存在する必要がある $U_{i}$ のスペクトル環 $X_{top}$ に誘導されるトポス $({\mathfrak {X}}_{U_{i}},{\mathcal {O}}_{{\mathfrak {X}}_{U_{i}}})$ と同等

さらに、スペクトルスキーム $X$ は非接続と呼ばれ、 $\pi _{i}({\mathcal {O}}_{\mathfrak {X}})=0$ （ $i<0$ ）となる。

参照

DAG

Toën, Bertrand (6 January 2014). "Derived Algebraic Geometry". arXiv:1401.1044 [math.AG]。
Toën, Bertrand; Vezzosi, Gabriele (2004). “From HAG to DAG: derived moduli stacks”. In Greenlees, J. P. C.. Axiomatic, enriched and motivic homotopy theory. Proceedings of the NATO Advanced Study Institute, Cambridge, UK, September 9–20, 2002. NATO Science Series II: Mathematics, Physics and Chemistry. 131. Dordrecht: Kluwer Academic Publishers. pp. 173–216. ISBN 1-4020-1833-9. Zbl 1076.14002
Vezzosi, Gabriele (2011). “What is ...a derived stack?”. Notices Am. Math. Soc. 58 (7): 955–958. Zbl 1228.14004.

E_n and E_∞ -環

Spectral algebraic geometry - Rezk
Operads and Sheaf Cohomology - JP May - $E_{\infty }$ -rings over characteristic 0 and $E_{\infty }$ -structure for sheaf cohomology
Tangent complex and Hochschild cohomology of E_n-rings https://arxiv.org/abs/1104.0181
Francis, John; Derived Algebraic Geometry Over ${\mathcal {E}}_{n}$ -Rings

応用

Lowrey, Parker; Schürg, Timo. (2018). Grothendieck-Riemann-Roch for Derived Schemes
Ciocan-Fontanine, I., Kapranov, M. (2007). Virtual fundamental classes via dg-manifolds
Mann, E., Robalo M. (2018). Gromov-Witten theory with derived algebraic geometry
Ben-Zvi, D., Francis, J., and D. Nadler. Integral Transforms and Drinfeld Centers in Derived Algebraic Geometry.
Kerz, Moritz; Strunk, Florian; Tamme, Geort (2018), “Algebraic K-theory and descent for blow-ups”, Invent. Math. 211 (2): 523–577, arXiv:1611.08466, Bibcode: 2018InMat.211..523K, doi:10.1007/s00222-017-0752-2, MR3748313

脚注

[脚注の使い方]

^ Khan, Adeel A. (2019). “Brave new motivic homotopy theory I”. Geom. Topol. 23: 3647–3685. arXiv:1610.06871. doi:10.2140/gt.2019.23.3647.
^ Simpson, Carlos (17 September 1996). "Algebraic (geometric) $n$-stacks". arXiv:alg-geom/9609014。
^ Which can be checked by looking at the diagonal morphism and checking if that itself is representable. Check out https://math.dartmouth.edu/~jvoight/notes/moduli-red-harvard.pdf for more information

外部リンク

Jacob Lurie's Home Page
Overview of Spectral Algebraic Geometry
DAG reading group (Fall 2011) at Harvard
http://ncatlab.org/nlab/show/derived+algebraic+geometry
Michigan Derived Algebraic Geometry RTG Learning Workshop, 2012
Derived algebraic geometry: how to reach research level math?
Derived Algebraic Geometry and Chow Rings/Chow Motives
Gabriele Vezzosi, An overview of derived algebraic geometry, October 2013

ウィキペディア小見出し辞書

索引トップ用語の索引ランキング

導来代数幾何学（derived algebraic geometry）

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/03/05 16:23 UTC 版)

「代数幾何学用語一覧」の記事における「導来代数幾何学（derived algebraic geometry）」の解説

可換環の代わりに（commutative）ring spectraを使う代数幾何学。導来代数幾何学参照。

※この「導来代数幾何学（derived algebraic geometry）」の解説は、「代数幾何学用語一覧」の解説の一部です。
「導来代数幾何学（derived algebraic geometry）」を含む「代数幾何学用語一覧」の記事については、「代数幾何学用語一覧」の概要を参照ください。

ウィキペディア小見出し辞書の「導来代数幾何学」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。お問い合わせ。

>> 「導来代数幾何学」を含む用語の索引
導来代数幾何学のページへのリンク

導来代数幾何学とは？わかりやすく解説