[论文解读] Courant algebroids: Cohomology and Matched Pairs

Melchior Grützmann|arXiv (Cornell University)|Apr 9, 2010

Advanced Topics in Algebra参考文献 2被引用 6

一句话总结

本文利用graded和supergeometric方法，为Courant代数胚建立了一个上同调框架，通过一个幂零奇数算子构造了derived bracket。它证明了Stiénon和Xu关于具有分裂基的正则Courant代数胚上同调的猜想，并引入了Courant代数胚的匹配对概念，表明平坦标准Courant代数胚可分解为扭曲Courant代数胚与李代数胚的匹配和。

ABSTRACT

We introduce Courant algebroids, providing definitions, some historical notes, and some elementary properties. Next, we summarize basic properties of graded manifolds. Then, drawing on the work of Roytenberg and others, we introduce the graded or supergraded language demonstrating a cochain complex / cohomology for (general) Courant algebroids. We review spectral sequences and show how this tool is used to compute cohomology of regular Courant algebroids with a split base. Finally we analyze matched pairs of Courant algebroids including the complexified standard Courant algebroid of a complex manifold, the matched pair arising from a holomorphic Courant algebroid, and certain cases of regular Courant algebroids.

研究动机与目标

• 使用graded和supergeometric技术，为一般Courant代数胚发展上同调理论。
• 利用谱序列计算具有分裂基的正则Courant代数胚的上同调。
• 分析Courant代数胚的匹配对，特别是在复几何与广义复结构背景下的情形。
• 证明Stiénon和Xu关于正则Courant代数胚上同调的猜想。
• 建立平坦标准Courant代数胚分解为扭曲Courant代数胚与李代数胚的匹配和。

提出的方法

• 利用Roytenberg的derived bracket构造，通过graded辛流形上的三次函数$ H $编码Courant代数胚结构。
• 应用supergeometric语言定义Courant代数胚的上链复与上同调。
• 利用谱序列计算具有分裂基的正则Courant代数胚的上同调，利用基分裂诱导的filtration。
• 引入Courant代数胚匹配对的概念，推广李代数胚匹配对的概念。
• 通过联络与曲率形式构造匹配和上的Dorfman括号，给出括号分量的显式公式。
• 通过闭的3-形式$ H $定义扭曲Courant代数胚$ (F imes F^*)_{H} $，并展示其在匹配和分解中的作用。

实验结果

研究问题

• RQ1 如何利用谱序列计算具有分裂基的正则Courant代数胚的上同调？
• RQ2 何种条件可确保标准Courant代数胚分解为李代数胚与扭曲Courant代数胚的匹配和？
• RQ3 Dirac结构在Courant代数胚的匹配对下如何行为？
• RQ4 3-形式$ H $及其曲率$ abla abla H $在匹配对构造中起什么作用？
• RQ5 曲率$ \text{Ric}(H) $的平坦性以何种方式暗示匹配对分解的存在？

主要发现

• 本文利用谱序列证明了Stiénon和Xu关于具有分裂基的正则Courant代数胚上同调的猜想。
• 证明了平坦标准Courant代数胚$ E = F^* \times \frak{g} \times F $可分解为$ \frak{g} $与扭曲Courant代数胚$ (F \times F^*)_{H} $的匹配和，且给出了显式联络$ \nabla^{\to} $与$ \nabla^{\from} $。
• 当曲率4-形式$ \text{Ric}(H) $为零时，匹配和上的Dorfman括号与原始Courant代数胚上的括号一致。
• 该构造通过匹配对提供了广义复结构的几何实现，特别是在复流形的复化标准Courant代数胚中。
• 本文确认：Dirac结构的匹配对$ D_1 \times D_2 $是$ E_1 \times E_2 $中的Dirac结构，当且仅当联络$ \nabla^{\from} $与$ \nabla^{\to} $分别保持相应的Dirac子丛。
• 通过幂零奇数算子$ Q $的derived bracket形式化，为整个Courant代数胚结构（包括括号、锚映射与内积）提供了一个统一框架。