[논문 리뷰] Geometric Cobordism Categories

David Ayala|ArXiv.org|2008. 11. 14.

Homotopy and Cohomology in Algebraic Topology참고 문헌 28인용 수 15

한 줄 요약

이 논문은 심플렉틱 형식, 평탄한 접속, 또는 해석적 사상과 같은 기하 구조를 지닌 다양체를 위한 기하 코버드יזם 분류를 층 이론적 구성으로 도입한다. 이는 코버드יזם 분류의 분류 공간과 톰 스펙트럼 사이의 호모토피 동치를 확립하며, 당김적 구조를 초월하여 기하적 구조로의 갈라티우스-마든센-틸만-위스 정리의 일반화를 이루고 있다.

ABSTRACT

In this paper we study cobordism categories consisting of manifolds which are endowed with geometric structure. Examples of such geometric structures include symplectic structures, flat connections on principal bundles, and complex structures along with a holomorphic map to a target complex manifold. A general notion of "geometric structure" is defined using sheaf theoretic constructions. Our main theorem is the identification of the homotopy type of such cobordism categories in terms of certain Thom spectra. This extends work of Galatius-Madsen-Tillmann-Weiss who identify the homotopy type of cobordism categories of manifolds with fiberwise structures on their tangent bundles. Interpretations of the main theorem are discussed which have relevance to topological field theories, moduli spaces of geometric structures, and h-principles. Applications of the main theorem to various examples of interest in geometry, particularly holomorphic curves, are elaborated upon.

연구 동기 및 목표

• 당김적 구조를 초월하여 심플렉틱 형식, 평탄한 접속, 해석적 사상과 같은 기하 구조를 포함한 다양체의 코버드יזם 분류의 호모토피 이론적 분류를 확장하기 위해.
• 통합 다변량 다양체의 카테고리 위에서 연속 층을 사용하여 다양체 위의 일반적인 기하 구조의 프레임워크를 정의하기 위해.
• 기하 코버드יזם 분류의 분류 공간과 특정 톰 스펙트럼 사이의 호모토피 동치를 확립하여 GMTW 정리를 일반화하기 위해.
• 기하 구조의 모듈리 공간과 그들이 위상적 장 이론 및 h-원리와 어떻게 관련되는지 연구하기 위한 새로운 호모토피 이론적 도구를 제공하기 위해.

제안 방법

• 논문은 $\mathsf{Emb}_d$의 $d$차원 $\mathbb{R}^\infty$의 부분다양체의 카테고리 위에서 연속 층 $\mathcal{F}$를 정의하여, 리만 계량, 심플렉틱 형식, 또는 해석적 사상과 같은 구조를 표현한다.
• 객체가 콜라르 이웃에서 $\mathcal{F}$-구조를 지닌 닫힌 $(d-1)$-다양체이고, 사상이 콜라르 포함에서 $\mathcal{F}$-구조를 지닌 컴act $d$-다양체인 코버드יזם 분류 $\mathsf{Cob}^\mathcal{F}_{d,N}$를 구성한다.
• 주요 기술적 도구는 코버드יזם 분류에서 무한 순환 공간으로의 스캐닝 맵으로, 톰 스펙트럼의 $\Omega^\infty$-구성에 기반한다.
• 접선 번들의 자료를 층 이론적 자료로 대체한, 기하 구조에 적합한 푸앵카레-톰 구성의 변형을 사용한다.
• 특히 유리 호모토피 이론에서의 미오모르피즘 군의 $\mathcal{F}$-구조 위에서의 작용에 대한 호모토피 이론적 분석을 이용한다.
• 갈라티우스, 마든센, 틸만, 위스의 기초적인 작업에 기반하여, h-원리와 특이점 이론의 결과를 응용한다.

실험 결과

연구 질문

• RQ1 기하 구조를 지닌 다양체의 코버드יזם 분류의 호모토피 유형은 안정적 호모토피 이론의 관점에서 어떻게 분류될 수 있는가?
• RQ2 당김적 자료를 초월하는 기하 구조—심플렉틱 형식, 평탄한 접속, 해석적 사상 등—는 어느 정도까지 톰 스펙트럼을 통한 호모토피 이론적 분류를 허용하는가?
• RQ3 GMTW 정리에서 사용된 스캐닝 방법은 접선 번들의 자료에 의해 결정되지 않는 기하 구조로 어떻게 일반화될 수 있는가?
• RQ4 기하 구조를 다양체 위에 층 이론적 구성으로 표현하는 데 있어 그 역할은 무엇인가?
• RQ5 다양체의 미오모르피즘 군의 유리 호모토피 군은 기하 코버드יזם 분류의 분류 공간에 대해 어떤 작용을 하는가?

주요 결과

• 기하 코버드יזם 분류 $\mathsf{Cob}^\mathcal{F}_{d,N}$의 분류 공간은 무한 순환 공간 $\Omega^\infty MTO(d)$와 약한 호모토피 동치이며, 여기서 $MTO(d)$는 올림프틱 군에 관련된 톰 스펙트럼이다.
• 평탄한 $d$-다양체 $W$에 대해, 포함 사상 $B\mathrm{Diff}(W) \to B\mathsf{Cob}_d$는 유리 호모토피 군 위에서 영 맵을 유도한다.
• 같은 퇴화 결과는 오리엔테이션을 가진 $3$-다양체에 대해 오리엔테이션을 가진 미오모르피즘 군의 작용 하에서도 성립하며, 인덱스 이론을 통한 엑버트의 결과를 확인한다.
• $\mathsf{Cob}^\mathcal{F}_{d,N}$의 호모토피 유형은 $N \gg d$일 때 $N$에 독립적이며 스펙트럼 수준의 불변량으로 수렴한다.
• 당김적 구조를 기하 구조로 대체한 층을 통한 정의로 GMTW 정리를 일반화하여 코버드יזם 이론의 범위를 넓혔다.
• 이 논문은 안정적 호모토피 이론을 통한 위상적 장 이론과 기하 구조의 모듈리 공간을 해석하는 데 새로운 프레임워크를 제공한다.