[論文レビュー] 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

ひとこと要約

本稿は、特にグラフを含む有限セル複体の配置空間のホモロジーを、モース理論的分解を用いて計算する枠組みとして、分割空間（subdivisional spaces）を導入する。ホモロジーの導来テンソル積公式を確立し、シュワンツキのグラフブレード群のセル複体モデルを回復・強化するとともに、関手的構造および完全系列を提供し、新たなおよび既存の計算を可能にする。

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.

研究の動機と目的

• 有限セル複体の配置空間のホモロジーを、ホモトピー論的枠組みで計算するためのもの。
• 高次元複体におけるセル近似の限界を克服するため、収束する分割構造を備えた分割空間を導入する。
• 因子化ホモロジーの接合性質を、配置空間に対して計算可能で関手的なモース理論的分解へ一般化する。
• シュワンツキのグラフブレード群のセル複体モデルを、関手性、完全系列、モジュール構造を用いて回復・強化する。
• 導来テンソル積形式主義を用いて、グラフブレード群ホモロジーの新たな体系的計算を可能にする。

提案手法

• 収束する分割構造を備えた、セル複体の図式としての分割空間を導入し、局所的モースデータと余極限収束を形式化する。
• 収束する分割空間構造に対して、分割された配置複体の余極限が、完全な配置空間のホモトピー型を計算することを証明する。
• 分割空間に対するモース理論的分解を構築し、配置空間のホモロジーが、各部品のモース複体の導来テンソル積によって与えられることを示す。
• グラフに対して分解定理を適用する際、完全に区間と頂点に分解することで、問題を局所的計算に還元する。
• 再び取り戻しと境界条件を用いて、グラフブレード群のホモロジーとシュワンツキ複体のホモロジーの間に自然な同型を構成する。
• 再び取り戻しと可換図式を用いて、特に2連結で2-カットをもつグラフの場合のホモロジー系列の完全性と分解性を証明する。

実験結果

リサーチクエスチョン

• RQ1 有限セル複体の配置空間のホモロジーを、多様体を超えて関手的かつ計算可能にどのように計算できるか？
• RQ2 セル複体に分割構造を備えた文脈において、配置空間のモース理論的分解をどのように定式化できるか？
• RQ3 接合の下で、モース複体の導来テンソル積が、配置空間のホモロジーをどの程度正確に捉えるか？
• RQ4 シュワンツキのグラフブレード群のセル複体モデルを、関手的構造と完全系列を用いてどのように導出し、強化できるか？
• RQ5 グラフブレード群の場合に、分解枠組みからどのような完全系列とモジュール構造が生じるか？

主な発見

• 有限セル複体 $ X $ の配置空間 $ B(X) $ のホモロジーは、その分解部品のモース複体の導来テンソル積に同型である：$ H_*(B(X)) \to I(B^{\text{SD}}(X_0)) \bigotimes^{\text{L}}_{I(B^{\text{SD}}(A \times I))} I(B^{\text{SD}}(X_1)) $。
• シュワンツキ複体 $ 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 $。
• 有限の分割に対して、配置空間のホモロジーは保存され、分割されたセル配置の余極限は、元の配置空間と弱ホモトピー同値である。
• 本手法により、シュワンツキ複体に関手性、モジュール構造、完全系列が付与され、新たな体系的計算が可能になる。
• シュワンツキ複体上の再び取り戻し $ \pi_i $ と $ \rho_i $ は、ホモロジー系列の分解を保証し、完全性を検証する可換図式を提供する。