[论文解读] LA-Courant algebroids and their applications

David Li-Bland|arXiv (Cornell University)|Apr 12, 2012

Homotopy and Cohomology in Algebraic Topology参考文献 70被引用 23

一句话总结

本文引入了LA-Courant代数群作为Courant代数群的李代数群推广，其构造基于一个李代数的交叉模$(\mathfrak{g}, \mathfrak{h})$，其中存在一个$\mathfrak{g}$-等变同态$\delta: \mathfrak{h} \to \mathfrak{g}$，并满足Peiffer恒等式。主要贡献在于构造了一个二次李代数$\mathfrak{d} = \mathfrak{g} \ltimes \mathfrak{g}^*$，其作用于对偶空间$\mathfrak{h}^*$，从而通过仿射作用与对偶性实现了该代数结构的几何实现。

ABSTRACT

In this thesis we develop the notion of LA-Courant algebroids, the infinitesimal analogue of multiplicative Courant algebroids. Specific applications include the integration of q- Poisson (d, g)-structures, and the reduction of Courant algebroids. We also introduce the notion of pseudo-Dirac structures, (possibly non-Lagrangian) subbundles W \subseteq E of a Courant algebroid such that the Courant bracket endows W naturally with the structure of a Lie algebroid. Specific examples of pseudo-Dirac structures arise in the theory of q-Poisson (d, g)-structures.

研究动机与目标

• 通过李代数的交叉模引入李代数群结构（LA-Courant代数群），以推广Courant代数群。
• 研究二次李代数$\mathfrak{d} = \mathfrak{g} \ltimes \mathfrak{g}^*$在仿射空间$\mathfrak{h}^*$上的作用。
• 建立$\mathfrak{g}$在$\mathfrak{h}^*$上的反变作用与通过$\delta^*:\mathfrak{g}^* \to \mathfrak{h}^*$诱导的平移作用之间的相容性。
• 通过对偶性与等变性，为广义几何提供一个李理论框架。

提出的方法

• 构造一个李代数的交叉模$(\mathfrak{g}, \mathfrak{h})$，其中$\mathfrak{g}$作用于$\mathfrak{h}$，并存在一个$\mathfrak{g}$-等变同态$\delta: \mathfrak{h} \to \mathfrak{g}$，满足Peiffer恒等式。
• 定义对偶映射$\delta^*: \mathfrak{g}^* \to \mathfrak{h}^*$，使其在仿射空间$\mathfrak{h}^*$上赋予$\mathfrak{g}^*$平移作用。
• 构造半直积$\mathfrak{d} = \mathfrak{g} \ltimes \mathfrak{g}^*$，并赋予其二次李代数结构。
• 确保$\mathfrak{g}$在$\mathfrak{h}^*$上的反变作用与通过$\delta^*$诱导的$\mathfrak{g}^*$平移作用之间相容，使$\mathfrak{d}$作用于$\mathfrak{h}^*$。
• 利用$\delta$的等变性，保证$\mathfrak{h}^*$上作用的一致性。
• 借助对偶性与仿射几何，将代数结构嵌入广义几何的几何框架中。

实验结果

研究问题

• RQ1 如何通过李代数的交叉模导出的李代数群结构来推广Courant代数群？
• RQ2 对偶映射$\delta^*: \mathfrak{g}^* \to \mathfrak{h}^*$在定义仿射空间$\mathfrak{h}^*$上作用时起什么作用？
• RQ3 半直积$\mathfrak{d} = \mathfrak{g} \ltimes \mathfrak{g}^*$如何作用于$\mathfrak{h}^*$，且该作用保持何种结构？
• RQ4 Peiffer恒等式$\delta(\xi) \cdot \eta = [\xi, \eta]$对于$\xi, \eta \in \mathfrak{h}$如何确保$\mathfrak{h}^*$上作用的一致性？
• RQ5 如何形式化并验证反变$\mathfrak{g}$-作用与$\mathfrak{g}^*$-平移作用之间的相容性？

主要发现

• 二次李代数$\mathfrak{d} = \mathfrak{g} \ltimes \mathfrak{g}^*$通过映射$\delta^*$作用于仿射空间$\mathfrak{h}^*$，为代数结构提供了几何实现。
• $\mathfrak{g}^*$在$\mathfrak{h}^*$上的平移作用与$\mathfrak{g}$在$\mathfrak{h}^*$上的反变作用相容，确保了变换系统的统一性。
• $\delta: \mathfrak{h} \to \mathfrak{g}$的$\mathfrak{g}$-等变性确保了其在$\mathfrak{h}^*$上诱导的作用尊重李代数结构。
• 对于$\xi, \eta \in \mathfrak{h}$，Peiffer恒等式$\delta(\xi) \cdot \eta = [\xi, \eta]$是$\mathfrak{h}^*$上作用一致性的关键。
• 该构造在$\mathfrak{d}$上产生了一个明确定义的李代数群结构，其作用于$\mathfrak{h}^*$，通过交叉模推广了Courant代数群。
• 该框架通过双重性与仿射作用，为李理论与广义几何之间建立了新的代数-几何桥梁。