[论文解读] Subdivisional spaces and graph braid groups

Byung Hee An, Drummond-Cole, Gabriel C.+1 more|arXiv (Cornell University)|Aug 8, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 31被引用 15

一句话总结

本文引入细分空间作为框架，通过Morse理论分解计算有限CW复形（特别是图）的配置空间同调。它建立了配置空间同调的导出张量积公式，恢复并增强了Świątkowski对图辫群的细胞链模型，并为新旧计算提供了函子性结构和正合序列。

ABSTRACT

We study the problem of computing the homology of the configuration spaces of a finite cell complex $X$. We proceed by viewing $X$, together with its subdivisions, as a subdivisional space--a kind of diagram object in a category of cell complexes. After developing a version of Morse theory for subdivisional spaces, we decompose $X$ and show that the homology of the configuration spaces of $X$ is computed by the derived tensor product of the Morse complexes of the pieces of the decomposition, an analogue of the monoidal excision property of factorization homology. Applying this theory to the configuration spaces of a graph, we recover a cellular chain model due to Świątkowski. Our method of deriving this model enhances it with various convenient functorialities, exact sequences, and module structures, which we exploit in numerous computations, old and new.

研究动机与目标

• 开发一个同伦理论框架，用于计算有限CW复形配置空间的同调。
• 通过引入具有收敛细分结构的细分空间，解决高维复形中细胞逼近的局限性。
• 将因子化同调粘合性质推广为配置空间的可计算、函子性的Morse理论分解。
• 通过函子性、正合序列和模结构，恢复并增强Świątkowski对图辫群的细胞链模型。
• 通过导出张量积形式化方法，实现图辫群同调的新且系统化的计算。

提出的方法

• 引入细分空间作为具有相容细分的CW复形图，形式化局部Morse数据和余上确界收敛性。
• 证明：对于收敛的细分空间结构，细分配置复形的余上确界计算出完整配置空间的同伦类型。
• 为细分空间开发Morse理论分解，表明配置空间的同调由各部分Morse复形的导出张量积给出。
• 通过将图完全分解为区间和顶点，将分解定理应用于图，将问题简化为局部计算。
• 通过收缩和边界条件，建立图辫群同调与Świątkowski复形同调之间的自然同构。
• 利用收缩和交换图证明同调序列的正合性与可裂性，特别是在具有2-割的2-连通图情况下。

实验结果

研究问题

• RQ1 如何在流形之外，以函子性和可计算的方式计算有限CW复形配置空间的同调？
• RQ2 能否在具有细分结构的CW复形背景下，形式化配置空间的Morse理论分解？
• RQ3 在粘合条件下，Morse复形的导出张量积在多大程度上能捕捉配置空间的同调？
• RQ4 如何推导并增强Świątkowski对图辫群的细胞链模型，使其具备函子性结构和正合序列？
• RQ5 在图辫群情况下，该分解框架会引出哪些正合序列和模结构？

主要发现

• 有限CW复形 $ X $ 的配置空间 $ B(X) $ 的同调同构于其分解部分Morse复形的导出张量积：$ H_*(B(X)) \to I(B^{ ext{SD}}(X_0)) \bigotimes^{ ext{L}}_{I(B^{ ext{SD}}(A \times I))} I(B^{ ext{SD}}(X_1)) $。
• Świątkowski复形 $ S(\text{Γ}) $ 计算了图辫群 $ B_*(\text{Γ}) $ 的同调，存在自然同构 $ H_*(B(\text{Γ})) \to H_*(S(\text{Γ})) $。
• 该分解框架为具有2-割的2-连通图在第1度数提供了可裂正合序列：$ 0 \to H_1(B_2(\mathsf{C})) \to H_1(B_2(\mathsf{\Gamma}_1)) \oplus H_1(B_2(\mathsf{\Gamma}_{-1})) \to H_1(B_2(\mathsf{\Gamma})) \to 0 $。
• 在有限细分下，配置空间的同调保持不变，细分后的细胞配置的余上确界弱同伦等价于原始配置空间。
• 该方法为Świątkowski复形赋予了函子性、模结构和正合序列，实现了新的系统化计算。
• Świątkowski复形上的收缩 $ \pi_i $ 和 $ \rho_i $ 确保了同调序列的可裂性，并提供了验证正合性的交换图。