[論文レビュー] Torus actions, combinatorial topology and homological algebra

Victor Matveevich Buchstaber, Taras Panov|ArXiv.org|Oct 7, 2000

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

ひとこと要約

本稿は、トーラス作用、組合せ的位相とホモロジー代数を統合する枠組みとして、モーメント・アングル複体を導入する。各単体的複体 $K$ に対して $T^m$-空間 $Δ_K$ を関連付けることで、$Δ_K$ の二重次数付きコホモロジーが $K$ の主要な不変量を符号化することを確立し、これにより、スターリング＝ライスナー環上の Tor モジュールを用いた部分空間配置の補集合のコホモロジー計算を含む、位相と組合せ論における古典的問題に対する新たな解法が得られる。

ABSTRACT

The paper surveys some new results and open problems connected with such fundamental combinatorial concepts as polytopes, simplicial complexes, cubical complexes, and subspace arrangements. Particular attention is paid to the case of simplicial and cubical subdivisions of manifolds and, especially, spheres. We describe important constructions which allow to study all these combinatorial objects by means of methods of commutative and homological algebra. The proposed approach to combinatorial problems relies on the theory of moment-angle complexes, currently being developed by the authors. The theory centres around the construction that assigns to each simplicial complex $K$ with $m$ vertices a $T^m$-space $\zk$ with a special bigraded cellular decomposition. In the framework of this theory, the well-known non-singular toric varieties arise as orbit spaces of maximally free actions of subtori on moment-angle complexes corresponding to simplicial spheres. We express different invariants of simplicial complexes and related combinatorial-geometrical objects in terms of the bigraded cohomology rings of the corresponding moment-angle complexes. Finally, we show that the new relationships between combinatorics, geometry and topology result in solutions to some well-known topological problems.

研究の動機と目的

• 新しい幾何的構成を通じて、組合せ的位相、トーラス作用、ホモロジー代数を統一すること。
• 単体的複体 $K$ に対してモーメント・アングル複体 $\mathcal{Z}_K$ を構成し、組合せ的データを位相的および代数的不変量に変換するための道具とする。
• 単体的複体の不変量を $\mathcal{Z}_K$ の二重次数付きコホモロジーで表現することにより、位相における古典的問題を解決すること。
• 部分空間配置の補集合のコホモロジールーブとスターリング＝ライスナー環上の Tor モジュールとの間の同型を確立すること。

提案手法

• 各単体的複体 $K$ に対して、$m$ 個の頂点を持つ $T^m$-空間 $\mathcal{Z}_K$ を、標準的な二重次数付きセル分解を備えて構成する。
• ボレル構成とスターリング＝ライスナー空間を用い、$\mathcal{Z}_K$ のコホモロジーと $\mathop{\rm Tor}_{\mathbf{k}(K)}(\mathbf{k}, \mathbf{k})$ の間の関係を確立する。
• エイレンバーグ＝ムーアのスペクトル系列を適用し、$\mathcal{Z}_K$ 上のループ空間のコホモロジーを計算し、それらを Tor 代数と関連付ける。
• スターリング＝ライスナー環上の多重次数構造を用いて、座標および対角部分空間配置の補集合のコホモロジー計算を $\mathcal{Z}_K$ のコホモロジーに還元する。
• スターリング＝ライスナー環 $\mathbf{k}(K)$ 上での体 $\mathbf{k}$ の最小自由分解を用い、多重次数付き Tor 成分を計算する。
• 単体的複体 $K$ と対角部分空間配置 $M(K)$ の補集合との間で、一対一かつ順序を保つ対応関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 トーラス作用と単体的複体のような組合せ的構造を、ホモロジー代数と体系的に結びつける方法は何か？
• RQ2 関連するモーメント・アングル複体のコホモロジーから、単体的複体のどの位相的不変量が回復可能か？
• RQ3 部分空間配置の補集合のコホモロジールーブは、単体的複体の代数的不変量を用いて計算可能か？
• RQ4 $\mathcal{Z}_K$ のループ空間のコホモロジーとスターリング＝ライスナー環上の Tor 代数との関係は何か？
• RQ5 モーメント・アングル複体は、代数的位相における組合せ的データのどの程度の位相的実現を提供するか？

主な発見

• 座標部分空間配置の補集合のコホモロジールーブは、二重次数付き Tor モジュール $\mathop{\rm Tor}^{-(m-i)}_{\mathbf{k}(K)}(\mathbf{k}, \mathbf{k})_{(2,\ldots,2)}$ に同型である。
• $\Omega B_T \mathcal{Z}_K$ のコホモロジーは、完全な Tor 代数 $\mathop{\rm Tor}_{\mathbf{k}(K)}(\mathbf{k}, \mathbf{k})$ に同型である。
• 標準的同型 $H^*(\Omega B_T \mathcal{Z}_K; \mathbf{k}) \cong H^*(\Omega \mathcal{Z}_K; \mathbf{k}) \otimes \Lambda[u_1, \ldots, u_m]$ が存在する。
• $M(K)$ を対角部分空間配置の補集合とするとき、写像 $K \mapsto M(K)$ は、単体的複体とそのような補集合との間で一対一かつ順序を保つ対応関係を定める。
• $\mathcal{Z}_K$ の二重次数付きコホモロジーは、単体的多様体のデーン＝ゾンメルビル方程式を一般化する、ポincare双対性に類似した性質を満たす。
• 理論により、モーメント・アングル構成を用いた組合せ的公式を用いて、クォージトーリック多様体のヒルツェブル問題が解決される。