[論文レビュー] Discrete Morse theory for moment-angle complexes of pairs (D^n,S^{n-1})

Vladimir Grujić, Volkmar Welker|arXiv (Cornell University)|Dec 10, 2012

Topological and Geometric Data Analysis参考文献 20被引用数 7

ひとこと要約

本稿では、アレクサンダー双対 $K^\circ$ が頂点分解可能であるような単体的複体 $K$ に対して、$n$-球面モーメント・アングル複体 ${\mathcal{Z}}_K(D^n, S^{n-1})$ に離散モース理論を適用する。このような複体は、球面のワッペンにホモトピー同値であることを証明し、先行研究のシフトされた複体への一般化を提供するとともに、誘導部分複体 $K_M$ の減少ホモロジーを用いたホモトピー分解を提示する。主な貢献は、$M \not\in K$ に対する $K_M$ のベッチ数を用いて表現されるホモトピー同値性である。結果は高次懸垂へと拡張され、単体のスケルトンおよび1次元スケルトンが弦的な旗複体への応用を含む。

ABSTRACT

For a finite simplicial complex K and a CW-pair (X,A), there is an associated CW-complex Z_K(X,A), known as a polyhedral product. We apply discrete Morse theory to a particular CW-structure on the n-sphere moment-angle complexes Z_K(D^{n}, S^{n-1}). For the class of simplicial complexes with vertex-decomposable duals, we show that the associated n-sphere moment-angle complexes have the homotopy type of wedges of spheres. As a corollary we show that a sufficiently high suspension of any restriction of a simplicial complex with vertex-decomposable dual is homotopy equivalent to a wedge of spheres.

研究の動機と目的

• モーメント・アングル複体のホモトピー型に関する結果を、シフトされた単体的複体からアレクサンダー双対が頂点分解可能なより広いクラスへと拡張すること。
• 離散モース理論を用いて、${\mathcal{Z}}_K(D^n, S^{n-1})$ と球面のワッペンとの間のホモトピー同値性を確立すること。
• ゴロド環および自明なコホモロジー積に関する既知の結果を、高次元のモーメント・アングル複体へと一般化すること。
• 誘導部分複体 $K_M$（$M \not\in K$）の減少ホモロジーを用いたホモトピー分解の公式を提示すること。
• 従来の懸垂および球面のワッペンに関する結果を、$n$-球面モーメント・アングル複体のケースにまで拡張すること。

提案手法

• 特定のCW構造を備えた $n$-球面モーメント・アングル複体 ${\mathcal{Z}}_K(D^n, S^{n-1})$ に離散モース理論を適用する。
• アレクサンダー双対 $K^\circ$ の頂点分解可能性を用いて、モーメント・アングル複体上での離散モースマッチングを構成する。
• モースマッチングの臨界セルを活用し、ホモトピー型が球面のワッペンであることを同定する。
• $M \not\in K$ に対して、各 $M$ について $\widetilde{H}_{i - (n-1)\#M - 1}(K_M, \mathbb{K})$ の減少ホモロジー群を用いてホモトピー同値性の公式を導出する。ここで $K_M$ は $K$ の $M$ への制限である。
• 頂点数に関する帰納法と $K^\circ$ のシェディング頂点の構造を用いて、モースマッチングが適切に簡約されることを証明する。
• 既知の懸垂およびホモトピー関手に関する結果を応用し、結果を安定圏へと拡張する。

実験結果

リサーチクエスチョン

• RQ1 単体的複体 $K$ がどのような条件下で、$n$-球面モーメント・アングル複体 ${\mathcal{Z}}_K(D^n, S^{n-1})$ が球面のワッペンにホモトピー同値になるか。
• RQ2 アレクサンダー双対 $K^\circ$ の頂点分解可能性が、${\mathcal{Z}}_K(D^n, S^{n-1})$ のホモトピー型にどのように影響を与えるか。
• RQ3 ${\mathcal{Z}}_K(D^n, S^{n-1})$ のホモトピー分解が、$M \not\in K$ に対する誘導部分複体 $K_M$ の減少ホモロジーを用いて表現可能か。
• RQ4 この結果はモーメント・アングル複体の懸垂へと拡張可能か。その場合、ホモトピー型はどのように変化するか。
• RQ5 $n > 2$ の場合、スターリング＝ライスナー環のゴロド性と、球面のワッペンに同値なホモトピー型との関係は何か。

主な発見

• アレクサンダー双対 $K^\circ$ が頂点分解可能であり、かつすべての $i \in [m]$ に対して $\{i\} \in K$ である限り、$n$-球面モーメント・アングル複体 ${\mathcal{Z}}_K(D^n, S^{n-1})$ は球面のワッペンにホモトピー同値である。
• ホモトピー同値性は、任意の体 $\mathbb{K}$ に対して、$\displaystyle{\mathcal{Z}}_K(D^n, S^{n-1}) \simeq \bigvee_{i \geq 0} \bigvee_{\substack{M \not\in K \\ M \subseteq [m]}} \dim_{\mathbb{K}} \widetilde{H}_{i - (n-1)\#M - 1}(K_M, \mathbb{K}) \cdot S^i$ として明示的に与えられる。
• 本結果は、[15] で研究されたシフトされた単体的複体のケースを一般化する。なぜなら、シフトされた複体はアレクサンダー双対が頂点分解可能であるからである。
• $m$ 頂点を持つ単体の $k$-スケルトンに対しては、モーメント・アングル複体は $\bigvee_{j=1}^{m-k} \binom{m}{k+j} \binom{k+j-j}{k} S^{nk + j(n-1)}$ にホモトピー同値であり、[14] および [15] の既知の結果と一致する。
• ${\mathcal{Z}}_K(D^n, S^{n-1})$ の二重懸垂は、球面のワッペンにホモトピー同値である。これは [1] の結果を $n$-球面の場合へと拡張する。
• 1次元スケルトンが弦的な旗複体 $K$ に対しても本結果が適用可能である。なぜなら、このような複体はアレクサンダー双対が頂点分解可能であるため、${\mathcal{Z}}_K(D^n, S^{n-1})$ は球面のワッペンに同値である。