[论文解读] Courant Algebroids in Parabolic Geometry

Stuart Armstrong, Rongmin Lu|arXiv (Cornell University)|Dec 29, 2011

Homotopy and Cohomology in Algebraic Topology参考文献 21被引用 4

一句话总结

本文证明，在抛物几何中，伴随扭量丛（即主 $P$-丛的阿蒂yah代数）若且仅若 $P$ 是半单李群 $G$ 的抛物子群，则自然地携带一个预-考朗代数结构。关键贡献在于将第一庞特里亚金类（以闭的4-形式表示）识别为括号成为考朗括号的拓扑障碍，从而将抛物几何与非精确的传递考朗代数丛联系起来，潜在应用于推广几何与T对偶性。

ABSTRACT

Let $p$ be a Lie subalgebra of a semisimple Lie algebra $g$ and $(G,P)$ be the corresponding pair of connected Lie groups. A Cartan geometry of type $(G,P)$ associates to a smooth manifold $M$ a principal $P$-bundle and a Cartan connection, and a parabolic geometry is a Cartan geometry where $P$ is parabolic. We show that if $P$ is parabolic, the adjoint tractor bundle of a Cartan geometry, which is isomorphic to the Atiyah algebroid of the principal $P$-bundle, admits the structure of a (pre-)Courant algebroid, and we identify the topological obstruction to the bracket being a Courant bracket. For semisimple $G$, the Atiyah algebroid of the principal $P$-bundle associated to the Cartan geometry of $(G,P)$ admits a pre-Courant algebroid structure if and only if $P$ is parabolic.

研究动机与目标

• 识别抛物几何中非精确传递考朗代数丛的自然出现。
• 确定主 $P$-丛的阿蒂yah代数成为预-考朗代数丛的充要条件。
• 隔离括号成为考朗括号的拓扑障碍，证明其由闭的4-形式表示。
• 将构造推广至非正则与非正规的抛物几何，消除先前工作中存在的技术假设。
• 将抛物几何的结构与推广复几何及T对偶性的更广泛框架联系起来。

提出的方法

• 将伴随扭量丛 $\mathcal{A}M$ 构造为类型为 $(G,P)$ 的Cartan几何中主 $P$-丛的阿蒂yah代数。
• 利用Cartan联络将 $\mathcal{A}M$ 与阿蒂yah序列联系起来，建立其与 $T\mathcal{P}/P$ 的同构。
• 应用 Ševera、Bressler 及 Chen 等人的框架，推导 $\mathcal{A}M$ 上的括号并分析其性质。
• 识别 $\mathcal{A}M$ 上的度量与锚映射结构，以确定其何时满足预-考朗代数丛的公理。
• 证明括号满足考朗括号公理当且仅当子代数 $\mathfrak{p} \subset \mathfrak{g}$ 为抛物子代数，障碍由第一庞特里亚金类编码。
• 利用表示理论与Killing形式证明 $\mathfrak{p}$ 在 $\mathfrak{g}$ 中的余共轭性等价于 $\mathfrak{p}$ 为抛物子代数。

实验结果

研究问题

• RQ1 在Cartan几何中，主 $P$-丛的阿蒂yah代数在何种条件下可赋予预-考朗代数丛结构？
• RQ2 阻止伴随扭量丛上的括号成为考朗括号的拓扑障碍是什么？
• RQ3 阿蒂yah代数的第一庞特里亚金类在抛物几何背景下如何体现？
• RQ4 能否在不假设正则性或正规性的情况下，系统地从抛物几何构造非精确传递考朗代数丛？
• RQ5 在 $\mathfrak{g}$ 中 $\mathfrak{p}$ 的余共轭性与 $P$ 的抛物性之间有何关系？

主要发现

• 在类型为 $(G,P)$ 的Cartan几何中，主 $P$-丛的阿蒂yah代数具有预-考朗代数丛结构，当且仅当 $P$ 是 $G$ 的抛物子群。
• 括号成为考朗括号的障碍由第一庞特里亚金类表示，即底流形 $M$ 上的一个闭的4-形式。
• 伴随扭量丛 $\mathcal{A}M$ 同构于阿蒂yah代数 $T\mathcal{P}/P$，并自然继承一个李代数丛结构。
• $\mathcal{A}M$ 的结构嵌入于考朗扩张序列 $0 \to T^*M \to \mathcal{A}M \to T\mathcal{G}_0/G_0 \to 0$ 中，将其与子群 $G_0 \leq P$ 的阿蒂yah序列联系起来。
• $\mathfrak{g}$ 中子代数 $\mathfrak{p}$ 关于Killing形式的余共轭性等价于 $\mathfrak{p}$ 为抛物子代数。
• 结果在不假设抛物几何的正则性或正规性下依然成立，推广了阿姆斯特朗早期未发表的工作。