[論文レビュー] Cohomology rings of moment-angle complexes and their applications

Feifei Fan, Xiangjun Wang|arXiv (Cornell University)|Aug 1, 2015

Advanced Combinatorial Mathematics参考文献 33被引用数 6

ひとこと要約

本稿は、特別な単体的複体に関連するモーメント・アングル複体 $\mathcal{Z}_K$ のコhomology環の構造を調査し、ゴレンシュタイン*複体における接続和やスターリング分割といった組合せ的変換の下でのコhomology的変換公式を導入する。特に、フラッグ2次元球面 $K$ に対して $\mathcal{Z}_K$ が分解不能であることを、そのコhomology環の分解不能性を示すことによって証明し、単体的2次元球面上のモーメント・アングル多様体のコhomology環の一意的分解を可能にするとともに、コhomology的剛性問題の進展を図る。

ABSTRACT

Associated to every finite simplicial complex $K$, there is a moment-angle complex $\mathcal {Z}_{K}$; $\mathcal {Z}_{K}$ is a compact manifold if and only if the geometric realization $|K|$ is a generalized homology sphere. The main goal of this article is to study the cohomology rings of moment-angle complexes associated to some special kinds of simplicial complexes. First, we give some cohomological transformation formulae of $\mathcal {Z}_{K}$, which is induced by some combinatorial operations on the simplicial complex $K$, such as the connected sum operation and stellar subdivisions on Gorenstein* complexes. Second, we prove the indecomposability of $\mathcal {Z}_{K}$ (i.e., $\mathcal {Z}_{K}$ is a prime manifold) when $K$ is a flag $2$-sphere by proving the indecomposability of their cohomology rings. Then we use these results to give the unique decomposition of the cohomology rings of moment-angle manifolds associated to simplicial $2$-spheres, and explain how to use it to detect the cohomological rigidity problem of these moment-angle manifolds.

研究の動機と目的

• 特定の単体的複体に関連するモーメント・アングル複体 $\mathcal{Z}_K$ のコhomology環の構造を理解すること。
• ゴレンシュタイン*複体における接続和やスターリング分割といった組合せ的変換の下でのコhomology的変換公式を確立すること。
• $K$ がフラッグ2次元球面である場合に $\mathcal{Z}_K$ が分解不能であることを、そのコhomology環の分解不能性を分析することで証明すること。
• これらの結果を、単体的2次元球面上のモーメント・アングル多様体のコhomology環の一意的分解に応用すること。
• これらのコhomology環の構造的性質を活用して、コhomology的剛性問題に貢献すること。

提案手法

• ゴレンシュタイン*複体における接続和およびスターリング分割の下で $\mathcal{Z}_K$ のコhomology的変換公式を導出すること。
• 代数的トポロジーの技法を用いてモーメント・アングル複体のコhomology環を分析すること。
• $K$ の組合せ的構造と $H^*(\mathcal{Z}_K)$ の代数的性質との間の関係を確立すること。
• K がフラッグ2次元球面である場合に、$\mathcal{Z}_K$ のコhomology環が分解不能であることを証明すること。
• 分解不能性の結果を応用して、単体的2次元球面上のモーメント・アングル多様体のコhomology環の一意的分解を導出すること。
• 得られた分解を用いて、モーメント・アングル多様体の文脈におけるコhomology的剛性問題を考察すること。

実験結果

リサーチクエスチョン

• RQ1 ゴレンシュタイン*複体における接続和やスターリング分割といった組合せ的変換の下で、モーメント・アングル複体のコhomology環はどのように変化するか？
• RQ2 どのような条件下でモーメント・アングル複体 $\mathcal{Z}_K$ は多様体として分解不能となるか？
• RQ3 フラッグ2次元球面 $K$ に対して、$\mathcal{Z}_K$ のコhomology環が分解不能であることを示せるか？
• RQ4 単体的2次元球面上のモーメント・アングル多様体のコhomology環の一意的分解構造は何か？
• RQ5 コhomology環の分解は、モーメント・アングル多様体のコhomology的剛性問題をどのように情報提供するか？

主な発見

• 接続和およびスターリング分割の下で、ゴレンシュタイン*複体における $\mathcal{Z}_K$ のコhomology的変換公式が確立された。
• K がフラッグ2次元球面である場合に、$\mathcal{Z}_K$ のコhomology環が分解不能であることが示された。
• K がフラッグ2次元球面である場合に、モーメント・アングル複体 $\mathcal{Z}_K$ が素多様体（prime manifold）であることが証明された。
• 分解不能性の結果を用いて、単体的2次元球面上のモーメント・アングル多様体のコhomology環の一意的分解が達成された。
• コhomology環の構造的性質を活用することで、これらの多様体におけるコhomology的剛性問題に関する新たな知見が得られた。
• これらの結果により、$\mathcal{Z}_K$ の環の分解を分析することによって、コhomology的剛性を検出するためのフレームワークが提供された。