[논문 리뷰] A construction of Courant algebroids on foliated manifolds

Izu Vaisman|arXiv (Cornell University)|2010. 03. 01.

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

한 줄 요약

이 논문은 매니폴드 $ (M,\mathcal{F}) $ 위의 폴로노미아르 구조 $ \mathcal{F} $ 와 그 위의 횡단-Courant 대수다발 $ E $ 에 대해, 고정된 분해 $ TM = T\mathcal{F} \oplus Q $ 를 이용하여 직접합 $ T\mathcal{F} \oplus T^{*}\mathcal{F} \oplus E $ 에 Courant 대수다발의 구조를 구성한다. 이 구성은 횡단 구조를 전체 폴로노미아르 Courant 대수다발로 확장하며, 꼬임 brackets 및 앵커의 정의를 신중히 하여 공리들을 유지한다. 핵심 결과는 분해에 의해 유도되는 동형사상들을 통한 폴로노미아르 환경으로의 Courant 대수다발의 체계적 확장이다.

ABSTRACT

For any transversal-Courant algebroid $E$ on a foliated manifold $(M,\mathcal{F})$, and for any choice of a decomposition $TM=T\mathcal{F}\oplus Q$, we construct a Courant algebroid structure on $T\mathcal{F}\oplus T^*\mathcal{F}\oplus E$.

연구 동기 및 목표

• 폴로노미아르 매니폴드에 대한 Courant 대수다발의 프레임워크를 확장하기 위해 횡단-Courant 대수다발에서 폴로노미아르 Courant 대수다발을 구성하는 것.
• Courant 대수다발의 개념을 매니폴드를 초월하여 폴로노미아르의 잎집합 공간으로 일반화하는 것.
• 분해 $ TM = T\mathcal{F} \oplus Q $ 를 선택하여 $ T\mathcal{F} \oplus T^{*}\mathcal{F} \oplus E $ 위에 Courant 대수다발의 시스템적 구성 제공.
• 결과로 얻어진 구조가 모든 Courant 대수다발 공리, 특히 자코비 항등식과 앵커 및 계량과의 호환성 등을 만족하는지 확인하는 것.

제안 방법

• 고정된 분해 $ TM = T\mathcal{F} \oplus Q $ 를 사용하여 $ T^{*}M = Q^{*} \oplus F^{*} $ 로의 분해를 유도하며, 여기서 $ F = T\mathcal{F} $.
• 표준 Courant bracket을 $ T^{big}\mathcal{F} = F \oplus (T^{*}M / \text{ann}\,F) $ 에 적용하고 $ E $ 의 bracket과 조합하여 $ T\mathcal{F} \oplus T^{*}\mathcal{F} \oplus E $ 위에 Courant 대수다발의 구조를 정의.
• 앵커는 $ T\mathcal{F} $ 로의 사영으로 정의되며, 계량은 $ T^{big}\mathcal{F} $ 위의 자연스러운 쌍대성과 $ E $ 의 계량에서 유도된다.
• 전체 다발 위의 bracket은 $ T^{big}\mathcal{F} $ 의 Courant bracket과 $ E $ 의 bracket의 조합으로 정의되며, 리 도함수와 미분을 포함한 교차항이 포함된다.
• 이 구조는 $ \Phi = \text{id} \oplus {}^{t}\iota $ 의 동형사상에 의해 $ T^{big}\mathcal{F} $ 에서 $ F \oplus \text{ann}\,Q $ 로 Courant 구조를 이전함으로써 폴로노미아르 구조와의 호환성을 확보한다.
• 공리들은 사례별로 검증되며, 특히 자코비 항등식(공리 3)에 대해 $ \partial_E f = \frac{1}{2} \sharp_E e(f) $ 와 리 도함수의 곱의 법칙을 이용한다.

실험 결과

연구 질문

• RQ1 폴로노미아르 매니폴드 위의 횡단-Courant 대수다발은 어떻게 전체 폴로노미아르 Courant 대수다발로 확장될 수 있는가?
• RQ2 분해 $ TM = T\mathcal{F} \oplus Q $ 의 선택이 $ T\mathcal{F} \oplus T^{*}\mathcal{F} \oplus E $ 에서 일관된 Courant 대수다발의 구조를 구성하는 데 어떤 역할을 하는가?
• RQ3 표준 Courant 대수다발 공리들은 횡단 구조 $ E $ 와 잎집합의 빅 탄젠트 다발 $ T^{big}\mathcal{F} $ 를 조합할 때 유지될 수 있는가?
• RQ4 bracket 안의 리 도함수와 미분 항목들이 확장된 구조에서 자코비 항등식을 유지하는 데 어떻게 상호작용하는가?
• RQ5 결과로 얻어진 Courant 대수다발은 분할 $ Q $ 의 선택에 의존하는가, 아니면 독립적인가?

주요 결과

• 임의의 횡단-Courant 대수다발 $ E $ 와 분해 $ TM = T\mathcal{F} \oplus Q $ 의 선택에 대해 $ T\mathcal{F} \oplus T^{*}\mathcal{F} \oplus E $ 위에 잘 정의된 Courant 대수다발을 얻는다.
• 결과로 얻어진 Courant 대수다발의 앵커는 $ T\mathcal{F} $ 로의 사영이며, 계량은 $ T^{big}\mathcal{F} $ 의 자연스러운 쌍대성과 $ E $ 의 계량에서 유도된다.
• 전체 다발 위의 bracket은 $ T^{big}\mathcal{F} $ 의 Courant bracket과 $ E $ 의 bracket을 조합하여 정의되며, 리 도함수와 미분을 포함한 교차항이 포함된다.
• 공리 3(자코비 항등식)은 다루는 섹션의 유형에 따라 여섯 개의 케이스로 분해하고 각 케이스에서 등식이 성립함을 보여 검증된다.
• $ \partial $-사상의 상은 단위원이며, bracket이 그 위에 0으로 제한되므로 혼합 케이스에서 자코비 항등식의 검증이 단순화된다.
• 분해 $ TM = T\mathcal{F} \oplus Q $ 가 고정되어 있다면, 구성은 일관되며 분할 $ Q $ 의 선택에 영향을 받지 않는다.