[論文レビュー] A short overview of the "Topological recursion"

Benoît Eynard|arXiv (Cornell University)|Dec 10, 2014

Geometric and Algebraic Topology参考文献 78被引用数 29

ひとこと要約

本稿は、スペクトル曲線からシンプレクティック不変量を生成する普遍的な再帰的枠組みである位相的再帰形式主義を提示する。これは、確率的行列理論、数え上げ幾何学、および絡み目の理論の分野における多様な数学的不変量を統一する。この不変量が、グロモフ＝ミルナー不変量、ハーワイト数、モジュライ空間の体積、そして予想ではあるが、ジョーンズ多項式およびHOMFLY多項式を、絡み目のA多項式を介して回復することを示している。

ABSTRACT

This review is an extended version of the Seoul ICM 2014 proceedings.It is a short overview of the "topological recursion", a relation appearing in the asymptotic expansion of many integrable systems and in enumerative problems. We recall how computing large size asymptotics in random matrices, has allowed to discover some fascinating and ubiquitous geometric invariants. Specializations of this method recover many classical invariants, like Gromov--Witten invariants, or knot polynomials (Jones, HOMFLY,...). In this short review, we give some examples, give definitions, and review some properties and applications of the formalism.

研究の動機と目的

• 位相的再帰形式主義を、可積分系および数え上げ幾何学における不変量を計算する普遍的枠組みとして導入・体系化すること。
• 位相的再帰が、特異極限において安定し、モジュラー的性質を示すシンプレクティック不変量を生成することを示すこと。
• 位相的再帰と、ウェイル＝ペトロフ体積、交差数、ハーワイト数などの古典的不変量との関係を確立すること。
• 位相的再帰と絡み目の多項式との間の新たに浮上した予想的関係を提示し、体積予想を拡張すること。
• この再帰の普遍性の背後にあるより深い幾何的またはAモデルの説明を求める動機を提示すること。

提案手法

• スペクトル曲線 $\mathcal{S}$ 上の対称微分形式 $\omega_{g,n}$ の再帰的計算により、位相的再帰を定義する。初期値として標準的1形式 $\omega_{0,1}$ と2形式 $\omega_{0,2}$ を用いる。
• インデックス $2g + n - 2$ で添えられた再帰関係を用いて、高 genus 不変量 $\omega_{g,n}$ を計算し、$F_g = \omega_{g,0}$ を自由エネルギーとみなす。
• 確率的行列モデルから導かれるスペクトル曲線に形式主義を適用し、$\omega_{g,n}$ が観測量の漸近的期待値を記述することを示す。
• ミルザカニが証明したように、ウェイル＝ペトロフ体積のラプラス変換を用いて、位相的再帰構造を導出する。
• 双曲的絡み目のA多項式からスペクトル曲線を構成し、カラーリングされたジョーンズ多項式が $\omega_{g,n}$ から構築されたベーカー＝アキエツァー核として現れるとの予想を立てる。
• スペクトル曲線の正則1形式 $x$、2形式 $y\,dx$、バーグマンカーネル $B(z,z')$ を用いて再帰および不変量を定義する。

実験結果

リサーチクエスチョン

• RQ1 位相的再帰形式主義は、数学的物理の分野で見られるようにまったく異なるように思える不変量をどのように統一するのか？
• RQ2 位相的再帰は、グロモフ＝ミルナー不変量やハーワイト数といった既知の不変量を再現できるか？
• RQ3 位相的再帰の普遍性の背後にある幾何的または物理的起源は何か？
• RQ4 絡み目の多項式（例えばジョーンズ多項式、HOMFLY多項式）がA多項式を介して位相的再帰から生じるという予想は、低次の項を超えて検証されているか？
• RQ5 なぜ位相的再帰は退化やモジュラー変換に対して安定しているのか？ その背後にあるより深い構造は何か？

主な発見

• ミルザカニのラプラス変換された再帰により、ウェイル＝ペトロフ体積 $\mathcal{V}_{g,n}(L_1,\dots,L_n)$ が位相的再帰を満たすことが示された。
• 図8字結び目について、カラーリングされたジョーンズ多項式が位相的再帰によって生成されるという予想が、$\ln q^3$ 項まで検証された。
• ジョーンズ多項式の漸近展開における主要項 $S_{-1}(u)$ が、$S^3 \setminus \mathfrak{K}$ の双曲体積と一致し、体積予想が確認された。
• 自由エネルギー $F_g = \omega_{g,0}$ はシンプレクティック不変量であり、$\mathrm{Sp}_{2g}(\mathbb{Z})$ に関してほぼモジュラー形式である。
• 位相的再帰不変量はヒロタ型方程式を満たし、サイクル双対性関係を満たす。これは、セイバーグ＝ウィッテン双対性を一般化する。
• 絡み目のA多項式によって定義されるスペクトル曲線は、$\omega_{g,n}$ を生じさせ、その積分がカラーリングされたジョーンズ多項式の漸近展開を生成する。