[论文解读] Generating functions for intersection numbers on moduli spaces of curves

Andreĭ Okounkov|ArXiv.org|Jan 24, 2001

Random Matrices and Applications参考文献 17被引用 15

一句话总结

本论文通过GUE矩阵模型边缘缩放的联系，建立了在曲线模空间上交集理论中$n$-点函数的闭式积分表示。通过高阶Fay恒等式推导出威滕的KdV方程，表明$n$-点函数在盖尔范德-卡普兰诺夫-泽列维奇意义下为多变量误差函数与超几何函数。

ABSTRACT

Using the connection between intersection theory on the Deligne-Mumford spaces and the edge scaling of the GUE matrix model (see math.CO/9903176, math.AG/0101147), we express the n-point functions for the intersection numbers as n-dimensional error-function-type integrals and also give a derivation of Witten's KdV equations using the higher Fay identities of Adler, Shiota, and van Moerbeke.

研究动机与目标

• 使用随机矩阵理论推导$\pi_{g,n}$上交集理论中$n$-点函数的闭式表达式。
• 通过GUE系综的边缘缩放，将矩阵模型平均的渐近行为与交集数联系起来。
• 利用阿德勒、 Shiota与范·莫尔贝克的Fay恒等式，提供威滕KdV方程的替代推导。
• 将$n$-点函数表示为多变量误差函数型积分，从而与超几何函数建立联系。

提出的方法

• 利用GUE矩阵模型的边缘缩放极限，将$n$-点函数与迹的渐近行为$\langle \prod \operatorname{tr} H^{2[x_k N^{2/3}]} \rangle_N$在$N \to \infty$时的性质联系起来。
• 应用Wick公式，将矩阵模型平均转化为大周长曲面上的组合地图计数。
• 将$n$-点函数$\mathcal{F}(x_1,\dots,x_n)$表示为包含误差函数与指数项的$n$维积分。
• 引入关键函数$\mathcal{E}(x_1,\dots,x_n)$，即在$s_i \geq 0$上的多变量积分，其指数部分包含二次与一次项。
• 利用阿德勒、Shiota与van Moerbeke的高阶Fay恒等式，从矩阵模型结构推导出KdV层次方程。
• 对$\tau$-函数展开式应用微分算子$\nabla_i$与$\boldsymbol{\delta}_i$，以提取渐近贡献并分离出连通部分。

实验结果

研究问题

• RQ1 能否通过随机矩阵理论，以闭式表达$\overline{\mathcal{M}}_{g,n}$上交集数的$n$-点函数？
• RQ2 GUE矩阵模型的边缘缩放极限如何编码大周长曲面上地图计数的渐近行为？
• RQ3 能否通过Fay恒等式，从矩阵模型框架中推导出威滕关于生成函数$\mathbf{F}$的KdV方程？
• RQ4 该$n$-点函数作为多变量特殊函数的精确结构是什么？它与超几何函数有何关联？
• RQ5 该$\tau$-函数及其缩放在连接矩阵模型渐近行为与交集数中起什么作用？

主要发现

• 该$n$-点函数$\mathcal{F}(x_1,\dots,x_n)$由一个闭式$n$维误差函数型积分给出，其显式表达通过$\mathcal{E}(x_1,\dots,x_n)$实现。
• $n$-点函数在盖尔范德、卡普兰诺夫与泽列维奇的意义下为多变量超几何函数，其源于与矩阵模型的联系。
• 通过高阶Fay恒等式，从矩阵模型中推导出KdV方程，为康特舍维奇结果提供了替代证明。
• 矩阵模型行列式$\det[\mathsf{K}(-x_i, -x_j)]$的渐近展开产生一个$\tau$-函数展开，其系数$\tau_\mu$对应于奇数部分的分拆。
• 缩放关系$\widetilde{\tau}_\mu = (-i)^{|\mu|} 2^{|μ|/3} \tau_\mu$将矩阵模型结果与KdV层次的标准$\tau$-函数联系起来。
• 在渐近展开中，$x_i = x_j$处的极点项或$x_i$的负次幂项被证明可忽略，从而确认连通部分占主导地位。