[论文解读] Right-angularity, flag complexes, asphericity. \ Criteria for asphericity: corrigenda for "Right-angularity, flag complexes, asphericity"

Michael W. Davis|arXiv (Cornell University)|Feb 23, 2011

Homotopy and Cohomology in Algebraic Topology参考文献 12被引用 3

一句话总结

本文修正并完善了与单纯复形及空间对相关的多面体积的非双曲性准则。在基于域的无挠性假设下，建立了必要且充分的条件——要求每个 $A(i)$ 为非双曲的，某些对为近乎非双曲的，$L^\prime$ 为旗复形，且 $L^\prime$ 可分解为连通和——从而弥补了早期关于右-angled 建筑物与时刻-角复形研究中的漏洞。

ABSTRACT

The "polyhedral product functor" produces a space from a simplicial complex L and a collection of pairs of spaces, {(A(i),B(i))}, where i ranges over the vertex set of L. We give necessary and sufficient conditions for the resulting space to be aspherical. There are two similar constructions, each of which starts with a space X and a collection of subspaces, {X_i} and then produces a new space. We give conditions for the results of these constructions to be aspherical. All three techniques can be used to produce examples of closed aspherical manifolds. Abstract for Corrigenda: This note concerns two refinements to the earlier work by the first author. First, when L is infinite, the definition of polyhedral product needs clarification. Second, the earlier paper omitted some subtle parts of the necessary and sufficient conditions for polyhedral products to be aspherical. Correct versions of these necessary and sufficient conditions are given in the present paper.

研究动机与目标

• 修正并澄清当底层面单纯复形 $L$ 为无限时多面体积的定义。
• 识别并修正原始非双曲性准则中缺失或隐含的假设。
• 在基于域的无挠性假设下，为 $\mathbf{A}^L$ 的非双曲性提供完整、必要且充分的条件。
• 解决早期结果因对基本群单射性及 $\widetilde{B}(i)$ 的无挠性假设错误而导致失败的情况。
• 将理论推广至无限复形与非收缩基对，扩展关于时刻-角复形与右-angled 建筑物的结果。

提出的方法

• 将多面体积 $\mathbf{A}^L$ 定义为 $\prod_{i\in I} A(i)$ 的子空间，满足条件 (I) 仅有有限个非基点坐标，且 (II) 支持在 $L$ 中构成一个单纯形。
• 当 $L$ 为无限时，通过其有限子复形的上极限拓扑赋予 $\mathbf{A}^L$ 拓扑。
• 引入集合 $I^{\prime\prime}$、$I_1$、$I_2$ 与 $I^\prime = I_2 \cup I^{\prime\prime}$，并定义 $L^\prime = \langle I^\prime \rangle$ 以隔离关键分量。
• 利用基于域的无挠性假设 $(*)$，确保多面体积的万有覆叠在同调上表现良好。
• 通过万有覆叠 $\widetilde{B}(i)$ 的 smash 积应用同调准则，借助 [1, Thm. 2.21] 中的公式检测非平凡同调。
• 通过证明 $\widetilde{\mathbf{A}}^L$ 同伦等价于 $\widetilde{\mathbf{A}}^{L^\prime}$，而后者通过连通和分解与无挠性可证为收缩的，从而确立 $\widetilde{\mathbf{A}}^L$ 为收缩的。

实验结果

研究问题

• RQ1 当 $L$ 为无限时，多面体积 $\mathbf{A}^L$ 为非双曲的必要且充分条件是什么？
• RQ2 基本群单射性失效或 $\widetilde{B}(i)$ 无挠性失效时，如何影响 $\mathbf{A}^L$ 的非双曲性？
• RQ3 当假设 (a) 和 (b) 不成立时，[4, Theorem 2.22] 中的早期准则应如何修正？
• RQ4 分解 $L^\prime = \langle I_2 \rangle * L^{\prime\prime}$ 与 $\mathbf{A}^L$ 的非双曲性有何关联？
• RQ5 在 $B(i)$ 不收缩的情况下，$\mathbf{A}^L$ 的万有覆叠在何种条件下仍保持收缩？

主要发现

• 校正后的 $\mathbf{A}^L$ 非双曲性准则要求每个 $A(i)$ 为非双曲的，且对每个 $i \in I^\prime$ 不在 $L^\prime$ 中为锥形的点，对 $(A(i), B(i))$ 为非双曲的。
• $L^\prime$ 必须为旗复形，且必须可分解为连通和 $\langle I_2 \rangle * L^{\prime\prime}$，其中 $I_2$ 索引满足在域 $\mathbb{F}$ 上 $\widetilde{B}(i)$ 非无挠的顶点。
• $I^{\prime\prime}$ 集合（索引满足 $|E_i| \neq 1$ 的顶点）确保 $L^{\prime\prime}$ 捕获了非平凡基本群的贡献。
• 通过证明 $\widetilde{\mathbf{A}}^L$ 同伦等价于 $\widetilde{\mathbf{A}}^{L^\prime}$，而后者通过连通和结构与无挠性可证为收缩的，从而确立 $\widetilde{\mathbf{A}}^L$ 为收缩的。
• 万有覆叠的同调通过 $\widetilde{B}(i)$ 的 smash 积检测非平凡性；若在度数 $k$ 处同调非零，则意味着存在一个空的 $k$-单纯形，与非双曲性矛盾。
• 基于域的假设 $(*)$ 确保 $I_1 \cup I_2$ 划分 $I - I^{\prime\prime}$，这对同调论证与最终结论至关重要。