[论文解读] Cup-products in generalized moment-angle complexes

Abbas Bahri, Martin Bendersky+2 more|arXiv (Cornell University)|Jan 19, 2010

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

一句话总结

本论文通过广义时刻角复形悬垂的稳定分解，确立了其上同调环中的杯积结构。利用分解定理及自然映射（如混洗映射与对角映射），作者推导出悬垂对与底面锥复形等情形的显式环结构，推广了Davis-Januszkiewicz、Buchstaber-Panov 等人的先前结果。

ABSTRACT

Given a family of based CW-pairs $(\underline{X},\underline{A})=\{(X;A)\}^m_{i=1}$ together with an abstract simplicial complex $K$ with $m$ vertices, there is an associated based CW-complex $Z(K;(\underline{X},\underline{A}))$ known as a generalized moment-angle complex. The decomposition theorem of \cite{bbcg}, \cite{bbcg2} splits the suspension of $Z(K; (\underline{X}, \underline{A}))$ into a bouquet of spaces determined by the full sub-complexes of $K$. Thatdecomposition theorem is used here to describe the ring structure for the cohomology of Z(K; (\underline{X}, \underline{A})). Explicit computations are made for families of suspension pairs and for the cases where $X_i$ is the cone on $A_i$. These results complement and generalize those of Davis-Januszkiewicz, Franz, Hochster as well as Panov, and Baskakov-Buchstaber-Panov. Under conditions stated below, these theorems also apply for generalized cohomology theories.

研究动机与目标

• 确定广义时刻角复形上同调环中的杯积结构。
• 推广并拓展关于时刻角复形的已知结果，特别是 Davis-Januszkiewicz、Buchstaber-Panov 和 Franz 的成果。
• 提供一个统一框架，通过悬垂后稳定分裂与对角映射计算上同调环。
• 在指定条件下将结果扩展至广义上同调理论。
• 对悬垂对与锥-底复形家族（X_i = CX_i, A_i = X_i）进行显式计算。

提出的方法

• 利用先前工作 [1,2] 中的分解定理，该定理将广义时刻角复形的悬垂分解为以 K 的全子复形为指标的楔和空间。
• 应用稳定分裂分析稳定化后的对角映射，从而确定杯积结构。
• 利用乘积与 smash 积之间的自然混洗映射，将 Z(K; (X×W, A×C)) 与 Z(K; (X,A)) 和 Z(K; (W,C)) 的乘积联系起来。
• 引入广义时刻角复形与 smash 积之间的同胚 γ，具体为 γ: Ẑ(K; (CX,X)) ≅ Ẑ(K; (D¹,S⁰)) ∧ X̂[m]，以实现结构分析。
• 使用包含对角映射 Δ̂IJ,L 与混洗映射的同伦交换图，关联子复形及其乘积的上同调。
• 应用自然的交换映射 τ 以重排 smash 积中的因子，确保所推导出的环结构的一致性。

实验结果

研究问题

• RQ1 如何利用稳定同伦论描述广义时刻角复形上同调环中的杯积结构？
• RQ2 通过悬垂与分解，Z(K; (X,A)) 的上同调环与子复形 Z(K_I; (X,A)_I) 的上同调之间的确切关系为何？
• RQ3 这些结果在多大程度上可推广至奇异上同调之外的广义上同调理论？
• RQ4 对于 (X_i, A_i) = (D¹, S⁰) 或 (X_i, A_i) = (CX_i, X_i) 等特殊情况，杯积结构如何表现？
• RQ5 能否利用 Z(K; (X,A)) 悬垂中的对角映射重构其上同调中的完整杯积结构？

主要发现

• 广义时刻角复形 Z(K; (X,A)) 的上同调环完全由其悬垂的稳定分解决定，该分解为以 K 的全子复形为指标的空间楔和。
• 当 (X_i, A_i) = (D¹, S⁰) 时，广义时刻角复形 Ẑ(K; (D¹,S⁰)) 自然同胚于 smash 积 Ẑ(K; (D¹,S⁰)) ∧ X̂[m]，从而可显式计算杯积结构。
• 映射 γ: Ẑ(K; (CX,X)) → Ẑ(K; (D¹,S⁰)) ∧ X̂[m] 是同胚，通过 smash 积提供了上同调环结构的几何实现。
• 包含 Δ̂IJ,L 与 γ 的同伦交换图确保杯积结构尊重分解，并与子复形包含相容。
• 该结果推广并恢复了 Davis-Januszkiewicz、Buchstaber-Panov、Franz 与 Hochster 的已知成果，尤其适用于 Stanley-Reisner 环与环面簇。
• 该框架在适当条件下适用于广义上同调理论，将适用范围从奇异上同调扩展至更广领域。