[论文解读] Deformation of sl(2) and osp(1|2)-Modules of Symbols

Imed Basdouri, Mabrouk Ben Ammar|arXiv (Cornell University)|Apr 10, 2010

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

一句话总结

本文研究了加权密度和超密度上 $ \mathfrak{sl}(2) $ 与 $ \mathfrak{osp}(1|2) $-模的形变。推导了无穷小形变可积化的必要与充分条件，并证明了任一形式形变均等价于其无穷小部分，且在经典与超对称情形下均给出了单参数形变的显式构造。

ABSTRACT

We consider the sl(2)-module structure on the spaces of symbols of differential opera- tors acting on the spaces of weighted densities. We compute the necessary and sufficient integrability conditions of a given infinitesimal deformation of this structure and we prove that any formal deformation is equivalent to its infinitesimal part. We study also the super analogue of this problem getting the same results.

研究动机与目标

• 对加权密度上微分算子符号空间的 $ \mathfrak{sl}(2) $-模结构的所有形式形变进行分类。
• 将此分类推广至超对称情形，分析超密度上 $ \mathfrak{osp}(1|2) $-模的形变。
• 确定无穷小形变可积化为形式形变的必要与充分条件。
• 证明这些模的任一形式形变均等价于其无穷小部分，意味着不存在非平凡的高阶障碍。
• 在经典与超对称情形下构造单参数形变的显式例子。

提出的方法

• 利用李代数上同调分析 $ \mathfrak{sl}(2) $-与 $ \mathfrak{osp}(1|2) $-模结构在符号空间上的无穷小形变。
• 计算一阶形变空间 $ \mathrm{H}^1_{\mathrm{diff}}(\mathfrak{g}, \mathfrak{D}_\delta) $，其中 $ \mathfrak{g} = \mathfrak{sl}(2) $ 或 $ \mathfrak{osp}(1|2) $，识别上同调类的生成元。
• 将无穷小形变构造为1-上循环的和：$ \widetilde{\mathfrak{L}}_{X_F} = \mathfrak{L}_{X_F} + \mathfrak{L}^{(1)}_{X_F} $，其系数由 $ \mathfrak{a}_k, \mathfrak{b}_k, \mathfrak{c}_k $ 参数化。
• 通过要求在上同调中二阶项为零，导出可积性条件，得到方程 $ \mathfrak{b}_k\mathfrak{a}_{1-k} - \mathfrak{c}_k\mathfrak{a}_k + \mathfrak{c}_k\mathfrak{a}_{1-k} = 0 $。
• 证明障碍2-上循环 $ \Omega_k $ 非平凡，从而确保可积性条件既是必要也是充分的。
• 通过规范变换下的形变等价性证明，任一形式形变均等价于其无穷小部分，意味着不存在高阶障碍。

实验结果

研究问题

• RQ1 什么是对 $ \mathfrak{sl}(2) $-符号模的无穷小形变可积化为形式形变的必要与充分条件？
• RQ2 $ \mathrm{H}^1_{\mathrm{diff}}(\mathfrak{sl}(2), \mathfrak{D}_\delta) $ 与 $ \mathrm{H}^1_{\mathrm{diff}}(\mathfrak{osp}(1|2), \mathfrak{D}_\delta) $ 的上同调结构如何影响这些模的形变理论？
• RQ3 是否每个 $ \mathfrak{osp}(1|2) $-模在超符号上的形式形变均可约化为其无穷小部分？
• RQ4 非平凡2-上循环 $ \Omega_k $ 在阻碍或允许形变可积性中起什么作用？
• RQ5 参数 $ \mathfrak{a}_k, \mathfrak{b}_k, \mathfrak{c}_k $ 如何控制超对称情形下单参数形变的结构？

主要发现

• 对于 $ \mathfrak{sl}(2) $，符号模 $ \mathcal{S}_\delta $ 的任一形式形变均等价于其无穷小部分，意味着不存在非平凡的高阶形变。
• 对于 $ \mathfrak{osp}(1|2) $，当 $ 2\delta = m \in \mathbb{N}+1 $ 时，无穷小形变的可积性由条件 $ \mathfrak{b}_k\mathfrak{a}_{1-k} - \mathfrak{c}_k\mathfrak{a}_k + \mathfrak{c}_k\mathfrak{a}_{1-k} = 0 $ 控制，其中 $ 1 \leq k \leq m $。
• 上同调空间 $ \mathrm{H}^1_{\mathrm{diff}}(\mathfrak{osp}(1|2), \mathfrak{D}_\delta) $ 非平凡，且可分解为由两个1-上循环 $ \Upsilon_k $ 与 $ \widetilde{\Upsilon}_k $ 张成的分量。
• 障碍2-上循环 $ \Omega_k $ 非平凡且为奇数，确保可积性条件既是必要也是充分的，以实现形变的延拓。
• 显式构造了单参数形变，通过满足可积性条件的无穷小部分与自由参数 $ \mathfrak{a}_k $、$ \mathfrak{b}_k $、$ \mathfrak{c}_k $ 构造而成。
• 形式形变与无穷小部分的等价性意味着形变理论完全由一阶上同调控制，不存在高阶障碍。