[論文レビュー] Finite subset spaces of closed surfaces

Christopher Tuffley|ArXiv.org|Nov 21, 2003

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

ひとこと要約

本稿では、連結な2次元複体の有限部分集合空間に対して辞書式セル構造を構築し、それらを用いて2次元球面の有限部分集合空間の有理ホモロジーを計算するとともに、閉じた曲面の有限部分集合空間の最高次整数ホモロジー群を計算する。さらに、Mayer-Vietoris系列と対称積のコホモロジー構造を用いて、閉じた向きつけ可能な曲面の3番目の有限部分集合空間の完全な整数コホモロジー群を計算し、対称積のケースを超えた初めての非自明な計算を達成する。

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ₖ(Σ)の最高次整数ホモロジー群を計算する。
• 閉じた向きつけ可能な曲面Σに対して、3番目の有限部分集合空間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次元球面S²の有限部分集合空間expₖ(S²)の有理ホモロジーは何か？
• RQ2 各kおよび閉曲面Σに対して、expₖ(Σ)の最高次整数ホモロジー群は何か？
• RQ3 閉じた向きつけ可能な曲面Σに対して、3番目の有限部分集合空間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の対称積の公式の両方で検証された。