[论文解读] Invariants of algebraic curves and topological expansion

Benoît Eynard, Nicolas Orantin|HAL (Le Centre pour la Communication Scientifique Directe)|Feb 14, 2007

Algebraic structures and combinatorial models参考文献 25被引用 33

一句话总结

本文提出了一套适用于任意代数曲线的通用不变量——自由能 $F^{(g)}$，其来源于亚纯微分与雅可比双线性恒等式。这些不变量通过拓扑展开生成一个形式的 $\tau$-函数，普遍描述了矩阵模型的 $1/N^2$ 展开，包括康特舍维奇积分，并通过辛不变性与霍伊拉方程结构证明其为 KdV $\tau$-函数。

ABSTRACT

For any arbitrary algebraic curve, we define an infinite sequence of invariants. We study their properties, in particular their variation under a variation of the curve, and their modular properties. We also study their limits when the curve becomes singular. In addition we find that they can be used to define a formal series, which satisfies formally an Hirota equation, and we thus obtain a new way of constructing a tau function attached to an algebraic curve. These invariants are constructed in order to coincide with the topological expansion of a matrix formal integral, when the algebraic curve is chosen as the large N limit of the matrix model's spectral curve. Surprisingly, we find that the same invariants also give the topological expansion of other models, in particular the matrix model with an external field, and the so-called double scaling limit of matrix models, i.e. the (p,q) minimal models of conformal field theory. As an example to illustrate the efficiency of our method, we apply it to the Kontsevitch integral, and we give a new and extremely easy proof that Kontsevitch integral depends only on odd times, and that it is a KdV tau-function.

研究动机与目标

• 为任意代数曲线定义一个无限序列的不变量 $F^{(g)}$，其独立于生成它的模型。
• 证明这些不变量可重现各种矩阵模型的拓扑展开，包括含外场和双缩放模型的矩阵模型。
• 从曲线的几何结构构造一个形式 $\tau$-函数，满足霍伊拉方程并表现出可积结构。
• 通过不变量的辛不变性，证明康特舍维奇积分仅依赖于奇数时间变量，并为 KdV $\tau$-函数。

提出的方法

• 通过贝格曼核与基本形式，利用代数曲线上亚纯微分的留数定义自由能 $F^{(g)}$。
• 通过环路插入算子与曲线上围线积分，递归构造相关函数 $W_{g,n}$。
• 利用雅可比双线性恒等式与罗赫变分公式，推导模空间与 $\tau$-函数变化下的变换规律。
• 应用拓扑递归形式化方法，从矩阵模型的经典谱曲线计算 $F^{(g)}$ 与 $W_{g,n}$。
• 证明 $F^{(0)}$ 与 $F^{(1)}$ 的辛不变性，以确保在曲线形变下具有普遍性。
• 验证所得级数满足霍伊拉双线性方程，从而确认其可积性与 $\tau$-函数结构。

实验结果

研究问题

• RQ1 能否为任意代数曲线定义一组与生成其来源的矩阵模型无关的通用不变量？
• RQ2 这些不变量是否能重现康特舍维奇积分及其他矩阵模型的拓扑展开？
• RQ3 所得生成级数是否为满足霍伊拉方程的 $\tau$-函数？
• RQ4 这些不变量在模群与曲线模空间变化下如何变换？
• RQ5 能否证明 $F^{(0)}$ 与 $F^{(1)}$ 的辛不变性，以确保其普遍性？

主要发现

• 不变量 $F^{(g)}$ 通过代数曲线上亚纯微分的留数定义，满足通用变换规律。
• 含外场矩阵模型的拓扑展开与谱曲线导出的不变量一致，证实了普遍性。
• 康特舍维奇积分仅依赖于奇数时间变量，且为 KdV $\tau$-函数，其证明基于 $F^{(0)}$ 与 $F^{(1)}$ 的辛不变性。
• 自由能 $F^{(0)}$ 在同调周期的辛变换下保持不变，这是保证普遍性的关键性质。
• 完整级数 $F = ∑_g N^{-2g} F^{(g)}$ 满足霍伊拉双线性方程，确认了其可积结构。
• 相关函数 $W_{g,n}$ 通过环路插入递归计算，其结果与矩阵模型中的已知结果一致，包括两矩阵模型与外场模型。