Les Houches lectures on non-perturbative topological strings

技術要約：非摂動的トポロジカル・ストリングに関するレ・シュシュ講義

問題提起
トポロジカル・ストリング理論は、列挙幾何学やゲージ理論の双対性を理解するための簡略化されたモデルを提供しているが、伝統的にはストリング結合定数 $g_s$ に関する摂動展開によってのみ定義されている。世界面の種数 $g$ によって整理されるこの展開は、階乗的に発散（$F_g \sim (2g)!$）することが知られており、全自由エネルギーは $g_s$ の関数として定義不可能となる。これらの講義で扱われる中心的な問題は、以下の二点である：

1. レサージェンス（再帰性）構造： 発散する摂道級数に対し、レサージェンス理論を用いることで、その級数の中に隠された非摂動的効果（インスタントン）を抽出できるか？
2. 非摂動的定義： トリック・カラビ・ヤウ（CY）三次元多様体上のトポロジカル・ストリングに対して、トポロジカル・ストリングの摂動級数の漸近展開を再現する、ウェルディファインドな非摂動的関数を構築できるか？

手法
本講義では、代数幾何学、スペクトル理論、および（ジャン・エカルが創始した）レサージェンスの数学的枠組みを組み合わせた手法を用いている。アプローチは主に二つの部分に分かれる：

1. レサージェンス解析： 著者は、トポロジカル・ストリングの種数展開のボレル変換を分析する。ボレル平面における特異点（ストークス・レイ）を研究することで、トランス・シリーズ（マルチ・インスタントン展開）の構造を導出する。この解析は、モジュライ空間内の特殊な点（コニフォールド点や大半径極限など）の近傍における自由エネルギーの振る舞いに強く依存している。
2. トポロジカル・ストリング／スペクトル理論（TS/ST）対応： 非摂動的定義に対処するため、講義では、トリック・CY多様体上のトポロジカル・ストリングと量子力学的演算子のスペクトル理論との間の双対性を導入する。これには以下が含まれる：
   • 座標をハイゼンベルク演算子に昇格させることによる、CY多様体の「ミラー曲線」の量子化。
   • ミラー曲線に関連付けられたトレースクラス演算子 $\rho_X = O_X^{-1}$ の定義。
   • この演算子のフレドホルム行列式（スペクトル行列式）$\Xi_X(\kappa)$ およびフェルミオン的スペクトル・トレース $Z_X(N, \hbar)$ の構成。
   • トポロジカル・ストリングの自由エネルギーを回収するための、これらのスペクトル量における 't Hooft 極限（$N \to \infty, \hbar \to \infty$ かつ $N/\hbar$ が一定）の調査。

主要な貢献と結果

• レサージェンス構造とBPS不変量：

  • 講義は、トポロジカル・ストリングの一般的なマルチ・インスタントン・トランス・シリーズの導出を提供している。ボレル特異点は、CY多様体の周期の整数線形結合として特定される。
  • 中心的な予想（予想 3.5）が提示されている：これらの特異点に関連するストークス定数は、基礎となるCY幾何学のBPS（またはドナルドソン・トーマス）不変量に正確に一致する。
  • レサージェンス構造は「ウォール・クロッシング（壁越え）」現象を示す。これは、モジュライ空間を移動するにつれて、特異点の集合とそれらのストークス定数が不連続に変化する現象であり、超対称ゲージ理論におけるBPSスペクトルの振る舞いを反映している。
  • 解かれたコニフォールドおよび局所 $\mathbb{P}^2$ に関する具体的な計算は、ストークス定数が既知のゴパクマール・ヴァファ不変量およびDT不変量と一致することを示している。

• TS/ST 対応：

  • 講義は、量子ミラー曲線のスペクトル理論を通じて、トリック・CY多様体上のトポロジカル・ストリングの非摂動的定義を提案している。
  • 予想 4.4： 量子ミラー曲線演算子のフェルミオン的スペクトル・トレース $Z_X(N, \hbar)$ は、't Hooft 極限において、コニフォールド・フレームのトポロジカル・ストリング自由エネルギー（$F^c_g(\lambda)$）を再現する漸近展開を持つ。
  • 局所 $\mathbb{P}^2$ の特定の場合、演算子のカーネルはファデエフの量子ディログarithm（対数関数）を用いて明示的に構成される。得られたスペクトル・トレースの行列積分表現は、ウェルディファインドであり収束することが示されている。
  • 数値テストにより、量子ミラー曲線演算子の固有値とフレドホルム行列式の零点が、トポロジカル・ストリング自由エネルギーの予測と一致することが確認されている。

• 具体的な例：

  • 解かれたコニフォールドおよび局所 $\mathbb{P}^2$ についての詳細な導出が行われ、ボレル特異点、ストークス定数、および量子ミラー曲線演算子の明示的な形式が計算されている。
  • 講義は、解かれたコニフォールドのケースにおいて、ボレル特異点の「ピーコック・パターン（孔雀の模様）」がいかにして生じるかを説明している。

意義と主張
本論文は、レサージェンスとスペクトル理論を通じて、トポロジカル・ストリングの摂動的発散を非摂動的物理学へと結びつける統一的な枠組みを提供すると主張している。

• 概念の統一： 本研究は、摂動級数のレサージェンス構造（数学的解析）とBPS不変量（物理的／幾何学的データ）の間の具体的な繋がりを確立しており、ストリングの非摂動的完備化がBPSスペクトルの中に符号化されていることを示唆している。
• 非摂動的定義： TS/ST対応は、一般的な非摂動的定義の欠如を回避し、トリック・CY上のトポロジカル・ストリングに対する厳密な非摂動的定義を提供する。この定義は、トレースクラス演算子のウェルディファインドなスペクトル理論に基づいている。
• 創発的幾何学： 講義は「量子幾何学」の概念を例証している。ここでは、CY多様体の連続的な幾何学とストリング的補正が、大 $N$ 極限における一次元量子力学モデルの離散的なスペクトルから創発する。
• 検証可能性： ストリング理論における多くの非摂動的提案とは異なり、提示された予想は明示的に検証可能である。著者は、局所 $\mathbb{P}^2$ および解かれたコニフォールドに対する数値的なチェックが成功していること、また、シーバーグ・ウィッテン理論に関連する特定の極限（4次元極限）において対応関係が厳密に証明されていることを述べている。

著者は、これらの予想の一般的な証明に関する姿勢については控えめなトーンを維持しており、多くのテストされたケースや特定の極限においてこれらが成立しているものの、一般的なトリック・CYに対する厳密な数学的証明は依然として未解決の問題であることを認めている。講義は、詳細なケーススタディを重視し、数学的物理学、列挙幾何学、および量子力学の相互作用を強調しながら、導入的な概説としての役割を果たしている。