[논문 리뷰] Differential Geometry of Gerbes

Lawrence Breen, William Messing|ArXiv.org|2001. 06. 11.

Homotopy and Cohomology in Algebraic Topology참고 문헌 16인용 수 26

한 줄 요약

이 논문은 기레브의 미분기하학에 대한 전역적이고 조합론적인 프레임워크를 개발하며, 접속, 곡률 데이터, 그리고 고차 Bianchi 항등식을 만족하는 3곡률 형식을 도입한다. 합성 미분해석학을 사용하여 기존의 주기브루의 접속을 기레브로 일반화하며, 비아벨 기레브의 경우 '가짜 곡률' 항목이 필요하다는 것을 드러내어 3곡률 방정식이 단순한 Bianchi 항등식 일반화와 다름을 보인다.

ABSTRACT

We define in a global manner the notion of a connective structure for a gerbe on a space X. When the gerbe is endowed with trivializing data with respect to an open cover of X, we describe this connective structure in two separate ways, which extend from abelian to general gerbes the corresponding descriptions due to J.- L. Brylinski and N. Hitchin. We give a global definition of the 3-curvature of this connective structure as a 3-form on X with values in the Lie stack of the gauge stack of the gerbe. We also study this notion locally in terms of more traditional Lie algebra-valued 3-forms. The Bianchi identity, which the curvature of a connection on a principal bundle satisfies, is replaced here by a more elaborate equation.

연구 동기 및 목표

• 주기브루의 접속과 곡률 이론을 전역적이고 기하학적으로 의미 있는 방식으로 기레브로 확장하기.
• 기레브의 연결 구조를 갖춘 3곡률 형식을 정의하여 접속의 곡률을 일반화하기.
• 비아벨 기레브에서 발생하는 복잡성을 해결하기 위해 Bianchi 항등식을 수정하는 '가짜 곡률' 항목을 도입하기.
• A. Kock의 조합론적 미분해석학을 사용하여 전체 이론을 기반으로 하여 복잡한 범주론적 구조를 단순화하기.
• 기레브의 Čech 코ycle 기술과 호환되는 리 대수 값을 갖는 미분형식에 기반한 국소적 기술 제공하기.

제안 방법

• A. Kock의 합성 미분해석학을 채택하여, 무한소 구조를 단체 객체와 조합론적 항등식으로 모델링한다.
• 기레브 위의 접속은 무한소적으로 가까운 점들 위의 섬유 범주 사이의 함자로 정의되며, 평행이동을 일반화한다.
• 곡률 데이터는 무한소 2단체를 둘러싼 고차 평행이동으로서 도입되며, 구조군의 리 대수에 값이 있는 2형식을 포함한다.
• 3곡률은 무한소 3단체의 면들 위에서 곡률의 일관성에 대한 장애로 정의된다.
• 비단순한 역원의 비유일성으로 인해 범주론적 접속에서 '가짜 곡률' 항목이 3곡률 방정식의 수정 항목으로 나타난다.
• 국소적 표준형을 사용하여 전역적 구조를 리 대수 값을 갖는 미분형식으로 변환하며, 겹치는 영역에서의 호환 조건을 설정한다.

실험 결과

연구 질문

• RQ1 기레브 위에 접속을 어떻게 정의할 수 있으며, 이는 주기브루의 평행이동 개념을 어떻게 일반화하는가?
• RQ2 기레브에 대해 곡률과 Bianchi 항등식의 적절한 일반화는 무엇이며, 아벨 경우와 어떻게 다를까?
• RQ3 비아벨 기레브의 3곡률 방정식은 왜 아벨 경우에 존재하지 않는 추가적인 '가짜 곡률' 항목을 포함하는가?
• RQ4 합성 미분해석학은 기레브 위의 접속과 곡률의 구조를 어떻게 단순화하고 명확화할 수 있는가?
• RQ5 국소 코ycle과 코바운더리의 역할은 기레브의 연결 구조와 곡률 데이터를 묘사하는 데 어떤가?

주요 결과

• 기레브의 접속과 곡률을 갖춘 3곡률은 고차 Bianchi 항등식을 만족하며, 이는 3단체 위의 장애를 4단체에서 일관성 있게 만족한다는 것을 의미한다.
• 비아벨 기레브의 경우, 3곡률 방정식은 단순한 Bianchi 항등식 일반화와 다름을 보여주는 '가짜 곡률' 항목을 포함한다.
• 조합론적 미분해석학을 사용하여 전역적으로 이론을 기반으로 하여 복잡한 범주론적 구조를 투명하게 하고 계산 가능하게 한다.
• 접속과 곡률의 국소적 기술은 2형식(곡률) 외에도 보조적인 낮은 차수의 형식을 포함하며, 기레브의 비아벨 성격을 반영한다.
• 기레브 위에 전역적인 연결 구조를 구성하는 것은 비아벨 군 값을 갖는 Čech 코ycle의 선택과 동치이며, 곡률 데이터로 확장된다.
• 기레브의 연결 구조와 관련된 리 대수 값을 갖는 형식들은 특정한 코ycle 및 코바운더리 조건을 만족하며, 기레브의 Čech 코homology 묘사 방식을 일반화한다.