[论文解读] The Geometry of Supersymmetry / A concise introduction

Norbert Poncin, Sarah Schouten|arXiv (Cornell University)|Jul 26, 2022

Black Holes and Theoretical Physics被引用 4

一句话总结

本文提出了一种全面且富有洞见的超几何与高阶超几何导论，聚焦于 $\bbZ_2^n$-流形及其积分理论。它构建了一个新颖的 $\bbZ_2^n$-Berezinian 积分框架，通过引入洛朗级数和 $\bbZ_2^n$-分次微分形式，将经典超几何推广，实现了对维度为 $1|(1,1,1)$ 的流形的坐标无关积分。

ABSTRACT

This text is a short but comprehensive introduction to the basics of supergeometry and includes some of the recent advances in colored supergeometry. We do not aim for a standard text that states results and proves them more or less rigorously, but all too often offers little insight to the uninformed reader. Instead we opted for a smooth exposition of the successive themes, choosing an order and an approach which are close to the way these pieces of mathematics could have been or were discovered, thereby highlighting the reasons for the various choices and facilitating deeper understanding. We hope that the text will be useful for PhD students and researchers who wish to acquire knowledge in the geometry of supersymmetry.

研究动机与目标

• 为博士生和研究人员提供一种教学动机充分、概念基础扎实的超几何与高阶超几何导论。
• 通过将超几何的发展重构为一种自然的思想演进，弥补标准处理中缺乏直观理解的不足。
• 将经典超几何扩展至 $\bbZ_2^n$-流形，尤其在微分几何与积分理论的语境下。
• 利用广义 $\bbZ_2^n$-Berezinian 截面与洛朗级数展开，发展 $\bbZ_2^n$-流形的一致积分理论。
• 通过提升拉回的协调性与 $\bbZ_2^n$-局部上同调的应用，确立积分的坐标无关性。

提出的方法

• 通过具有 $\bbZ_2^n$-分次的广义函数层定义 $\bbZ_2^n$-流形，其中坐标根据 $\bbZ_2^n$ 上的标准数量积相互交换。
• 利用层论方法发展 $\bbZ_2^n$-流形上的微分几何，包括超切丛与超微分形式。
• 将 $\bbZ_2^n$-Berezinian 定义为经典 Berezinian 的推广，对积分与变换律至关重要。
• 通过广义 $\bbZ_2^n$-Berezinian 截面的洛朗级数展开构建积分，对偶数与奇数坐标分别通过类似留数的运算处理。
• 通过证明拉回的协调性来确立坐标无关性：对于可复合的态射，有 $(\rho \rho')^{*\tilde{}} = \rho^{*\tilde{}} \rho'^{*\tilde{}}$。
• 利用 $\bbZ_2^n$-局部上同调与广义分式，将积分理论推广至更高阶的 $\bbZ_2^n$-流形，与格罗滕迪克对偶性相联系。

实验结果

研究问题

• RQ1 如何以揭示其构造背后直观动机的方式讲授超几何？
• RQ2 经典 $\bbZ_2$-超几何与 $\bbZ_2^n$-超几何在微分几何中，尤其是在结构与技术上的差异是什么？
• RQ3 积分理论如何能一致地推广至 $\bbZ_2^n$-流形，特别是在涉及偶数次参数时？
• RQ4 洛朗级数与广义分式在定义 $\bbZ_2^n$-Berezinian 截面及其积分中扮演什么角色？
• RQ5 如何在 $\bbZ_2^n$-几何的坐标变换中，使广义截面的拉回保持协调？

主要发现

• 本文通过 $\bbZ_2^2$-Berezinian 截面的洛朗级数展开，构建了维度为 $1|(1,1,1)$ 的 $\bbZ_2^2$-流形的坐标无关积分理论。
• 紧支集广义 $\bbZ_2^2$-Berezinian 截面 $\frak s$ 的积分为 $\textstyle\bigint@\textstyle\bigint@\frak s = \bigint@ dx\thinspace f_{-111}(x)$，其中 $f_{-111}$ 是 $y^{-1}$ 在洛朗展开中的留数系数。
• 广义截面的拉回满足协调性条件 $(\rho \rho')^{*\tilde{}} = \rho^{*\tilde{}} \rho'^{*\tilde{}}$，确保在复合下的一致性。
• $\bbZ_2^n$-Berezinian 线丛通过带 $\bbZ_2^n$-分次的雅可比矩阵行列式定义，推广了 $\bbZ_2$-流形的经典 Berezinian。
• 通过 $q_0$-阶 $\bbZ_2^n$-局部上同调模 $\frak H^{q_0}_{\frak J}(U,\frak O)$（描述广义分式）将积分理论推广至更高阶 $\bbZ_2^n$-流形。
• 该框架与格罗滕迪克对偶性兼容，且需谨慎选择允许的坐标变换群，以避免洛朗级数中出现有问题的单项式。