[论文解读] Schur Q-Polynomials and Kontsevich-Witten Tau Function

Xiaobo Liu, Chenglang Yang|arXiv (Cornell University)|Mar 26, 2021

Advanced Combinatorial Mathematics参考文献 26被引用 6

一句话总结

本文提供了Mironov-Morozov公式的一个直接、无需矩阵模型的证明，该公式将Kontsevich-Witten tau函数表示为Schur Q多项式的线性组合，并证明其满足Virasoro约束。作者证明该展开式等价于Kontsevich-Witten tau函数，从而确认了Mironov-Morozov的猜想，并进一步证明在缩放后，该tau函数是BKP层级的超几何tau函数。

ABSTRACT

Using matrix model, Mironov and Morozov recently gave a formula which represents Kontsevich-Witten tau-function as a linear expansion of Schur Q-polynomials. In this paper, we will show directly that the Q-polynomial expansion in this formula satisfies the Virasoro constraints, and consequently obtain a proof of this formula without using matrix model. We also give a proof for Alexandrov's conjecture that Kontsevich-Witten tau-function is a hypergeometric tau-function of the BKP hierarchy after re-scaling.

研究动机与目标

• 提供Mironov-Morozov公式关于Kontsevich-Witten tau函数的直接证明，无需依赖矩阵模型。
• 验证所提出的Q多项式展开式满足Virasoro约束，从而确认其与Kontsevich-Witten tau函数的等价性。
• 证明Alexandrov猜想：Kontsevich-Witten tau函数在缩放后是BKP层级的超几何tau函数。
• 推导出现在展开系数中的常数 $ Q_{\nu}(\delta_{k,3}/3) $ 的显式组合恒等式。

提出的方法

• 使用在奇数变量 $ t_{2m+1} $ 上定义的Virasoro算子 $ L_m $，包含特定的微分项与乘法项。
• 通过Schur Q多项式性质，直接验证所提出的函数 $ \tau_{MM} $ 满足对所有 $ m \geq -1 $ 有 $ L_m \tau_{MM} = 0 $。
• 推导Q多项式的乘法公式（引理2.2）以及对偶Virasoro算子在Q多项式上的作用公式（命题4.4）。
• 通过定理3.1显式计算常数 $ Q_{\lambda}(\delta_{k,3}/3) $，为展开系数提供闭式表达。
• 利用涉及排列与对分拆的带符号和的组合恒等式，验证Virasoro约束（引理5.16–5.17）。
• 应用反对称性与递归约化技术，证明含零部分的Q多项式恒等式（附录A）。

实验结果

研究问题

• RQ1 Mironov-Morozov公式中，以Schur Q多项式线性组合表示的Kontsevich-Witten tau函数是否满足Virasoro约束？
• RQ2 能否在不使用矩阵模型的情况下，建立Mironov-Morozov公式与Kontsevich-Witten tau函数之间的等价性？
• RQ3 Kontsevich-Witten tau函数在缩放后是否为BKP层级的超几何tau函数，如Alexandrov所猜想？
• RQ4 Q多项式展开中系数 $ Q_{\lambda}(\delta_{k,3}/3) $ 的显式组合恒等式是什么？
• RQ5 哪些Schur Q多项式的结构性质是确保Virasoro约束成立的必要且充分条件？

主要发现

• 通过Q多项式性质直接证明，由Mironov-Morozov公式定义的函数 $ \tau_{MM} $ 满足所有 $ m \geq -1 $ 的Virasoro约束 $ L_m \tau_{MM} = 0 $。
• Mironov-Morozov公式被确认为正确：$ \tau_{KW}(\mathbf{t}) = \tau_{MM}(\mathbf{t}) $，在不依赖矩阵模型的前提下确立了该猜想。
• 在定理3.1中推导出 $ Q_{\lambda}(\delta_{k,3}/3) $ 的显式闭式表达，从而可完全计算展开系数。
• 常数 $ Q_{\lambda}(\delta_{k,3}/3) $ 满足非平凡的组合恒等式，这些恒等式在第5节中被证明，且对验证Virasoro约束至关重要。
• Kontsevich-Witten tau函数在缩放后被证实为BKP层级的超几何tau函数，从而验证了Alexandrov的猜想。
• 该证明表明，Q多项式展开不仅比普通Schur函数展开更简单，而且与BKP层级的结构具有内在关联。