[논문 리뷰] Smooth Functors vs. Differential Forms

Urs Schreiber, Konrad Waldorf|arXiv (Cornell University)|2008. 02. 05.

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

한 줄 요약

이 논문은 매끄러운 다양체의 경로 2군oids 위에서의 매끄러운 2함수와 미분형식 사이의 범주적 동치를 수립하며, 기존의 매끄러운 함수와 1형식 사이의 대응을 일반화한다. 매끄러운 2함수는 비아벨 게르베의 접속, 함수의 도함수, BF 이론의 임계점과도 대응되며, 핵심 결과는 통합 및 곡률 공식을 통한 2함수와 미분형식 사이의 정확한 사전을 제공한다.

ABSTRACT

We establish a relation between smooth 2-functors defined on the path 2-groupoid of a smooth manifold and differential forms on this manifold. This relation can be understood as a part of a dictionary between fundamental notions from category theory and differential geometry. We show that smooth 2-functors appear in several fields, namely as connections on (non-abelian) gerbes, as curvatures of smooth functors and as critical points in BF theory. We demonstrate further that our dictionary provides a powerful tool to discuss the transgression of geometric objects to loop spaces.

연구 동기 및 목표

• 매끄러운 함수와 1형식 사이의 알려진 대응을 매끄러운 2함수와 2형식으로 일반화한다.
• 범주론과 미분기하학의 개념 사이에 체계적인 사전을 수립하며, 특히 고차 게이지 이론을 위해 중점을 둔다.
• 매끄러운 2함수가 비아벨 게르베, 함수의 도함수, BF 이론의 고전적 해와 같은 물리적 및 기하적 맥락에서 자연스럽게 나타남을 보여준다.
• 이 2함수-형식 대응을 통해 다양체에서 루프 공간으로 기하적 구조를 전가하는 데 필요한 도구를 개발한다.

제안 방법

• 매끄러운 다양체 X의 경로 2군oids P₂(X)를 구성하며, 여기서 2형식은 경로들 사이의 얇은 호모토피류로 정의된다.
• 리 2군 𝔾에 대해 2범주 B𝔾를 도입하며, 이는 군의 분류 공간 구성법을 일반화한다.
• 매끄러운 2함수 F: P₂(X) → B𝔾를 정의하고, 이들이 A와 B의 쌍으로 표현됨을 보여준다. 여기서 A는 𝔾의 군 부분의 리 대수 값의 1형식이며, B는 모듈로 부분의 값의 2형식이다.
• 주요 정리를 증명하기 위해, 이러한 2함수의 곡률이 3형식 d⁢B + α*(B ∧ A)로 주어짐을 보인다. 여기서 α는 군이 모듈로에 작용하는 작용이다.
• 전가 사상(transfer map)을 사용하여 2함수를 루프 공간으로 옮기며, LX 위에서 유도된 구조가 루프 공간 위의 1함수로 대응됨을 보여준다.

실험 결과

연구 질문

• RQ1 매끄러운 함수와 1형식 사이의 대응은 매끄러운 2함수와 2형식 사이로 어떻게 일반화될 수 있는가?
• RQ2 비아벨 게르베 맥락에서 매끄러운 2함수의 뒤에 깔린 정확한 범주론적 및 미분기하학적 구조는 무엇인가?
• RQ3 고차 게이지 이론 맥락에서 매끄러운 2함수는 BF 이론의 임계점과 어떻게 관련이 있는가?
• RQ4 2함수와 미분형식을 사용하여 다양체에서 루프 공간으로 기하적 구조를 체계적으로 전가할 수 있는가?

주요 결과

• 매끄러운 2함수 F: P₂(X) → B𝔾는 A가 𝔤값의 1형식이고 B가 𝔪값의 2형식인 쌍 (A, B)와 일대일 대응되며, 곡률 조건을 만족한다.
• 매끄러운 2함수의 곡률은 3형식 d⁢B + α*(B ∧ A)로 주어지며, 이는 비아벨 게르베 접속의 곡률과 정확히 일치한다.
• 호모토피가 얇을 경우, 2함수는 얇은 호모토피에 대해 불변이므로, 2함수는 얇은 호모토피류 공간 B²X를 통해 인코딩된다.
• 매끄러운 2함수의 루프 공간 LX로의 전가는 LX 위의 매끄러운 함수로 이어지며, 이는 루프 공간 위의 1접속에 대응된다.
• 3매개변수 가족의 빅온을 따라 2함수의 홀로노미를 도함수화하면 곡률 3형식이 얻어지며, 이는 미분기하학과의 일관성을 확인한다.
• 이 구성은 고차 게이지 장을 루프 공간으로 전가하는 데 있어 체계적인 프레임워크를 제공하며, 표면 홀로노미와 고차 홀로노미 불변량의 연구를 가능하게 한다.