[논문 리뷰] Smooth one-dimensional topological field theories are vector bundles with connection

Daniel Berwick-Evans, Dmitri Pavlov|arXiv (Cornell University)|2015. 01. 05.

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

한 줄 요약

이 논문은 접합 법칙이 아닌 잘라내기 법칙을 통해 정의된 새로운 스무스 보르지즘 범주를 사용하여, 다양체 X 위에서 스무스 1차원 방향성 있는 위상적 장 이론이 X 위의 벡터(bundle)와 접속과 동치임을 증명한다. 주요 기여는 스무스 ∞-범주와 강하를 통해 스무스 장 이론을 정밀하게 기술하고, 장 이론 자료가 평행 이동으로 줄어들며, 이는 스무스 설정에서의 1차원 코버지즘 가설을 통해 벡터(bundle)와 접속을 분류함을 증명하는 것이다.

ABSTRACT

We prove that smooth 1-dimensional topological field theories over a manifold are equivalent to vector bundles with connection. The main novelty is our definition of the smooth 1-dimensional bordism category, which encodes cutting laws rather than gluing laws. We make this idea precise through a smooth version of Rezk's complete Segal spaces. With such a definition in hand, we analyze the category of field theories using a combination of descent, a smooth version of the 1-dimensional cobordism hypothesis, and standard differential-geometric arguments.

연구 동기 및 목표

• 스무스 1차원 보르지즘 범주를 정의하여 접합 법칙이 아닌 잘라내기 법칙을 고려하고, 미분기하학과의 호환성을 확보한다.
• 스무스 1차원 위상적 장 이론과 다양체 X 위의 벡터(bundle)와 접속 사이의 정밀한 동치를 확립한다.
• 완전한 세갈 공간과 리드 모델 구조를 사용하여 스무스 설정에서의 1차원 코버지즘 가설의 스무스 변형을 제공한다.
• 강하와 스무스 ∞-범주를 사용하여 이론을 고차원 및 비위상적 장 이론으로 일반화한다.
• 경로 표현을 통해 평행 이동 자료와 보르지즘 위의 장 이론 값 사이의 대응을 형식화하고, 후자가 경로 표현에 의해 결정됨을 보인다.

제안 방법

• 모델 범주에서 단순 대상의 스무스 ∞-범주를 정의하여, 단순 대상에 대한 리드 모델 구조를 사용한다.
• 자르기 함수와 모어 이론을 사용하여 스무스 1차원 보르지즘 범주를 구성하며, 사상은 X에 대한 사상과 정상값을 갖는 고도 함수를 갖는 1차원 다양체이다.
• 강하를 사용하여 보르지즘 위의 장 이론을 스무스 경로 범주에 대한 표현과 연결하고, 장 이론 자료를 평행 이동으로 줄인다.
• 스무스 설정에서의 1차원 코버지즘 가설을 적용하여 장 이론이 경로 범주를 통해 인수화되고, 벡터(bundle)와 접속에 의해 분류됨을 보인다.
• 단순 구조의 열화 및 면 맵을 사용하여 항등 보르지즘과 처리 분해(0- 및 1-손실)를 모델링한다.
• 리드 모델 구조를 사용하여 단순 함수자 범주에서의 프레임 및 코프레임 대상의 분석을 수행하여, 장 이론의 올바른 호모토피적 행동을 보장한다.

실험 결과

연구 질문

• RQ1 어떻게 스무스 1차원 보르지즘 범주를 정의할 수 있을까? 이는 접합 법칙이 아닌 잘라내기 법칙과 미분기하학적 구조를 고려하여 정의되어야 한다.
• RQ2 스무스 1차원 위상적 장 이론과 벡터(bundle)와 접속 사이의 정밀한 관계는 무엇인가?
• RQ3 스무스 ∞-범주와 강하를 사용하여 1차원 코버지즘 가설을 스무스 설정으로 확장할 수 있는가?
• RQ4 경로 위의 평행 이동 자료는 임의의 1차원 보르지즘 위의 장 이론 값으로 어떻게 재구성되는가?
• RQ5 모어 이론과 자르기 함수는 보르지즘을 분해하고 장 이론 계산을 줄이는 데 어떤 역할을 하는가?

주요 결과

• 다양체 X 위에서 스무스 1차원 방향성 있는 위상적 장 이론의 공간은 X 위의 유한차원 벡터(bundle)와 접속, 그리고 접속을 보존하는 동형사상의 그룹로이드의 네르브와 동치이다.
• 이 동치는 X에 대해 자연적이며, 장 이론이 X의 스무스 경로 범주를 통해 인수화되는 스무스 설정에서의 1차원 코버지즘 가설의 변형을 통해 성립한다.
• 연결된 보르지즘 위의 장 이론 값은 경로를 따라 평행 이동 자료에 의해 결정되며, 0- 및 1-손실은 경로의 병합과 임계점에서의 정적 상태로 줄어든다.
• 스무스 보르지즘 범주는 자르기 함수와 모어 이론을 사용하여 정의되며, 모든 보르지즘은 정상값을 갖는 자르기 점에서 기본 조각(점, 0-손실, 1-손실)으로 분해됨을 보장한다.
• 스무스 장 이론의 범주는 X의 스무스 경로 범주에서 스무스 ∞-범주인 벡터 공간으로의 C∞-함수자에 동치이며, 이는 벡터(bundle)와 접속을 분류한다.
• 이 결과는 고차원 및 비위상적 장 이론으로 일반화되며, 향후 확장에 있어 강하와 스무스 ∞-범주에 의존한다.