[论文解读] Quotient Stacks and String Orbifolds

Eric Sharpe|ArXiv.org|Mar 1, 2001

Natural Language Processing Techniques参考文献 13被引用 5

一句话总结

本文主张，弦理论轨道丛并非紧化于商空间 $X/\Gamma$，而是紧化于商叠 $[X/\Gamma]$，后者通过其惯性叠几何地编码了扭动扇区。关键结果是，弦轨道丛的完整亏格函数——对所有扭动扇区求和——自然地表现为对进入商叠的映射之和，从而为此前被视为‘弦论特有’的特征提供了几何解释。

ABSTRACT

In this short review we outline some recent developments in understanding string orbifolds. In particular, we outline the recent observation that string orbifolds do not precisely describe string propagation on quotient spaces, but rather are literally sigma models on objects called quotient stacks, which are closely related to (but not quite the same as) quotient spaces. We show how this is an immediate consequence of definitions, and also how this explains a number of features of string orbifolds, from the fact that the CFT is well-behaved to orbifold Euler characteristics. Put another way, many features of string orbifolds previously considered ``stringy'' are now understood as coming from the target-space geometry; one merely needs to identify the correct target-space geometry.

研究动机与目标

• 解决长期以来将弦轨道丛解释为紧化于商空间的模糊性。
• 确立弦轨道丛的物理数据（如扭动扇区和亏格函数）源于商叠上的几何结构，而非奇异商空间上的几何结构。
• 通过弦轨道丛作为非平凡例子，为理解在广义空间（特别是叠）上的弦紧化奠定基础。
• 将弦轨道丛的物理特征（如扭动场和轨道丛欧拉示性数）与商叠的微分几何联系起来。
• 启动一项计划，将弦理论构造（如模空间和 M-理论紧化）重新解释为叠几何的语言。

提出的方法

• 将商叠 $[X/\Gamma]$ 定义为广义空间，其编码了在覆盖空间上具有奇异点处额外几何结构的群作用。
• 证明弦轨道丛的亏格函数（包括扭动扇区的求和）等价于对进入商叠 $[X/\Gamma]$ 的映射之和。
• 构建叠上 sigma 模型的经典作用量，其在全局商叠情况下退化为标准弦轨道丛作用量。
• 利用惯性叠 $I_{[X/\Gamma]} \cong \coprod_{[g]} [X^g / C(g)]$ 几何实现扭动场和扭动扇区。
• 证明轨道丛欧拉示性数 $\chi_{\text{orb}}(X,\Gamma) = \sum_{[g]} \chi(X^g / C(g))$ 自然地源于惯性叠的结构。
• 提出弦轨道丛的形变理论必须以商叠的形变理论而非商空间的形变理论来表述。

实验结果

研究问题

• RQ1 为何弦轨道丛在商空间 $X/\Gamma$ 存在奇点的情况下仍表现出良好的共形场论行为？
• RQ2 弦轨道丛中扭动扇区结构背后的几何对象是什么？它与商空间有何不同？
• RQ3 弦轨道丛的亏格函数能否自然地解释为对广义空间（如叠）中映射的求和？
• RQ4 商叠的惯性叠如何编码扭动场和扭动扇区的物理数据？
• RQ5 若弦轨道丛是紧化于叠而非商空间，这对模空间构造和 M-理论紧化有何影响？

主要发现

• 弦轨道丛的亏格函数在数学上等价于对进入商叠 $[X/\Gamma]$ 的映射之和，从而解释了扭动扇区求和的起源。
• 惯性叠 $I_{[X/\Gamma]}$ 同构于 $\coprod_{[g]} [X^g / C(g)]$，其直接编码了扭动扇区，并重现了轨道丛欧拉示性数。
• 此前被视为‘弦论特有’的弦轨道丛特征（如扭动场的存在和良好的 CFT 行为）现在可通过商叠的目标空间几何获得几何解释。
• 弦轨道丛 CFT 的形变理论必须重新表述为对商叠的形变，而非对奇异商空间的形变。
• 该框架表明，M-理论轨道丛可被一致地定义为紧化于商叠，可能从几何上解释霍拉瓦-维滕理论中 E8 多重态的出现。
• 该工作为研究超越全局商叠的更一般叠上的弦紧化提供了基础。