[论文解读] The superstring cosmological constant and the Schottky form in genus 5

Samuel Grushevsky, Riccardo Salvati Manni|arXiv (Cornell University)|Sep 8, 2008

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

一句话总结

本文利用模形式与施托奇-容格关系，研究了在自旋弦理论的五维类中性超弦度量的假设下，宇宙学常数的性质。研究证明宇宙学常数并非恒为零，从而推翻了长期存在的猜想，并提出了一个修正后的假设，该假设满足因子化与宇宙学常数为零的约束条件。

ABSTRACT

Combining certain identities for modular forms due to Igusa with Schottky-Jung relations, we study the cosmological constant for the recently proposed ansatz for the chiral superstring measure in genus 5. The vanishing of this cosmological constant turns out to be equivalent to the long-conjectured vanishing of a certain explicit modular form of genus 5 on the moduli of curves M_5, and we disprove this conjecture, thus showing that the cosmological constant for the proposed ansatz does not vanish identically. We exhibit an easy modification of the genus 5 ansatz satisfying factorization constraints and yielding a vanishing cosmological constant. We also give an expression for the cosmological constant for the proposed ansatz that should hold for any genus if certain generalized Schottky-Jung identities hold.

研究动机与目标

• 确定五维类中性超弦度量假设下的宇宙学常数是否恒为零。
• 检验模形式 $ F_5 = (f_4^{(5)})^2 - f_8^{(5)} $ 在曲面模空间 $ \mathcal{M}_5 $ 上是否恒为零的猜想，该猜想等价于宇宙学常数为零。
• 构造一个修正后的假设，使其满足因子化约束，并在五维情况下使宇宙学常数为零。
• 探讨高阶数下施托奇-容格恒等式的推广可能性及其对宇宙学常数的影响。

提出的方法

• 结合伊加萨的模形式恒等式与施托奇-容格关系，分析五维情况下的宇宙学常数。
• 将所提假设的宇宙学常数表示为包含 $ (f_4^{(5)})^2 - f_8^{(5)} $ 的线性组合，表明其为零等价于该模形式在 $ \mathcal{M}_5 $ 上为零。
• 通过显式计算 theta 特征标与模形式，评估宇宙学常数并检验该猜想。
• 应用西格尔 $ \Phi $-算子，分析宇宙学常数在退化至低维数时的行为。
• 在广义施托奇-容格恒等式假设下，推导出任意亏格 $ g $ 情况下宇宙学常数的推广形式。
• 通过添加 $ (f_4^{(5)})^2 - f_8^{(5)} $ 的倍数（系数 $ c = \frac{38192}{17} $）构造修正后的假设 $ \Xi'^{(5)} $，以确保宇宙学常数为零。

实验结果

研究问题

• RQ1 所提五维超弦理论假设下的宇宙学常数是否恒为零？
• RQ2 如猜想所述，模形式 $ F_5 = (f_4^{(5)})^2 - f_8^{(5)} $ 是否在 $ \mathcal{M}_5 $ 上恒为零？
• RQ3 能否构造一个修正后的假设，使其满足因子化约束并使五维情况下的宇宙学常数为零？
• RQ4 广义施托奇-容格恒等式在更高亏格下是否成立？其对宇宙学常数有何影响？
• RQ5 在广义施托奇-容格恒等式假设下，亏格 $ g $ 的宇宙学常数是否与 $ (f_4^{(g)})^2 - f_8^{(g)} $ 成正比？

主要发现

• 所提五维假设下的宇宙学常数并非恒为零，从而推翻了 $ (f_4^{(5)})^2 - f_8^{(5)} $ 在 $ \mathcal{M}_5 $ 上恒为零的长期猜想。
• 宇宙学常数为零等价于模形式 $ F_5 = (f_4^{(5)})^2 - f_8^{(5)} $ 在 $ \mathcal{M}_5 $ 上为零，而该等价性不成立。
• 通过添加 $ \frac{38192}{17} $ 倍的 $ (f_4^{(5)})^2 - f_8^{(5)} $，显式构造了修正后的假设 $ \Xi'^{(5)} $，使得宇宙学常数为零。
• 在广义施托奇-容格恒等式假设下，亏格 $ g $ 的宇宙学常数与 $ (f_4^{(g)})^2 - f_8^{(g)} $ 成正比，且比例常数与 $ g $ 无关。
• 若广义施托奇-容格恒等式成立，则宇宙学常数在 $ \mathcal{T}_g $ 上恒为零当且仅当 $ g \leq 4 $。
• 该结果经 Eberhard Freitag 对 $ g < 1000 $ 的计算验证，且通过西格尔 $ \Phi $-算子提供了几何证明。