[論文レビュー] The homology of simpicial complements and the cohomology of moment-angle complexes

Qibing Zheng, Xiangjun Wang|arXiv (Cornell University)|Sep 29, 2011

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

ひとこと要約

本稿では、単体的複体 $K$ の単体的補集合を導入し、関連する単項式イデアルのテイラー分解を用いて、微分付き可換代数 $(\overline{\Lambda}(\mathbb{P}), d)$ を構成する。この代数は $\mathrm{Tor}$ 代数 $\mathrm{Tor}_*^{\mathbf{k}[\mathbf{x}]}(\mathbf{k}(K), \mathbf{k})$ を計算し、その積構造を特定する。主な貢献は、一般化されたモーメント・アングル複体 $\mathcal{Z}_K(X,A)$ のコホモロジーに対する新しい代数的モデルであり、特に $({X},{A}) = (S^2, S^1)$ の場合に全ベッチ数 216 を得る明示的計算を含む。

ABSTRACT

We use the Taylor resolution of a monomial ideal to compute the Tor algebra of the Stanley-Reisner ring of a simplicial complement of a simplicial complex.

研究の動機と目的

• 単体的複体 $K$ のスターリング＝ライスナーの面環に関連する $\mathrm{Tor}$ 代数 $\mathrm{Tor}_*^{\mathbf{k}[\mathbf{x}]}(\mathbf{k}(K), \mathbf{k})$ を、その積構造を含めて計算する新しい手法を開発すること。
• 単体的補集合 $\mathbb{P}$ を単項式イデアルの生成系として定義し、そのテイラー分解を用いて DGA モデルを構成すること。
• その $\mathrm{Tor}$ 代数の代数的構造を、チェーン複体 $\overline{\Lambda}(\mathbb{P})$ のコホモロジーとして実現することにより特定すること。
• 一般化されたモーメント・アングル複体 $\mathcal{Z}_K(X,A)$ のコホモロジーを、単体的補集合 $\mathbb{P}$ のホモロジーと関連づけること。特に $A_i \hookrightarrow X_i$ が零ホモトープである場合に注目すること。
• 特殊なケース、例えば $({X},{A}) = (D^2, S^1)$ および $({X},{A}) = (S^2, S^1)$ において、$\mathcal{Z}_K(X,A)$ の明示的なベッチ数とペオカラーレ系列を計算すること。

提案手法

• 単体的補集合 $\mathbb{P} = \{\sigma_1, \dots, \sigma_s\}$ は、$[m]$ の部分集合の列として定義され、平方自由単項式イデアル $\mathcal{I}_{\mathbb{P}}$ を生成する。$K$ はこのイデアルに関連する単体的複体である。
• イデアル $\mathcal{I}_{\mathbb{P}}$ のテイラー分解を用いて、$\mathbf{k}$ 上の微分付き可換代数 $(\overline{\Lambda}(\mathbb{P}), d)$ を構成し、そのコホモロジーとして $\mathrm{Tor}_*^{\mathbf{k}[\mathbf{x}]}(\mathbf{k}(K), \mathbf{k})$ を計算する。
• チェーン複体 $\overline{\Lambda}(\mathbb{P})$ は、$\mathbb{P}$ に属する単体に対応する外積代数の生成元から構成され、微分 $d$ は単項式の最小公倍数を用いて定義される。
• 一般化されたモーメント・アングル複体 $\mathcal{Z}_K(X,A)$ のコホモロジーは、スパインの直和と $E_\omega\mathbb{P}$、すなわち $\omega \in K$ に対する単体的補集合のホモロジーを用いた分解により計算される。同型 $H^*(\mathcal{Z}_K(X,A), \mathbf{k}) \cong \bigoplus_{\omega \in K} \bigoplus_{\sigma} H_{*,\sigma}(\overline{\Lambda}^{*,\sigma}(E_\omega\mathbb{P}), d)$ を用いる。
• $({X},{A}) = (S^2, S^1)$ の場合、すべての $\omega \in K$ の寄与を合算し、各 $\omega$ が寄与するグレーディング付きベクトル空間のペオカラーレ系列は $H_{*,\sigma}(\overline{\Lambda}^{*,\sigma}(E_\omega\mathbb{P}), d)$ から導出される。
• 方法は $\overline{\Lambda}^{*,\sigma}(E_\omega\mathbb{P})$ が $\mathbf{k}$ 上の自由加群であることを利用しており、ペオカラーレ系列の分解により明示的なベッチ数の計算が可能になる。

実験結果

リサーチクエスチョン

• RQ1 Hochsterの公式を越えて、積構造を含めた $\mathrm{Tor}$ 代数 $\mathrm{Tor}_*^{\mathbf{k}[\mathbf{x}]}(\mathbf{k}(K), \mathbf{k})$ をどのように計算できるか。
• RQ2 単体的複体 $K$ の単体的補集合 $\mathbb{P}$ は、モーメント・アングル複体のコホモロジーをモデル化する上で果たす役割は何か。
• RQ3 一般化されたモーメント・アングル複体 $\mathcal{Z}_K(X,A)$ のコホモロジーは、$\omega \in K$ に対して定義される単体的補集合 $E_\omega\mathbb{P}$ のホモロジーを用いてどのように分解されるか。
• RQ4 $X_i$ がコネクテッドまたは $A_i$ がコネクテッド、または $({X}_i, {A}_i) = (S^2, S^1)$ の場合に、$\mathcal{Z}_K(X,A)$ のベッチ数とペオカラーレ系列は何か。
• RQ5 $\mathcal{Z}_K(D^2, S^1)$ のコホモロジーは単体的補集合 $\mathbb{P}$ のホモロジーを用いて完全に記述可能か。その全ベッチ数は何か。

主な発見

• コホモロジー環 $H^*(\mathcal{Z}_K(D^2, S^1), \mathbf{k})$ は外積代数 $\Lambda(\sigma_1, \sigma_2, \sigma_3)$ に同型であり、ペオカラーレ系列は $1 + 3x^3 + 3x^6 + x^9$、全ベッチ数は 8 である。
• $({X}, {A}) = (S^2, S^1)$ の場合、コホモロジー $H^*(\mathcal{Z}_K(S^2, S^1), \mathbf{k})$ のペオカラーレ系列は $1 + 6x^2 + 9x^3 + 12x^4 + 36x^5 + 35x^6 + 36x^7 + 54x^8 + 27x^9$ であり、全ベッチ数は 216 である。
• $\mathcal{Z}_K(X,A)$ のコホモロジーは、$\omega \in K$ に関する $H_{*,\sigma}(\overline{\Lambda}^{*,\sigma}(E_\omega\mathbb{P}), d)$ の直和に同型であり、各 $\omega$ が寄与するグレーディング付きベクトル空間の構造は単体的補集合 $E_\omega\mathbb{P}$ に依存する。
• $\mathbb{P} = \{\{1,2\}, \{3,4\}, \{5,6\}\}$ のとき、$E_\phi\mathbb{P}$ のホモロジーは $\Lambda(\sigma_1, \sigma_2, \sigma_3)$ に同型であり、$H^*(\mathcal{Z}_K(D^2, S^1), \mathbf{k})$ の外積代数構造を確認する。
• $\omega = \{i\}$ の寄与はペオカラーレ系列 $x^2(1 + x + 2x^3 + 2x^4 + x^6 + x^7)$ を持ち、$\omega = \{i,j\}$ の寄与は $x^4(1 + 2x + x^2 + x^3 + 2x^4 + x^5)$、$\omega = \{i,j,k\}$ の寄与は $x^6(1 + 3x + 3x^2 + x^3)$ である。
• 本手法によりHochsterの公式の新しい証明が得られ、DGA $(\overline{\Lambda}(\mathbb{P}), d)$ を用いて $\mathrm{Tor}$ 代数の積構造が明示的に特定される。このDGAは $\mathbf{k}$ 上のベクトル空間であり、代数の積乗法を尊重する。