[논문 리뷰] Formality for algebroids II: Formality theorem for gerbes

Paul Bressler, Alexander Gorokhovsky외 2명|arXiv (Cornell University)|2013. 08. 19.

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

한 줄 요약

이 논문은 매끄럽고 복소다양체 위의 층의 변형에서 기여(gerbe)로 콘체비치의 형식성 정리(formality theorem)를 확장하며, 기여의 구조층의 호크시ลด 코호몰로지 복합체와 그 다항벡터장 사이의 준동형( quasi-isomorphism)을 확립한다. 주요 기여는 기여에 대한 형식성 준동형을 제안함으로써, 콘체비치의 원래 결과를 변형 이론의 고차 범주적 구조로 일반화하는 것이다.

ABSTRACT

We extend the formality theorem of Maxim Kontsevich from deformations of the structure sheaf on a manifold to deformations of gerbes on smooth and complex manifolds.

연구 동기 및 목표

• 매끄럽고 복소다양체 위의 기여로 콘체비치의 형식성 정리를 층에서 기여로 일반화하기.
• 호크시ลด 코homology와 다항벡터장의 형태를 이용해 기여의 변형이론적 프레임워크 수립하기.
• 기여와 같은 고차 범주적 대상으로 변형 양자화의 형식론을 확장하기.
• 기여의 변형 복합체와 그 다항벡터장 표현 간의 호모토피 동치 제공하기.

제안 방법

• 유도 대수기하학을 통해 콘체비치의 형식성 사상(formality morphism)을 기여의 맥락에 적응시키기.
• 복소다양체 위의 기여의 구조층에 대한 호크시ลด 코호몰로지 복합체 구축하기.
• 유도 범주론과 왜곡된 층(twisted sheaves) 이론을 활용해 기여의 변형 모델링하기.
• 기여의 무한소 변형을 분류하는 기저 다양체 위의 다항벡터장 복합체 정의하기.
• 호크시ลด 코호몰로지 복합체와 다항벡터장 복합체 사이의 준동형 확립하기.
• L∞-사상의 형식론을 활용해 기여의 맥락에서 형식성 사상 구축하기.

실험 결과

연구 질문

• RQ1 콘체비치의 형식성 정리는 복소다양체 위의 기여로 층에서 확장될 수 있는가?
• RQ2 기여에 적합한 호크시ลด 코호몰로지 이론은 무엇이며, 다항벡터장과의 관계는 어떠한가?
• RQ3 기여의 변형은 기저 다양체의 기하학과 어떻게 관련되는가?
• RQ4 기여의 호크시ลด 복합체와 다항벡터장 복합체 사이에 표준 준동형이 존재하는가?
• RQ5 아티야 클래스(Atiyah class)는 기여의 형식성에서 어떤 역할을 하는가?

주요 결과

• 기여의 호크시ลด 코호몰로지 복합체와 그 관련 다항벡터장 복합체 사이에 형식성 준동형이 구성된다.
• 기여의 형식성 사상은 콘체비치의 원래 구성 방식을 고차 범주적 구조로 일반화한다.
• 기여의 변형 이론은 층과 동일한 형식론에 기반하지만, 기여의 왜곡 데이터에 의해 풍부화된다.
• 기여의 유도 범주는 형식성 결과와 호환되는 형식적 변형 양자화를 허용한다.
• 이 구성은 기저 복소다양체의 기하학에 내재되어 있으며, 기여의 스택 이론적 성격을 유지한다.