[논문 리뷰] L-infinity algebras and higher analogues of Dirac structures and Courant algebroids

Marco Zambon|arXiv (Cornell University)|2010. 03. 04.

Homotopy and Cohomology in Algebraic Topology참고 문헌 30인용 수 7

한 줄 요약

이 논문은 $L_∞$-대수를 사용하여 딜라크 구조와 코르앙트 대수의 고차원 일반화를 도입하며, 정규 고차 딜라크 구조가 분할과 미분형식에 대응하고 멀티-딜라크 구조와 동치임을 보여준다. 이 구조들에 대한 관측가의 $L_∞$-대수를 구성하고, 게츠러의 구성법을 통해 닫힌 형식으로부터 유도되는 $L_∞$-대수들과 연관지켜, 이론물리학적 접근과 기하학적 접근을 통합한다.

ABSTRACT

We define a higher analogue of Dirac structures on a manifold M. Under a regularity assumption, higher Dirac structures can be described by a foliation and a (not necessarily closed, non-unique) differential form on M, and are equivalent to (and simpler to handle than) the Multi-Dirac structures recently introduced in the context of field theory by Vankerschaver, Yoshimura and Marsden. We associate an L-infinity algebra of "observables" to every higher Dirac structure, extending work of Baez, Hoffnung and Rogers on multisymplectic forms. Further, applying a recent result of Getzler, we associate an L-infinity algebra to any manifold endowed with a closed differential form H, via a "higher analogue of Courant algebroid twisted by H". Finally, we study the relations between the L-infinity algebras appearing above.

연구 동기 및 목표

• 고차 딜라크 구조와 코르앙트 대수의 $L_\infty$-대수를 통한 일반화를 정의한다.
• 정규 고차 딜라크 구조가 분할과 미분형식에 의해 동치임을 보이며, 멀티-딜라크 구조를 단순화한다.
• 고차 딜라크 구조에 대한 관측가의 $L_\infty$-대수를 구성하고, 다중심플렉틱 관측가를 일반화한다.
• 이러한 $L_\infty$-대수들이 게츠러의 구성법을 통해 닫힌 형식으로부터 유도되는 $L_\infty$-대수들과 어떻게 연관되는지 규명한다.
• 고차 딜라크 대수와 분할 코르앙트 대수에서 유도된 $L_\infty$-대수들 간의 대수적·기하학적 관계를 명확히 한다.

제안 방법

• 다른 대수적 구조를 고려하기 위해, $E^p = TM \oplus \wedge^p T^*M$ 를 정의하고, $\wedge^{p-1}T^*M$-값을 갖는 쌍선형 형식과 그의 단위에서의 브라켓을 정의하여 분할 코르앙트 대수의 고차 일반화를 만든다.
• 고차 딜라크 구조를 $E^p$의 최대 자기수직이고, 닫혀 있는 부분다발로 정의하며, 특히 라그랑주 부분다발에 초점을 맞춘다.
• 정규 고차 딜라크 구조가 분할 $S \subset TM$ 과 미분형식 $\Omega \in \wedge^2 S^* \otimes \wedge^{p-1}T^*M$ 로 특징지어지며, $\wedge^{p+1}T^*M$로 확장됨을 보이며, 자연적인 대응관계를 통해 이를 증명한다.
• 다중심플렉틱 형식에 대한 베이즈-호프닝-로저스의 작업을 일반화하기 위해, 유도 브라켓 구성법을 사용하여 고차 딜라크 구조에서 관측가의 $L_\infty$-대수를 구성한다.
• 게츠러의 결과를 적용하여, 임의의 닫힌 미분형식 $H$를 가진 다양체에 대해, $H$에 의해 휘어진 고차 분할 코르앙트 대수의 일반화를 통해 $L_\infty$-대수를 연결한다.
• 고차 딜라크 구조에서 유도된 $L_\infty$-대수들과 휘어진 분할 코르앙트 대수에서 유도된 $L_\infty$-대수들 간의 관계를 분석하며, 유사점과 차이점을 규명한다.

실험 결과

연구 질문

• RQ1 어떻게 $L_\infty$-대수와 다중심플렉틱 기하학을 사용하여 딜라크 구조를 고차원으로 일반화할 수 있는가?
• RQ2 정규 고차 딜라크 구조는 분할과 미분형식과 같은 기존의 기하학적 자료로 어떻게 특징지어지는가?
• RQ3 정규 경우에 고차 딜라크 구조는 멀티-딜라크 구조와 동치인가? 만약 그렇다면, 이는 이론물리학적 기술을 어떻게 단순화하는가?
• RQ4 고차 딜라크 구조에서 관측가의 $L_\infty$-대수는 어떻게 유도되며, 다중심플렉틱 형식에서 유도된 리 $p$-대수를 어떻게 일반화하는가?
• RQ5 고차 딜라크 구조에서 유도된 $L_\infty$-대수와 휘어진 코르앙트 대수에서 유도된 $L_\infty$-대수들 사이의 관계는 무엇인가?

주요 결과

• 정규 고차 딜라크 구조는 분할 $S \subset TM$ 과 미분형식 $\Omega \in \wedge^2 S^* \otimes \wedge^{p-1}T^*M$ 로 완전히 특징지어지며, 이는 $\wedge^{p+1}T^*M$의 원소로 확장되며, 구체적인 기하학적 모델을 제공한다.
• 정규 경우에 고차 딜라크 구조는 멀티-딜라크 구조와 동치이며, 이는 본 연구와 비자발적 제약 시스템의 이론물리학적 기술 간의 직접적인 연결을 확립한다.
• 모든 고차 딜라크 구조에 대해 관측가의 $L_\infty$-대수가 구성되며, 다중심플렉틱 기하학에서의 리 $p$-대수의 관측가를 일반화한다.
• 닫힌 미분형식 $H$를 가진 임의의 다양체에 대해, $H$에 의해 휘어진 고차 분할 코르앙트 대수의 일반화를 통해 $L_\infty$-대수가 연결되며, 로이텐베르크-웨인스타인의 구성법을 일반화한다.
• 고차 딜라크 구조에서 유도된 $L_\infty$-대수들과 휘어진 분할 코르앙트 대수에서 유도된 $L_\infty$-대수들 간에 자연스러운 준동형사상이 존재하며, 더 깊은 대수적 통합을 시사한다.