[论文解读] The homotopy type of the complement of the codimension-two coordinate subspace arrangement

Jelena Grbić, Stephen Theriault|ArXiv.org|Dec 13, 2005

Advanced Combinatorial Mathematics参考文献 5被引用 3

一句话总结

该论文确定了 ℂⁿ 中余维二坐标子空间构型补集的同伦类型，证明其同伦等价于维度从 k+1（k 从 2 到 n）的球面的楔和，每个维度有 (k−1) binom(n,k) 个副本。该结果通过将 ∨ₙ ℂP∞ 嵌入到 n 个 ℂP∞ 的乘积中的同伦纤维进行同伦分解而建立，利用立方体引理和迭代同伦上积构造，将早期依赖悬垂的分解改进为非悬垂情形。

ABSTRACT

The complement of the codimension 2 complex coordinate subspace arrangement is shown to be homotopy equivalent to a wedge of spheres.

研究动机与目标

• 确定 ℂⁿ 中余维二坐标子空间构型补集的精确同伦类型。
• 通过建立非悬垂分解，改进先前依赖悬垂的同伦分解。
• 证明包含映射 ∨ₙ ℂP∞ → ∏ₙ ℂP∞ 的同伦纤维可分解为球面的楔和。
• 利用立方体引理和迭代同伦上积构造，为一个关键同伦分解提供一种新型、加速的证明。

提出的方法

• 作者使用 Davis-Januszkiewicz 空间 DJ(K) 及其相关的同伦纤维 𝒵_K，通过同伦纤维序列将补集 U(K) 与之关联。
• 他们通过将楔和包含到 n 个 ℂP∞ 的乘积中的包含映射应用同伦纤维分解。
• 关键技术是立方体引理，用于在空间图中建立同伦上积性质。
• 他们使用迭代同伦上积构造，并利用分解式 Σ(X×Y) ≃ ΣX ∨ ΣY ∨ (ΣX ∧ ΣY) 分析乘积的悬垂。
• 证明依赖于识别纤维序列中的连接映射为零同伦映射，从而简化纤维分解。
• 通过结合 n 的归纳法与同伦上积结构，最终得到纤维的楔和分解。

实验结果

研究问题

• RQ1 ℂⁿ 中余维二坐标子空间构型补集的同伦类型是什么？
• RQ2 包含映射 ∨ₙ ℂP∞ → ∏ₙ ℂP∞ 的同伦纤维能否在不使用悬垂的情况下分解？
• RQ3 补集的同伦类型与 Davis-Januszkiewicz 空间及其相关纤维有何关系？
• RQ4 立方体引理在简化纤维的同伦上积结构中起什么作用？
• RQ5 是否存在一种与已知悬垂级结果匹配的非悬垂纤维分解？

主要发现

• ℂⁿ 中余维二坐标子空间构型补集具有同伦类型 ⋁_{k=2}^n (k−1) binom(n,k) S^{k+1}。
• 包含映射 ∨ₙ ℂP∞ → ∏ₙ ℂP∞ 的同伦纤维分解为球面的楔和，具体为 Fₙ ≃ ⋁_{k=2}^n ⋁_{1≤i₁<⋯<iₖ≤n} (k−1)(ΣΩX_{i₁} ∧ ⋯ ∧ ΩX_{iₖ})。
• 该分解无需悬垂，优于先前至少需要一个悬垂的成果。
• 纤维序列中的连接映射为零同伦映射，从而简化了同伦上积结构。
• 证明利用立方体引理，表明当底面和侧面为同伦上积时，图的顶面也是同伦上积。
• 该结果提供了纤维的非悬垂、显式同伦分解，解决了 toric 拓扑领域长期存在的问题。