[論文レビュー] Duality in algebra and topology

W. G. Dwyer, J. P. C. Greenlees+1 more|ArXiv.org|Oct 12, 2005

Homotopy and Cohomology in Algebraic Topology参考文献 29被引用数 6

ひとこと要約

本稿は、$\sigma$-代数と導来圏を用いて、可換代数の概念——特にゴレンシュタインおよびマトゥス・双対性——を非可換およびホモトピー的設定へ一般化することにより、代数と位相の両分野における双対性を統一する枠組みを確立する。主な貢献は、双対化モジュールを $\mathcal{I} \sim k \otimes_{\mathcal{E}} k$ と表す新しい公式であり、これは、ポincare双対性、ベンソン＝カールソン双対性、およびグロス＝ホプキンズ双対性を一つの概念的枠組みに統合する。

ABSTRACT

In this paper we take some classical ideas from commutative algebra, mostly ideas involving duality, and apply them in algebraic topology. To accomplish this we interpret properties of ordinary commutative rings in such a way that they can be extended to the more general rings that come up in homotopy theory. Amongst the rings we work with are the differential graded ring of cochains on a space, the differential graded ring of chains on the loop space, and various ring spectra, e.g., the Spanier-Whitehead duals of finite spectra or chromatic localizations of the sphere spectrum. Maybe the most important contribution of this paper is the conceptual framework, which allows us to view all of the following dualities: Poincare duality for manifolds, Gorenstein duality for commutative rings, Benson-Carlson duality for cohomology rings of finite groups, Poincare duality for groups, Gross-Hopkins duality in chromatic stable homotopy theory, as examples of a single phenomenon. Beyond setting up this framework, though, we prove some new results, both in algebra and topology, and give new proofs of a number of old results.

研究の動機と目的

• 代数と位相における多様な双対性現象——例えば、ポincare、ゴレンシュタイン、ベンソン＝カールソン、グロス＝ホプキンズ双対性——を、一つの概念的枠組みに統合すること。
• 可換代数の古典的双対性定理を非可換およびホモトピー的設定、例えば微分付き代数およびリングスペクトルへ拡張すること。
• プロキシ・スモールな準同型および自己準同型代数 $\mathcal{E} = \operatorname{End}_R(k)$ を用いて、ゴレンシュタインおよびマトゥス双対性を定義・特徴づけ、古典的結果を一般化すること。
• 等置性トポロジーに依存せずに、$p$-コンパクト群およびコンパクトリー群の局所コホホロジー定理の新しい証明を提供すること。
• ホモトピー的双対性を用いて、球スペクトルのブラウン＝コメンツ双対およびスピヴァック正規バンドルを構成し、公式 $\mathcal{I} \sim k \otimes_{\mathcal{E}} k$ を用いること。

提案手法

• $\mathbb{S}$-代数上のモジュールスペクトルの導来圏を用いて、可換代数を非可換およびホモトピー的文脈へ一般化する。
• 環準同型 $R \to k$ に対するプロキシ・スモール性の概念を導入し、$k$-加群による $\operatorname{Cell}_k(M)$ が $M$ を近似することを保証する。
• $\mathcal{E} = \operatorname{End}_R(k)$ に対して、$k$ に右 $\mathcal{E}$-加群構造を備えたマトゥス・リフト $\mathcal{I} \sim k \otimes_{\mathcal{E}} k$ を定義する。
• 局所コホホロジーと細胞近似を結びつけるために、公式 $\operatorname{Cell}_k(M) \simeq \operatorname{Hom}_R(k,M) \otimes_{\mathcal{E}} k$ を適用する。
• $\operatorname{Hom}_R(k,R) \simeq \Sigma^a k$ によりゴレンシュタイン条件を確立し、これによりマトゥス・リフト公式および双対性同型と関連付ける。
• リミットへの移行および三角形論法を含むホモトピー的およびホモロジー的議論を用いて、双対性を有限モジュールから任意のモジュールへ拡張する。

実験結果

リサーチクエスチョン

• RQ1 可換代数における古典的双対性定理——例えばマトゥスおよびゴレンシュタイン双対性——は、リングスペクトルやDGAsのような非可換およびホモトピー的設定へ拡張可能か？
• RQ2 ポincare、ベンソン＝カールソン、およびグロス＝ホプキンズ双対性を特別な場合として含む統一的公式は存在するか？
• RQ3 双対化モジュール $\mathcal{I}$ は自己準同型代数 $\mathcal{E} = \operatorname{End}_R(k)$ からどのように生じるのか？また、$k$ における右 $\mathcal{E}$-加群構造は果たす役割は何か？
• RQ4 等置性トポロジーに依存せずに、$p$-コンパクト群およびコンパクトリー群の局所コホホロジー定理を、ホモトピー代数のみを用いて再証明可能か？
• RQ5 スピヴァック正規バンドルのホモトピー的構成は何か？また、$C_*(\Omega X; k) \to k$ におけるゴレンシュタイン条件からどのようにしてその構成が生じるのか？

主な発見

• 双対化モジュール $\mathcal{I}$ は公式 $\mathcal{I} \simeq k \otimes_{\mathcal{E}} k$ で与えられ、可換代数における剰余体の単純包の一般化であり、球スペクトルのブラウン＝コメンツ双対の $p$-主成分を構成する。
• $R \to k$ がプロキシ・スモールであるとき、細胞近似は $\operatorname{Cell}_k(M) \simeq \operatorname{Hom}_R(k,M) \otimes_{\mathcal{E}} k$ を満たし、局所コホホロジーとホモトピー的近似を結びつける。
• ゴレンシュタイン条件 $\operatorname{Hom}_R(k,R) \simeq \Sigma^a k$ は、$\mathcal{I} \simeq \Sigma^{-a} \operatorname{Cell}_k R$ を意味し、双対化モジュールと局所コホホロジー対象を結びつける。
• $p$-コンパクト群およびアドジョイント表現が可換なコンパクトリー群の局所コホホロジー定理は、等置性トポロジーに依存せず、ホモトピー代数のみに依拠して再証明された。
• 形式次元 $a$ のポincare双対性空間 $X$ に対して、準同型 $C_*(\Omega X; k) \to k$ はシフト $-a$ のゴレンシュタイン的である。これにより、方向性クラス $\omega \in \pi_{-a}(\lambda \otimes_R k)$ を用いて、スピヴァック正規バンドルのホモトピー的構成が得られる。
• 空間 $X$ の安定ホモトピー的方向性特性は、右 $R$-作用 $\operatorname{Hom}_R(k,R) \simeq \Sigma^{-a}k$ から生じ、これは写像 $\Omega X \to \mathbb{S}^\times$ に対応し、スフィア的バンドルとして同定されるスピヴァック正規バンドルを決定する。