[논문 리뷰] Cobordism Categories and Parametrized Morse Theory

Nathan Perlmutter|arXiv (Cornell University)|2017. 03. 03.

Homotopy and Cohomology in Algebraic Topology참고 문헌 8인용 수 4

한 줄 요약

이 논문은 제한된 모르스 함수를 갖는 코버디즘 분류 공간과 톰 스펙트럼의 무한 루프 공간 사이의 약한 호모토피 동치를 확립한다. 모르스 함수의 임계점의 인덱스를 중심 범위 외부로 제한함으로써, 저자들은 매들센-위스 정리를 일반화하며, 짝수 차원 다각형의 모듈리 공간에 대한 고차원 문퍼드 추측에 대한 새로운 증명을 제공한다.

ABSTRACT

Fix a tangential structure $θ: B \longrightarrow BO(d+1)$ and an integer $k < d/2$. In this paper we determine the homotopy type of a cobordism category $\mathbf{Cob}^{ ext{mf}, k}_θ$, where morphisms are given by $θ$-cobordisms $W: P ightsquigarrow Q$ equipped with a choice of proper Morse function $h_{W}: W \longrightarrow [0, 1]$, with the property that all critical points $c \in W$ of $h_{W}$ satisfy the condition: $k < ext{index}(c) < d-k+1$. In particular, we prove that there is a weak homotopy equivalence $B\mathbf{Cob}^{ ext{mf}, k}_θ \simeqΩ^{\infty}\mathbf{hW}^{k}_θ$, where $\mathbf{hW}^{k}_θ$ is a Thom spectrum associated to the space of Morse jets on $\mathbb{R}^{d+1}$. In the special case that $k = -1$, the equivalence $B\mathbf{Cob}^{ ext{mf}, -1}_θ \simeqΩ^{\infty}\mathbf{hW}^{-1}_θ$ follows from the work of Madsen and Weiss used in their celebrated proof of the Mumford conjecture. Following the methods of Madsen and Weiss we use the weak equivalence $B\mathbf{Cob}^{ ext{mf}, k}_θ \simeqΩ^{\infty}\mathbf{hW}^{k}_θ$ to give an alternative proof the "high-dimensional Madsen-Weiss theorem" of Galatius and Randal-Williams which identifies the homology of the moduli spaces, $BDiff((S^{n} imes S^{n})^{\# g}, D^{2n})$, in the limit $g o \infty$.

연구 동기 및 목표

• 모르스 함수의 임계점 인덱스가 제한된 $\theta$-코버디즘을 갖는 코버디즘 범주 ${\mathbf{Cob}}^{\operatorname*{mf},k}_{\theta}$의 호모토피 유형을 규명하는 것.
• 전체 코버디즘 범주에서 인덱스 제약이 있는 모르스 함수를 갖는 부분범주로의 호모토피 동치를 확장함으로써 매들센-위스 정리를 일반화하는 것.
• 이 새로운 동치를 통해 $2n$-다양체의 모듈리 공간에 대한 고차원 매들센-위스 정리에 대한 대체 증명을 제공하는 것.
• 모르스 잔여물이 $\mathbb{R}^{d+1}$ 위에 있는 $\mathbf{hW}^{k}_{\theta}$라는 톰 스펙트럼과 관련된 무한 루프 공간 $\Omega^{\infty}\mathbf{hW}^{k}_{\theta}$와의 약한 호모토피 동치 $B{\mathbf{Cob}}^{\operatorname*{mf},k}_{\theta} \simeq \Omega^{\infty}\mathbf{hW}^{k}_{\theta}$를 확립하는 것.
• 객체의 $\theta$-구조에 대한 연결성 조건을 정의하는 부분범주를 다룰 수 있도록 매들센과 위스의 프레임워크를 확장하는 것.

제안 방법

• 객체가 $k$-연결된 $\theta$-구조를 갖는 $d$-다양체이고, 모르스 함수의 임계점 인덱스가 $(k, d-k+1)$ 범위에 있는 $\theta$-코버디즘인 $\theta$-코버디즘 범주 ${\mathbf{Cob}}^{\operatorname*{mf}}_{\theta}$의 부분범주로 ${\mathbf{Cob}}^{\operatorname*{mf},k}_{\theta}$를 정의한다.
• 포인트리진-톰 구성과 호모토피 콘텐츠 분해를 사용하여 분류 공간 $B{\mathbf{Cob}}^{\operatorname*{mf},k}_{\theta}$를 분석하고, 임베딩과 $\theta$-구조 공간과의 관계를 규명한다.
• 지역화 수열을 구성하고, 매개변수화된 수술 기법을 사용하여 제한된 인덱스를 갖는 하드들 기여도를 분리한다.
• 인덱스 제약이 있는 하드를 갖는 프레임드 코버디즘의 공간 $\mathcal{L}^{k}_{P,\mathbf{t}}$를 정의하고, 추적 및 복원 사상의 명시적 구성에 의해 이 공간이 모르스 데이터의 공간 $\mathcal{W}^{k}_{P,\mathbf{t}}$와 약한 호모토피 동치임을 보인다.
• 포지트 카테고리 $\mathcal{K}^k$ 위의 함자들 사이의 자연 변환을 이용하여, 코버디즘 범주의 분류 공간과 무한 루프 공간 $\Omega^{\infty}\mathbf{hW}^{k}_{\theta}$ 사이의 짐작형 약한 호모토피 동치를 확립한다.
• $\mathcal{L}^{k}_{P,\mathbf{t}} \simeq \mathcal{W}^{k}_{P,\mathbf{t}}$의 동치를 활용하여, 호모토피 콘텐츠 분해를 따라가고, 매들센-위스의 기존 결과를 적용함으로써 주요 결과를 증명한다.

실험 결과

연구 질문

• RQ1 모르스 함수의 임계점 인덱스가 $(k, d-k+1)$ 범위에 있는 $\theta$-코버디즘을 갖는 코버디즘 범주 ${\mathbf{Cob}}^{\operatorname*{mf},k}_{\theta}$의 호모토피 유형은 무엇인가요?
• RQ2 매들센-위스 정리는 모르스 함수 행동이 제한된 코버디즘 부분범주로 일반화될 수 있나요?
• RQ3 인덱스 제약이 있는 모르스 함수의 포함은 코버디즘 범주의 분류 공간의 호모토피 유형에 어떤 영향을 미치나요?
• RQ4 분류 공간 $B{\mathbf{Cob}}^{\operatorname*{mf},k}_{\theta}$와 톰 스펙트럼 $\mathbf{hW}^{k}_{\theta}$의 무한 루프 공간 사이에 약한 호모토피 동치가 존재하는가요?
• RQ5 이 새로운 동치를 사용하여 제한된 코버디즘 범주에 대해 고차원 매들센-위스 정리를 재증명할 수 있는가요?

주요 결과

• 모르스 잔여물이 $\mathbb{R}^{d+1}$ 위에 있는 $\mathbf{hW}^{k}_{\theta}$라는 톰 스펙트럼과 관련된 무한 루프 공간 $\Omega^{\infty}\mathbf{hW}^{k}_{\theta}$와의 약한 호모토피 동치 $B{\mathbf{Cob}}^{\operatorname*{mf},k}_{\theta} \simeq \Omega^{\infty}\mathbf{hW}^{k}_{\theta}$가 존재한다.
• 특수한 경우 $k = -1$은 원래 매들센-위스 정리를 복원하며, 이는 그들이 문퍼드 추측을 증명하는 데 사용한 바 있다.
• 이 동치는 고차원 매들센-위스 정리에 대한 대체 증명을 가능하게 하며, $g \to \infty$의 극한에서 모듈리 공간 $\operatorname*{BDiff}((S^n \times S^n)^{\#g}, D^{2n})$에 대해 적용된다.
• 이 증명은 명시적 추적 및 복원 구성에 의해 확립된, 제한된 인덱스를 갖는 하드를 갖는 프레임드 코버디즘 공간과 모르스 데이터 공간 사이의 약한 호모토피 동치에 의존한다.
• 분류 공간의 호모토피 콘텐츠 분해는 짐작형 약한 동치를 통해 톰 스펙트럼 $\mathbf{hW}^{k}_{\theta}$의 무한 루프 공간과 동치임이 입증된다.
• 이 구성은 객체의 $\theta$-구조에 대한 연결성 제약과 모르스 함수에 대한 인덱스 제약를 통합함으로써 매들센-위스 프레임워크를 일반화하며, 핵심 호모토피적 구조를 유지한다.