[论文解读] Finite subset spaces of closed surfaces

Christopher Tuffley|ArXiv.org|Nov 21, 2003

Topological and Geometric Data Analysis参考文献 8被引用 4

一句话总结

本文为连通2复形的有限子集空间构建了词典序胞腔结构，并将其应用于计算2-球面的有限子集空间的有理同调，以及闭曲面的有限子集空间的最高整同调群。此外，通过Mayer-Vietoris序列和对称积上同调结构，计算了闭可定向曲面的第三有限子集空间的完整整上同调，这是对称积情形之外首个非平凡的计算。

ABSTRACT

The kth finite subset space of a topological space X is the space exp_k X of non-empty finite subsets of X of size at most k, topologised as a quotient of X^k. The construction is a homotopy functor and may be regarded as a union of configuration spaces of distinct unordered points in X. We show that the finite subset spaces of a connected 2-complex admit "lexicographic cell structures" based on the lexicographic order on I^2 and use these to study the finite subset spaces of closed surfaces. We completely calculate the rational homology of the finite subset spaces of the two-sphere, and determine the top integral homology groups of exp_k Sigma for each k and closed surface Sigma. In addition, we use Mayer-Vietoris arguments and the ring structure of H^*(Sym^k Sigma) to calculate the integer cohomology groups of the third finite subset space of Sigma closed and orientable.

研究动机与目标

• 为连通2复形的有限子集空间构建词典序胞腔结构，以支持同调计算。
• 利用这些结构完全确定2-球面的有限子集空间的有理同调。
• 计算所有k和闭曲面Σ的expₖ(Σ)的最高整同调群。
• 计算闭可定向曲面Σ的第三有限子集空间exp₃(Σ)的完整整上同调群，这是对称积情形之外的一个非平凡情形。
• 通过Sym³(Σ)和Σ² → Sym²(Σ)的映射柱构建exp₃(Σ)的同伦模型，从而实现基于Mayer-Vietoris的上同调计算。

提出的方法

• 使用I²上的词典序，在连通2复形的有限子集空间上构造词典序胞腔结构，推广了先前在图和带洞曲面上的工作技术。
• 将这些结构应用于闭曲面的标准胞腔分解，以计算expₖ(S²)的有理同调。
• 使用Mayer-Vietoris序列计算exp₃(Σ)的上同调，将其分解为已知部分：Sym³(Σ)、Sym²(Σ)和Σ×Σ。
• 利用Macdonald和Seroul关于曲面对称积上同调环的已知结果，分析映射Φ₃: H*(Sym³(Σ)) ⊕ H*(Sym²(Σ)) → H*(Σ×Σ)。
• 通过分析诱导上同调映射Φ₃的核与余核，利用Mayer-Vietoris长正合列确定exp₃(Σ)的上同调。
• 通过结合Mayer-Vietoris序列结果并验证与Macdonald关于χ(Symⁿ(Σ))的公式的一致性，计算贝蒂数和欧拉示性数。

实验结果

研究问题

• RQ1 2-球面的有限子集空间expₖ(S²)的有理同调是什么？
• RQ2 对于每个k和闭曲面Σ，expₖ(Σ)的最高整同调群是什么？
• RQ3 闭可定向曲面Σ的第三有限子集空间exp₃(Σ)的完整整上同调环是什么？
• RQ4 通过Mayer-Vietoris，exp₃(Σ)的上同调如何与Sym³(Σ)、Sym²(Σ)和Σ×Σ的上同调相关联？
• RQ5 映射Φ₃: H*(Sym³(Σ)) ⊕ H*(Sym²(Σ)) → H*(Σ×Σ)在度3的结构是什么？它如何决定exp₃(Σ)的上同调？

主要发现

• 利用2-球面上的词典序胞腔结构，完全计算了expₖ(S²)的有理同调。
• 当g ≥ 2时，H³(exp₃(Σ); ℤ)的秩为2g + 4g + (2g choose 3) = 2g + 4g + (2g(2g−1)(2g−2)/6)，且Φ₃的余核为(ℤ/2ℤ)²ᵍ。
• 当g = 1时，Φ₃的核的秩为2，余核的秩为2，因此H³(exp₃(Σ); ℤ) ≅ ℤ² ⊕ (ℤ/2ℤ)²。
• Φ₄的核的秩为(2g choose 2) + 1，余核为ℤ/2ℤ，因此H⁴(exp₃(Σ); ℤ) ≅ ℤ^(2g choose 2)+1 ⊕ ℤ/2ℤ。
• 当g ≥ 2时，H⁵(exp₃(Σ); ℤ) ≅ ℤ²ᵍ，H⁶(exp₃(Σ); ℤ) ≅ ℤ，且在度5和6时余核为平凡。
• exp₃(Σ)的欧拉示性数为χ = (−4g³ + 12g² − 17g + 9)/3，通过Mayer-Vietoris和Macdonald关于对称积的公式均得到验证。