[논문 리뷰] On higher-order Courant brackets

Yunhe Sheng|arXiv (Cornell University)|2010. 03. 09.

Homotopy and Cohomology in Algebraic Topology인용 수 7

한 줄 요약

이 논문은 $m$-차원 다양체에 대해 직합(bundle) $TM \oplus \wedge^nT^*M$ 위에 고차원 Courant 괄호를 도입하며, $(n+1)$-텐서장 $\pi$의 그래프가 괄호에 대해 닫혀 있는 것은 $\pi$가 Nambu-Poisson 구조임과 동치임을 증명한다. 이는 $\wedge^nT^*\!M$ 위에 Leibniz 대수다발을 유도한다. 유사하게, $(n+1)$-형식 $\omega$의 그래프가 닫혀 있는 것은 $\omega$가 순수다중시멘트릭 구조임과 동치이며, 이는 $\wedge^nT^*\!M$의 적절한 부분다발 $A \subset \wedge^nT^*\!M$ 위에 Lie 대수다발을 유도한다. 2-플렉시티 구조는 Baez 등이 제시한 Lie 2대수를 유도한다.

ABSTRACT

In this paper, we study the algebraic properties of the higher analogues of Courant algebroid structures on the direct sum bundle $TM\oplus\wedge^nT^*M$ for an $m$-dimensional manifold. As an application, we revisit Nambu-Poisson structures and multisymplectic structures. We prove that the graph of an $(n+1)$-vector field $\pi$ is closed under the higher-order Dorfman bracket iff $\pi$ is a Nambu-Poisson structure. Consequently, there is an induced Leibniz algebroid structure on $\wedge^nT^*M$. The graph of an $(n+1)$-form $\omega$ is closed under the higher-order Dorfman bracket iff $\omega$ is a premultisymplectic structure of order $n$, i.e. $\dM\omega=0$. Furthermore, there is a Lie algebroid structure on the admissible bundle $A\subset\wedge^{n}T^*M$. In particular, for a 2-plectic structure, it induces the Lie 2-algebra structure given in \cite{baez:classicalstring}.

연구 동기 및 목표

• 고차원 Courant 대수다발의 구조를 $m$-차원 다양체에 대해 $TM \oplus \wedge^nT^*M$ 위에 고차원 유사체로 일반화한다.
• 고차 Dorfman 괄호가 $(n+1)$-텐서장의 그래프 위에서 닫혀지는 대수적 조건을 명확히 한다.
• $(n+1)$-벡터장 $\pi$의 그래프가 닫혀 있는 것과 Nambu-Poisson 구조 사이의 대응관계를 확립한다.
• 고차 구조를 $(n+1)$-형식으로 확장하여, 순수다중시멘트릭 구조가 그래프 닫힘 조건임을 규명한다.
• 2-플렉시티 형식에 의해 유도되는 Lie 2대수와 같은 알려진 구조들을 유도된 Lie 대수다발의 구조를 통해 복원한다.

제안 방법

• Schouten-Nijenhuis 괄호와 수축 연산을 사용하여 $TM \oplus \wedge^nT^*M$ 다발 위에 고차원 Dorfman 괄호를 정의한다.
• $(n+1)$-벡터장 $\pi$의 그래프가 고차 Dorfman 괄호에 대해 닫혀 있는지 분석한다.
• 닫힘 조건이 성립함과 동시에 $\pi$가 Nambu-Poisson 조건을 만족함을 증명한다. 즉, Schouten-Nijenhuis 괄호 $[\pi, \pi]_{SN} = 0$ 이다.
• $(n+1)$-형식 $\omega$에 대해 $\mathrm{d}_M\omega = 0$ 조건을 도입함으로써 순수다중시멘트릭 구조의 개념을 정의한다. 여기서 $\mathrm{d}_M$은 de Rham 미분이다.
• $\omega$와의 수축의 핵을 통해 유도된 $A \subset \wedge^nT^*M$의 적절한 부분다발을 구성하며, 이는 Lie 대수다발의 구조를 상속한다.
• $n=2$인 경우, 다발 $A$ 위에 유도된 Lie 대수다발의 구조가 고전적 끈 이론의 맥락에서 Baez 등이 이전에 구성한 Lie 2대수의 구조를 복원함을 보여준다.

실험 결과

연구 질문

• RQ1 고차 Dorfman 괄호가 $TM \oplus \wedge^nT^*M$ 위에서 $(n+1)$-벡터장 $\pi$의 그래프에 대해 닫혀지는 조건은 무엇인가?
• RQ2 $(n+1)$-형식 $\omega$의 그래프가 닫혀 있는 것은 다중시멘트릭 또는 순수다중시멘트릭 형식과 같은 기하학적 구조와 어떻게 관련이 있는가?
• RQ3 고차 Dorfman 괄호에 대해 $(n+1)$-텐서장의 그래프가 닫혀 있을 경우 $\wedge^nT^*M$ 위에 어떤 대수적 구조가 유도되는가?
• RQ4 고차 Courant 괄호 프레임워크는 2-플렉시티 형식의 경우 기존에 알려진 Lie 2대수를 복원할 수 있는가?
• RQ5 Nambu-Poisson 구조와 $\wedge^nT^*M$ 위의 Leibniz 대수다발의 구조 사이의 정확한 관계는 무엇인가?

주요 결과

• $(n+1)$-벡터장 $\pi$의 그래프는 고차 Dorfman 괄호에 대해 닫혀 있는 것과 동시에 $\pi$가 Nambu-Poisson 구조임이 동치이다.
• 이 닫힘 조건은 다발 $\wedge^nT^*\!M$ 위에 Leibniz 대수다발의 구조를 유도한다.
• $(n+1)$-형식 $\omega$의 그래프는 고차 Dorfman 괄호에 대해 닫혀 있는 것과 동시에 $\omega$가 순수다중시멘트릭 구조의 순서 $n$임이 동치이며, 즉 $\mathrm{d}_M\omega = 0$ 이다.
• 이러한 순수다중시멘트릭 $\omega$에 대해, $\wedge^nT^*\!M$의 부분다발 $A \subset \wedge^nT^*\!M$가 존재하며, 이는 Lie 대수다발의 구조를 지닌다.
• $n=2$인 경우, $A$ 위에 유도된 Lie 대수다발의 구조는 고전적 끈 이론의 맥락에서 Baez 등이 이전에 구성한 Lie 2대수의 구조를 복원한다.
• 이 프레임워크는 고전적 Courant 대수다발 이론을 고차원 텐서장과 형식으로 일반화하며, Nambu-Poisson 기하학과 다중시멘트릭 기하학을 하나의 괄호 형식론으로 통합한다.