[论文解读] Deformation Theory of Courant Algebroids via the Rothstein Algebra

Frank Keller, Stefan Waldmann|arXiv (Cornell University)|Jul 3, 2008

Advanced Topics in Algebra参考文献 15被引用 4

一句话总结

本文通过两种等价的-2次分次泊松代数——复形 $\mathcal{C}^\bullet(\mathcal{E})$ 与罗斯坦代数 $\mathcal{R}^\bullet(\mathcal{E})$——构建了柯朗代数丛的代数形变理论。它在罗斯坦代数上建立了类似费多索夫的形变量子化，表明柯朗结构可通过星积形变为平方为零的元素，其形变障碍与经典理论中的上同调相同。主要贡献在于提出了一套与代数几何和奇异几何兼容的量子化框架。

ABSTRACT

In this paper we define Courant algebroids in a purely algebraic way and study their deformation theory by using two different but equivalent graded Poisson algebras of degree -2. First steps towards a quantization of Courant algebroids are proposed by employing a Fedosov like deformation quantization.

研究动机与目标

• 在纯粹代数框架下表述柯朗代数丛，独立于光滑流形，以支持奇异或轨道流形情形下的形变理论。
• 基于-2次分次泊松代数，发展类似于克雷尼克与莫尔杰克的李代数丛形变理论的柯朗代数丛形变理论。
• 通过类似费多索夫的构造，在罗斯坦代数上提出一种量子化程序，将经典形变理论与量子结构相联系。
• 证明形变障碍与量子化的无穷小量与经典形变复形中的完全一致，从而验证代数框架的有效性。

提出的方法

• 在交换单位代数 $\mathcal{A}$ 与有限生成投射 $\mathcal{A}$-模 $\mathcal{E}$ 上，代数地定义柯朗代数丛，并赋予非退化内积。
• 构造两个等价的-2次分次泊松代数：$\mathcal{C}^\bullet(\mathcal{E})$ 与 $\mathcal{R}^\bullet(\mathcal{E})$，其中满足 $[m,m]=0$ 的3次元素对应柯朗结构。
• 通过泊松单同态从 $\mathcal{C}^\bullet(\mathcal{E})$ 到 $\mathcal{R}^\bullet(\mathcal{E})$ 建立符号演算，该同态在光滑性假设下成为同构。
• 在罗斯坦代数 $\mathcal{R}^\bullet(\mathcal{L} \oplus \mathcal{L}')$ 上实现一种类似费多索夫的星积 $\star_\kappa$，保持双分次结构，并依赖于联络与曲率项构造。
• 通过要求结构元素 $\mu$ 满足 $\mu \star_\kappa \mu = 0$ 来定义量子化，或更宽松地要求 $\mu \star_\kappa \mu$ 为中心元，以容许非零的高阶修正。
• 将该框架应用于李-赖内哈特对，证明其典型柯朗结构在所提方案下可实现形变量子化。

实验结果

研究问题

• RQ1 柯朗代数丛能否在完全代数的设定下定义，并在不依赖光滑流形的前提下建立其形变理论？
• RQ2 两个分次泊松代数 $\mathcal{C}^\bullet(\mathcal{E})$ 与 $\mathcal{R}^\bullet(\mathcal{E})$ 之间有何关系？能否通过符号演算用更简单的 $\mathcal{R}^\bullet(\mathcal{E})$ 替代较复杂的 $\mathcal{C}^\bullet(\mathcal{E})$？
• RQ3 能否在罗斯坦代数上构造类似费多索夫的形变量子化，以实现柯朗代数丛结构的量子化？
• RQ4 将经典柯朗结构形变为量子结构的障碍是什么？其是否与经典形变上同调一致？
• RQ5 所提出的量子化框架是否能在光滑情形下恢复已知结构，如 $TM \oplus T^*M$ 上的标准柯朗括号？

主要发现

• 柯朗代数丛的形变理论是完全代数化的，通过两个等价的-2次分次泊松代数实现，柯朗结构对应于满足 $[m,m]=0$ 的3次元素 $m$。
• 符号演算建立了从 $\mathcal{C}^\bullet(\mathcal{E})$ 到 $\mathcal{R}^\bullet(\mathcal{E})$ 的泊松单同态，在光滑情形下成为同构，从而允许在形变问题中使用更简单的罗斯坦代数。
• 在罗斯坦代数 $\mathcal{R}^\bullet(\mathcal{L} \oplus \mathcal{L}')$ 上构造了类似费多索夫的星积 $\star_\kappa$，保持双分次结构，并依赖于联络与曲率项。
• 对于李-赖内哈特结构 $\mu \in \mathcal{R}^{1,2}(\mathcal{L} \oplus \mathcal{L}')$，条件 $\mu \star_{1/2} \mu = 0$ 在无高阶修正下成立，表明星积可在二阶保持量子条件。
• 形变量子化的障碍位于与经典形变理论相同的上同调群中，证实了经典与量子框架之间的一致性。
• 该框架成功实现了李-赖内哈特对的形变量子化，作为一大类例子，且在光滑情形下恢复了 $TM \oplus T^*M$ 上的柯朗括号。