[논문 리뷰] Cobordism categories of manifolds with Baas-Sullivan singularities, Part 2

Nathan Perlmutter|arXiv (Cornell University)|2013. 06. 18.

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

한 줄 요약

이 논문은 다중 Baas-Sullivan 특이점을 가진 다양체의 cobordism 범주를 구축하고, 그 분류 공간의 호모토피 유형이 특정 Thom 스펙트럼 $\mathsf{MT}_{\Sigma_k}(d)$ 의 무한 루프 공간과 일치함을 규명한다. Galatius, Madsen, Tillmann, Weiss의 비정형 다양체에 대한 결과를 일반화하고, Genauer의 모서리가 있는 다양체에 대한 결과를 확장하여, 무한 루프 공간 이론을 통한 특이 다양체의 모듈리 공간을 연구하는 통합적 프레임워크를 제공한다.

ABSTRACT

For a given list of closed manifolds $Σ_k=(P_1,...,P_k)$, we construct a cobordism category $\mathbf{Cob}_{d}^{Σ_{k}}$ of embedded manifolds with Baas-Sullivan singularities of type $Σ_k$. Our main results identify the homotopy type of the classifying spaces $B\mathbf{Cob}_{d}^{Σ_{k}}$ of these cobordism categories with that of the infinite loop-space of a certain spectrum, $\mathsf{MT}_{Σ_{k}}(d)$. Our results generalize of the work of Galatius, Madsen, Tillmann, and Weiss from arXiv:math/0605249. It also generalizes the work of Genauer on the cobordism categories of manifolds with corners from arXiv:0810.0581.

연구 동기 및 목표

• 다중 Baas-Sullivan 특이점 유형 $\Sigma_k$ 를 가진 다양체로의 cobordism 범주 프레임워크를 확장하는 것.
• Galatius, Madsen, Tillmann, Weiss의 비정형 다양체에 대한 결과를 특이점이 있는 설정으로 일반화하는 것.
• Genauer의 모서리가 있는 다양체에 대한 작업을 더 넓은 특이 cobordism 프레임워크 내에서 통합하고 확장하는 것.
• 분류 공간 $B\mathbf{Cob}_d^{\Sigma_k}$ 의 호모토피 유형을 스펙트럼 $\mathsf{MT}_{\Sigma_k}(d)$ 의 무한 루프 공간과 일치시키는 것.

제안 방법

• 객체로는 $\mathbb{R}^\infty$ 내에 임bed된, 닫힌 $(d-1)$차원의 $\Sigma_k$-다양체를, 사상으로는 $[0,1] \times \mathbb{R}^\infty$ 내에 임bed된 $d$차원의 $\Sigma_k$-cobordism을 사용하여 cobordism 범주 $\mathbf{Cob}_d^{\Sigma_k}$ 를 구성한다.
• 범주를 위상화하여, 객체에 대해 $\coprod_{[M]} \mathrm{BDiff}^{\Sigma_k}(M)$, 사상에 대해 $\coprod_{[W]} \mathrm{BDiff}_{\Sigma_k}(W)$ 와 호모토피 유형이 일치하는 분류 공간 $B\mathbf{Cob}_d^{\Sigma_k}$ 를 확보한다.
• 관찰 영역 내에서 주어진 임베딩의 근방에 대해 튜브근방 구조를 사용하고, 스무스 변형 사상 $\eta$ 를 도입하여, 특정 피복 구조를 비틀지 않도록 보장함으로써, 구조 사상이 국소적으로 자명해지도록 한다.
• 스무스이고 감소하는 함수 $\lambda$ 와 비감소 함수 $\rho$ 를 사용하여, 특이 구조를 유지하면서 임베딩을 변형하는 시간에 따라 변화하는 동역학적 변형을 정의한다.
• 함수 $\eta$ 를 유도하기 위해 수반관계를 적용하여, 미분형 군으로의 스무스 사상 공간으로의 사상으로 올리며, 그 이미지가 컴act 지지 집합을 가진 미분형의 열린 부분집합에 포함되도록 보장한다.
• 제약 사상 $r_1$ 이 국소적으로 자명한 피복 구조임을 증명하기 위해, $\bar{\eta}(f) = \mathrm{id}$ 와 $r_1(\bar{\eta}(g) \circ \hat{f}) = g$ 를 만족하는 단면 $\bar{\eta}$ 를 구성함으로써, 피복 구조가 국소적으로 자명함을 보인다.

실험 결과

연구 질문

• RQ1 다중 Baas-Sullivan 특이점을 가진 다양체의 cobordism 범주는 어떻게 엄밀하게 정의되고 위상화될 수 있는가?
• RQ2 이러한 cobordism 범주의 분류 공간의 호모토피 유형은 무엇인가?
• RQ3 이 결과는 Galatius, Madsen, Tillmann, Weiss의 비정형 다양체에 대한 고전적 결과를 어떻게 일반화하는가?
• RQ4 이 프레임워크는 어떻게 Genauer의 모서리가 있는 다양체에 대한 작업을 확장하는가?
• RQ5 Thom 스펙트럼 $\mathsf{MT}_{\Sigma_k}(d)$ 의 무한 루프 공간 구조는 특이점을 가진 cobordism 범주의 분류 공간으로서 실현될 수 있는가?

주요 결과

• 분류 공간 $B\mathbf{Cob}_d^{\Sigma_k}$ 는 무한 루프 공간 $\Omega^{\infty-1}\mathsf{MT}_{\Sigma_k}(d)$ 와 호모토피 유형이 일치하며, 비정형 다양체에 대한 Galatius 등의 결과를 일반화한다.
• $\mathbf{Cob}_d^{\Sigma_k}$ 의 구성은 Bockstein-Sullivan 정확한 쌍을 유지하며, 코버디즘 군 $\Omega^{\Sigma_k}_*$ 의 대수적 구조를 보존한다.
• 증명 과정에서 제약 사상 $r_1$ 이 국소적으로 자명한 피복 구조임을 입증함으로써, 분류 공간의 호모토피 분석에 핵심적인 기여를 한다.
• 핵심 기술 도구는 거리 함수와 컷오프 함수 $\lambda$ 및 $\rho$ 를 통해 정의된 스무스 동역학적 변형 $\eta$ 로, 이는 $\Sigma_k$-구조를 유지하면서 임베딩을 변형한다.
• $\bar{\eta}$ 는 근방 위에 연속적인 단면을 제공하여, 피복 구조가 국소적으로 자명함을 보장하고, 분류 공간 기법의 적용을 가능하게 한다.
• 결과적으로, Baas-Sullivan 특이점을 가진 코버디즘 범주는 관련된 Thom 스펙트럼을 통해 올바른 호모토피 이론적 정보를 포착함을 확인한다.