[논문 리뷰] Connections on non-abelian Gerbes and their Holonomy

Urs Schreiber, Konrad Waldorf|arXiv (Cornell University)|2008. 08. 14.

Algebraic structures and combinatorial models참고 문헌 20인용 수 19

한 줄 요약

이 논문은 스트릭트 리 2군에 값이 있는 매끄러운 2함수를 사용하여 비아벨 게르베에 대한 평행 이송과 표면 호로노미의 공리적 프레임워크를 제안한다. 이는 기존의 아벨 및 비아벨 접속 개념을 일반화하며, 비아벨 게르베에 대한 표면 호로노미의 체계적인 정의를 제공하여, 호로노미에 대한 매핑 클래스 군의 작용과 같은 새로운 특성을 드러내며, 번들의 게르베와 접속이 있는 2_bundle 등 기존의 모델들을 하나의 형식론으로 통합한다.

ABSTRACT

We introduce an axiomatic framework for the parallel transport of connections on gerbes. It incorporates parallel transport along curves and along surfaces, and is formulated in terms of gluing axioms and smoothness conditions. The smoothness conditions are imposed with respect to a strict Lie 2-group, which plays the role of a band, or structure 2-group. Upon choosing certain examples of Lie 2-groups, our axiomatic framework reproduces in a systematical way several known concepts of gerbes with connection: non-abelian differential cocycles, Breen-Messing gerbes, abelian and non-abelian bundle gerbes. These relationships convey a well-defined notion of surface holonomy from our axiomatic framework to each of these concrete models. Till now, holonomy was only known for abelian gerbes; our approach reproduces that known concept and extends it to non-abelian gerbes. Several new features of surface holonomy are exposed under its extension to non-abelian gerbes; for example, it carries an action of the mapping class group of the surface.

연구 동기 및 목표

• 비아벨 게르베에 대한 평행 이송과 표면 호로노미를 체계적이고 공리적으로 기술함으로써, 이전까지는 일관된 정의가 부족했던 문제를 해결한다.
• 이전에는 아벨 게르베에 국한되었던 호로노미 개념을 기하학적이고 범주론적인 기초를 바탕으로 비아벨 구조로 일반화한다.
• 브리엔-메싱 게르베, 아벨 및 비아벨 번들의 게르베, 2_번들의 게르베 등 기존의 접속이 있는 게르베 모델들을 스무스 2함수를 기반으로 한 단일 형식론 아래 통합한다.
• 표면 호로노미와 미분 비아벨 코hom로지 사이의 엄밀한 연결 고리를 확립하여, 기하학적 및 물리적 이론에서의 역할을 명확히 한다.

제안 방법

• 매니볼드의 경로 2군집합에서 목표 2범주로 가는 스무스 2함수를 통해 평행 이송을 형식화하며, 그 값은 스트릭트 리 2군에 놓여진다.
• 스무스성과 접합 공리(axiom)를 도입하여, 이송 2함수를 정의함으로써 국소적 비틀림과 내림내림 자료와의 호환성을 확보한다.
• 경로 2군집합 P₂(X)를 사용하여 곡선과 표면을 따라 일반화된 고차 평행 이송을 모델링하며, 번들의 이론에서 사용되는 경로 군집합의 일반화이다.
• 기본 비곤(fundamental bigon)과 축소된 호로노미를 통해 표면 호로노미를 정의하며, 표면 사상 φ: S → M의 호로노미는 표준 이송 2함수의 풀백을 통해 계산된다.
• 호로노미 2함수와 곡률 2함수 사이의 동치성을 확립하여, 곡률이 2함수의 2형식에 대한 값에 의해 코딩됨을 보여준다.
• 축소된 표면 호로노미가 표면의 표시(marking)에 대한 호모토피에 대해 불변임을 보이며, 표면의 매핑 클래스 군 작용에 따라 변환됨을 보였다.

실험 결과

연구 질문

• RQ1 비아벨 게르베에 대해 표면 호로노미를 어떻게 일관적으로 정의할 수 있는가? 이는 이전까지 아벨 경우에만 알려져 있었다.
• RQ2 다양한 접속이 있는 게르베 모델—예를 들어 번들의 게르베, 2_번들, 미분 코호모로지—를 하나의 형식론으로 통합할 수 있는 공리적 프레임워크는 무엇인가?
• RQ3 표면의 미분형이 항등사상에 호모토피가 아닌 경우, 비아벨 게르베의 표면 호로노미는 어떻게 변하는가?
• RQ4 매핑 클래스 군은 비아벨 게르베의 표면 호로노미의 구조에서 어떤 역할을 하는가?
• RQ5 비아벨 2함수와 스무스 내림내림 자료의 맥락에서 곡률과 호로노미는 어떻게 관련되는가?

주요 결과

• 논문은 스트릭트 리 2군에 값이 있는 스무스 2함수를 통해 비아벨 게르베에 대한 표면 호로노미의 엄밀한 정의를 확립함으로써, 아벨 경우의 일반화를 이룬다.
• 이 프레임워크는 아벨 및 비아벨 번들의 게르베, 브리엔-메싱 게르베, 접속이 있는 2_번들 등 기존의 모델들을 특수한 경우로 재현한다.
• 축소된 표면 호로노미가 표시의 호모토피에 대해 불변이며, 표면의 매핑 클래스 군의 작용에 따라 변환됨을 보였다.
• 표면 사상 φ: S → M의 호로노미는 기본 비곤에서의 이송 2함수의 값으로 계산되며, 이는 곡률 2형식의 적분과 연결된다.
• 곡률 2함수는 각 2세포에 대해 그 경계의 호로노미를 할당하는 스무스 2함수로 특징지어지며, 번들의 이론에서의 곡률을 일반화한다.
• 이 구성은 비아벨 게르베에서 표면 호로노미가 매핑 클래스 군의 비자명한 작용을 지닌다는 것을 드러내며, 아벨 경우에는 관찰되지 않는 특성이다.