[논문 리뷰] Integrating Poisson manifolds via stacks

Hsian‐Hua Tseng, Chenchang Zhu|ArXiv.org|2004. 11. 17.

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

한 줄 요약

이 논문은 비가역적 Lie 대수다발 $T^*M$를 가진 경우에도 적용 가능한 해밀턴형 위상군의 일반화로, 해밀턴형 위엔스타인 군의 개념을 도입하여 파아송 다양체의 적분 가능성 문제를 해결한다. 다양한 스택과 위엔스타인 군의 이론을 활용하여, 모든 파아송 다양체가 해밀턴형 위엔스타인 군을 갖는다는 것을 증명함으로써, 해밀턴형 위엔스타인 군과 그 기저 다양체 위의 파아송 구조 사이의 일대일 대응을 확립한다.

ABSTRACT

A symplectic groupoid $G.:=(G_1 ightrightarrows G_0)$ determines a Poisson structure on $G_0$. In this case, we call $G.$ a symplectic groupoid of the Poisson manifold $G_0$. However, not every Poisson manifold $M$ has such a symplectic groupoid. This keeps us away from some desirable goals: for example, establishing Morita equivalence in the category of all Poisson manifolds. In this paper, we construct symplectic Weinstein groupoids which provide a solution to the above problem (Theorem ef{main}). More precisely, we show that a symplectic Weinstein groupoid induces a Poisson structure on its base manifold, and that to every Poisson manifold there is an associated symplectic Weinstein groupoid.

연구 동기 및 목표

• 관련 Lie 대수다발 $T^*M$가 적분 가능하지 않은 경우 해밀턴형 위상군이 존재하지 않기 때문에, 파아송 다양체의 적분 가능성 문제를 해결하기 위함.
• 기존의 해밀턴형 위상군과 적분 가능한 파아송 다양체 사이의 대응관계를, 모든 파아송 다양체에 대해 적용 가능한 더 넓은 범주로 확장하기 위함.
• 비적분 가능한 Lie 대수다발의 경우에도 전역적으로 적분할 수 있도록, 미분 가능 스택과 위엔스타인 군의 이론을 활용한 프레임워크를 구축하기 위함.
• 해밀턴형 위엔스타인 군의 출발 사상이 파아송 사상임을 증명함으로써, 기저 다양체 위의 파아송 구조를 복원할 수 있음을 보장하기 위함.
• 해밀턴형 위엔스타인 군이 고전적 해밀턴형 위상군과 일치하는 조건을 규명하기 위함. 즉, $T^*M$가 적분 가능할 때이다.

제안 방법

• 해밀턴형 위엔스타인 군을 스택으로서 정의하며, 다중성 해밀턴 형식을 갖춘 구조로 일반화하여 비적분 가능한 경우에도 적용 가능하도록 함.
• Lie 대수다발 $A$의 $A$-경로 공간을 이용해 위상군을 구성하고, 추가적인 구조를 부여하여 위엔스타인 군을 형성함.
• 다양한 스택 이론을 적용하여, 파아송 다양체의 기하학적 및 해밀턴적 정보를 포괄하는 전역적 대상을 정의함.
• 위엔스타인 군 $\mathcal{G}$로부터 국소 해밀턴 군 $G_{\text{loc}}$를 정의하며, $\mathcal{G}$의 해밀턴 형식이 $G_{\text{loc}}$에 다중성 해밀턴 형식을 유도함을 보임.
• 지역 모델을 통해 출발 사상 $\bar{\mathbf{s}}$의 파아송 성질을 증명함. 이는 국소 모델을 통한 파아송 괄호의 보존을 보여줌.
• 기본 해밀턴 형식 $\omega_c$와 그 경로 공간으로의 페어링을 활용하여, 위엔스타인 군 위의 해밀턴 형식을 구성함.

실험 결과

연구 질문

• RQ1 관련 Lie 대수다발 $T^*M$가 적분 가능하지 않은 경우에도 모든 파아송 다양체가 해밀턴 군으로 적분될 수 있는가?
• RQ2 비적분 가능한 Lie 대수다발의 전역 적분 대상으로 도달하기 위해, $A$-경로 공간에 어떤 구조를 추가해야 하는가?
• RQ3 고전적 해밀턴 군과 파아송 다양체 사이의 대응관계를 모든 파아송 다양체에까지 확장할 수 있는가?
• RQ4 해밀턴형 위엔스타인 군이 고전적 출발 단순 연결 해밀턴 군과 일치하는 조건은 무엇인가?
• RQ5 기저 다양체 위의 파아송 구조는 위엔스타인 군 위의 해밀턴 형식으로 유일하게 복원 가능한가?

주요 결과

• 모든 파아송 다양체 $M$는 스택의 범주에서 해밀턴형 위엔스타인 군 $\mathcal{G}\rightrightarrows M$를 갖는다. 이는 스택 범주에서의 적분 가능성 문제를 해결한다.
• 해밀턴형 위엔스타인 군의 출발 사상 $\bar{\mathbf{s}}$는 파아송 사상이며, $M$ 위의 파아송 구조는 군 $\mathcal{G}$의 해밀턴 형식에 의해 유일하게 결정된다.
• Lie 대수다발 $T^*M$가 적분 가능할 경우, 해밀턴형 위엔스타인 군 $\mathcal{H}(T^*M)$는 표현 가능하며 고전적 출발 단순 연결 해밀턴 군과 일치한다.
• 해밀턴형 위엔스타인 군의 구성은 $T^*M$ 위의 기본 해밀턴 형식과 그 경로 공간으로의 페어링에 기반하며, 이는 에탈레 표현 위에서 $\Gamma$-불변 해밀턴 형식을 유도한다.
• 위엔스타인 군 위의 해밀턴 형식의 다중성은 경로를 따라 기본 형식의 적분의 가환성에 기반하며, 군의 곱셈과의 호환성을 보장한다.
• 스택 $\mathcal{X}$ 위의 파아송 괄호는 잘 정의되어 있으며, 표현의 변화에 대해 불변하다. 이는 군의 준동형에 대해 $J_H^*\omega_H = J_G^*\omega_G$의 등식으로 보여진다.