[论文解读] Deformation of maximally supersymmetric Yang-Mills theory in dimensions 10. An algebraic approach

M. V. Movshev|ArXiv.org|Dec 31, 2005

Black Holes and Theoretical Physics参考文献 3被引用 7

一句话总结

本文通过李代数形变理论，对十维 $N=1$ 规范群为任意的 $U(N)$ 的超对称杨–米尔斯理论进行了代数研究，探讨其无穷小超对称形变。计算了形变空间的切空间，并识别出一阶形变拉格朗日量的一般解为 $Σ(10)$-不变的四项之和，其中包括一项通过列维-奇维塔张量与手征超多重分量构造的新项。

ABSTRACT

We make a preliminary algebraic study of supersymmetric deformations of N=1 Yang-Mills theory in dimension ten with an arbitrary gauge group. This is done in a context of Lie algebra deformation theory. The tangent space to the space of deformation is computed.

研究动机与目标

• 通过代数李形变理论系统研究十维 $N=1$ 杨–米尔斯理论的无穷小超对称形变。
• 计算此类形变模空间的切空间，重点关注一阶项。
• 在 $α'^1$ 阶以内，对超对称代数的所有 $Σ(10)$-不变的在壳不变量进行分类。
• 探讨纯旋量形式化与手征超多重分量积分在构造一致形变中的作用。
• 建立一个上同调框架，以理解形变后超对称代数在模 $α'^2$ 下的闭包性。

提出的方法

• 将拉格朗日量和超对称变换形式展开至 $α'^1$ 阶，施加形变后的 $\theta_\alpha(\alpha')$ 下的在壳不变性。
• 采用 Howe-Berkovits 的纯旋量方法作为实现超对称性的同调框架。
• 计算上同调群 $H^i(YM, M^{\tens n})$ 以对可能的形变项进行分类。
• 通过 $\epsilon^{\alpha_1\dots\alpha_{16}} \theta_{\alpha_1}\dots\theta_{\alpha_{16}} \nu(\nabla,\xi)$ 构造一项新颖的形变项 $\mathcal{L}'_{IV}$，其被解释为“手征奇数积分”。
• 应用谱序列对普遍包络代数 $U(TYM)$ 的滤子进行分析，以计算 $H^1(YM, IU(TYM))$。
• 利用 $\mathfrak{so}(10)$ 的表示理论将上同调分解为不可约的 $Σ(10)$-模。

实验结果

研究问题

• RQ1 在 $α'^1$ 阶下，$Σ(10)$-不变且在壳的超对称代数不变量的完整集合是什么？
• RQ2 能否在保持在壳闭包性的同时，将超对称代数的形变一致地扩展至一阶？
• RQ3 纯旋量形式化如何促进十维中显式超对称形变的构造？
• RQ4 手征超多重分量与“手征奇数积分”在生成高阶项中起什么作用？
• RQ5 形变模空间的切空间结构如何？其在上同调中如何编码？

主要发现

• 一阶形变拉格朗日量 $\mathcal{L}'$ 是 $Σ(10)$-不变的四项之和：$\mathcal{L}'_I$、$\mathcal{L}'_{II}$、$\mathcal{L}'_{III}$ 和 $\mathcal{L}'_{IV}$，其中 $\mathcal{L}'_I$ 已通过已知结果显式计算。
• 项 $\mathcal{L}'_{IV}$ 通过 $\epsilon^{\alpha_1\dots\alpha_{16}} \theta_{\alpha_1}\dots\theta_{\alpha_{16}} \nu(\nabla,\xi)$ 构造，其中 $\nu$ 是曲率与旋量场非交换多项式迹。
• $H^1(YM, IU(TYM))$ 非平凡，且同构于 $[1,0,0,0,0] \oplus [0,0,0,1,0]$，其中后者无法提升至更高阶上同调。
• 谱序列分析表明 $H^0(YM, IU(TYM)) = 0$，意味着在普遍包络代数层面不存在平凡形变。
• 形变空间维数的生成函数 $\tilde{a}(t)$ 为 $\tilde{a}(t) = t^8(a(t) - 126t^{-2} - 144t)$，其中 $a(t)$ 已显式计算。
• 谱序列中微分 $\delta$ 的核被证明为 $\Lambda^5(V) + V + S^*$，其中 $S^*$ 是对偶空间的特定子空间。