[論文レビュー] On the topology of a small cover associated to a shellable complex

Li Cai, Suyoung Choi|arXiv (Cornell University)|Apr 24, 2016

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

ひとこと要約

本稿では、純粋にシェーリング可能な単体的複体 $K$ と、$\mathbb{R}\mathcal{Z}_K$ 上の最大自由な $\mathbb{Z}_2^k$-作用から得られる商 $Y = \mathbb{R}\mathcal{Z}_K / \mathbb{Z}_2^k$ であるスモールカバー $Y$ の整係数コホモロジーとボクシュタインスペクトル系列を計算する。計算は $K$ のシェーリングに由来するPLセル分解に依存し、これらの位相的空間に対する明示的な代数的不変量が得られる。

ABSTRACT

For a simplicial complex $K$ with $m$ vertices, there is a canonical $\mathbb Z_2^m$-space known as a real moment angle complex $\mathbb R \mathcal Z_K$. In this paper, we consider the quotient spaces $Y=\mathbb R \mathcal Z_K / \mathbb Z_2^{k}$, where $K$ is a pure shellable complex and $\mathbb Z_2^k \subset \mathbb Z_2^m$ is a maximal free action on $\mathbb R \mathcal Z_K$. A typical example of such spaces is a small cover, where a small cover is known as a topological analog of a real toric manifold. We compute the integral cohomology group of $Y$ by using the PL cell decomposition obtained from a shelling of $K$. In addition, we compute the Bockstein spectral sequence of $Y$ explicitly.

研究の動機と目的

• シェーリング可能な単体的複体に付随するスモールカバーの整係数コホモロジールーピングを特定すること。
• そのようなスモールカバーのボクシュタインスペクトル系列を解析すること。
• シェーリングに由来するPLセル分解を用いて、位相的不変量の枠組みを確立すること。
• スモールカバーに明示的な代数的不変量を提供し、実トーリック多様体の位相的類似物として位置づけること。
• 複体 $K$ の組合せ的シェーリング性と、商空間 $Y = \mathbb{R}\mathcal{Z}_K / \mathbb{Z}_2^k$ のコホモロジー的性質との関係を明らかにすること。

提案手法

• 頂点数 $m$ を持つ単体的複体 $K$ に対して、$\mathbb{R}\mathcal{Z}_K$ を $\mathbb{Z}_2^m$-空間としての標準的構成物として用いる。
• $\mathbb{R}\mathcal{Z}_K$ 上に最大自由な $\mathbb{Z}_2^k$-作用を適用し、商空間 $Y = \mathbb{R}\mathcal{Z}_K / \mathbb{Z}_2^k$ を構成する。この $Y$ はスモールカバーである。
• 純粋にシェーリング可能な複体 $K$ のシェーリングに基づき、$Y$ のPLセル分解を構成し、コホモロジー計算を可能にする。
• PLセル分解を用いて、$Y$ の整係数コホモロジー群を明示的に計算する。
• セル構造と $\mathbb{Z}_2$-係数データを用いて、$Y$ のボクシュタインスペクトル系列を解析する。
• 複体 $K$ のシェーリング性を活用し、代数的計算を支える正しく整ったセル構造を保証する。

実験結果

リサーチクエスチョン

• RQ1 $K$ が純粋にシェーリング可能な複体であるとき、スモールカバー $Y = \mathbb{R}\mathcal{Z}_K / \mathbb{Z}_2^k$ の整係数コホモロジールーピングは何か？
• RQ2 そのようなスモールカバーのボクシュタインスペクトル系列はどのように振る舞い、明示的に計算可能か？
• RQ3 $K$ のシェーリングは、$Y$ のコホモロジー的構造をどの程度決定づけるか？
• RQ4 シェーリングに由来するPLセル分解を用いて、$Y$ のコホモロジー群を計算可能か？
• RQ5 $K$ の組合せ的シェーリング性と、関連するスモールカバーの位相的不変量との関係は何か？

主な発見

• 純粋にシェーリング可能な複体 $K$ のシェーリングに由来するPLセル分解を用いて、スモールカバー $Y$ の整係数コホモロジー群が明示的に計算された。
• ボクシュタインスペクトル系列は完全に詳細に計算され、セル構造に基づいて $\mathbb{Z}_2$-係数コホモロジーの完全な記述が得られた。
• コホモロジー計算は、$K$ のシェーリングの存在に強く依存しており、これは $\mathbb{R}\mathcal{Z}_K$ の正規かつ計算可能なセル分解を保証する。
• 最大自由な $\mathbb{Z}_2^k$-作用により、$Y$ は well-defined な商空間となり、シェーリングに適合する有限CW構造を備えた。
• 得られた $Y$ のコホモロジー群は、シェーリングの組合せ論的性質に依存しており、位相的不変量と離散幾何学の間の関係が明確にされた。
• ボクシュタインスペクトル系列の明示的計算により、$\mathbb{Z}_2$-係数データと微分のパターンを用いて、$H^*(Y; \mathbb{Z})$ の $\mathbb{Z}$-係数構造が特定された。