[논문 리뷰] Two Categories of Dirac Manifolds

Brett Milburn|arXiv (Cornell University)|2007. 12. 17.

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

한 줄 요약

이 논문은 일반화된 복소기하학 아래에서 파울리, 복소, 심플렉틱, 헬로모르픽 구조를 통합하는 두 가지 다른 유형의 딜라크 다양체—딜라크 사상과 쌍대-딜라크 사상—을 도입한다. 주요 기여는 호환 가능한 딜라크 구조를 갖는 리군으로서 딜라크 군과 일반화된 복소군을 특성화한 것으로, 이를 통해 파울리 군을 일반화하고 코우런트 대수다원과 B-변환을 통한 양자화의 프레임워크를 제공한다.

ABSTRACT

We define two categories of Dirac manifolds, i.e. manifolds with complex Dirac structures. The first notion of maps I call \emph{Dirac maps}, and the category of Dirac manifolds is seen to contain the categories of Poisson and complex manifolds as full subcategories. The second notion, \emph{dual-Dirac maps}, defines a \emph{dual-Dirac category} which contains presymplectic and complex manifolds as full subcategories. The dual-Dirac maps are stable under B-transformations. In particular we get two structures of a category on Hitchin'sgeneralized complex manifolds, i.e., two reasonable notions of generalized complex maps. We also generalize further to get categories of Dirac manifolds for which the Dirac structures lie in arbitrary exact Courant algebroids. As an example, we consider the case of a Lie group with a complex Dirac structure and establish conditions for which multiplication is a Dirac map.

연구 동기 및 목표

• 딜라크 사상과 쌍대-딜라크 사상을 사용하여 파울리 기하학과 복소기하학을 통합하는 두 가지 새로운 딜라크 다양체 유형을 정의한다.
• 호환 가능한 딜라크 구조를 갖는 리군으로서 딜라크 군과 일반화된 복소군을 도입하여 파울리 군을 일반화한다.
• 군의 곱셈이 정확한 코우런트 대수다원의 맥락에서 딜라크 또는 쌍대-딜라크 사상이 되는 조건을 설정한다.
• B-장과 H-플럭스를 사용하여 날카로운 딜라크 구조로 이론을 확장하고, 날카로운 파울리 군을 일반화한다.
• 정확한 코우런트 대수다원과 버텍스 대수다원을 통한 아핀 리 대수의 표현 이론과의 연결 고리를 탐색한다.

제안 방법

• 일반화된 복소구조를 유지하는 사상으로서 딜라크 사상을 정의하여, 파울리 및 헬로모르픽 사상의 일반화를 수행한다.
• B-변환에 대해 안정적인 심플렉틱과 복소 사상을 통합하는 쌍대-딜라크 사상을 도입한다.
• 코우런트 괄호와 $\mathcal{V}_M = TM \oplus T^*M$ 위의 일반화된 거의 복소구조를 사용하여 적합성 조건을 정의한다.
• G-불변 이상 $E \subset \mathfrak{g}_{\mathbb{C}}$ 와 단면 $\varepsilon \in \Gamma(G, \wedge^2 \tilde{E})$ 를 통해 딜라크 군을 특성화한다.
• B-변환을 적용하여 딜라크 구조를 날카로운 코우런트 대수다원과 연결하고, $\mu^*H = H \oplus H + dB$ 를 유도하는 조건을 도출한다.
• 일반화된 리 대수 데이터로 문제를 단순화하기 위해 $\mathcal{V}_G$ 의 왼쪽-불변 표준형을 사용하며, $d_E\varepsilon = -H|_E$ 를 포함한다.

실험 결과

연구 질문

• RQ1 파울리 기하학과 복소기하학을 통합하는 딜라크 다양체 간의 사상이 되는 조건은 무엇인가?
• RQ2 일반화된 복소기하학 내에서 딜라크 군은 파울리 군의 일반화로 어떻게 특성화될 수 있는가?
• RQ3 B-변환이 쌍대-딜라크 범주를 안정화하고 정확한 코우런트 대수다원으로 이론을 확장하는 데 어떤 역할을 하는가?
• RQ4 H-플럭스가 존재하는 맥락에서 어떤 조건에서 리군의 곱셈 사상이 쌍대-딜라크 사상이 되는가?
• RQ5 일반화된 복소군은 헬로모르픽 파울리 군과 어떻게 관련되어 있으며, 양자화에서 그들의 의미는 무엇인가?

주요 결과

• 딜라크 사상은 파울리 다양체와 복소 다양체를 완전히 포함하는 범주를 형성하며, 이러한 구조들을 통합하는 프레임워크를 제공한다.
• 쌍대-딜라크 사상은 심플렉틱 다양체와 복소 다양체를 완전히 포함하는 범주를 형성하며, B-변환에 대해 안정적이다.
• 리군 $G$ 는 $G$-불변 이상 $E \subset \mathfrak{g}_{\mathbb{C}}$, 단면 $\varepsilon \in \Gamma(G, \wedge^2 \tilde{E})$, 그리고 특정 변환 및 적합성 조건을 만족하는 2형식 $B$ 를 갖는 경우에만 딜라크 군이 된다.
• 일반화된 복소군의 경우, $d_E\varepsilon = -H|_E$ 를 만족하면 구조 $D = L(E, \varepsilon)$ 는 적합하며, 이러한 군은 헬로모르픽 파울리 군과 동치이다.
• G 가 단순형일 경우 가능한 유일한 $\varepsilon$ 는 0이며, $B$ 는 $\pi_1^*\omega \oplus \pi_2^*\omega$ 의 형태여야 하며, $\omega|_E = 0$ 이다.
• $\mu^*H = H \oplus H + dB$ 라는 조건은 곱셈이 쌍대-딜라크 범주 내의 사상임을 보장하며, 적합성에는 $[\beta, \beta] = \beta_\sharp H$ 가 필요하다.