[논문 리뷰] Factorization homology of stratified spaces

David Ayala, John Francis외 1명|arXiv (Cornell University)|2014. 09. 02.

Homotopy and Cohomology in Algebraic Topology참고 문헌 3인용 수 11

한 줄 요약

이 논문은 탄성 구조를 갖춘 분할 공간 위에서의 인수 분해 homology에 대한 기초 프레임워크를 수립하며, 고전적 호몰로지와 끈 이론 불변량을 일반화한다. 일반화된 Eilenberg–Steenrod 공리 체계를 증명하고, 비아벨형 Poincaré 대칭성을 분할된 설정으로 확장하여 $ω$-카테고리와 $ω$-오페라드를 통해 새로운 끈 및 링크 호몰로지 이론을 도출한다.

ABSTRACT

This work forms a foundational study of factorization homology, or topological chiral homology, at the generality of stratified spaces with tangential structures. Examples of such factorization homology theories include intersection homology, compactly supported stratified mapping spaces, and Hochschild homology with coefficients. Our main theorem characterizes factorization homology theories by a generalization of the Eilenberg--Steenrod axioms; it can also be viewed as an analogue of the Baez--Dolan cobordism hypothesis formulated for the observables, rather than state spaces, of a topological quantum field theory. Using these axioms, we extend the nonabelian Poincaré duality of Salvatore and Lurie to the setting of stratified spaces -- this is a nonabelian version of the Poincaré duality given by intersection homology. We pay special attention to the simple case of singular manifolds whose singularity datum is a properly embedded submanifold and give a further simplified algebraic characterization of these homology theories. In the case of 3-manifolds with 1-dimensional submanifolds, these structure gives rise to knot and link homology theories.

연구 동기 및 목표

• 분할된 공간과 탄성 구조를 갖춘 인수 분해 호몰로지의 일반 이론을 개발하여 고전적 호몰로지와 양자장 이론 불변량을 확장한다.
• Eilenberg–Steenrod 공리를 일반화하여 인수 분해 호몰로지를 호모토피 불변 이론으로 특성화한다.
• 비아벨형 Poincaré 대칭성을 분할된 다변량, 특히 적절하게 임베드된 부분다양체를 갖는 특이 다변량으로 확장한다.
• 3차 다변량과 1차원 부분다양체를 사용하여 $ω$-오페라드와 프레임드 디스크 대수를 통해 끈 및 링크 호몰로지 이론을 구성한다.
• 특히 3차 다변량과 1차원 부분다양체의 경우에서 단순한 분할 공간에 대해 인수 분해 호몰로지의 대수적 특성화를 제공한다.

제안 방법

• 저자들은 분할된 공간의 기하학을 모델링하기 위해 $ω$-카테고리와 $ω$-오페라드를 사용하며, 디스크의 구성 공간 위에서 왼쪽 칸 확장을 통해 인수 분해 호몰로지를 정의한다.
• 관측 가능성을 위한 일반화된 코버디즘 가설을 도입하여, 인수 분해 호몰로지를 Baez–Dolan 가설과 유사한 공리를 만족하는 함자로 기술한다. 다만 상태 공간이 아니라 관측 가능성을 중심으로 한다.
• 이론은 $d$차원 부분다양체를 갖는 프레임드 $n$-다양체의 카테고리 $ω\mathsf{D}_{d\subset n}$ 와 탄성 구조를 갖춘 다변량을 기반으로 하며, 구성 구조를 모델링하기 위해 유한 집합과 전단사 사상의 $ω$-카테고리를 사용한다.
• 핵심 기술적 도구는 구성군의 군oids 위에서의 인수 분해 호몰로지를 코일리미트로 식별하는 것으로, 등식 $\operatorname{\mathcal{M}\mathsf{fld}}_{d\subset n}(i(J_n,J_d), X) / \mathsf{O}(n)^{J_n} \times \mathsf{O}(d\subset n)^{J_d} \simeq \mathsf{Conf}_{J_n}(M\setminus L) \times \mathsf{Conf}_{J_d}(L)$ 를 사용한다.
• 자기 동형군을 통한 텐서곱을 통해 $ω\mathsf{D}_{d\subset n}$-대수 위의 자유 대수를 정의하여 다음 공식을 도출한다: $\int_{(L\subset M)} \operatorname{Free}_{\mathcal{E}}^{\delta(P,Q)} \simeq \operatorname{Conf}^P(M\setminus L) \otimes \operatorname{Conf}^Q(L)$.
• 이 구성은 푸시포워드와 호모토피 동치에 대해 호환되며, 이는 호모토피 불변성과 분할된 공간 전반에 걸친 자연성 보장을 한다.

실험 결과

연구 질문

• RQ1 분할된 공간에 대해 Eilenberg–Steenrod 공리의 일반화를 사용하여 인수 분해 호몰로지를 어떻게 공리화할 수 있는가?
• RQ2 탄성 구조는 분할된 다변량 위에서 인수 분해 호몰로지를 정의하는 데 어떤 역할을 하는가?
• RQ3 비아벨형 Poincaré 대칭성은 적절하게 임베드된 부분다양체를 갖는 특이 다변량으로 어떻게 확장되는가?
• RQ4 3차 다변량과 1차원 부분다양체를 갖는 경우 인수 분해 호몰로지는 끈 및 링크 호몰로지 이론을 도출할 수 있는가?
• RQ5 3차 다변량과 1차원 부분다양체의 경우와 같이 단순한 분할에 대해 인수 분해 호몰로지의 대수적 특성화는 무엇인가?

주요 결과

• 논문은 분할된 공간과 탄성 구조를 갖춘 인수 분해 호몰로지에 대해 일반화된 Eilenberg–Steenrod 공리 체계를 수립하여, 이론이 호모토피 불변 이론임을 특성화한다.
• 분할된 공간에 대해 비아贝尔형 Poincaré 대칭성을 증명하여, Salvatore와 Lurie의 결과를 적절하게 임베드된 부분다양체를 갖는 특이 다변량의 설정으로 일반화한다.
• 3차 다변량 $M$ 과 1차원 부분다양체 $L$ 에 대해, $ω\mathsf{D}_{1\subset 3}$-대수 $\delta(P,Q)$ 의 인수 분해 호몰로지는 $\operatorname{Conf}^P(M\setminus L) \otimes \operatorname{Conf}^Q(L)$ 와 동치이며, 이는 끈 및 링크 호몰로지 이론을 도출한다.
• 이론은 구성군의 군oids 위에서의 왼쪽 칸 확장을 통한 기하적 실현을 제공하며, 코일리미트는 자기 동형군에 대한 몫으로 표현된다: $\coprod_{[(J_n,J_d)]} \left( \operatorname{\mathcal{M}\mathsf{fld}}_{d\subset n}(i(J_n,J_d),X) \right) \otimes_{\operatorname{Aut}(J_n,J_d)} (P^{\otimes J_n} \otimes Q^{\otimes J_d})$.
• 이 구성은 푸시포워드와 호모토피 동치에 대해 호환되며, 결과로 얻어진 호몰로지 이론들이 호모토피 불변성과 열린 포함에 대한 자연성 보장한다.
• 이 프레임워크는 일반적인 기본 다변량 카테고리 $\mathcal{B}$ 와 사상 $\mathcal{E} \to \mathcal{B}$ 로 일반화되며, 표준적인 프레임드 디스크 카테고리 외에도 넓은 적용 가능성을 보여준다.