[论文解读] Moment-angle manifolds, 2-truncated cubes and Massey operations

Ivan Limonchenko|arXiv (Cornell University)|Oct 27, 2015

Advanced Combinatorial Mathematics参考文献 20被引用 4

一句话总结

该论文针对每个 $ n \geq 2 $，构造了一类光滑、紧致、2-连通的时刻角流形 $ \mathcal{Z}_P $，其关联于2-截断立方体——一类非图关联多面体的旗嵌套多面体——其有理上同调环中包含非平凡的高阶Massey $ n $-乘积。该构造利用了时刻角复形的Stanley–Reisner环与多分次上同调，证明了 $ n $-重Massey乘积是良定义且非零的，其唯一的代表上闭链为 $ v_1v_{2n}u_2\cdots u_{2n-1} $，且该上闭链可分解为两个低阶类的乘积。

ABSTRACT

We construct a family of manifolds, one for each $n\geq 2$, having a nontrivial Massey $n$-product in their cohomology. These manifolds turn out to be smooth closed 2-connected manifolds with a compact torus action called moment-angle manifolds $\mathcal Z_P$, whose orbit spaces are simple $n$-dimensional polytopes $P$ obtained from a $n$-cube by a sequence of truncations of faces of codimension 2 only (2-truncated cubes). Moreover, the polytopes $P$ are flag nestohedra but not graph-associahedra. We compute some bigraded Betti numbers $β^{-i,2(i+1)}(Q)$ for an associahedron $Q$ in terms of its graph structure and relate it to the structure of the loop homology (Pontryagin algebra) $H_{*}(Ω\mathcal Z_Q)$. We also study triple Massey products in $H^{*}(\mathcal Z_Q)$ for a graph-associahedron $Q$.

研究动机与目标

• 构造具有紧致环作用的光滑、紧致、2-连通流形，使其有理上同调中支持非平凡的高阶Massey乘积。
• 识别实现此类流形为时刻角流形 $ \mathcal{Z}_P $ 的多面体组合类——即2-截断立方体。
• 利用多分次上同调与上闭链代表元，证明对每个 $ n \geq 2 $，在 $ H^*(\mathcal{Z}_P) $ 中存在非平凡的 $ n $-重Massey乘积。
• 将图关联多面体的大分次Betti数与对应时刻角复形的环路上同调联系起来。

提出的方法

• 利用时刻角流形构造 $ \mathcal{Z}_P $，作为 $ \mathbb{C}^m $ 上环作用的拉回，其中 $ P $ 为一个 $ n $-维简单多面体。
• 采用Stanley–Reisner环 $ \Bbbk[K] = \Bbbk[v_1,\dots,v_m]/\mathcal{I}_K $ 来建模 $ \mathcal{Z}_P $ 的上同调，其中 $ \mathcal{I}_K $ 由对应于 $ K $ 中非单形的平方自由单项式生成。
• 应用多分次上同调技术分析 $ H^*(\mathcal{Z}_P) $ 中Massey乘积的不确定性和可表示性，重点关注 $ \mathbb{Z}^m $-分次。
• 通过归纳法与余边界论证，证明 $ n $-重Massey乘积中唯一的上闭链为 $ v_1v_{2n}u_2\cdots u_{2n-1} $，从而证明其非平凡性。
• 通过 $ \mathcal{Z} $ 的函子性，利用构造集组合多面体，生成具有多个指定阶数的非平凡Massey乘积的流形。
• 通过图的结构，将图关联多面体 $ Q $ 的大分次Betti数 $ \beta^{-i,2(i+1)}(Q) $ 与庞特里亚金代数 $ H_*(\Omega\mathcal{Z}_Q) $ 联系起来。

实验结果

研究问题

• RQ1 与2-截断立方体相关的时刻角流形能否支持阶数 $ n \geq 2 $ 的非平凡高阶Massey乘积？
• RQ2 在 $ H^*(\mathcal{Z}_P) $ 中，$ n $-重Massey乘积的代表上闭链具有何种结构？
• RQ3 图关联多面体的大分次Betti数如何与它们的时刻角复形的环路上同调相关联？
• RQ4 实现 $ \mathcal{Z}_P $ 中非平凡Massey乘积的多面体 $ P $ 是否为旗嵌套多面体？若是，它们是否为图关联多面体？
• RQ5 能否通过 $ \mathcal{Z} $-函子与构造集，构造一个具有多个指定阶数的非平凡Massey乘积的流形？

主要发现

• 对每个 $ n \geq 2 $，存在一个光滑、紧致、2-连通的时刻角流形 $ \mathcal{Z}_P $，其具有紧致环作用，且其上同调中包含一个非平凡的 $ n $-重Massey乘积。
• 多面体 $ P $ 是一个2-截断立方体，属于旗嵌套多面体，但不是图关联多面体，从而为实现高阶Massey乘积提供了新的多面体类。
• $ n $-重Massey乘积 $ \langle\alpha_1,\dots,\alpha_n\rangle $ 是非平凡的，且仅由上同调类 $ v_1v_{2n}u_2\cdots u_{2n-1} $ 代表，由于唯一上闭链代表元，其不确定度为零。
• 代表上闭链 $ v_1v_{2n}u_2\cdots u_{2n-1} $ 是可分解的：$ [v_1v_{2n}u_2\cdots u_{2n-1}] = \pm [v_1u_{n+1}\cdots u_{2n-1}] \cdot [v_{2n}u_2\cdots u_n] $。
• 当 $ n=4 $ 时，4-重Massey乘积在 $ H^{-6,16}(\mathcal{Z}_P) \subset H^{10}(\mathcal{Z}_P) $ 中由 $ v_1v_8u_2\cdots u_7 $ 代表，该流形为17维。
• 通过构造集，可构造一个流形 $ \mathcal{Z}_P $，使其具有阶数为 $ n_1, \dots, n_r $ 的非平凡Massey乘积（$ r \geq 2 $），其中 $ P = P_{B'} $，$ B' $ 为 $ (r-1) $-立方体的连通构造集。