[논문 리뷰] Universal lifting theorem and quasi-Poisson groupoids

David Iglesias Ponte, Camille Laurent-Gengoux외 1명|arXiv (Cornell University)|2005. 07. 19.

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

한 줄 요약

이 논문은 리 대수다발 위의 다중미분형식의 그레이드 리 대수와 그 $\alpha$-단순연결 및 $\alpha$-연결인 리 군oid 위의 스펙트럴 다중벡터장 사이의 동형사상이 존재하는 보편 상승 정리를 수립한다. 이 결과는 준-리 대쌍대다발의 준-포아송 군oid로의 통합을 증명하며, 기존의 통합 정리들을 일반화하고, 모멘타 맵을 통한 왜곡된 포아송 구조와 해밀턴 공간의 통합적 프레임워크를 제공한다.

ABSTRACT

We prove the universal lifting theorem: for an $α$-simply connected and $α$-connected Lie groupoid $\gm$ with Lie algebroid $A$, the graded Lie algebra of multi-differentials on $A$ is isomorphic to that of multiplicative multi-vector fields on $\gm$. As a consequence, we obtain the integration theorem for a quasi-Lie bialgebroid, which generalizes various integration theorems in the literature in special cases. The second goal of the paper is the study of basic properties of quasi-Poisson groupoids. In particular, we prove that a group pair $(D, G)$ associated to a Manin quasi-triple $(\mathfrak d, \mathfrak g, \mathfrak h)$ induces a quasi-Poisson groupoid on the transformation groupoid $G imes D/G oto D/G$. Its momentum map corresponds exactly with the $D/G$-momentum map of Alekseev and Kosmann-Schwarzbach.

연구 동기 및 목표

• 리 대수다발 위의 다중미분형식과 그 $\alpha$-단순연결 및 $\alpha$-연결인 리 군oid 위의 스펙트럴 다중벡터장 사이를 연결하는 보편 상승 정리를 수립하기.
• 기존의 리 대쌍대다발에 대한 통합 정리를 준-리 대쌍대다발 설정으로 일반화하기.
• 특히 만린 준-삼중체와의 관계를 고려하여 준-포아송 군oid의 구조와 성질을 연구하기.
• 준-포아송 군oid의 해밀턴 공간과 준-해밀턴 $G$-공간 간의 대응관계를 명확히 하기.
• 알렉세예프와 코스만-슈바르츠바흐의 $D/G$-모멘타 맵이 준-포아송 군oid 구조로부터 자연스럽게 유도됨을 보여주기.

제안 방법

• 다중미분형식의 개념을 도입하여, 그레이드 곱법칙과 자코비 항등식을 만족하는 차수 $k-1$의 미분형식으로서의 $k$-미분형식을 정의한다.
• 리 군oid 위의 스펙트럴 $k$-벡터장을 정의하고, 보편 상승 구성법을 통해 $k$-미분형식과의 대응관계를 수립한다.
• $A$-경로와 경로 공간 $\widetilde{P}(A)$를 사용하여 다중벡터장을 리 대수다발에서 군oid로 상승시킨다.
• 만린 준-삼중체 $(\mathfrak{d}, \mathfrak{g}, \mathfrak{h})$로부터 변환 군oid $G \times D/G \rightrightarrows D/G$ 위에 준-포아송 군oid 구조를 구성한다.
• 준-포아송 군oid $\Gamma = G \times D/G \rightrightarrows D/G$에 대한 해밀턴 $\Gamma$-공간의 모멘타 맵이 알렉세예프와 코스만-슈바르츠바흐의 $D/G$-모멘타 맵과 정확히 일치함을 증명한다.
• 해밀턴 공간 위의 이차벡터장 $\Pi_X$ 가 준-포아송 조건 $\frac{1}{2}[\Pi_X, \Pi_X] = \hat{\Omega}$ 를 만족함을 검증한다.

실험 결과

연구 질문

• RQ1 준-리 대쌍대다발의 준-포아송 군oid로의 통합이 보편 상승 메커니즘을 통해 확립될 수 있는가?
• RQ2 리 군oid 위의 스펙트럴 다중벡터장은 그 리 대수다발 위의 다중미분형식과 어떻게 관련이 있는가?
• RQ3 만린 준-삼중체에 관련된 변환 군oid $G \times D/G \rightrightarrows D/G$ 의 정확한 기하학적 구조는 무엇인가?
• RQ4 알렉세예프와 코스만-슈바르츠바흐의 $D/G$-모멘타 맵은 준-포아송 군oid의 모멘타 맵으로 자연스럽게 유도되는가?
• RQ5 준-포아송 군oid의 해밀턴 공간과 준-해밀턴 $G$-공간 사이에 일대일 대응이 존재하는가?

주요 결과

• 보편 상승 정리는 리 대수다발 $A$ 위의 다중미분형식 공간과 그 $\alpha$-단순연결 및 $\alpha$-연결인 리 군oid $\Gamma$ 위의 스펙트럴 다중벡터장 공간 사이의 그레이드 리 대수 동형사상을 수립한다.
• 준-리 대쌍대다발의 준-포아송 군oid로의 통합은 보편 상승을 통해 달성되며, 이는 기존의 리 대쌍대다발에서 포아송 군oid로의 통합을 일반화한다.
• 만린 준-삼중체 $(\mathfrak{d}, \mathfrak{g}, \mathfrak{h})$ 는 변환 군oid $G \times D/G \rightrightarrows D/G$ 위에 준-포아송 군oid 구조를 유도한다.
• 이 준-포아송 군oid에 대한 해밀턴 $\Gamma$-공간의 모멘타 맵은 알렉세예프와 코스만-슈바르츠바흐의 $D/G$-모멘타 맵과 정확히 일치한다.
• 모멘타 맵 $J: X \to S$ 를 가진 준-해밀턴 $G$-공간은 군oid $\Gamma = G \times S \rightrightarrows S$ 에 대한 준-포아송 군oid의 해밀턴 $\Gamma$-공간과 동치이며, 군oid 작용은 $J$ 를 통해 정의된다.
• 해밀턴 $\Gamma$-공간 위의 이차벡터장 $\Pi_X$ 는 $\frac{1}{2}[\Pi_X, \Pi_X] = \hat{\Omega}$ 를 만족하며, 이는 준-포아송 조건을 확인한다.