[논문 리뷰] Higher gauge theory I: 2-Bundles

Toby Bartels|ArXiv.org|2004. 10. 14.

Homotopy and Cohomology in Algebraic Topology참고 문헌 20인용 수 51

한 줄 요약

이 논문은 미분 가능 범주, 리 2군, 2카테고리적 구조를 사용하여 2-_bundle(분류된 섬유다발)를 정의하는 방식으로 게이지 이론을 분류화한 프레임워크를 제안한다. 주어진 2-다발의 2카테고리와 비아벨 게르베의 2카테고리 사이에 등가성을 확립하여, 2-다발의 분류가 코homological 데이터(2전이)에 의해 결정됨을 보여주며, 이는 2-카테고리 수준에서 고차원 게이지 이론과 게르베 이론을 통합한다.

ABSTRACT

I categorify the definition of fibre bundle, replacing smooth manifolds with differentiable categories, Lie groups with coherent Lie 2-groups, and bundles with a suitable notion of 2-bundle. To link this with previous work, I show that certain 2-categories of principal 2-bundles are equivalent to certain 2-categories of (nonabelian) gerbes. This relationship can be (and has been) extended to connections on 2-bundles and gerbes. The main theorem, from a perspective internal to this paper, is that the 2-category of 2-bundles over a given 2-space under a given 2-group is (up to equivalence) independent of the fibre and can be expressed in terms of cohomological data (called 2-transitions). From the perspective of linking to previous work on gerbes, the main theorem is that when the 2-space is the 2-space corresponding to a given space and the 2-group is the automorphism 2-group of a given group, then this 2-category is equivalent to the 2-category of gerbes over that space under that group (being described by the same cohomological data).

연구 동기 및 목표

• 다양체를 미분 가능 2-공간으로, 리 군을 일관성 있는 리 2군으로, 다발을 2-카테고리적 풀백과 2-관계를 통해 2-다발로 대체함으로써 다발을 고차 카테고리로 일반화한다.
• 주 2-다발과 비아벨 게르베 사이의 카테고리적 등가성을 확립하여 고차 게이지 이론과 게르베 이론을 연결한다.
• 2-군에 대해 2-공간 위의 2-다발의 2-카테고리가 섬유에 독립적이며, 코homological 2-전이 데이터에 의해 완전히 결정됨을 보여준다.
• 2-군과 2-토르서를 사용하여 G-2-다발의 구조를 형식화함으로써, 고전적 G-다발 이론을 고차 카테고리로 확장한다.

제안 방법

• 다양체를 미분 가능 2-공간으로, 리 군을 일관성 있는 리 2군으로, 다발을 2-카테고리적 풀백과 2-관계를 통해 2-다발로 대체함으로써 다발을 분류화한다.
• 2-공간의 2-카테고리에서 2-풀백과 2-커버를 사용하여 2-다발을 정의하고, 2-전이 데이터를 통해 국소적 비틀림을 보장한다.
• 2-전이 사상과 2-군의 조화 법칙을 문자열 다이어그램으로 표현함으로써 G-2-다발의 2-카테고리를 구성한다.
• 크로스드 모듈을 사용하여 2-군을 모델링하고 2-공간 위의 작용을 정의함으로써 G-2-토르서와 관련된 2-다발을 구성할 수 있다.
• 공통된 코homological 분류를 통해 2-다발의 2-카테고리와 게르베의 2-카테고리 사이의 등가성을 확립한다.
• 문자열 다이어그램과 2-카테고리의 보편 성질(예: 2-풀백, 2-몫)을 사용하여 고차 게이지 구조에서의 조화와 자연성의 형식화를 수행한다.

실험 결과

연구 질문

• RQ1 2-카테고리와 2-군을 사용하여 다발의 개념을 어떻게 분류화하여 2-다발을 정의할 수 있는가?
• RQ2 2-다발과 비아벨 게르베 사이의 정확한 카테고리적 등가성은 무엇이며, 이를 코homological 데이터를 통해 어떻게 확립하는가?
• RQ3 2-공간 위의 2-다발의 2-카테고리가 섬유에 얼마나 독립적인가? 그리고 2-전이 데이터에 의해 어떻게 분류되는가?
• RQ4 2-공간 위의 2-군 작용은 어떻게 그룹의 작용을 일반화하는가? 그리고 이러한 작용으로부터 어떤 구조(예: 2-토르서)가 도출되는가?
• RQ5 크로스드 모듈은 리 2군의 구조와 그 작용을 2-다발의 맥락에서 어떻게 표현하는가?

주요 결과

• 주어진 2-공간과 2-군에 대해 2-다발의 2-카테고리는 2-전이의 2-카테고리와 등가이며, 이는 분류가 섬유에 독립적임을 보여주고 코homological 데이터에 의해 완전히 결정됨을 의미한다.
• 2-공간이 위상공간에 대응하고 2-군이 그룹의 자동사상 2-군일 경우, G-2-다발의 2-카테고리는 동일한 군에 대한 게르베의 2-카테고리와 등가이다.
• G-2-다발의 분류는 2-군의 문자열 다이어그램에 의해 표현된 조화 법칙을 만족하는 2-전이 데이터에 의해 지배된다.
• 관련된 G-2-다발의 구성은 2-카테고리적 풀백과 2-사상으로 형식화되어 고전적 관련 다발 구성의 일반화를 이룬다.
• 이 이론은 주 2-다발과 비아벨 게르베 사이에 정확한 2-카테고리적 등가성을 확립하여 고차 게이지 이론의 두 핵심 프레임워크를 통합한다.
• 크로스드 모듈의 사용은 리 2군에 대한 구체적인 대수적 모델을 제공하며, 2-전이 데이터와 2-공간 위의 작용을 명시적으로 계산할 수 있게 한다.