[論文レビュー] Automorphic Spectra and the Conformal Bootstrap

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

Geometric and Algebraic Topology被引用数 6

ひとこと要約

本稿は、コンformal field theoryにインspiredされた新しいブートストラップ法を導入し、双曲的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-軌道空間が取り得るスペクトルギャップの完全な集合を特定すること。
• 双曲的多様体のスペクトル幾何学と数学的物理におけるコンフォーマルブートストラップ枠組みを結びつけること。
• この手法を高次元の双曲的多様体へ一般化し、2次元における境界を改善すること。
• 双曲的幾何と1+1次元のコンフォーマル場理論の両方に共通する対称性群SO₀(1,2) = PSL(2,R)を活用すること。

提案手法

• 4つの自己形式の積の積分のスペクトル分解を一貫性条件として用いる。
• 特に補完的系列表現を含むPSL(2,R)の表現論を応用し、相関関数をモデル化する。
• 演算子積展開(OPE)係数の正定値制約を満たすために、半正定値計画法を実装する。
• リーマン球面（上半球面および下半球面）上に局所的演算子を構成し、その相関関数がスペクトルデータを符号化するようにする。
• 超幾何関数およびガンマ関数の比を用いて、計量の超幾何的解を導出する。
• 分岐カットに沿った輪環積分を用いて正規化積分を評価し、不連続性の1次元積分に還元する。

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曲面に対する境界はほぼ鋭いものであり、本手法が真の極値的値を高い精度で捉えていることを示している。
• 本手法は高次元の双曲的多様体へ一般化可能であり、より洗練された数値的手法を用いることで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.