[論文レビュー] The homology coalgebra and cohomology algebra of generalized moment-angle complexes

Qibing Zheng|arXiv (Cornell University)|Jan 24, 2012

Molecular spectroscopy and chirality参考文献 20被引用数 4

ひとこと要約

この論文は、スペクトル系列を用いて体上の一般化されたモーメント角複体のホモロジー余代数およびコホモロジー代数構造を計算し、補交的複体に関する双対性定理を確立する。単体的リンクと双対データに関連するホモロジー群およびコホモロジー群のテンソル積による明示的な代数的記述を提供し、モーメント角複体に関する古典的結果を一般化する。

ABSTRACT

In this paper, we compute the homology coalgebra and cohomology algebra over a field of all generalized moment-angle complexes and give a duality theorem on complementary moment-angle complexes.

研究の動機と目的

• 体上の一般化されたモーメント角複体のホモロジー余代数およびコホモロジー代数構造を計算すること。
• X_kがA_kの開部分空間または変形リトラクトであるようなより一般的な空間対 (X_k, A_k) におけるモーメント角複体に関する古典的結果を拡張すること。
• 包含写像からのホモロジー的データを用いて、補交的一般化されたモーメント角複体の双対性定理を確立すること。
• スペクトル系列を用いて、ホモロジーおよびコホモロジーの代数的および余代数的構造を体系的に計算するフレームワークを提供すること。

提案手法

• インデックス複体 K の単体的構造を用いて、一般化されたモーメント角複体の (コ)ホモロジーを計算する (コ)チェイン複体を構成する。
• ホモロジー余代数およびコホモロジー代数へ収束するスペクトル系列を導入し、インデックス対 (σ, ω) でインデックスが付けられた部分複体への分解を活用する。
• 包含写像 i_k および i_k^* による核、像、余核に基づく、次数付き群 T_σ,ω^* および T_σ,ω^* を定義し、各対 (X_k, A_k) のホモロジー的データを捉える。
• スペクトル系列の収束を用いて、最終的なホモロジー余代数およびコホモロジー代数構造をインデックス対 (σ, ω) ∈ I_M における直和として特定する。
• 符号規約および双対写像 Δ_v^{v',v''} および ⟨·,·⟩_v^{v',v''} を用いて、単体的分解を反映するコプロダクトおよびプロダクトを定義する。
• インデックス対 (σ, ω) と単項式の次数の間に1対1対応を確立し、結果として得られる代数的構造におけるシフトおよび次数の明示的計算を可能にする。

実験結果

リサーチクエスチョン

• RQ1 体上での一般化されたモーメント角複体のホモロジー余代数およびコホモロジー代数は、どのように代数的に計算できるか？
• RQ2 空間対 (X_k, A_k) が (D^2, S^1) でない場合、ホモロジー余代数の構造はどのようなものか？
• RQ3 標準的なモーメント角複体に関する既知の結果に類似した、補交的一般化されたモーメント角複体を結びつける双対性定理は存在するか？
• RQ4 インデックス複体 K の単体的分解から、ホモロジーおよびコホモロジーのコプロダクトおよびプロダクト構造はどのように生じるか？
• RQ5 使用された (コ)ホモロジー計算のためのスペクトル系列は一般に収束するか？ そして、これは最終的な代数的構造にどのような意味を持つのか？

主な発見

• 一般化されたモーメント角複体 M = Z_K(X,A) のホモロジーは、すべての (σ, ω) ∈ I_M における H_*(|2^v|, |K_σ,ω|) の直和と、度数 |(σ, ω)| = Σ_{i∈σ} (r_i+1) + Σ_{i∈ω} k_i によるシフトと同型である。
• ホモロジー余代数構造は、単体的コプロダクト Δ_v^{v',v''} およびテンソルの次数を含む符号規約を用いて定義されるコプロダクト Δ^T によって決定される。
• M のコホモロジー代数は、(σ, ω) ∈ I_M における Σ^{|(σ,ω)|} H^*(|2^v|, |K_σ,ω|) の直和と同型であり、乗法は双対写像 ⟨·,·⟩_v^{v',v''} および符号補正によって与えられる。
• すべての T_σ,ω^* が1次元の場合、構造は著しく単純化され、コプロダクトおよびプロダクト構造は単体的分解および符号則によって完全に決定される。
• 使用されたスペクトル系列は収束し、最終的な代数的構造が初期ページから直接計算可能である。
• インデックス対 (σ, ω) が互いに素でかつ関連するインデックス集合をカバーする場合、補交的複体に関する双対性定理が成り立つ。これは (D^2, S^1) の場合に既知の結果を一般化する。