[논문 리뷰] Integration of generalized complex structures

Michael Bailey, Marco Gualtieri|arXiv (Cornell University)|2016. 11. 11.

Homotopy and Cohomology in Algebraic Topology인용 수 5

한 줄 요약

이 논문은 일반화된 복소 구조의 통합 문제를 약한 해석적 심플렉틱 군oids(Weakly Holomorphic Symplectic Groupoids, WHSGs)를 통합 객체로 도입하여 해결한다. 일반화된 복소 다양체가 WHSG로 통합될 조건은 그 기저가 되는 실수 푸아송 구조가 통합 가능할 때이며, 이를 통해 WHSG와 일반화된 복소 구조 사이에 분화 및 통합을 통해 유도되는 함자적이고 본질적인 동치 관계를 확립한다.

ABSTRACT

We solve the integration problem for generalized complex manifolds, obtaining as the natural integrating object a weakly holomorphic symplectic groupoid, which is a real symplectic groupoid with a compatible complex structure defined only on the associated stack, i.e., only up to Morita equivalence. We explain how such objects differentiate to give generalized complex manifolds, and we show that a generalized complex manifold is integrable in this sense if and only if its underlying real Poisson structure is integrable. Crucial to our solution are several new technical tools which are of independent interest, namely, a reduction procedure for Lie groupoid actions on Courant algebroids, as well as certain local-to-global extension results for multiplicative forms on local Lie groupoids. Finally, we implement our generalized complex integration procedure in several concrete examples.

연구 동기 및 목표

• 일반화된 복소 구조를 전역 기하 객체로 통합하는 데 오랫동안 남아있던 문제를 해결하기 위해.
• 특히 고전적 의미에서 통합 가능하지 않은 경우에도 일반화된 복소 구조와 그 기저가 되는 실수 푸아송 구조 간의 관계를 명확히 하기 위해.
• 일반화된 복소 다양체의 횡단 복소 구조가 원래 다양체가 아니라 모리타 동치인 푸아송 다양체 위에 실현됨을 보장하는 프레임워크를 개발하기 위해.
• 일반화된 복소 구조와 약한 해석적 심플렉틱 군oids(WhSGs) 사이에 함자적 분화 및 통합 절차를 수립하기 위해.

제안 방법

• 약한 해석적 심플렉틱 군oids(WHSG)의 개념을 도입한다. 이는 복소 심플렉틱 군oids의 허수부와의 심플렉틱 모리타 동치를 갖는 실수 심플렉틱 군oids로 정의된다.
• 코우란트 대수다발 위에서의 리 군oids 작용에 대한 축소 이론을 개발하여, 군oids 작용으로부터 일반화된 복소 구조를 구성할 수 있도록 한다.
• Bailey의 해석적 정규형 정리(정리 2.8)를 활용하여 일반화된 복소 다양체의 점 주변에서 국소 해석적 심플렉틱 군oids를 구성한다.
• 국소 리 군oids 위의 다중형 형식에 대한 국소에서 전역으로의 확장 결과를 적용하여 국소 해석적 심플렉틱 구조를 전역 WHSG로 확장한다.
• 형식 완비화와 체흐 유형의 군oids 몫을 활용하여 실수 심플렉틱 군oids의 해석적 국소화를 통합 객체로 구성한다.
• WHSG에서 일반화된 복소 구조로의 분화 함자를 수립하며, 유일성과 함자성에 기반하여 WHSG의 범주와 기저 푸아송 구조가 통합 가능한 일반화된 복소 구조의 범주 사이에 본질적인 동치 관계를 증명한다.

실험 결과

연구 질문

• RQ1 일반화된 복소 구조의 적절한 통합 객체는 무엇인가? 특히 복소 기하학과 심플렉틱 기하학 사이를 조율하는 구조이기 때문이다.
• RQ2 일반화된 복소 다양체의 횡단 복소 구조는 기저가 되는 푸아송 구조와 어떻게 관련되어 있는가? 특히 다수의 전역 복소 구조를 갖지 못하는 경우에 대해.
• RQ3 어떤 조건에서 일반화된 복소 구조가 전역 기하 객체로 통합될 수 있으며, 그 객체의 성격은 무엇인가?
• RQ4 일반화된 복소 구조의 통합은 기저가 되는 실수 푸아송 구조의 통합 가능성과 어떻게 관련되어 있는가?
• RQ5 통합 절차는 함자적이고 본질적인가? 즉, 모든 통합 가능한 일반화된 복소 구조가 유일한 WHSG로부터 유래되는가?

주요 결과

• 일반화된 복소 구조는 그 기저가 되는 실수 푸아송 구조가 통합 가능할 때에만 약한 해석적 심플렉틱 군oids(WHSG)로 통합된다.
• 통합된 WHSG는 실수 심플렉틱 군oids이며, 복소 심플렉틱 군oids의 허수부와의 심플렉틱 모리타 동치를 갖는다. 이는 해석적 심플렉틱 모리타 동치에 대해 유일하게 정의된다.
• WHSG의 분화는 일반화된 복소 구조를 유도하며, 이 분화 과정은 기저 푸아송 구조가 통합 가능한 일반화된 복소 구조의 범주와 WHSG의 범주 사이에 본질적인 동치를 이루는 함자를 정의한다.
• 해석적 구조는 원래 다양체 위에 정의되지 않고, 심플렉틱 잎들을 매개화하는 미분 스택으로서 표현되는 모리타 동치인 푸아송 다양체 위에 실현된다.
• Bailey의 정규형 정리에 의해 국소 해석적 심플렉틱 군oids를 구성할 수 있으며, 다중형 형식의 확장 기법을 통해 이를 전역 WHSG로 확장할 수 있다.
• 국소 리 군oids 위의 다중형 형식은 그 형식 완비화로 유일하게 확장되며, 국소적으로 심플렉틱일 경우 확장된 형식 역시 전역적으로 심플렉틱을 유지한다.