[논문 리뷰] Poisson geometry and Morita equivalence

Henrique Bursztyn, Alan Weinstein|ArXiv.org|2004. 02. 22.

Homotopy and Cohomology in Algebraic Topology참고 문헌 92인용 수 30

한 줄 요약

이 논문은 대수적 모리타 이론을 일반화하기 위해 심플렉틱 군oids와 이중모듈러를 사용하여 파울슨 다양체에 대한 기하적 모리타 동치 이론을 수립한다. 두 파울슨 다양체가 모리타 동치일 조건은 그들의 표현 범주(심플렉틱 토르서와 통합자 공간을 통해 정의됨)가 동치일 때이며, 핵심 결과는 모리타 동치가 이러한 심플렉틱 범주의 동치에 의해 완전히 결정됨을 보여준다.

ABSTRACT

These notes discuss various aspect of the ``representation theory'' of Poisson manifolds, with focus on Morita equivalence and Picard groups. We give a brief introduction to Poisson geometry (including Dirac and twisted Poisson structures) and algebraic Morita theory before presenting the geometric Morita theory of Poisson manifolds. We also point out the connections with the theory of symplectic groupoids and hamiltonian actions.

연구 동기 및 목표

• 대수적 모리타 이론을 파울슨 기하학으로 확장하기 위해 기하적 이중모듈러와 심플렉틱 군oids 작용을 정의한다.
• 동치인 표현 범주가 항상 모리타 동치를 의미하지는 않는 문제를 해결하기 위해 표현의 정밀한 심플렉틱 범주를 도입한다.
• 파울슨 다양체의 모리타 동치와 그들의 심플렉틱 표현 범주 간의 대응을 수립한다.
• 분할 이론에서 병적인 잎 공간 문제를 해결하기 위해 미분 가능 스택을 매끄러운 기하학의 프레임워크로 제안한다.
• 파울슨 기하학에서 피카르 군의 역할을 표현 범주의 자가동치의 군으로 명확히 한다.

제안 방법

• 파울슨 다양체를 임의의 두차원장이 자코비 항등식을 만족하는 $[\Pi, \Pi] = 0$ 를 만족하는 이중벡터장으로 정의하며, 기하적 기본 대상으로는 심플렉틱 잎을 사용한다.
• 심플렉틱 군oids를 파울슨 다양체의 기하적 실현으로 도입하여 군oids의 곱셈이 파울슨 구조를 캡슐화하도록 한다.
• 심플렉틱 군oids와 표현 범주 간의 동치를 유도하는 $(P_1, P_2)$-이중모듈러를 구성한다.
• 파울슨 다양체 $P$의 표현 범주를, 심플렉틱 $P$-토르서로 구성된 대상과 그 사이의 통합자 공간 $\mathrm{Hom}(S_1, S_2) = \overline{S_2} *_{P} S_1$로 구성된 심플렉틱 범주로 정의한다.
• 공이소트로픽 축소와 라그랑주 부분다양체를 사용하여 심플렉틱 범주의 합성 법칙을 정의하고, $\mathrm{Hom}(S,S)$ 가 심플렉틱 군oids $\mathcal{G}(M)$ 와 심플렉틱 동형임을 검증한다.
• 통합자 공간 간의 심플렉틱 동형을 수립하여, 이중모듈러가 심플렉틱 범주 동치를 유도함을 보이고, 파울슨 다양체의 모리타 동치에 대한 주요 정리를 증명한다.

실험 결과

연구 질문

• RQ1 두 파울슨 다양체가 언제 모리타 동치이며, 이 동치는 어떻게 기하학적으로 특징지을 수 있는가?
• RQ2 파울슨 다양체의 표현 범주를 어떻게 정의할 수 있을까? 이 정의는 그 모리타 동치류를 완전히 결정할 수 있는가?
• RQ3 심플렉틱 군oids는 파울슨 다양체 간의 모리타 동치를 어떻게 실현하는가?
• RQ4 심플렉틱 실현의 범주가 비가환 기하학의 모듈러 범주와 언제 동치가 되는가?
• RQ5 게이지 변환과 트위스트된 파울슨 구조는 모리타 동치와 피카르 군의 구조에 어떻게 영향을 미치는가?

주요 결과

• 두 파울슨 다양체는 그들의 심플렉틱 표현 범주가 심플렉틱 범주로서 동치일 때이고, 그때만 모리타 동치이다.
• 심플렉틱 실현 $S \to M$ 와 관련된 심플렉틱 군oids $\mathcal{G}(M)$ 는 표현 범주에서의 자기사상 공간 $\mathrm{Hom}(S,S)$ 와 심플렉틱 동형이다.
• 표현 범주의 합성 관계는 라그랑주 부분다양체이며, 공이소트로픽 축약과 점의 경우를 통해 검증된다.
• 표현 범주에서의 가역 사상은 심플렉틱 실현의 동형사상과 대응되며, 이러한 동형사상은 심플렉틱 사상의 그래프의 축약을 통해 실현된다.
• 파울슨 다양체의 피카르 군은 그 표현 범주의 자가동치의 군과 심플렉틱 동형이며, 이는 대수적 피카르 군의 개념을 일반화한다.
• 표현 범주 간의 동치가 통합자 공간을 심플렉틱 동형으로 보존하지는 않으며, 이는 2의 인자가 고려되지 않은 경우에만 성립함을 보여주며, 심플렉틱 구조에 미묘한 차이가 있음을 시사한다.