通量紧化中的几何代数技术

我们研究了“约束广义 Killing (s) 旋量”，它们表征了超引力理论的超对称通量紧化。利用几何代数技术，我们提供了概念清晰且计算有效的方法，将超对称条件转化为微分形式集合上的微分和代数约束。特别地，我们给出了 Fierz 恒等式的综合描述，这是此类问题的重要组成部分。作为应用，我们展示了如何利用我们的方法有效地恢复关于 M 理论在八维流形上 N=1 紧化的相关结果。