[論文レビュー] Families of minimally non-Golod complexes and their polyhedral products

Ivan Limonchenko|arXiv (Cornell University)|Sep 14, 2015

Advanced Combinatorial Mathematics参考文献 14被引用数 3

ひとこと要約

本稿は、ホモトピー型が輪っつりの球面や球面の積の接合体と同相でないが、整数係数コホモロジーが自由であるMoment-angle複体をもつ、無限個のGolodおよび最小的非Golodな単体的複体の族を構成する。単体的マルチブリッジおよび合成に関して、Golod性および最小的非Golod性の基準を確立し、非自明な三重Massey積とコホモロジー長さ1をもつ9頂点の4次元最小的非Golod複体を提示する。

ABSTRACT

We consider families of simple polytopes $P$ and simplicial complexes $K$ well-known in polytope theory and convex geometry, and show that their moment-angle complexes have some remarkable homotopy properties which depend on combinatorics of the underlying complexes and algebraic properties of their Stanley--Reisner rings. We introduce infinite series of Golod and minimally non-Golod simplicial complexes $K$ with moment-angle complexes $\mathcal Z_K$ having free integral cohomology but not homotopy equivalent to a wedge of spheres or a connected sum of products of spheres respectively. We then prove a criterion for a simplicial multiwedge and composition of complexes to be Golod and minimally non-Golod and present a class of minimally non-Golod polytopal spheres.

研究の動機と目的

• Moment-angle複体が輪っつりの球面や球面の積の接合体とホモトピー同値でないが、整数係数コホモロジーが自由であるGolodおよび最小的非Golodな単体的複体の無限族を構成すること。
• 単体的マルチブリッジまたは複体の合成がGolodまたは最小的非Golodであるための基準を確立すること。
• 最小的非Golod複体のMoment-angle複体のコホモロジー長さと非自明なMassey積の存在を用いて、最小的非Golod性を特徴付けること。
• 非自明な三重Massey積とコホモロジー長さ1をもつ9頂点の4次元最小的非Golod単体的複体を提供すること。

提案手法

• Stanley–Reisner環とTor代数を用い、同型 $ H^{*,*}( ilde{Z}_K; \bkk) \to \bigoplus_{I \not\neq \text{simplex}} \tilde{H}^{*-|I|-1}(K_I) $ を通じてMoment-angle複体のコホモロジーを分析する。
• 定理1.1を適用し、$ \tilde{Z}_K $ のコホモロジーを多様次数付きTor代数として多項式環 $ \bkk[v_1, \dots, v_m] $ 上に解釈する。
• 懸垂定理（定理1.3）を用いて、非単体的集合上の懸垂の輪っつりと $ \tilde{Z}_K $ を関連付ける。
• 文献[1, コロナリー4.14]の基準を用い、単体的複体の合成およびマルチブリッジを帰納的に分析する。
• 文献[13]のMassey積とGolod性に関する結果を適用し、高次作用素の非自明性を検証する。
• 明示的な最小的非単体的集合をもつ9頂点の4次元単体的複体 $ \bkk $ を構成し、コホモロジー長さ1および非自明な三重Massey積をもつ複体を実現する。

実験結果

リサーチクエスチョン

• RQ1 無限個のGolodおよび最小的非Golodな複体の族を構成可能か？そのような複体のMoment-angle複体は、整数係数コホモロジーが自由であるが、輪っつりの球面や球面の積の接合体とホモトピー同値でない。
• RQ2 単体的マルチブリッジおよび複体の合成がGolodまたは最小的非Golodであるための条件は何か？
• RQ3 最小的非Golod複体に関して、コホモロジー長さ $ cup(\tilde{Z}_K) $ とGolod性の関係は何か？
• RQ4 非自明な三重Massey積とコホモロジー長さ1をもつ最小的非Golod複体を構成可能か？
• RQ5 基礎となる単体的複体の組合せ論およびそのStanley–Reisner環の構造は、Moment-angle複体のホモトピー型をどのように決定するか？

主な発見

• 本稿は、$ \tilde{Z}_K $ が整数係数コホモロジーが自由であるが、輪っつりの球面や球面の積の接合体とホモトピー同値でないGolodおよび最小的非Golodな単体的複体 $ K $ の無限族を構成する。
• 任意の最小的非Golod複体 $ K $ に対して、コホモロジー長さ $ cup(\tilde{Z}_K) $ は2以下であることを証明する。
• 9頂点の4次元単体的複体 $ \bkk $ を構成し、$ cup(\tilde{Z}_{\bkk}) = 1 $ であり、$ H^{14}(\tilde{Z}_{\bkk}) $ に非自明な三重Massey積が存在することを示す。
• $ \bkk $ が最小的非Golodであることが示される。なぜなら、$ \bkk $ はGolodでないが、任意の頂点 $ v $ に対して $ \bkk_{[m] \setminus v} $ はGolodであり、コホモロジー上のカップ積が自明であるためである。
• 本稿は、[1, コロナリー4.14]の代入公式を用いた帰納的技法により、単体的マルチブリッジまたは複体の合成がGolodまたは最小的非Golodであるための基準を確立する。
• この構成により、最小的非Golod複体において $ cup(\tilde{Z}_K) = 1 $ および $ cup(\tilde{Z}_K) = 2 $ が両方発生しうることを確認し、このような場合に非自明なMassey積が存在しうることを示す。