[論文レビュー] The ABCD of topological recursion

Jørgen Ellegaard Andersen, Gaëtan Borot+2 more|arXiv (Cornell University)|Mar 9, 2017

Advanced Topics in Algebra被引用数 8

ひとこと要約

本稿は、Kontsevich-Soibelmanのトポロジカル再帰に不可欠な量子エアリー構造を、それらを定義する四テンソル $(A,B,C,D)$ を分析することによって、Lie代数的枠組みで分類する。$F_{g,n}$ の分配関数係数の次数に線形な境界を確立し、その次数が特定の線形制約を超えると消えることを証明し、Frobenius代数や $\mathbb{Z}_2$-対称性をもつループ空間を含む4つの幾何的クラスを同定する。

ABSTRACT

Kontsevich and Soibelman reformulated and slightly generalised the topological recursion of math-ph/0702045, seeing it as a quantization of certain quadratic Lagrangians in $T^*V$ for some vector space $V$. KS topological recursion is a procedure which takes as initial data a quantum Airy structure -- a family of at most quadratic differential operators on $V$ satisfying some axioms -- and gives as outcome a formal series of functions in $V$ (the partition function) simultaneously annihilated by these operators. Finding and classifying quantum Airy structures modulo gauge group action, is by itself an interesting problem which we study here. We provide some elementary, Lie-algebraic tools to address this problem, and give some elements of classification for ${ m dim}\,V = 2$. We also describe four more interesting classes of quantum Airy structures, coming from respectively Frobenius algebras (here we retrieve the 2d TQFT partition function as a special case), non-commutative Frobenius algebras, loop spaces of Frobenius algebras and a $\mathbb{Z}_{2}$-invariant version of the latter. This $\mathbb{Z}_{2}$-invariant version in the case of a semi-simple Frobenius algebra corresponds to the topological recursion of math-ph/0702045.

研究の動機と目的

• ゲージ同値関係の下での量子エアリー構造の分類のためのLie代数的アプローチを開発すること。
• genus $g$ と穴の数 $n$ の関数として $F_{g,n}$ 係数の総次数に対する線形境界を確立し、それらがその境界を超えると消えることを証明すること。
• Frobenius代数、非可換Frobenius代数、ループ空間、$\mathbb{Z}_2$-不変ループ空間から生じる量子エアリー構造の4つの新しいクラスを同定・特徴づけること。
• トポロジカル再帰の幾何的・代数的起源を明確にし、$T^*V$ 内のラグランジュ錐の量子化と関連付けること。
• 低次元や単純Lie代数に対して、量子エアリー構造を体系的に構成・分析するためのフレームワークを提供すること。

提案手法

• Lie代数の随伴表現を用いて量子エアリー構造を再定式化し、分類を表現論的データに還元する。
• 四テンソル形式 $(A,B,C,D)$ を用いて、量子エアリー構造の定義関係を符号化し、Lie部分代数条件から導かれる制約を適用する。
• 変形理論と群作用（例：ゲージ群）を用いて、量子エアリー構造のモジュライ空間を定義する。
• $2g-2+n$ に関する帰納法を用い、$B$ および $C$ テンソルの消える性質と分配関数の再帰的構造を利用して、$F_{g,n}$ の次数境界を証明する。
• Frobenius代数やループ空間から具体的な例を構成し、$\mathbb{Z}_2$-不変バージョンがEynard-Orantinの元々のトポロジカル再帰を回復することを示す。
• Givental量子化とシンプレクティック幾何学を用いて、形式的体系をラグランジュ錐および量子不変量に関連付ける。

実験結果

リサーチクエスチョン

• RQ1 量子エアリー構造は、どのようにLie代数的道具を用いて体系的に分類可能か？
• RQ2 $g$ と $n$ の関数として $F_{g,n}$ 係数の総次数に対する正確な線形境界は何か？ そして、それらの境界はテンソルの消える性質からどのように生じるか？
• RQ3 Frobenius代数やループ空間などの幾何的構成は、どのように量子エアリー構造を生じさせ、それらに物理的・幾何的意味はあるか？
• RQ4 $\mathbb{Z}_2$-不変ループ空間構成のバージョンは、どのようにEynard-Orantinの元々のトポロジカル再帰を回復するか？
• RQ5 ゲージ群作用は、量子エアリー構造の分類において果たす役割は何か？ そして、モジュライ空間の構造にどのように影響を与えるか？

主な発見

• $F_{g,n}$ の分配関数係数は、総インデックス和 $\sum_{m=1}^n i_m$ が線形境界 $\sum i_m \leq \alpha n + \beta g + \gamma$ を満たす場合にのみ非ゼロであり、$\alpha, \beta, \gamma$ は構造に依存する。この境界は $2g-2+n$ に関する帰納法で証明された。
• $s_0 = -1$ の場合、境界は $\sum i_m \leq n + 3g - 3$ となり、$\mathbb{P}^1$ 精密曲線における既知の次数境界と一致する。
• $s_0 \geq 0$ の場合、境界は $\sum i_m \leq -s_0 n + g + (2s_0 - 1)$ に変わり、$(g,n) = (1,1), (1,2), (2,1)$ の場合にその境界が鋭い（sharp）であることが示された。
• $\mathbb{Z}_2$-不変ループ空間構成は、分配関数が半単純Frobenius代数のEynard-Orantinトポロジカル再帰を再現する量子エアリー構造を生成する。
• $C=0$ の場合、$F_{g,n}$ は $\sum i_m \leq -r_0 n + 2g + (2r_0 - 2)$ のみ非ゼロであり、$r_0$ は $B$ テンソルの構造に関連する。
• $\dim V = 2$ の分類はLie代数的道具を用いて開始され、非アーベル構造が $\mathfrak{sl}_2(\mathbb{C})$ 表現および関連する変形から生じることを示した。