[論文レビュー] First steps in brave new commutative algebra

J. P. C. Greenlees|ArXiv.org|Sep 15, 2006

Homotopy and Cohomology in Algebraic Topology参考文献 48被引用数 5

ひとこと要約

この論文は、環スペクトルの文脈における可換代数の導来的アプローチを開発し、古典的な局所化、完備化、局所コホホロジーの概念を安定ホモトピー理論へ一般化する。Gorenstein条件——双対性定理の中心的役割を果たすもの——がMorita同値のもとで保存されることを確立し、-equivariantおよびchromaticホモトピー理論における双対性定理の新たな証明を可能にする。具体的には、Atiyah-Segal完備化定理や分類空間におけるPoincaré双対性が含まれる。

ABSTRACT

This is an expository account of completion and local cohomology in brave new commutative algebra, especially as it applies to completion theorems and their duals in equivariant topology. The first part is fairly direct, but the second considers Morita theory and Gorenstein ring spectra. This draws on work of the author with Benson, Dwyer, Iyengar and May, amongst others.

研究の動機と目的

• 局所化、完備化、局所コホホロジーといった古典的可換代数の構成を、環スペクトルおよび導来圏の文脈へ拡張すること。
• Čechコホホロジーおよび局所コホホロジーといった代数的構成のホモトピー的類似を導来ファンクターを通じて明確化すること。
• Gorenstein条件がMorita同値のもとで保存されることを確立し、同値な圏間での双対性定理の転送を可能にすること。
• これらの手法を、分類空間や群コホホロジーを含む、equivariantおよびchromaticホモトピー理論における主要な例に適用すること。
• Atiyah-Segal完備化やPoincaré双対性といった双対性現象を、ホモトピー的枠組みによって統一的かつ一般化すること。

提案手法

• 完成化および torsion の導来ファンクターを用いて、環スペクトルにおけるホモトピー的不変な完成化および局所コホホロジーの定義を行う。
• Bousfield局所化および完成化ファンクターを用いて、スペクトルの導来圏における代数的完成化定理をモデル化する。
• 特に局所環およびGorenstein環に対して、Matlis双対性および双対複体を環スペクトルの文脈で導入する。
• Morita理論を用いて、環スペクトル上の加群の同値な圏間でのGorenstein条件の関係を扱う。
• Brown-Comenetz双対性および有限セルラリティを用いて、タイプnスペクトルの双対複体を構成する。
• スペクトル系列 $H^*_{rak{m}}(H^*(BG)) \Rightarrow H_*(BG)$ を用いて、分類空間のコホホロジー環を分析する。

実験結果

リサーチクエスチョン

• RQ1 局所化や完備化といった古典的可換代数の構成は、どのように環スペクトルの導来圏へ一般化できるか？
• RQ2 局所コホホロジーのホモトピー的類似とは何か？そして導来完成化とどのように関係するか？
• RQ3 環スペクトルの文脈において、Morita同値のもとでGorenstein性が保存される条件は何か？
• RQ4 Atiyah-Segal定理やPoincaré双対性といった双対性定理は、安定ホモトピー理論における統一的枠組みからどのように導かれるか？
• RQ5 双対複体は、導来圏におけるGorenstein環を特徴付けるために果たす役割は何か？

主な発見

• 双対対象が $k$-セルラリティおよびMatlis反射的である限り、Gorenstein条件はMorita同値のもとで保存され、同値な圏間での双対性定理の転送が可能になる。
• 有限 $p$-群 $G$ に対して、群環 $kG$ はFrobenius的であり、したがってGorenstein的である。これにより $C^*(BG)$ はGorenstein的であり、局所コホホロジー双対性を満たす。
• Atiyah-Segal完備化定理は、導来圏において代数的完備化と幾何的完備化が一致することを示す文脈として再解釈される。
• コンパクトなリー群 $G$ に対して、スペクトル系列 $H^*_{rak{m}}(H^*(BG)) \Rightarrow H_*(BG)$ により、$H^*(BG)$ が一般にGorenstein的であることが示される。
• タイプ$n$スペクトル $X$ の双対複体は $W_nX = I(C_n^f S^0)$ で与えられ、多くのfp環スペクトル $X$ に対して $WX \simeq \Sigma^d X$ が成り立つ。これによりGorenstein条件が環のスパンシオンとして実現される。
• 可定向な多様体 $X$ に対して $C^*(X;k)$ を考えるとき、局所コホホロジーはPoincaré双対性を回復する：$H^*(X;k) \cong H^0_{rak{m}}(H^*(X;k)) \cong H_*(X;k)$。