[论文解读] Automorphic Spectra and the Conformal Bootstrap

Petr Kravchuk, Dalimil Mazáč+1 more|arXiv (Cornell University)|Nov 24, 2021

Geometric and Algebraic Topology被引用 6

一句话总结

本文提出了一种受共形场论启发的新颖自举方法，用于严格界定双曲2-轨道丛上拉普拉斯算子的谱隙。通过利用PSL(2,R)的表示理论与半定规划，该方法推导出第一非零特征值的上界，结果极为接近最优——例如，对于亏格2曲面，λ₁ ≤ 3.8388976481，几乎与博尔察曲面的λ₁ ≈ 3.838887258完全一致。

ABSTRACT

We describe a new method for constraining Laplacian spectra of hyperbolic surfaces and 2-orbifolds. The main ingredient is consistency of the spectral decomposition of integrals of products of four automorphic forms. Using a combination of representation theory of $\mathrm{PSL}_2(\mathbb{R})$ and semi-definite programming, the method yields rigorous upper bounds on the Laplacian spectral gap. In several examples, the bound is nearly sharp. For instance, our bound on all genus-2 surfaces is $λ_1\leq 3.8388976481$, while the Bolza surface has $λ_1\approx 3.838887258$. The bounds also allow us to determine the set of spectral gaps attained by all hyperbolic 2-orbifolds. Our methods can be generalized to higher-dimensional hyperbolic manifolds and to yield stronger bounds in the two-dimensional case. The ideas were closely inspired by modern conformal bootstrap.

研究动机与目标

• 建立双曲2-轨道丛上拉普拉斯-贝尔特拉米算子第一非零特征值λ₁的严格上界。
• 确定所有紧致双曲2-轨道丛可实现的谱隙完整集合。
• 弥合双曲流形谱几何与数学物理中共形自举框架之间的鸿沟。
• 将该方法推广至高维双曲流形，并在二维情形中改进界。
• 利用双曲几何与1+1维共形场论共同的对称群SO₀(1,2) = PSL(2,R)的结构。

提出的方法

• 利用四个自守形式乘积积分的谱分解作为一致性条件。
• 应用PSL(2,R)的表示理论，特别是补系列表示，以建模关联函数。
• 通过半定规划强制实施算子乘积展开（OPE）系数的正定性约束。
• 在黎曼球面（上半球与下半球）上构造局部算子，其关联函数编码谱数据。
• 以超几何函数与伽马函数比值的形式推导度量的超几何解。
• 通过沿分支切割的围道积分计算归一化积分，将其简化为不连续性的单变量积分。

Figure 1. The operators that we construct for a hyperbolic orbifold are labeled by points on the Riemann sphere. Depending on the type of the operator, it is labeled by a point in the upper or the lower hemisphere, or by a point on the equator.

实验结果

研究问题

• RQ1 所有亏格2双曲曲面上拉普拉斯谱隙λ₁的最紧致上界是什么？
• RQ2 哪些λ₁值可由任意紧致双曲2-轨道丛实现？
• RQ3 如何将共形自举框架适配以在谱几何中获得严格界？
• RQ4 该方法能否推广至高维双曲流形？
• RQ5 对于已知的极值曲面（如博尔察曲面）而言，这些界在多大程度上逼近真实谱隙？

主要发现

• 对于所有亏格2双曲曲面，该方法得出上界λ₁ ≤ 3.8388976481，与博尔察曲面的λ₁ ≈ 3.838887258极为接近。
• 该方法确定了所有紧致双曲2-轨道丛可实现的谱隙完整集合，实现了完全表征。
• 相关算子乘积展开的OPE系数被高精度数值计算得出：S₁₂ = (f₁₂)² ≈ 1.1540969443944852107791801492。
• 亏格2曲面的界几乎为最优，表明该方法以高精度捕捉到了真实的极值。
• 该方法可推广至高维双曲流形，并可通过改进数值技术在二维情形中获得更强的界。
• 计算OPE系数所需的归一化积分被简化为沿分支切割的围道积分，从而实现高精度数值评估。

Figure 2. The conjectured structure of the set of the eigenvalues $\lambda_{1}$ attained in hyperbolic orbifolds. There are several discrete points at large $\lambda_{1}$ and a continuum below.