[논문 리뷰] Structured singular manifolds and factorization homology

David Ayala, John Francis외 1명|arXiv (Cornell University)|2012. 06. 22.

Homotopy and Cohomology in Algebraic Topology참고 문헌 14인용 수 10

한 줄 요약

이 논문은 정해진 특이성을 가진 다변량—특이성이 있는 다변량—에 대한 인수분해 homology의 프레임워크를 제안하며, 기존의 인수분해 homology를 비가우는 특이 공간으로 일반화한다. 이는 단순한 호모로지 이론을 넘어서, 비아벨형 Poincaré 대칭성을 특이 다변량에 대해 증명하고, Khovanov 호모로지와 유사한 링크 및 링크 호모로지 이론을 구축한다.

ABSTRACT

We provide a framework for the study of structured manifolds with singularities and their locally determined invariants. This generalizes factorization homology, or topological chiral homology, to the setting of singular manifolds equipped with various tangential structures. Examples of such factorization homology theories include intersection homology, compactly supported stratified mapping spaces, and Hochschild homology with coefficients. Factorization homology theories for singular manifolds are characterized by a generalization of the Eilenberg-Steenrod axioms. Using these axioms, we extend the nonabelian Poincaré duality of Salvatore and Lurie to the setting of singular manifolds -- 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, this structure gives rise to knot and link homology theories akin to Khovanov homology.

연구 동기 및 목표

• 특이성을 가진 다변량과 그 국소적 결정 불변량을 체계적으로 연구하기 위한 프레임워크를 개발하기 위해.
• 이전에 매끄러운 다변량에 대해서만 정의된 인수분해 호모로지를, 다변량의 토글러러구조를 갖춘 구조적 특이 다변량의 맥락으로 일반화하기 위해.
• Eilenberg-Steenrod 공리계의 모노이드 일반화를 통해 Salvatore와 Lurie의 비아벨형 Poincaré 대칭성을 특이 다변량으로 확장하기 위해.
• 특이성이 적절하게 내장된 부분다변량인 경우, 특이 다변량에 대한 인수분해 호모로지 이론의 대수적 특성화를 제공하기 위해.
• 이 프레임워크를 사용하여 3차원 다변량에서 Khovanov 호모로지를 일반화하는 링크 및 링크 호모로지 이론을 구축하기 위해.

제안 방법

• 구조적 특이 다변량의 범주를 도입하며, 이는 $\mathsf{Snglr}_{n,k}$로 표기되며, 여기서 $k$는 특이성의 깊이를 나타낸다.
• 특이 다변량에 대한 임베딩과 매끄러운 임베딩의 가족 개념을 정의하며, 이는 고전적 매끄러운 위상수학을 일반화한다.
• 국소성과 절단 조건을 만족하는 체인 복합체로의 공변 할당으로서 인수분해 호모로지를 구성한다.
• Eilenberg-Steenrod 공리계의 모노이드 일반화를 통해 인수분해 호모로지를 특성화하며, 일반화된 절단 성질을 포함한다.
• 특이성이 적절하게 내장된 부분다변량인 경우에 이론을 적용하여 간소화된 대수적 기술을 도출한다.
• 이론을 사용하여 $\mathbb{R}^3$ 내 1차원 부분다변량의 인수분해 호모로지를 통해 3차원 다변량에서의 링크 및 링크 호모로지 이론을 정의한다.

실험 결과

연구 질문

• RQ1 특이성이 정해진 토글러러구조를 가진 특이 다변량에 대해 인수분해 호모로지를 어떻게 확장할 수 있는가?
• RQ2 특이 공간에서 인수분해 호모로지의 국소성과 절단 성질을 포괄하는 데 일반화된 Eilenberg-Steenrod 공리계의 어떤 축약 프레임워크가 필요한가?
• RQ3 특이 다변량에 대해 비아벨형 Poincaré 대칭성을 설립할 수 있는가? 이는 매끄러운 경우를 일반화하는가?
• RQ4 특이성이 적절하게 내장된 부분다변량일 경우, 인수분해 호모로지의 어떤 대수적 구조가 특성화되는가?
• RQ5 이러한 구성은 3차원 다변량에서 링크 및 링크 호모로지 이론을 어떻게 도출하며, Khovanov 호모로지와의 관계는 어떠한가?

주요 결과

• 논문은 모노이드 일반화된 Eilenberg-Steenrod 공리계를 만족하는 구조적 특이 다변량에 대한 인수분해 호모로지 이론을 구축한다.
• 특이 다변량에 대해 비아贝尔형 Poincaré 대칭성을 설립하며, Salvatore와 Lurie의 매끄러운 경우를 일반화한다.
• 특이성이 적절하게 내장된 부분다변량인 특이 다변량의 경우, 인수분해 호모로지 이론은 간소화된 대수적 기술을 갖춘다.
• 3차원 다변량에서 1차원 부분다변량의 경우, 이 이론은 Khovanov 호모로지와 유사한 링크 및 링크 호모로지 이론을 도출한다.
• 이 프레임워크는 국소적으로 결정되는 불변량을 통해 비콤팩트 및 특이 다변량으로의 위상적 양자장 이론의 확장을 가능하게 한다.
• 이론은 특이 공간에서의 양자장 이론의 관측량을 자연스럽게 다룰 수 있는 배경을 제공하며, Costello-Gwilliam 형식을 일반화한다.