[논문 리뷰] Courant morphisms and moment maps

Henrique Bursztyn, David Iglesias Ponte외 1명|ArXiv.org|2008. 01. 10.

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

한 줄 요약

이 논문은 코르누아 대수다발 $E$ 와 그의 딜라크 구조 $A \subset E$ 로 이루어진 만린 쌍 $(E, A)$ 에 대해, 코르누아 사상(모르피즘)을 사용하여 내재적인 해밀턴 공간의 개념을 도입한다. 이는 일관된 프레임워크를 제공하여, 쿼티-파우소와 딜라크 기하학적 접근법을 자연스럽게 복원하며, 함자적 대응을 통해 이 두 이론이 동치임을 증명한다. 주요 기여는 해밀턴 공간의 모멘트 맵 축소를 통해, 프레시미플렉틱과 쿼티-파우소 군oids 사이의 다리를 놓는 것이다.

ABSTRACT

We study Hamiltonian spaces associated with pairs (E,A), where E is a Courant algebroid and A\subset E is a Dirac structure. These spaces are defined in terms of morphisms of Courant algebroids with suitable compatibility conditions. Several of their properties are discussed, including a reduction procedure. This set-up encompasses familiar moment map theories, such as group-valued moment maps, and it provides an intrinsic approach from which different geometrical descriptions of moment maps can be naturally derived. As an application, we discuss the relationship between quasi-Poisson and presymplectic groupoids.

연구 동기 및 목표

• 비의존적 데이터에 의존하지 않는, 만린 쌍 $(E, A)$ 에 대한 해밀턴 공간의 내재적, 데이터 독립적 기술을 제공한다.
• 두 개별 기하학적 기술인 쿼티-파우소 작용과 동차 공간으로의 딜라크 사상에 대한 모멘트 맵 이론을 통합한다.
• 쿼티-파우소 기하학과 딜라크 기하학에서의 해밀턴 공간 간의 함자적 대응을 수립한다.
• 해밀턴 공간의 모멘트 맵 축소를 통해 프레시미플렉틱 군oids와 쿼티-파우소 군oids 사이의 다리를 구축한다.
• 코르누아 대수다발 사상과 지지 구조를 가진 딜라크 구조를 사용하여 모멘트 맵 이론을 일반화한다.

제안 방법

• 해밀턴 공간을 삼중체 $(X, J, K)$ 로 정의한다. 여기서 $J: X \to S$ 는 모멘트 맵이며, $K$ 는 $(TX \oplus T^*X) \times E$ 위의 딜라크 구조로, $\mathrm{graph}(J)$ 에 지지되어 있으며, 만린 쌍 $(E, A)$ 와의 호환성을 만족한다.
• 만린 쌍의 사상들을 사용하여 해밀턴 공간의 개념을 형식화함으로써, 쿼티-파우소와 딜라크 기하학적 프레임워크를 일반화한다.
• 리 쿼티-바이알지브로이드의 이중체에 이 이론을 적용하여, 해밀턴 쿼티-파우소 공간을 복원한다.
• 폐쇄된 3형식에 의해 정의된 코르누아 대수다발에 대해 이 이론을 적용하여, 강력한 딜라크 사상에 의한 해밀턴 공간을 복원한다.
• 해밀턴 공간의 모멘트 맵 축소를 통해 프레시미플렉틱 군oids와 쿼티-파우소 군oids 간의 대응을 구축한다.
• 딜라크 구조의 적분을 리 군oids $\mathcal{G}$ 로 수행하고, 유도된 이중장 필드 $\Pi_{\mathcal{G}}$ 가 리 쿼티-바이알지브로이드의 승법적 쿼티-파우소 구조와 일치함을 보인다.

실험 결과

연구 질문

• RQ1 추가 기하학적 자료에 의존하지 않고, 만린 쌍에 대한 통합적이고 내재적인 해밀턴 공간의 개념을 정의할 수 있는가?
• RQ2 쿼티-파우소와 딜라크 기하학적 모멘트 맵 이론 간의 동치성은 개념적으로 어떻게 설명될 수 있는가?
• RQ3 모멘트 맵과 축소를 통해 프레시미플렉틱 군oids와 쿼티-파우소 군oids 사이의 정확한 관계는 무엇인가?
• RQ4 코르누아 사상과 곱공간 위의 딜라크 구조는 어떻게 해밀턴 작용을 코딩하는가?
• RQ5 딜라크 구조의 적분을 통해, 프레시미플렉틱 군oids로부터 쿼티-파우소 군oids를 자연스럽게 구성할 수 있는가?

주요 결과

• 코르누아 사상과 $X \times S$ 위의 딜라크 구조를 통한 만린 쌍 $(E, A)$ 에 대한 해밀턴 공간의 내재적 개념이 정의되어, 모멘트 맵 이론의 통합적 프레임워크를 제공한다.
• 만린 쌍 $(E, A)$ 에 대한 해밀턴 공간의 범주가 보조 선택에 관계없이 쿼티-파우소 기하학적 범주와 딜라크 기하학적 범주와 서로 이sovolumetric하다. 이는 두 이론 간의 동치성을 설명한다.
• 만약 $E = A \oplus A^*$ 가 리 쿼티-바이알지브로이드의 이중체일 경우, 해밀턴 공간은 정확히 해밀턴 쿼티-파우소 공간과 대응된다.
• 만약 $E = TS \oplus T^*S$ 이고 3형식이 폐쇄되어 있을 경우, 해밀턴 공간은 $S$ 로의 강력한 딜라크 사상에 의한 해밀턴 공간과 대응된다.
• 이 구성은 프레시미플렉틱 군oids와 쿼티-파우소 군oids 간의 함자적 대응을 제공하며, 그들의 모멘트 맵 구조를 명시적으로 연결한다.
• 적분된 군oids $\mathcal{G}$ 상에서의 쿼티-파우소 이중장 필드 $\Pi_{\mathcal{G}}$ 는 리 쿼티-바이알지브로이드에서 유도된 승법적 이중장 필드와 일치하며, 이는 구성의 일관성을 입증한다.