[논문 리뷰] Higher Gauge Theory: 2-Connections on 2-Bundles

John C. Baez, Urs Schreiber|ArXiv.org|2004. 12. 30.

Homotopy and Cohomology in Algebraic Topology참고 문헌 29인용 수 85

한 줄 요약

이 논문은 주어진 2- bundles 위의 2-접속을 도입하여, 곡선과 표면을 모두 통해 평행 이송을 가능하게 함으로써 양자역학 이론을 고차원으로 일반화한다. 또한 '가짜 곡률'이 0이면 2-holonomy—경로 2-군의oid에서 구조 2-군으로의 2-함수로 정의된 것—이 존재함을 보여주며, 이는 2- bundles와 비아벨 게르베의 접속 및 곡률을 핵심 조건 하에 통합한다.

ABSTRACT

Connections and curvings on gerbes are beginning to play a vital role in differential geometry and mathematical physics -- first abelian gerbes, and more recently nonabelian gerbes. These concepts can be elegantly understood using the concept of `2-bundle' recently introduced by Bartels. A 2-bundle is a generalization of a bundle in which the fibers are categories rather than sets. Here we introduce the concept of a `2-connection' on a principal 2-bundle. We describe principal 2-bundles with connection in terms of local data, and show that under certain conditions this reduces to the cocycle data for nonabelian gerbes with connection and curving subject to a certain constraint -- namely, the vanishing of the `fake curvature', as defined by Breen and Messing. This constraint also turns out to guarantee the existence of `2-holonomies': that is, parallel transport over both curves and surfaces, fitting together to define a 2-functor from the `path 2-groupoid' of the base space to the structure 2-group. We give a general theory of 2-holonomies and show how they are related to ordinary parallel transport on the path space of the base manifold.

연구 동기 및 목표

• 2-군의 주 2- bundles 이론과 접속을 2-범주로 일반화하여 2- bundles에 2-접속을 도입함으로써 고차원 이론을 확장한다.
• 2- bundles 위의 2-접속과 비아벨 게르베의 국소 코ycle 데이터 사이의 관계를 명확히 한다.
• 2-holonomy—표면을 따라 평행 이송하는 것—의 존재성과 잘 정의됨을 보장하는 조건을 확립한다.
• 다양체의 경로 공간 위의 접속과 기저 다양체 위의 2-접속 사이의 상호관계를 탐색한다.
• 고차원 게이지 이론의 맥락에서 '가짜 곡률' 조건이 가지는 의미와 물리적 중요성을 조사한다.

제안 방법

• 범주론을 적용하여 표준 게이지 이론을 2-범주인 범주, 함수, 자연변환의 맥락에서 내재화함으로써 일반화한다.
• 열린 집합의 경로 2-군의oid에서 구조 2-군으로의 2-함수를 사용하여, 단순 주 2- bundles 위의 2-접속을 국소 데이터로 정의한다.
• 비아벨 게르베에서 곡률을 일반화한 '가짜 곡률' 개념을 도입하여, 겹치는 영역에서의 전이 법칙의 일관성을 보장하는 조건으로 사용한다.
• 표면의 재매개변수화에 대해 불변인 성질을 갖는 2-함수로 2-holonomy를 구성함으로써, 그것이 잘 정의됨을 보여준다.
• 기저 다양체 위의 2-접속과 경로 공간 위의 접속 사이의 관계를 규명하여, 경로 공간에서의 재매개변수화 불변 2-holonomy가 기저 다양체 위의 2-접속을 유도함을 보여준다.
• 비자명한 2- bundles의 경우 국소 2-접속으로부터 접합 데이터를 유도하고, 가짜 곡률 조건 하에서 이것이 비아벨 게르베의 코ycle 데이터와 동치임을 보여준다.

실험 결과

연구 질문

• RQ1 2- bundles 위의 2-접속이 비아벨 게르베의 접속 및 곡률을 갖는 것으로 나타나는 조건은 무엇인가?
• RQ2 가짜 곡률이 0이 되는 것은 표면을 따라 평행 이송하는 2-holonomy의 존재성과 어떻게 관련되는가?
• RQ3 다양체의 경로 공간 위의 접속과 기저 다양체 위의 2-접속 사이의 정확한 대응 관계는 무엇인가?
• RQ4 2- bundles와 2-접속의 형식은 일관된 2-군으로 일반화될 수 있으며, 이는 2-holonomy에 어떤 영향을 미치는가?
• RQ5 문자열 이론에서 막이 5-브레인에 결합하는 맥락에서 가짜 곡률 조건의 물리적 해석은 무엇인가?

주요 결과

• 가짜 곡률이 0이면, 단순 주 2- bundles 위의 2-접속이 존재할 때, 2-경로 2-군의oid에서 구조 2-군으로의 2-함수로 정의된 2-holonomy가 존재한다.
• 가짜 곡률 조건 하에서 2- bundles와 2-접속의 국소 접합 데이터는 비아벨 게르베의 접속 및 곡률을 갖는 코ycle 데이터와 정확히 일치한다.
• 경로 공간 위의 국소 1-형식 접속의 경로 공간 곡률은 아벨 아이디얼에 값을 갖는다. 이는 아벨 표면 이송으로의 감소 가능성을 시사하지만, 비아벨 이송은 여전히 비자명하다.
• 경로 공간 위의 접속이 임의의 표면 재매개변수화에 대해 불변인 2-holonomy를 갖는다면, 이는 기저 다양체 위의 2-접속을 유도한다.
• 엄격한 2-군 설정에서, 가짜 곡률 조건은 전역적으로 일관된 2-holonomy 존재에 필수적이고 충분한 조건이다.
• 이 형식은 고차원 게이지 이론과 비아벨 게르베 이론을 통합하여, M-이론과 5-브레인 역학에 관련된 표면 이송을 위한 기하학적 프레임워크를 제공한다.