[논문 리뷰] Deformations of gerbes on smooth manifolds

Paul Bressler, Alexander Gorokhovsky외 2명|ArXiv.org|2007. 01. 13.

Homotopy and Cohomology in Algebraic Topology참고 문헌 13인용 수 8

한 줄 요약

이 논문은 매끄러운 다양체 위의 히브의 형식적 변형의 2-군족과 스위치된 미분가환대수적 리 대칭군(가환대수적 리 대칭군, DGLA)의 델리그 2-군족 사이의 정확한 대응을 확립한다. 이 DGLA 는 매끄러운 함수의 호크시ลด 코호몰로지로부터 구성된다. 핵심 결과는 기저층의 스위치된 형태의 변형 이론이 히브의 코호몰로지 클래스에 의한 DGLA 스위치로 기술됨을 보여주며, 이는 유도 대수적 구조를 통한 미분기하학적 제어를 가능하게 한다.

ABSTRACT

We identify the 2-groupoid of deformations of a gerbe on a smooth manifold with the Deligne 2-groupoid of a corresponding twist of the DGLA of local Hochschild cochains on infinite jets of smooth functions.

연구 동기 및 목표

• 매끄러운 다양체 위의 히브의 형식적 변형을 DGLA 기법을 사용하여 미분기하학적으로 분류하는 것.
• 아르베로이드 스택의 변형과 스위치된 DGLA의 델리그 2-군족 사이의 2-군족 동치를 확립하는 것.
• 매끄러운 함수의 제트층에 의해 제어되는 DGLA를 구성하고, 히브의 코호몰로지 클래스에 의한 스위치를 수행하는 것.
• 스위치된 $\mathcal{O}_X$의 형태의 변형 함수가 특정 DGLA 스위치의 델리그 2-군족과 동치임을 보이는 것.

제안 방법

• 매끄러운 함수의 제트층 $\mathcal{J}_X$의 이동된 호크시ลด 복합체의 딜레르 함의 복합체의 DGLA $\mathfrak{g}_{\mathtt{DR}}(\mathcal{J}_X)_{[\mathcal{S}]}$를 코호몰로지 클래스 $[\mathcal{S}] \in H^2(X; \mathcal{O}_X^\times)$에 의한 스위치로 구성한다.
• 제트층 $\mathcal{J}_X$ 위의 표준 평탄 접속 $\nabla^{\text{can}}$을 이용하여 호크시ลด 복합체 위에 평탄 접속을 유도하고, 게르스텐하버 괄호와 미분을 유지한다.
• 닫힌 2형식 $\omega \in \Gamma(X; (\Omega^2 \otimes \mathcal{J}_X / \mathcal{O}_X)^{\text{cl}})$를 통해 스위치를 정의하며, DGLA 미분을 수축 $\iota_\omega$로 수정한다.
• 스위치된 DGLA에 델리그 2-군족 구성 $\operatorname{MC}^2(\mathfrak{g})$를 적용하여 변형 함수를 모델링한다.
• 내림과 변형 함수의 동치를 통해 변형 2-군족 $\operatorname{Def}_X(\mathcal{S})$와 $\operatorname{MC}^2(\mathfrak{g}_{\mathtt{DR}}(\mathcal{J}_X)_{[\mathcal{S}]})$ 사이의 동치를 확립한다.
• 스위치된 DGLA의 동형류가 $\omega$의 코호몰로지 클래스에만 의존하므로, 이 구성이 잘 정의됨을 보인다.

실험 결과

연구 질문

• RQ1 매끄러운 다양체 위의 히브 변형 이론은 어떤 방식으로 DGLA에 의해 미분기하학적으로 제어될 수 있는가?
• RQ2 스위치된 $\mathcal{O}_X$의 형태의 변형을 분류하는 데 정확히 어떤 DGLA의 델리그 2-군족이 사용되는가?
• RQ3 히브의 코호몰로지 클래스는 그 변형을 제어하는 DGLA의 스위치와 어떻게 관련되는가?
• RQ4 아르베로이드 스택의 변형 2-군족은 적절히 스위치된 DGLA의 델리그 2-군족과 동치인가?
• RQ5 히브의 변형 함수는 매끄러운 함수의 제트층의 호크시ลด 코호몰로지로 기술될 수 있는가?

주요 결과

• 스위치된 형태 $\mathcal{S}$의 변형 2-군족 $\operatorname{Def}_X(\mathcal{S})$는 델리그 2-군족 $\operatorname{MC}^2(\mathfrak{g}_{\mathtt{DR}}(\mathcal{J}_X)_{[\mathcal{S}]})$와 동치이다.
• DGLA $\mathfrak{g}_{\mathtt{DR}}(\mathcal{J}_X)_{[\mathcal{S}]}$는 제트층 $\mathcal{J}_X$의 이동된 호크시ลด 복합체의 딜레르 함의 복합체의 전역 단면의 DGLA에 코호몰로지 클래스 $[\mathcal{S}]$에 의한 스위치를 가한 것이다.
• 스위치는 $\Gamma(X; (\Omega^2 \otimes \mathcal{J}_X / \mathcal{O}_X)^{\text{cl}})$ 안의 닫힌 2형식을 통해 정의되며, DGLA의 동형류는 이 형식의 코호몰로지 클래스에만 의존한다.
• 이 구성은 히브의 변형 이론에 대한 미분기하학적 실현을 제공하며, 호크시ลด 코호몰로지와 유도 대수적 구조와 연결한다.
• 내림 이론과 변형 함수의 동치를 통해 동치가 확립되었으며, 이는 전사성과 충분성의 완전성과 일치한다.
• 이 결과는 [5]의 이전 결과를 일반화하며, 추상적인 코호몰로지 분류를 대체로 구체적인 변형이론 모델로 제공하는 기하학적 DGLA 제어 메커니즘을 제시한다.