[논문 리뷰] Dirac geometry, quasi-Poisson actions and D/G-valued moment maps

Henrique Bursztyn, Marius Crainic|ArXiv.org|2007. 10. 02.

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

한 줄 요약

이 논문은 Dirac 기하학과 준-파우소 기하학—이전에는 별개의 접근으로 여겨졌지만—동일한 카테고리의 해밀턴 공간을 유도한다는 것을 보여줌으로써 $D/G$-값을 가진 순간 맵에 대한 통합된 프레임워크를 수립한다. 이는 Manin 쌍 $(\mathfrak{d},\mathfrak{g})$ 과 $D$ 상의 등방성 접속에 기반한 두 형식론이, 해밀턴 공간 카테고리 간의 자연스러운 동치를 통해 동치가 되는 이론을 증명한다.

ABSTRACT

We study Dirac structures associated with Manin pairs (\d,\g) and give a Dirac geometric approach to Hamiltonian spaces with D/G-valued moment maps, originally introduced by Alekseev and Kosmann-Schwarzbach in terms of quasi-Poisson structures. We explain how these two distinct frameworks are related to each other, proving that they lead to isomorphic categories of Hamiltonian spaces. We stress the connection between the viewpoint of Dirac geometry and equivariant differential forms. The paper discusses various examples, including q-Hamiltonian spaces and Poisson-Lie group actions, explaining how presymplectic groupoids are related to the notion of "double" in each context.

연구 동기 및 목표

• Dirac 기하학과 준-파우소 기하학이라는 두 개별 기하 프레임워크를 $D/G$-값을 가진 순간 맵에 대해 통합하기.
• G-값을 가진 순간 맵의 기하학적 기원을 설명하고, 비틀림이 가미된 2형식과 준-파우소 표현 간의 동치성을 밝히기.
• Dirac 및 준-파우소 설정에서 해밀턴 공간의 카테고리 간에 자연스러운 동치를 수립하기.
• 등방성 접속과 $G$-동치 코hom로 $D/G$-값을 가진 순간 맵을 구성하는 데서의 역할을 명확히 하기.
• 예비심플렉틱 군족과 이중 구조가 두 프레임워크 모두에서 자연스럽게 나타나며, 일반화된 기하학에서의 '이중' 개념과 연결됨을 보여주기.

제안 방법

• 군 쌍 $(D, G)$ 에 의해 통합된 Manin 쌍 $(\mathfrak{d}, \mathfrak{g})$ 에서, 복수의 $G$-다양체 $S = D/G$ 를 복수의 복수 작용을 통해 구성하기.
• 주 $G$- bundles $D \to D/G$ 상의 등방성 접속 $\theta \in \Omega^1(D, \mathfrak{g})$ 를 통해 $TS \oplus T^*S$ 상의 $\phi_S$-틀어진 Dirac 구조 $L_S \subset TS \oplus T^*S$ 정의하기.
• S 위의 자명한 $\mathfrak{d}$-벡터 번들(자명한 $\mathfrak{d}$-bundle)을 정확한 Courant 대수로 식별함으로써, $\theta$ 를 $TS \oplus T^*S$ 의 분할과 연결하기.
• 접속 $\theta$ 의 곡률로부터 $S$ 상의 닫힌 $G$-동치 3형식 $\phi_S$ 를 구성하여, Dirac 구조의 틀어짐을 정의하기.
• Dirac 다양체 $M$ 에서 $S$ 로의 사상 $J: M \to S$ 를 통해, $S$-값을 가진 순간 맵을 가진 해밀턴 공간 정의하기.
• 적합한 분할과 Manin 쌍의 선형대수를 사용하여, 두 형식론 간의 해밀턴 공간 카테고리 간의 함자적 동치를 통해 동치성을 증명하기.

실험 결과

연구 질문

• RQ1 해밀턴 공간 수준에서 Dirac 기하학적 접근과 준-파우소 기하학적 접근 간의 $D/G$-값을 가진 순간 맵은 어떻게 관련되어 있는가?
• RQ2 G-값을 가진 순간 맵의 비틀림이 가미된 2형식 표현과 준-파우소 표현 간의 동치성은 $D/G$-값을 가진 순간 맵으로 일반화될 수 있는가?
• RQ3 등방성 접속은 $D/G$ 상의 $\phi_S$-틀어진 Dirac 구조를 구성하는 데 어떤 역할을 하는가?
• RQ4 예비심플렉틱 군족과 이중 구조는 Dirac 및 준-파우소 프레임워크에서 어떻게 유도되는가?
• RQ5 두 형식론 간의 해밀턴 공간 카테고리 사이에 자연스러운 동치가 존재하는가?

주요 결과

• Dirac 및 준-파우소 프레임워크에서 $D/G$-값을 가진 순간 맵을 가진 해밀턴 공간의 카테고리는 서로 동치이다.
• 주 $G$- bundles $D \to D/G$ 상의 등방성 접속 $\theta$ 는 닫힌 $G$-동치 3형식 $\phi_S$ 와 $S = D/G$ 상의 $\phi_S$-틀어진 Dirac 구조 $L_S$ 를 유도한다.
• 접속 $\theta$ 가 유도하는 분할 아래에서 Dirac 구조 $L_S$ 는 부분다양체 $\mathfrak{g} \subset \mathfrak{d}_S = \mathfrak{d} \times S$ 와 대응된다.
• 두 형식론 간의 동치는 순간 맵 사상과 호환 조건을 유지하는 자연스러운 함자를 통해 확립된다.
• 이 이론은 $G$-값을 가진 순간 맵과 대칭공간 값의 순간 맵을 모두 $D/G$-값을 가진 순간 맵의 특수한 경우로 통합한다.
• 이 구성은 Dirac 기하학에서의 '이중' 개념(즉, $TS \oplus T^*S$ 를 통한)과 준-파우소 기하학에서의 '이중' 개념(행동의 리 대수구조를 통한)이 기하학적으로 동치임을 보여준다.