[논문 리뷰] Zero-pointed manifolds

David Ayala, John Francis|arXiv (Cornell University)|2014. 09. 09.

Homotopy and Cohomology in Algebraic Topology참고 문헌 24인용 수 17

한 줄 요약

이 논문은 기저점의 여집합이 $n$-다양체인, 기저점이 있는 국소적으로 컴acts한 공간의 범주인 제로-포인티드 다양체를 도입하여 위상수학에서의 푸앵카레 쌍대성과 $\mathcal{E}_n$-대수에서의 코즐 쌍대성을 통합한다. 이 범주로 인해 요소 분해 호몰로지가 확장되며, 바 건축을 통해 $\mathcal{E}_n$-오페라드의 코즐 자기쌍대성을 실현하는 쌍대성 사상이 구성되며, 이는 비아벨리안 푸앵카레 쌍대성의 기하적 실현을 확립한다.

ABSTRACT

We formulate a theory of pointed manifolds, accommodating both embeddings and Pontryagin-Thom collapse maps, so as to present a common generalization of Poincaré duality in topology and Koszul duality in $\mathcal{E}_n$-algebra.

연구 동기 및 목표

• 다양체 위상수학에서 호몰로지 이론과 코호몰로지 이론을 동시에 수용할 수 있는 공통 기하적 프레임워크의 부족을 해결하기 위해.
• 포함 사상과 폰트리아진-톰 붕괴 사상에 대해 닫혀 있는 다소 최소한의 다양체 범주를 도입함으로써 요소 분해 호몰로지를 푸앵카레 쌍대성으로 일반화하기 위해.
• $n$-디스크 대수에서의 바 건축을 통해 $\mathcal{E}_n$-오페라드의 코즐 자기쌍대성을 기하학적으로 실현하기 위해.
• 제로-포인티드 다양체의 구조를 이용하여 요소 분해 호몰로지와 코호몰로지 사이의 쌍대성 사상을 수립하기 위해.
• 증강된 $\mathcal{E}_n$-대수의 $n$-중 복합 바 건축이 자연스럽게 $\mathcal{E}_n$-코알제브라의 구조를 지닌다는 것을 보여주기 위해.

제안 방법

• 기저점의 여집합이 $n$-다양체인, 기저점이 있는 공간으로서 제로-포인티드 다양체를 정의하며, 그 사상은 기저점을 제외한 영역에서 열 임베딩으로 제한되는 기저점 사상이다.
• $\mathcal{M}\mathsf{fld}_n$와 그 반대 범주를 모두 포함하는 범주 $\mathcal{Z}\mathcal{M}\mathsf{fld}_n$를 구성하여, 양방향 전이와 제로로 확장하는 함수를 가능하게 한다.
• $\mathcal{Z}\mathcal{M}\mathsf{fld}_n$로 요소 분해 호몰로지를 확장하며, $\mathbb{R}^n_+$에서의 핀치 사상에 의해 제로로 확장하는 사상과 코알제브라 구조를 도입한다.
• $\mathbb{R}^n_+$의 요소 분해 호몰로지가 증강된 $\mathcal{E}_n$-대수의 $n$-중 복합 바 건축과 일치함을 확인한다.
• $\mathcal{Z}\mathcal{M}\mathsf{fld}_n$와 그 반대 범주 간의 쌍대성에 기반하여, 요소 분해 호몰로지의 맥락에서 푸앵카레/코즐 쌍대성 사상을 정의한다.
• 대칭 모나이드 $\infty$-범주 이론과 최종 단위의 성질을 적용하여, $\mathcal{M} \to \mathcal{M}_+$에 沿한 제약이 함자 범주에서 동치를 유도함을 증명함으로써, 쌍대화 함수의 표현 가능성을 확립한다.

실험 결과

연구 질문

• RQ1 다양체에 대해 호몰로지 이론과 코호몰로지 이론을 모두 수용할 수 있는 공통 기하 범주를 구성할 수 있는가?
• RQ2 요소 분해 호몰로지가 전이와 제로로 확장하는 사상 모두를 수용할 수 있도록 어떻게 확장할 수 있는가?
• RQ3 코즐 자기쌍대성의 기하적 실현은 무엇인가?
• RQ4 증강된 $\mathcal{E}_n$-대수의 $n$-중 복합 바 건축이 어떻게 $\mathcal{E}_n$-코알제브라의 구조를 지닌다는가?
• RQ5 요소 분해 호몰로지와 코호몰로지 사이에 푸앵카레 쌍대성을 일반화하는 자연스러운 쌍대성 사상이 존재하는가?

주요 결과

• $\mathcal{Z}\mathcal{M}\mathsf{fld}_n$의 제로-포인티드 $n$-다양체 범주는 부정 함수 $\neg$를 통해 자연스러운 자기쌍대성을 지닌다. 이는 $\mathcal{Z}\mathcal{M}\mathsf{fld}_n \cong \mathcal{Z}\mathcal{M}\mathsf{fld}_n^{\mathsf{op}}$의 동형을 유도한다.
• $\mathbb{R}^n_+$, 즉 $\mathbb{R}^n$의 1점 컴acts화의 요소 분해 호몰로지는 핀치 사상에 의해 자연스럽게 $n$-디스크 코알제브라의 구조를 지닌다. 이는 $n$-중 복합 바 건축이 코알제브라로서 실현됨을 의미한다.
• 증강된 $\mathcal{E}_n$-대수의 $n$-중 복합 바 건축은 자연스럽게 $\mathcal{E}_n$-코알제브라의 구조를 지닌다. 이는 $\mathcal{E}_n$-오페라드의 코즐 자기쌍대성을 기하학적으로 실현한다.
• $\operatorname{Fun}^{\otimes, \sf aug}(\mathcal{M}, \mathcal{V})$는 $\mathcal{V}_{/\mathbbm{1}}$에 의해 표현되며, $\mathcal{V}$의 단위가 최종일 경우 $\mathcal{M} \to \mathcal{M}_+$에 의한 제약이 대칭 모나이드 함자 범주에서 동치를 유도한다.
• $\mathcal{M}_+$와 $\mathcal{M}_{+,\sf disj}$를 포함하는 대칭 모나이드 $\infty$-범주 다이어그램은 등가에 대해 교환 가능하며, $\mathcal{M}_+$에서의 단위의 최종성으로 인해 忘却 함자가 동치임을 증명한다.
• $\mathcal{V}_{/\mathbbm{1}}$에 자연스러운 대칭 모나이드 구조를 부여함으로써, $\mathcal{V}$의 단위가 최종일 경우 함자 범주 $\operatorname{Fun}^{\otimes, \sf aug}(\mathcal{M}_+, \mathcal{V}) \to \operatorname{Fun}^{\otimes, \sf aug}(\mathcal{M}, \mathcal{V})$의 忘却 함자가 동치임을 증명함으로써, 쌍대화 함수의 표현 가능성을 입증한다.