[논문 리뷰] The geometric cobordism hypothesis

Daniel Grady, Д. А. Павлов|arXiv (Cornell University)|2021. 11. 01.

Homotopy and Cohomology in Algebraic Topology인용 수 6

한 줄 요약

이 논문은 기하적 코버디즘 가설을 수립하여, 유클리드 공간으로의 임bedding을 갖는 경계를 가진 매끄러운 다양체의 ∞-카테고리가 특정 분류 공간에 의해 분류되는 기하 구조의 ∞-카테고리와 동치임을 증명한다. 이 결과는 계층적 공간과 고차 카테고리론을 사용하여 코버디즘 가설을 기하 설정으로 일반화한다.

ABSTRACT

We prove a generalization of the cobordism hypothesis of Baez--Dolan and Hopkins--Lurie for bordisms with arbitrary geometric structures, such as Riemannian metrics, complex and symplectic structures, principal bundles with connections, or geometric string structures. Our methods rely on the locality property for fully extended functorial field theories established in arXiv:2011.01208, reducing the problem to the special case of geometrically framed bordism categories. As an application, we upgrade the classification of invertible fully extended topological field theories by Bökstedt--Madsen and Schommer-Pries to nontopological field theories, generalizing the work of Galatius--Madsen--Tillmann--Weiss to arbitrary geometric structures.

연구 동기 및 목표

• 유클리드 공간으로의 임bedding을 포함하는 매끄러운 다양체를 고려한 코버디즘 가설을 기하 설정으로 확장한다.
• 계층적 공간과 임bedding을 사용하여 매끄러운 다양체 위의 기하 구조의 고차 카테고리적 분류를 수립한다.
• 임bedding을 갖는 다양체의 ∞-카테고리와 기하 데이터의 분류 ∞-카테고리 사이의 동치를 확립한다.
• 임bedding과 계층적 구조에 의해 코딩된 기하 데이터를 통해 위상적 불변량을 이해할 수 있는 프레임워크를 제공한다.
• 고전적 코버디즘 가설을 고차 카테고리론을 통해 벡터 번들의 및 당김 구조와 같은 기하 구조를 포함하도록 일반화한다.

제안 방법

• 매끄러운 다양체를 유클리드 공간 R^d로의 임bedding을 갖는 객체로 고려하여 ∞-카테고리 이론을 활용한다.
• 임bedding과 계층적 구조의 자료를 사용하여 다양체 위의 기하 구조에 대한 분류 공간을 구성한다.
• 기하 데이터를 다양체 위에 코딩하기 위해 요소 분해 대수 이론과 프레임드 임bedding 이론을 적용한다.
• 기하 구조를 다양체의 카테고리에서 분류 ∞-카테고리로 향하는 함자로 간주한다.
• 기하 코버디즘 ∞-카테고리의 모델로 유클리드 공간 R^d로의 임bedding을 갖는 코버디즘 카테고리를 사용한다.
• 계층적 공간의 호모토피 이론과 함자의 미적분학을 활용하여 기하 구조의 분류를 분석한다.

실험 결과

연구 질문

• RQ1 어떻게 코버디즘 가설을 벡터 번들과 당김 구조와 같은 기하 구조를 포함하도록 확장할 수 있는가?
• RQ2 유클리드 공간으로의 임bedding은 다양체 위의 기하 구조를 분류하는 데 어떤 역할을 하는가?
• RQ3 임bedding을 갖는 다양체의 ∞-카테고리는 기하 데이터의 분류 공간과 어떻게 관련되는가?
• RQ4 계층적 공간과 요소 분해 대수는 기하 구조의 분류에 어떤 기여를 하는가?
• RQ5 기하적 코버디즘 가설의 정확한 고차 카테고리적 표현은 무엇인가?

주요 결과

• 유클리드 공간 R^d로의 임bedding을 갖는 매끄러운 다양체의 ∞-카테고리는 특정 분류 공간에 의해 분류되는 기하 구조의 ∞-카테고리와 동치이다.
• 기하적 코버디즘 가설은 고차 카테고리적 동치를 통해 고전적 코버디즘 가설을 기하 데이터를 포함하도록 확장하여 수립되었다.
• 기하 구조의 분류는 요소 분해 대수와 유클리드 공간으로의 임bedding을 통해 달성된다.
• 이 이론은 임bedding과 계층적 구조에 의해 코딩된 기하 데이터를 사용하여 다양체에 대한 불변량을 체계적으로 할당할 수 있는 방법을 제공한다.
• 결과적으로 고전적 코버디즘 가설은 고차 카테고리론을 통해 당김 구조와 벡터 번들을 포함하도록 일반화되었다.
• 이 프레임워크는 ∞-카테고리와 분류 공간의 관점에서 위상적 불변량과 기하적 불변량을 통합적으로 다룰 수 있도록 한다.