[论文解读] Homotopy types of moment-angle complexes

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

Advanced Combinatorial Mathematics参考文献 19被引用 1

一句话总结

本论文刻画了单形复形 K 的类别，使得其时刻角复形 ZK 同伦等价于球面的楔和或球面乘积的连通和，尤其关注旗复形的情形。研究证明，ZK 同伦等价于球面楔和当且仅当 K 的 1-骨架为弦图（chordal graph），并明确计算了球面的数量。论文进一步表明，ZK 与 (CP∞, pt) 的环路空间同伦等价于球面与球面上环路的乘积，且通过二阶球面类的迭代 Whitehead 乘积描述了典范映射。

ABSTRACT

The moment-angle complex ZK is a cell complex composed of products of discs D and circles S which are parametrised by faces of a simplicial complex K. The complex ZK has a natural torus action. By replacing the pair (D, S) by an arbitrary pair of spaces (X,A) we obtain the notion of the polyhedral product (X,A) . This construction is currently studied actively in toric topology and homotopy theory, and has many geometric interpretations. For example, the moment-angle complex ZK = (D, S) is homotopy equivalent to the complement of the arrangement of coordinate subspaces in C defined by the simplicial complex K. If K is the boundary of a simplicial polytopes (or, more generally, comes from a complete simplicial fan), then ZK is a smooth manifold. It admits quite interesting non-Kahler complex-analytic structures generalising the well-known series of Hopf and Calabi–Eckmann manifolds. In our talk we consider the classes of simplicial complexes K whose corresponding momentangle complex ZK has homotopy type of a wedge of spheres or connected sum of sphere products. In the case of flag complexes we obtain a complete characterisation of these classes, both in algebraic and combinatorial terms. For wedges of spheres, the criterion is as follows: the 1-skeleton of K must be a chordal graph (this notions features in the combinatorial theory of optimisation on graphs). We also calculate explicitly the number of spheres in the wedge. The loop spaces of ZK and (CP∞, pt) are homotopy equivalent to products of spheres and loops on spheres, and we show that the canonical map ZK → (CP∞, pt) can be described by iterated Whitehead products of two-dimensional spherical classes. The talk is based on the joint work [1].

研究动机与目标

• 确定单形复形 K 的类别，使得时刻角复形 ZK 同伦等价于球面的楔和或球面乘积的连通和。
• 为这类复形提供完整的代数与组合刻画，尤其关注旗复形的情形。
• 当 ZK 同伦等价于球面楔和时，显式计算其楔分解中球面的确切数量。
• 以迭代 Whitehead 乘积的形式描述 ZK 的环路空间的同伦类型，以及典范映射 ZK → (CP∞, pt) 的结构。

提出的方法

• 通过将 (D,S) 替换为任意对 (X,A)，推广多面体积 (X,A)K 的构造，从而实现对 ZK = (D,S)K 的同伦理论分析。
• 利用 ZK 同伦等价于 C^n 中坐标子空间排列的补集这一事实，该排列由单形复形 K 定义。
• 对于旗复形，其刻画依赖于 K 的 1-骨架为弦图——这是组合优化与图论中的关键概念。
• 论文运用了来自 toric 拓扑与同伦论的工具，特别是环路空间与 Whitehead 乘积的结构。
• 建立了 ZK 的同伦类型与 K 的组合性质之间的对应关系，尤其通过迭代 Whitehead 乘积实现。
• 通过其在同伦群上的诱导映射分析了典范映射 ZK → (CP∞, pt)，表明其由二阶球面类的迭代 Whitehead 乘积实现。

实验结果

研究问题

• RQ1 对于哪些单形复形 K，时刻角复形 ZK 同伦等价于球面的楔和？
• RQ2 K 的何种组合条件可确保 ZK 具有球面乘积连通和的同伦类型，特别是在旗复形情形下？
• RQ3 如何显式计算 ZK 楔分解中的球面数量？
• RQ4 ZK 的环路空间的同伦类型是什么？其与 (CP∞, pt) 的环路空间有何关系？
• RQ5 如何以 Whitehead 乘积的形式描述典范映射 ZK → (CP∞, pt)？

主要发现

• 时刻角复形 ZK 同伦等价于球面楔和当且仅当 K 的 1-骨架为弦图。
• 对于旗复形，ZK 楔分解中球面的数量可由 K 的组合性质显式计算。
• ZK 的环路空间同伦等价于球面与球面上环路的乘积，其结构与 (CP∞, pt) 的环路空间一致。
• 典范映射 ZK → (CP∞, pt) 由二阶球面类的迭代 Whitehead 乘积实现。
• 当 K 为单纯多面体的边界或来自完全单纯扇时，ZK 是一个光滑流形，具有非 Kähler 的复解析结构，推广了 Hopf 与 Calabi–Eckmann 流形。