[論文レビュー] On the cohomology of moment-angle complexes associated to Gorenstein* complexes

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

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

ひとこと要約

この論文はアレクサンドル双対性を用いてGorenstein*複体の位相的特徴付けを確立し、連結和や星型分割といった組合せ的操作におけるモーメント・アングル複体の明示的なコhomological公式を導出する。主な貢献は、単体的2次元球面に付随するモーメント・アングル複体のコhomology環の分解定理であり、これが一意的分解を証明し、コhomological rigidityの検出を可能にする。

ABSTRACT

The main goal of this article is to study the cohomology rings and their applications of moment-angle complexes associated to Gorenstein* complexes, especially, the applications in combinatorial commutative algebra and combinatorics. First, we give a topological characterization of Gorenstein* complexes in terms of Alexander duality (as an application we give a topological proof of Stanley's Theorem). Next we give some cohomological transformation formulae of $\mathcal {Z}_{K}$, which are induced by some combinatorial operations on the Gorenstein* complex $K$, such as the connected sum operation and stellar subdivisions. We also prove that $\mathcal {Z}_{K}$ is a prime manifold whenever $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.

研究の動機と目的

• Gorenstein環におけるアレクサンドル双対性とポincare双対性を用いて、スターリングの定理の位相的証明を提供すること。
• 連結和および星型分割の操作におけるモーメント・アングル複体の明示的コhomological変換公式を導出すること。
• K がフラッグ2次元球面であるとき、\mathcal{Z}_K のコhomology環の非分解可能性を確立し、\mathcal{Z}_K がプライム多様体であることを示すこと。
• 単体的2次元球面に付随するモーメント・アングル多様体のコhomology環の一意的分解を証明し、それをコhomological rigidity問題に応用すること。
• K_1 \# K_2 における \mathcal{Z}_{K_1 \# K_2} のコhomology環を、\mathcal{Z}_{K_1}、\mathcal{Z}_{K_2} および連結和から生じる新たな多様体 M のコhomology環を用いて特徴付けること。

提案手法

• フル部分複体間のアレクサンドル双対性を用いて、Gorenstein*複体の位相的特徴付けを行う。
• Gorenstein環におけるポincare双対性を応用し、スターリングの定理の位相的証明を確立する。
• \mathcal{Z}_{K_1} および \mathcal{Z}_{K_2} の非還元コhomology環に作用するシフト作用 G^k を用いて、次数付き環 \mathcal{R}(K_1, K_2; \mathbf{k}) を構成する。
• \mathcal{Z}_{K_1}、\mathcal{Z}_{K_2} および新たな多様体 M の最高次元コhomology類を同定する関係によって生成されるイデアル \mathcal{I}(K_1, K_2; \mathbf{k}) を定義する。
• K = K_1 \# K_2 に対して、\widetilde{H}^*(\mathcal{Z}_K; \mathbf{k}) \cong \mathcal{R}(K_1, K_2; \mathbf{k}) / \mathcal{I}(K_1, K_2; \mathbf{k}) の明示的公式を提示し、球面の積の和を含む。
• 多様体に作用するゴンザレス・アグナ作用 \mathcal{G}^k を用いて、\mathcal{Z}_{K_1 \# K_2} の位相的実現の予想を提示する。

実験結果

リサーチクエスチョン

• RQ1 Gorenstein*複体はアレクサンドル双対性を用いて位相的に特徴付け可能か？
• RQ2 Gorenstein*複体の連結和の下で、モーメント・アングル複体のコhomology環はどのように変化するか？
• RQ3 K がフラッグ2次元球面であるとき、\mathcal{Z}_K のコhomology環の構造はいかなるものか？
• RQ4 単体的2次元球面 K に付随する \mathcal{Z}_K のコhomology環は一意的に分解可能か？
• RQ5 コhomology環の一意的分解は、モーメント・アングル多様体におけるコhomological rigidityの検出にどのように応用できるか？

主な発見

• 単体的複体 K が一般化されたホモロジー球面であることは、そのフル部分複体間のアレクサンドル双対性を満たすことと同値である。
• 本論文は、ポincare双対性およびモーメント・アングル複体の理論を用いて、スターリングの定理の位相的証明を提供する。
• K = K_1 \# K_2 のとき、\mathcal{Z}_K の非還元コhomology環は、\mathcal{R}(K_1, K_2; \mathbf{k}) / \mathcal{I}(K_1, K_2; \mathbf{k}) に同型であり、ここで \mathcal{R} はシフトされたコhomology環と、\sharp \lambda(i)(S^{i+1} \times S^{m_1 + m_2 - i - 1}) の形をした多様体 M を含む。
• K がフラッグ2次元球面であるとき、\mathcal{Z}_K のコhomology環は非分解的であり、\mathcal{Z}_K がプライム多様体であることを示唆する。
• 単体的2次元球面に付随するモーメント・アングル多様体のコhomology環は一意的分解をもち、これを用いてコhomological rigidity を検出可能である。
• 著者らは、捩れのない有限ランクの環 R \cong Q が非分解的因子をもつ場合、非自明な乗法をもつ非分解的因子の個数と同型型が等しく、かつ分解が置換および同型を除いて一意的であることを証明した。