[논문 리뷰] Dirac structures, moment maps and quasi-Poisson manifolds

Henrique Bursztyn, Marius Crainic|ArXiv.org|2003. 10. 28.

Advanced Topics in Algebra인용 수 5

한 줄 요약

이 논문은 파동 지오메트리에서의 파동 매핑과 심플렉틱 군집 작용 사이의 대응을 디라크 기하학으로 확장하며, 일반화된 운동량 매핑으로서의 디라크 실현을 도입한다. 단순 연결된 리군 G 위의 카르탕-디라크 구조에 대한 완전한 디라크 실현과 해밀턴형 퀀티즈-포아송 G-다양체 사이의 일대일 대응을 확립하며, 비틀린 디라크 구조와 퀀티즈-포아송 이차벡터 사이의 역행성 절차를 통해 퀀티즈-포아송 및 퀀티즈-해밀턴 감소를 디라크 기하학과 통합함으로써 통일시킨다.

ABSTRACT

We extend the correspondence between Poisson maps and actions of symplectic groupoids, which generalizes the one between momentum maps and hamiltonian actions, to the realm of Dirac geometry. As an example, we show how hamiltonian quasi-Poisson manifolds fit into this framework by constructing an ``inversion'' procedure relating quasi-Poisson bivectors to twisted Dirac structures.

연구 동기 및 목표

• 파동 기하학에서의 운동량 매핑 개념을 일반화하여, 파동 매핑과 심플렉틱 군집 작용 사이의 대응을 파동 기하학으로 확장한다.
• 통합된 프레임워크를 통해 퀀티즈-포아송 다양체, 퀀티즈-해밀턴 공간, 그리고 비틀린 디라크 구조 사이의 관계를 명확히 한다.
• 디라크 실현의 통합을 통해 국소적 퀀티즈-포아송 작용의 전역 실현을 제공한다.
• 마르스든-우이트니, 루, 슈, 퀀티즈-포아송 감소와 같은 다양한 감소 절차를 하나의 디라크 기하 감소 체계 안에서 통합한다.
• 비틀린 디라크 구조와 퀀티즈-포아송 이차벡터 사이의 이중성 관계를 명시적인 역행성 절차를 통해 수립한다.

제안 방법

• 디라크 기하학에서의 파동 매핑의 일반화로서, 특정 전방성 및 적분 조건을 만족하는 디라크 다원체에서의 디라크 매핑으로서의 디라크 실현을 도입한다.
• 퀘이즈-포아송 다양체 $M$에 대해 $T^*M \oplus \mathfrak{g}$ 위에 리 대체체를 구성하며, 파동 기하학의 코탄제트 리 대체체를 일반화한다.
• 비틀린 디라크 구조(예: 리군 위의 카르탕-디라크 구조)에서 퀀티즈-포아송 이차벡터로의 '역행성' 절차를 정의하여 두 자료 간의 이중성을 수립한다.
• 디라크 대체체의 표준 통합을 사용하여 완전한 디라크 실현을 보존형 심플렉틱 군집 작용으로 통합하며, AMM-군집이 통합된 보존형 심플렉틱 군집임을 확인한다.
• 디라크 감소를 적용하여 감소된 파동 공간을 구성하며, 고전적 및 퀀티즈-포아송 감소 정리와의 호환성을 보여준다.
• G × G 위의 표준 보존형 구조(AMM-군집)를 사용하여 G 위의 카르탕-디라크 구조의 통합을 실현한다.

실험 결과

연구 질문

• RQ1 운동량 매핑의 개념은 파동 기하학을 넘어서 디라크 구조의 맥락에서 어떻게 일반화될 수 있는가?
• RQ2 퀘이즈-포아송 $\mathfrak{g}$-다양체와 리군 위의 비틀린 디라크 구조 사이의 정확한 관계는 무엇인가?
• RQ3 디라크 실현은 어떻게 전역 작용으로 통합되며, 그것으로부터 어떤 종류의 군집 작용이 유도되는가?
• RQ4 퀘이즈-포아송 다양체의 감소는 디라크 기하학적 프레임워크 내에서 통일적으로 기술될 수 있는가?
• RQ5 비틀린 디라크 구조와 퀀티즈-포아송 이차벡터를 연결하는 데서 '역행성' 절차의 역할은 무엇인가?

주요 결과

• 단순 연결된 리군 $G$ 위의 카르탕-디라크 구조에 대한 완전한 디라크 실현과 해밀턴형 퀀티즈-포아송 $G$-다양체 사이에는 일대일 대응이 존재한다.
• 역행성 절차는 $G$ 위의 비틀린 디라크 구조와 다양체 위의 퀀티즈-포아송 이차벡터 사이의 이중성을 수립하며, 비퇴화 케이스에서 [2, Thm. 10.3]의 대응을 복원한다.
• 카르탕-디라크 구조를 통합하는 표준 보존형 군집은 특정 $\phi^G$-비틀림 2형식을 지닌 AMM-군집 $G \ltimes G$ 와 동형이다.
• 완전한 디라크 실현 $J: M \to G$ 의 디라크 감소는 파동 공간 $J^{-1}(g)/G_g$ 를 유도하며, 이는 퀀티즈-포아송 감소로 얻어진 공간과 정확히 일치한다.
• 완전한 디라크 실현과 관련된 전역 작용은 국소적 퀀티즈-포아송 $\mathfrak{g}$-작용을 통합하며, 이로 인해 $M$ 이 $J$ 를 군값 운동량 매핑으로 갖는 해밀턴형 퀀티즈-포아송 $G$-다양체가 된다.
• 이 프레임워크는 다양한 감소 정리들을 통합한다: $M = \mathfrak{g}^*$ 일 때 마르스든-우이트니 감소를 복원하고, $M = G^*$ 일 때 루의 감소를 복원하며, $M = G$ 일 때 퀀티즈-해밀턴 감소를 복원한다.