[논문 리뷰] Quasi-Poisson Manifolds

Anton Alekseev, Yvette Kosmann–Schwarzbach외 1명|ArXiv.org|2000. 06. 22.

Homotopy and Cohomology in Algebraic Topology참고 문헌 7인용 수 4

한 줄 요약

이 논문은 G-다양체에 불변의 이차장(field)을 지닌 구조인 준-포아송 다양체를 도입한다. 이 이차장의 쇼텐 괄호는 리 대수의 불변 내적과 관련된 카르탕 3-텐서로부터 생성된 삼차장과 일치한다. 이 논문은 비퇴화된 해밀턴 준-포아송 다양체와 군 값의 모멘트 맵을 지닌 준-해밀턴 G-다양체 사이에 깊이 있는 동치를 확립하며, 융합과 축소를 통해 표현 다양체 위에 포아송 구조를 구성할 수 있게 한다.

ABSTRACT

A quasi-Poisson manifold is a G-manifold equipped with an invariant bivector field whose Schouten bracket is the trivector field generated by the invariant element in $\wedge^3 \g$ associated to an invariant inner product. We introduce the concept of the fusion for such manifolds, and we relate quasi-Poisson manifolds to the previously introduced quasi-Hamiltonian manifolds with group-valued moment maps.

연구 동기 및 목표

• 준-포아송 다양체의 구조를 형식화하고 연구함: G-다양체에 대해 특정한 쇼텐 괄호 조건(카르탕 3-텐서를 포함)을 만족하는 이차장 필드를 지닌 다양체로서의 구조를 다룸.
• 준-포아송 다양체에 대한 융합과 축소 이론을 개발함으로써, 포아송 기하학의 기존 구성들을 일반화함.
• 비퇴화된 해밀턴 준-포아송 다양체와 군 값의 모멘트 맵을 지닌 준-해밀턴 G-다양체 사이의 정확한 대응 관계를 확립함.
• 이 대응 관계를 응용하여, 경계를 지닌 표면 $\Sigma$에 대해 표현 다양체 $\operatorname{Hom}(\pi_1(\Sigma),G)/G$ 위에 표준 포아송 구조를 구성함.
• 일반화된 동적 r-행렬을 도입하고, 이가 일반화된 고전적 동적 양-버크스 방정식의 해임을 증명함.

제안 방법

• 준-포아송 다양체를 G-다양체 $M$로 정의하며, 이에 대해 불변의 이차장 필드 $P$가 존재하고, $[P,P] = \phi_M$ 를 만족함. 여기서 $\phi \in \wedge^3\mathfrak{g}$ 는 불변 내적에서 유도된 카르탕 3-텐서임.
• 준-포아송 다양체의 융합 개념을 도입하여, 기존 구조들의 곱으로부터 새로운 구조를 구성함.
• 해밀턴 준-포아송 다양체에 대해 모멘트 맵 $\Phi: M \to G$ 를 정의하고, 삼중체 $(M,P,\Phi)$ 가 군 값 모멘트 맵을 지닌 준-해밀턴 G-다양체의 공리계를 만족함을 보임.
• 크로스 섹션 정리를 사용하여, 모든 해밀턴 준-포아송 다양체가 비퇴화 리만 부분다양체들로 이루어진 일반화된 분할 구조를 지닌다고 증명함.
• 일반화된 동적 r-행렬 $r^{\mathfrak{g}/\mathfrak{h}}$ 를 구성하고, 리 대수의 사영과 대수적 항등식을 통해 일반화된 고전적 동적 양-버크스 방정식을 만족함을 증명함.
• 비퇴화된 해밀턴 준-포아송 다양체와 준-해밀턴 G-다양체 사이의 동치 관계를 응용하여, $G$ 의 복수의 사본을 융합한 곱의 축소를 통해 $\operatorname{Hom}(\pi_1(\Sigma),G)/G$ 위의 포아송 구조를 도출함.

실험 결과

연구 질문

• RQ1 어떻게 새로운 G-다양체의 클래스를 통해 군 값의 모멘트 맵을 포함하는 포아송 기하학을 일반화할 수 있는가?
• RQ2 해밀턴 준-포아송 다양체와 군 값의 모멘트 맵을 지닌 준-해밀턴 G-다양체 사이의 정확한 관계는 무엇인가?
• RQ3 표현 다양체 $\operatorname{Hom}(\pi_1(\Sigma),G)/G$ 위의 포아송 구조는 기하적 축소 절차로부터 유도될 수 있는가?
• RQ4 카르탕 3-텐서 $\phi \in \wedge^3\mathfrak{g}$ 는 왜 준-포아송 조건 $[P,P] = \phi_M$ 를 정의하는 데 핵심적인가?
• RQ5 일반화된 동적 r-행렬 $r^{\mathfrak{g}/\mathfrak{h}}$ 는 어떻게 일반화된 고전적 동적 양-버크스 방정식을 만족하는가?

주요 결과

• 모든 해밀턴 준-포아송 다양체는 비퇴화된 해밀턴 준-포아송 부분다양체들로 이루어진 일반화된 분할을 지닌다.
• 모든 비퇴화된 해밀턴 준-포아송 다양체는 $(M,\omega,\Phi)$ 가 군 값 모멘트 맵을 지닌 준-해밀턴 G-다양체의 공리계를 만족하는 불변 2형식 $\omega$ 를 지닌다.
• 반대로, 군 값 모멘트 맵을 지닌 모든 준-해밀턴 G-다양체는 동일한 모멘트 맵을 지닌 비퇴화된 준-포아송 구조를 지닌다.
• 경계를 지닌 올림표면 $\Sigma$ 에 대해 표현 다양체 $\operatorname{Hom}(\pi_1(\Sigma),G)/G$ 위의 포아송 구조는 $G$ 의 준-포아송 구조를 지닌 사본들의 융합 곱의 축소를 통해 유도된다.
• 일반화된 동적 r-행렬 $r^{\mathfrak{g}/\mathfrak{h}}$ 는 리 대수의 사영과 대수적 항등식을 통해 일반화된 고전적 동적 양-버크스 방정식을 만족함이 증명된다.
• G 위의 준-포아송 이차장은 루프 군 $LG$ 의 중심 확장의 리 대수의 쌍대공간 위의 포아송 이차장과, 코탄젠트 함수와 잔여합의 극한 과정을 통해 관련되어 있다.