[论文解读] From matrix models' topological expansion to topological string theories: counting surfaces with algebraic geometry

Nicolas Orantin|ArXiv.org|Sep 19, 2007

Topological and Geometric Data Analysis被引用 9

一句话总结

本论文通过代数几何方法，严格建立了矩阵模型与拓扑弦理论之间的联系，将可观测量的拓扑展开计算为谱曲线上的微分形式。该研究将这些不变量推广至任意代数曲线，证明当曲线为谱曲线时，其可恢复矩阵模型的振幅，并展示了模不变性及满足全纯异常方程的性质，为Dijkgraaf-Vafa猜想提供了强有力证据。

ABSTRACT

The 2-matrix model has been introduced to study Ising model on random surfaces. Since then, the link between matrix models and combinatorics of discrete surfaces has strongly tightened. This manuscript aims to investigate these deep links and extend them beyond the matrix models, following my work's evolution. First, I take care to define properly the hermitian 2 matrix model which gives rise to generating functions of discrete surfaces equipped with a spin structure. Then, I show how to compute all the terms in the topological expansion of any observable by using algebraic geometry tools. They are obtained as differential forms on an algebraic curve associated to the model: the spectral curve. In a second part, I show how to define such differentials on any algebraic curve even if it does not come from a matrix model. I then study their numerous symmetry properties under deformations of the algebraic curve. In particular, I show that these objects coincide with the topological expansion of the observable of a matrix model if the algebraic curve is the spectral curve of this model. Finally, I show that fine tuning the parameters ensure that these objects can be promoted to modular invariants and satisfy the holomorphic anomaly equation of the Kodaira-Spencer theory. This gives a new hint that the Dijkgraaf-Vafa conjecture is correct.

研究动机与目标

• 严格定义赫米特两矩阵模型，并通过生成函数推导其在具有自旋结构的离散曲面上的生成函数。
• 利用代数几取证工具，在关联的谱曲线上计算可观测量拓扑展开的所有项。
• 将微分形式的构造从矩阵模型推广至具有形变不变性的任意代数曲线。
• 证明当曲线为矩阵模型的谱曲线时，这些广义不变量可精确重现矩阵模型可观测量的拓扑展开。
• 确定使不变量成为模不变量并满足Kodaira-Spencer理论全纯异常方程的条件，从而支持Dijkgraaf-Vafa猜想。

提出的方法

• 通过生成函数定义形式赫米特两矩阵模型，以生成具有自旋结构的离散曲面。
• 利用代数几何在模型的谱曲线上构造微分形式，以编码拓扑展开的所有项。
• 通过定义在曲线形变下不变的不变量，将构造推广至任意代数曲线。
• 证明当曲线为矩阵模型的谱曲线时，广义不变量与模型的拓扑振幅完全一致。
• 微调参数以实现模不变性，并验证不变量满足Kodaira-Spencer理论的全纯异常方程。
• 利用可积系统、模空间和拓扑弦理论中的已知结果，验证该构造的一致性。

实验结果

研究问题

• RQ1 如何通过代数几何系统地计算两矩阵模型中可观测量的拓扑展开？
• RQ2 谱曲线上微分形式的构造能否推广至任意代数曲线，同时保持关键的不变性性质？
• RQ3 在何种条件下，这些广义不变量可恢复矩阵模型的拓扑振幅？
• RQ4 能否使这些不变量成为模不变量，且是否满足Kodaira-Spencer理论的全纯异常方程？
• RQ5 该构造是否为拓扑弦理论中Dijkgraaf-Vafa猜想提供了证据？

主要发现

• 两矩阵模型中可观测量的拓扑展开被其谱曲线上微分形式完全捕捉，且通过代数几何方法计算得出。
• 该构造可推广至任意代数曲线，所得不变量在曲线形变下保持不变。
• 当代数曲线为矩阵模型的谱曲线时，广义不变量可精确重现模型的拓扑振幅。
• 通过微调参数，可将不变量提升为模不变量，并满足Kodaira-Spencer理论的全纯异常方程。
• 结果为Dijkgraaf-Vafa猜想在拓扑弦理论背景下的正确性提供了新的强有力支持。
• 该框架统一了离散曲面的组合计数与弦理论及可积系统中的深层几何与物理结构。