[论文解读] Supermoduli Space Is Not Projected

Ron Donagi, Edward Witten|arXiv (Cornell University)|Apr 29, 2013

Algebraic Geometry and Number Theory参考文献 29被引用 49

一句话总结

本文证明了在 $g \geq 5$ 时，超黎曼曲面的模空间 $\mathfrak{M}_g$ 不是投影的（因此也不是分裂的），这意味着它无法全纯地投影到其对应的普通黎曼曲面（带自旋结构）的底空间上。该结果通过上同调障碍，特别是第二障碍类 $\omega_2$ 建立，表明超模空间具有超越规范模空间构造能力的内在几何复杂性。

ABSTRACT

We prove that for genus greater than or equal to 5, the moduli space of super Riemann surfaces is not projected (and in particular is not split): it cannot be holomorphically projected to its underlying reduced manifold. Physically, this means that certain approaches to superstring perturbation theory that are very powerful in low orders have no close analog in higher orders. Mathematically, it means that the moduli space of super Riemann surfaces cannot be constructed in an elementary way starting with the moduli space of ordinary Riemann surfaces. It has a life of its own.

研究动机与目标

• 确定超黎曼曲面的模空间 $\mathfrak{M}_g$ 是否能全纯地投影到其底空间 $\mathcal{SM}_g$（即带自旋结构的普通黎曼曲面的模空间）上。
• 解决超弦微扰理论与超几何中长期存在的问题，即此类投影是否存在。
• 确立 $\mathfrak{M}_g$ 在 $g \geq 5$ 时不是分裂或投影的，意味着它无法通过规范模空间以简单方式构造。
• 将结果推广至带标记点的超黎曼曲面，表明当 $g \geq 2$ 且 $n \geq 1$ 时，若自旋结构为偶数，则其非投影性依然成立。

提出的方法

• 作者使用上同调障碍理论，特别是 $H^1(\mathcal{SM}_g, \Omega^1(\mathcal{SM}_g) \otimes \mathcal{S}^2 \Omega^1(\mathcal{SM}_g))$ 中的类 $\omega_2$，以检测分裂与投影的失败。
• 他们应用相容性引理 2.11，将超流形及其子流形上的障碍类关联起来，从而实现 $\mathfrak{M}_g$ 及其子结构之间障碍的比较。
• 证明依赖于当 $g \geq 5$ 时 $\omega_2$ 的非零性，该性质源于模空间 $\mathcal{SM}_g$ 及其余切丛的几何结构。
• 作者利用局部超共形坐标与奇向量场 $v = \partial_\theta + \theta \partial_x$ 分析 $(1|1)$ 超流形上的超共形结构，这些结构生成不可积分布。
• 他们利用超黎曼曲面在点与极小除子之间存在自然的 1-1 对应关系，这有助于构造与分析超模空间。
• 一旦在 $\mathfrak{M}_{g,1}$ 上确立了非投影性，便通过一个简单的约化论证将结论推广至 $\mathfrak{M}_{g,n}$。

实验结果

研究问题

• RQ1 在 $g \geq 5$ 时，超黎曼曲面的模空间 $\mathfrak{M}_g$ 是否能全纯地投影到其底空间 $\mathcal{SM}_g$ 上？
• RQ2 超模空间 $\mathfrak{M}_g$ 是否是分裂的，即能否通过基本的超几何时构造从 $\mathcal{SM}_g$ 构造出它？
• RQ3 当加入标记点后，$\mathfrak{M}_g$ 的非投影性是否仍然成立，特别是当 $g \geq 2$ 且 $n \geq 1$ 时？
• RQ4 第二障碍类 $\omega_2$ 在决定超流形（尤其是超黎曼曲面）的投影性方面起什么作用？
• RQ5 非投影性是否源于 $\mathcal{SM}_g$ 的几何结构，还是源于更深层的上同调障碍？

主要发现

• 当 $g \geq 5$ 时，超模空间 $\mathfrak{M}_g$ 不是投影的（因此也不是分裂的），这由障碍类 $\omega_2$ 的非零性所证明。
• 当 $g \geq 2$ 时，带一个标记点与偶数自旋结构的模空间 $\mathfrak{M}_{g,1}$ 同样是非投影的。
• 该结果可推广至 $\mathfrak{M}_{g,n}$，当 $g \geq 2$，$n \geq 1$，且 $g-1 \geq n$ 时，若 $g$ 为偶数，则需满足偶数自旋结构条件。
• 非投影性的障碍由上同调类 $\omega_2 \in H^1(\mathcal{SM}_g, \Omega^1(\mathcal{SM}_g) \otimes \mathcal{S}^2 \Omega^1(\mathcal{SM}_g))$ 决定，且当 $g \geq 5$ 时该类不为零。
• 非投影性意味着 $\mathfrak{M}_g$ 无法通过基本超几何时构造从 $\mathcal{SM}_g$ 重建，表明其具有独立的几何生命。