[論文レビュー] Cup-products in generalized moment-angle complexes

Abbas Bahri, Martin Bendersky+2 more|arXiv (Cornell University)|Jan 19, 2010

Advanced Combinatorial Mathematics参考文献 4被引用数 12

ひとこと要約

この論文は、一般化されたモーメント・ゼロ・コンプレックスのホモロジー環におけるカップ積構造を、その懸垂の安定的分解を用いて確立する。分解定理とシャッフル写像や対角写像といった自然な写像を活用することで、懸垂ペアやベース上の錐複体を含むケースにおける明示的な環構造が得られ、デイヴィス＝ジャヌシュキエヴィッチ、バフシュターブ＝パノフらの先行研究を一般化する。

ABSTRACT

Given a family of based CW-pairs $(\underline{X},\underline{A})=\{(X;A)\}^m_{i=1}$ together with an abstract simplicial complex $K$ with $m$ vertices, there is an associated based CW-complex $Z(K;(\underline{X},\underline{A}))$ known as a generalized moment-angle complex. The decomposition theorem of \cite{bbcg}, \cite{bbcg2} splits the suspension of $Z(K; (\underline{X}, \underline{A}))$ into a bouquet of spaces determined by the full sub-complexes of $K$. Thatdecomposition theorem is used here to describe the ring structure for the cohomology of Z(K; (\underline{X}, \underline{A})). Explicit computations are made for families of suspension pairs and for the cases where $X_i$ is the cone on $A_i$. These results complement and generalize those of Davis-Januszkiewicz, Franz, Hochster as well as Panov, and Baskakov-Buchstaber-Panov. Under conditions stated below, these theorems also apply for generalized cohomology theories.

研究の動機と目的

• 一般化されたモーメント・ゼロ・コンプレックスのコホモロジー環におけるカップ積構造を特定すること。
• デイヴィス＝ジャヌシュキエヴィッチ、バフシュターブ＝パノフ、フランツらの既知の結果を一般化・拡張すること。
• 1回の懸垂後の安定スプリットと対角写像を用いた、コホモロジー環を計算する統一的枠組みを提供すること。
• 指定された条件下で一般化コホモロジー理論へと結果を拡張すること。
• 懸垂ペアやベース上に錐をとる複体（X_i = CX_i, A_i = X_i）の族に対する明示的計算を確立すること。

提案手法

• 先行研究[1,2]における分解定理を用い、一般化されたモーメント・ゼロ・コンプレックスの懸垂を、Kのフル部分複体によってインデックス付けられたボステットに分解する。
• 安定スプリットを適用して、安定化後の対角写像を分析することで、カップ積構造を特定する。
• 積とスマッシュ積の間の自然なシャッフル写像を用いて、Z(K; (X×W, A×C)) を Z(K; (X,A)) と Z(K; (W,C)) の積と関連付ける。
• 一般化されたモーメント・ゼロ・コンプレックスとスミス積の間のホメオモルフィズム γ を導入する。特に γ: Ẑ(K; (CX,X)) ≅ Ẑ(K; (D¹,S⁰)) ∧ X̂[m] であり、構造的解析を可能にする。
• 対角写像 Δ̂IJ,L とシャッフル写像を含むホモトピー可換図式を用い、部分複体とその積のコホモロジーを関連付ける。
• スミス積の因子の順序を再配置するための自然なスワップ写像 τ を用い、導出された環構造の整合性を保証する。

実験結果

リサーチクエスチョン

• RQ1 安定ホモトピー論を用いて、一般化されたモーメント・ゼロ・コンプレックスのコホモロジー環におけるカップ積構造をどのように記述できるか。
• RQ2 懸垂と分解を介して、Z(K; (X,A)) のコホモロジー環とその部分複体 Z(K_I; (X,A)_I) のコホモロジーとの間の正確な関係は何か。
• RQ3 結果は、特異コホモロジーを超える一般化コホモロジー理論へどの程度まで拡張可能か。
• RQ4 特に (X_i, A_i) = (D¹, S⁰) または (X_i, A_i) = (CX_i, X_i) のような特殊ケースにおいて、カップ積構造はどのように振る舞うか。
• RQ5 Z(K; (X,A)) の懸垂における対角写像を用いて、コホモロジーにおける完全なカップ積構造を再構成できるか。

主な発見

• 一般化されたモーメント・ゼロ・コンプレックス Z(K; (X,A)) のコホモロジー環は、その懸垂の安定的分解によって完全に決定され、Kのフル部分複体によってインデックス付けられた空間のワイヤーに分解される。
• (X_i, A_i) = (D¹, S⁰) の場合、一般化されたモーメント・ゼロ・コンプレックス Ẑ(K; (D¹,S⁰)) は自然にスミス積 Ẑ(K; (D¹,S⁰)) ∧ X̂[m] にホメオモルフィックであり、カップ積構造の明示的計算が可能になる。
• 写像 γ: Ẑ(K; (CX,X)) → Ẑ(K; (D¹,S⁰)) ∧ X̂[m] はホメオモルフィズムであり、スミス積を通じたコホモロジー環構造の幾何的実現を提供する。
• Δ̂IJ,L と γ を含むホモトピー可換図式により、カップ積構造が分解を尊重し、部分複体の包含写像と整合することが保証される。
• 結果は、デイヴィス＝ジャヌシュキエヴィッチ、バフシュターブ＝パノフ、フランツ、ホックラストの既知の結果を一般化・回復する。特にスターリング＝ライスナー環やトーリック多様体について顕著である。
• 適切な条件下では、この枠組みは特異コホモロジーを超えて一般化コホモロジー理論へも適用可能である。