[論文レビュー] On the cohomology of polyhedral products with space pairs $(D^1, S^0)$

Li Cai|arXiv (Cornell University)|Jan 8, 2013

Advanced Combinatorial Mathematics参考文献 5被引用数 3

ひとこと要約

本稿は、空間対 (D¹, S⁰) に関連する実モーメント・アンゼル複体 ℝℤ_K の整数コホモロジー環に対する乗法的 Hochster 型公式を確立する。細胞コチェインモデルを構築し、自然なチェインホモトピーを用いてカップ積の整合性を示すことにより、著者らは H(ℝℤ_K) が単体複体 K によって定義されるイデアルを法とするテンソル積代数の商と同型であることを示し、従来のモーメント・アンゼル複体に関する古典的結果を、明示的な乗法的構造を伴って実の設定へと拡張する。

ABSTRACT

In this note we prove that the integer cohomology ring of polyhedral products with space pairs $(D^1, S^0)$ can also be described explicitly by a multiplicative Hochster's formula.

研究の動機と目的

• 多面体積に対して空間対 (D¹, S⁰) を用いた際の整数コホモロジー環 H(ℝℤ_K) を明示的に記述すること。
• 従来、モーメント・アンゼル複体 ℤ_K に対して知られていた乗法的 Hochster 公式を、実モーメント・アンゼル複体 ℝℤ_K へと拡張すること。
• 自然なチェインホモトピーを介してカップ積構造を尊重する細胞コチェインモデルを ℝℤ_K に対して確立すること。
• コホモロジー環 H(ℝℤ_K) が、R/ℐ_K と同型であることを示すこと。ここで R はコホモロジー代数のテンソル積であり、ℐ_K は K によって定まるイデアルである。

提案手法

• 各 D¹ を 0-次元、1-次元、および 1-単体に分解することで (D¹)^m に CW 構造を定め、ℝℤ_K に誘導された細胞分解を構成する。
• 双対細胞を単体コチェインのテンソル積と特定する細胞コチェイン写像 f: ⊗_i C*(K_i) → C*_e(ℝℤ_K) を定義する。
• 自然なチェインホモトピーを用いて、積空間上のカップ積と部分複体 ℝℤ_K 上のカップ積との整合性を、ホモトピーの意味で示す。
• 写像 μ̃_X* ∘ g を導入し、チェイン複体のテンソル積から ℝℤ_K の特異コチェインへとカップ積を上げる。
• 符号則 ε(e*, e′*) を適用し、コホモロジー環におけるgraded交換性を保証し、商代数 R/ℐ_K で用いられる符号規約と一致させる。
• コロイミットの議論と部分複体におけるチェイン同値を用いて、ℝℤ_K のコホモロジーが H(⊗_i C*(K_i); d) をイデアル ℐ_K で割ったものと同型であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 多面体積に対して (D¹, S⁰) の空間対を用いた際、コホモロジー環 H(ℝℤ_K) の乗法的構造を明示的に記述できるか？
• RQ2 従来 ℤ_K に対して知られているものと同様の、ℝℤ_K に対する乗法的 Hochster 公式が存在するか？
• RQ3 ℝℤ_K 上のカップ積は、単体複体 K_i のコチェイン複体のテンソル積とどのように関係するか？
• RQ4 コホモロジー環 H(ℝℤ_K) は、K によって定まるイデアルを法とするテンソル積代数の商として記述可能か？
• RQ5 自然なチェインホモトピーは、細胞コチェイン同型の下でカップ積構造をどのように保存するか？

主な発見

• コホモロジー環 H(ℝℤ_K) は、R = ⊗_i C*(K_i) および K の非単体に対応する関係によって生成されるイデアル ℐ_K を法とする商代数 R/ℐ_K と同型である。
• ℝℤ_K 上のカップ積は、⊗_i C*(K_i) 上のテンソル積カップ積と同型であり、イデアル ℐ_K を法として、自然なチェインホモトピーの意味で整合する。
• カップ積の公式における符号則 ε(e*, e′*) は、代数的モデル R/ℐ_K で用いられるものと一致し、graded 交換性を保証する。
• 細胞コチェインモデル C*_e(ℝℤ_K) は、微分付き代数として ⊗_i C*(K_i) と同型であり、コホモロジー構造を保存する。
• コロイミットの議論により、H(ℝℤ_K) ≅ H(⊗_i C*(K_i); d) / ℐ_K の同型は、全積に対してだけでなく、部分複体 A ⊂ ℝℤ_Kに対しても成り立つ。
• 証明により、ℝℤ_K のコホモロジーは、単体複体 K と区間 D¹ のコホモロジーによって完全に決定され、ねじれや高次の補正項は生じないことが示された。