[논문 리뷰] Introduction to the language of stacks and gerbes

Ieke Moerdijk|ArXiv.org|2002. 12. 19.

Homotopy and Cohomology in Algebraic Topology참고 문헌 3인용 수 54

한 줄 요약

이 논문은 비아벨 츠체 코homology를 사용하여 스택과 거베이에 대한 간결하고 접근하기 쉬운 소개를 제공하며, 주로 principal bundle와 bundle gerbe와 같은 기하적 구조를 분류하는 데서의 역할에 초점을 맞춘다. 거베이, 군oids의 층, 그리고 미분기하학 사이의 연결 고리를 설정하여, De Rham 코hom로의 곡률 클래스가 bundle gerbe 위의 군oids 연결에서 유래됨을 보여준다.

ABSTRACT

This is an introduction to gerbes for topologists, with emphasis on non-abelian cohomology.

연구 동기 및 목표

• 기하학적 위상수학을 전공하지 않은 학부생을 대상으로 스택과 거베이에 대한 자율적이고 교육적인 소개를 제공하는 것.
• 섬세한 범주론적 언어와 스택을 사용하여 주어진 밴드를 가진 거베이가 비아벨 츅체 2차 코호몰로지에 의해 분류됨을 설명하는 것.
• bundle gerbe와 그 De Rham 코호몰로지의 곡률 클래스를 도입하여 추상적 거베이 이론과 미분기하학을 연결하는 것.
• bundle gerbe 위의 군oids 연결의 존재를 보이며, Mayer-Vietoris 추론을 통해 곡률 형식과의 관계를 밝혀내는 것.

제안 방법

• 스택을 범주론적 수반관계를 통해 직관을 얻기 위해 전층, 층, 에탈 공간의 프레임워크를 사용한다.
• 섬유화된 범주, 전스택, 스택을 각각 전층, 분리된 전층, 층의 유사체로 정의한다.
• 밴드(lier)를 통한 거베이의 정의와 함께, 비아벨 쵸체 2차 코호몰로지의 코 cycles을 사용하여 분류를 구성한다.
• 고정된 밴드를 가진 모든 거베이의 동치류는 군oids의 층으로 표현됨을 보인다.
• Mayer-Vietoris 기법을 적용하여 곡률 형식을 $M \times_X M$ 에서 $U \times_X U$ 로, 그리고 그 다음 $X$ 로 당겨낸다.
• 관련된 $S^1$-bundle 위의 일반 연결의 당겨짐과 그 텐서곱을 사용하여 bundle gerbe 위의 군oids 연결을 구성한다.

실험 결과

연구 질문

• RQ1 비아벨 쵸체 코호몰로지의 2차에서 거베이를 어떻게 분류할 수 있는가?
• RQ2 섬유화된 범주, 전스택, 스택 사이의 범주론적 관계는 무엇이며, 그것이 층 이론의 계층과 어떻게 유사한가?
• RQ3 bundle gerbe 위의 군oids 연결은 De Rham 코호몰로지의 곡률 형식과 어떻게 관련이 있는가?
• RQ4 bundle gerbe 위에 군oids 연결이 존재하기 위한 조건은 무엇이며, 어떻게 명시적으로 구성할 수 있는가?
• RQ5 bundle gerbe의 곡률 클래스가 그 쵸체 코 cycles으로부터 유도된 코호몰로지 클래스와 어떻게 일치하는가?

주요 결과

• 고정된 밴드를 가진 모든 거베이의 동치류는 군oids의 층으로 표현되며, 이는 비아벨 2차 코호몰로지의 범주론적 실현을 확립한다.
• bundle gerbe 위의 군oids 연결의 곡률 2형식 $\kappa$ 는 $M \times_X M \times_X M$ 에서 코호몰로지 조건 $\pi_{12}^*(\kappa) + \pi_{23}^*(\kappa) = \pi_{13}^*(\kappa)$ 를 만족한다.
• Mayer-Vietoris에 의해, $U \times_X U$ 에서의 곡률 $\kappa$ 는 $U$ 에서의 2형식 $\lambda$ 로 올리려면 $\kappa = \pi_2^*(\lambda) - \pi_1^*(\lambda)$ 를 만족한다.
• 형식 $\xi$ 는 $X$ 에서 정의된 3형식이며, $d\lambda = \pi^*(\xi)$ 를 만족하고, 이는 닫혀 있고 정수적이다. 그 코호몰로지 클래스 $[\xi] \in H^3_{\text{DR}}(X)$ 는 쵸체 코 cycles으로부터 유도된 클래스와 일치한다.
• 항상 bundle gerbe 위에 군oids 연결이 존재하며, 이는 $M$ 에서의 $S^1$-bundle 위의 일반 연결의 당겨짐을 통해 구성된다.
• G \to M \times_X M 에 유도된 연결은 군oids의 구조와 호환되며, 그 곡률은 필요한 코호몰로지 항등식을 만족한다.