[논문 리뷰] Two-dimensional parallel transport : combinatorics and functoriality

Romain Attal|ArXiv.org|2001. 05. 31.

Black Holes and Theoretical Physics인용 수 11

한 줄 요약

이 논문은 삼각형 분할된 표면 위의 변 경로들로 구성된 단체군의 위에 있는 섬유화된 범주와 스위핑 함자들을 사용하여 두 차원 평행 이송을 위한 조합론적 프레임워크를 제안한다. 이는 경로의 호로니( holonomy )를 표면으로 일반화하여, 경로의 호모토피를 따라 데이터를 이동시키는 함자를 정의함으로써, 이전의 비아벨적 평행 이송의 함자론적 확장으로서의 성격을 지닌다. 이는 게이지 이론과 끈 이론 등 응용 가능성을 지닌다.

ABSTRACT

We extend the usual notion of parallel transport along a path to triangulated surfaces. A homotopy of paths is lifted into a fibered category with connection and this defines a functor between the fibers above the boundary paths. These "sweeping functors" transport fiber bundles with connection along a surface whereas usual connections transport a group element along a path. We show that to get rid of the parametrization, we must use Abelian degrees of freedom. In the general, non-Abelian case, we conjecture that the smooth limit of this construction provides us with representations of the group of diffeomorphisms of the swept surface. Applications to gauge theories are proposed.

연구 동기 및 목표

• 경로에서의 평행 이송 개념을 비아벨적 설정에서 삼각형 분할된 표면으로 확장하는 것.
• 단체적 구조와 섬유화된 범주를 사용하여 두 차원 평행 이송을 위한 조합론적이고 함자론적인 프레임워크를 정의하는 것.
• 미분형상군의 표현을 스위핑 함자들의 공간에 대해 다루고, 아벨화 문제를 해결하는 것.
• 고차원 게이지 이론과 기하적 양자화를 위한 범주론적 기초를 마련하는 것.
• 이산 기하학적 구조와 게이지 이론 및 토폴로지컬 필드 이론에서의 스무스 극한 사이의 연결 고리를 설정하는 것.

제안 방법

• 모든 객체가 변 경로이고, 화살표가 그들 사이의 단체 호모토피인 단체군의 위상 $\widehat{\Pi}$ 를 구성한다.
• 각 경로에 대해 그 경로에 제한된 군의 범주 스택의 절단들로 이루어진 범주를 연결하는 $\widehat{\Pi}$ 위의 섬유화된 범주를 정의한다.
• 두 개의 변 경로 사이의 호모토피 $\Gamma$ 와 관련된 두 섬유 범주 사이의 함자로 스위핑 함자 $S_\Gamma$ 를 정의한다.
• $\Pi$ (1-스켈레톤)에서 $G$-torsor들의 군의 범주 $G_1$ 로 향하는 함자를 사용하여 이산적 $G$-_bundle에 접속을 모델링한다.
• 스위핑 함자들의 합성에 대한 일致성을 보장하기 위해 2-범주적 붙임 정리(pasting theorem)를 적용한다.
• 스위핑 함자의 스무스 극한을 분석하고, 스위핑된 표면의 미분형상에 대한 변환을 추측한다.

실험 결과

연구 질문

• RQ1 일차원 경로를 따라의 평행 이송을 표면을 따라의 두 차원 평행 이송으로 어떻게 일반화할 수 있는가?
• RQ2 표면을 따라 기하학적 및 게이지 이론적 데이터를 운반하는 데 가장 적합한 범주론적 구조는 무엇인가?
• RQ3 스위핑된 표면의 미분형상에 대해 스위핑 함자는 어떻게 행동하는가? 그리고 이는 미분형상군의 표현을 이끌 수 있는가?
• RQ4 비아벨적 2-기브스(gerbes)와 섬유화된 범주는 어떻게 두 차원 평행 이송을 수립하는 데 기여하는가?
• RQ5 아벨화 문제는 스위핑 함자의 구조와 불변성에 어떤 영향을 미치는가?

주요 결과

• 논문은 변 경로들의 군의 위상 $\widehat{\Pi}$ 위에 섬유화된 범주를 구성하여 표면 기반의 이동을 범주론적으로 기술할 수 있게 한다.
• 스위핑 함자 $S_\Gamma$ 는 경로의 호모토피를 따라 데이터를 운반하는 함자로서, 표면으로의 호로니 일반화를 가능하게 한다.
• 스위핑 함자들이 붙임 정리에 의해 합성에 대해 일관성을 보임으로써 2-범주적 프레임워크 내에서 일관성 보장이 이루어진다.
• 스위핑 함자의 스무스 극한은 $\mathrm{Diff}(\Sigma)$ 의 표현을 지닌다고 추측되나, 이에 대해 불변성은 보장되지 않는다.
• 이 접근법은 비아벨적 기브스를 위한 이산적이고 조합론적인 모델을 제공하며, 고차원 게이지 이론을 위한 함자론적 언어를 제공한다.
• 이 프레임워크는 기하학적 및 집합론적 구조를 이산화하는 데서 자연스럽게 유도되며, 토폴로지컬 양자장 이론과 dualit에 깊은 연결 고리를 지닌다는 것을 시사한다.