[論文レビュー] Homotopy types of moment-angle complexes for flag complexes

Jelena Grbić, Taras Panov+2 more|arXiv (Cornell University)|Nov 5, 2012

Advanced Combinatorial Mathematics参考文献 15被引用数 17

ひとこと要約

この論文は、旗複体 $K$ に対して、モーメント・ゼロ・コンプレックス $\mathcal{Z}_K$ が球面のワッペンのホモトピー型をもつことと、面環 $\mathbf{k}[K]$ がゴロドであることとは同値であることを確立し、球面の数についての組合せ的公式を提示する。さらに、$K$ が五角形の境界であるとき、$\mathcal{Z}_K$ は $S^3 \times S^4$ の五つのコピーの連結和に同相であり、$\Omega\mathcal{Z}_K$ のポンティャーギン代数は十個の生成子のうち一つの関係を満たすことが示される。

ABSTRACT

We study the homotopy types of moment-angle complexes, or equivalently, of complements of coordinate subspace arrangements. The overall aim is to identify the simplicial complexes K for which the corresponding moment-angle complex Z_K has the homotopy type of a wedge of spheres or a connected sum of sphere products. When K is flag, we identify in algebraic and combinatorial terms those K for which Z_K is homotopy equivalent to a wedge of spheres, and give a combinatorial formula for the number of spheres in the wedge. This extends results of Berglund and Joellenbeck on Golod rings and homotopy theoretical results of the first and third authors. We also establish a connection between minimally non-Golod rings and moment-angle complexes Z_K which are homotopy equivalent to a connected sum of sphere products. We go on to show that for any flag complex K the loop spaces of Z_K and DJ(K) are homotopy equivalent to a product of spheres and loops on spheres when localised rationally or at any odd prime.

研究の動機と目的

• モーメント・ゼロ・コンプレックス $\mathcal{Z}_K$ が球面のワッペンのホモトピー型をもつ、あるいは球面積の連結和にホモトピー同値となるような単体的複体 $K$ を特定すること。
• 代数的および組合せ的基準を用いて、旗複体 $K$ に対して $\mathcal{Z}_K$ が球面のワッペンにホモトピー同値であることを特徴づけること。
• 最小的非ゴロド環と、球面積の連結和にホモトピー同値であるモーメント・ゼロ・コンプレックスとの間の関係を確立すること。
• 旗複体 $K$ に対して、$\Omega\mathcal{Z}_K$ および $\Omega\mbox{$D{ m J}$}(K)$ の有理および $p$-局所ホモトピー型を記述し、それらが球面および球面のループ空間の積にホモトピー同値であることを示すこと。

提案手法

• ブーツターバーグとパノフによるホモトピー余極限構成を用いて、$\mathcal{Z}_K$ および $\mbox{$D{ m J}$}(K)$ を多面体的積としてモデル化すること。
• $\mathop{\mathrm{Tor}}\nolimits$-代数 $H^*(\mathcal{Z}_K)$ および $\mathop{\mathrm{Ext}}\nolimits_{\mathbf{k}[K]}(\mathbf{k},\mathbf{k})$ を分析するための代数的トポロジー技法を適用すること。
• グラフ積代数的構造を用いて、ポンティャーギン代数 $H_*(\Omega\mbox{$D{ m J}$}(K))$ 及びその交換子部分代数 $H_*(\Omega\mathcal{Z}_K)$ を記述すること。
• サマエルソン積のヒュルヴィツ像を用いて、$H_*(\Omega\mathcal{Z}_K)$ の生成子を特定し、それらを $\mathcal{Z}_K$ 内の反復ホワイトヘッド積に関連付けること。
• ヤコビ恒等式およびコhomological計算を用いて、$\sum_{i=1}^5 [a_i, b_i] = 0$ のような生成子間の関係を導出し、それらが連結和の位相的性質を符号化することを示すこと。
• Poincaré級数の公式 $P(H_*(\Omega\mathcal{Z}_K); t) = \frac{1}{1 - 5t^2 - 5t^3 + t^5}$ を用いて、$H_*(\Omega\mathcal{Z}_K)$ の一関係生成代数的構造が自由代数とは異なることを区別すること。

実験結果

リサーチクエスチョン

• RQ1 どの旗複体 $K$ に対して、モーメント・ゼロ・コンプレックス $\mathcal{Z}_K$ が球面のワッペンにホモトピー同値となるか？
• RQ2 どの組合せ的条件が $\mathcal{Z}_K$ が球面のワッペンのホモトピー型をもつことを保証するか？また、球面の数はどのように計算できるか？
• RQ3 有理的または素数 $p \neq 2$ における $\Omega\mathcal{Z}_K$ および $\Omega\mbox{$D{ m J}$}(K)$ のホモトピー型はどのように特定されるか？
• RQ4 $H_*(\Omega\mathcal{Z}_K)$ 内の関係 $\sum_{i=1}^5 [a_i, b_i] = 0$ の位相的意味は何か？また、それはどのように連結和分解に関連するか？
• RQ5 $K$ が五角形の境界であるとき、$H_*(\Omega\mathcal{Z}_K)$ のPoincaré級数は、ポンティャーギン代数の代数的構造をどのように反映するか？

主な発見

• 旗複体 $K$ に対して、$\mathcal{Z}_K$ が球面のワッペンにホモトピー同値であることと、面環 $\mathbf{k}[K]$ がゴロドであることとは同値であり、明確な代数的・位相的対応関係が確立される。
• 旗複体 $K$ に対して、$\mathcal{Z}_K$ のワッペン分解における球面の数は、$K$ の1次スケルトンに依存する組合せ的公式により与えられ、ベルグランドとヨレンベックの結果を一般化する。
• $K$ が五角形の境界であるとき、$\mathcal{Z}_K$ は $(S^3 \times S^4)^{\mathbin{\#}5}$ に同相であり、最高次セルの接合写像は五つのホワイトヘッド積の和として実現される。
• 五角形の境界に対して、ポンティャーギン代数 $H_*(\Omega\mathcal{Z}_K)$ は、次数2および3の生成子 $a_i, b_i$ を十個持ち、関係 $\sum_{i=1}^5 [a_i, b_i] = 0$ のみを満たす。この関係は連結和構造によって位相的に実現される。
• $H_*(\Omega\mathcal{Z}_K)$ のPoincaré級数は $\frac{1}{1 - 5t^2 - 5t^3 + t^5}$ であり、自由代数とは異なる一関係生成代数的構造を示唆する。
• 任意の旗複体 $K$ に対して、ループ空間 $\Omega\mathcal{Z}_K$ および $\Omega\mbox{$D{ m J}$}(K)$ は有理的および $p$-局所で球面および球面のループ空間の積にホモトピー同値であり、有理ホモトピー型が非常に構造的であることを示す。