[论文解读] Two Proofs of a Conjecture of Hori and Vafa

Aaron Bertram, Ionuţ Ciocan-Fontanine+1 more|ArXiv.org|Apr 25, 2003

Algebraic Geometry and Number Theory参考文献 18被引用 7

一句话总结

本文提供了Hori-Vafa猜想的两个证明，确立了格拉斯曼流形$G(r,n)$的$J$-函数可通过对乘积$\mathbb{P}^{n-1}$的$J$-函数施加一个Vandermonde微分算子，再进行对称化而得到。第一个证明利用Euler序列避免了等变上同调中的技术复杂性，第二个证明通过量子上同调解释该猜想，从而证明了Givental的$R$-猜想和格拉斯曼流形的Virasoro猜想，并通过Bailey引理确认了一个组合恒等式。

ABSTRACT

We give two proofs of a conjecture of Hori and Vafa which expresses the J-function (i.e, the generating function for 1-point descendant Gromov-Witten invariants) of a Grassmannian in terms of the J-function of a product of projective spaces. Similar relations are obtained for two-point descendants, and three-point (primary) Gromov-Witten invariants. As an application we prove Givental's "R-Conjecture" - hence the Virasoro conjecture - for Grassmannians.

研究动机与目标

• 证明Hori-Vafa猜想，该猜想将格拉斯曼流形$G(r,n)$的$J$-函数与作用于乘积$\mathbb{P}^{n-1}$的$J$-函数的微分算子联系起来。
• 建立$J$-函数的函子性质，该性质可推广至更广泛的几何不变性理论商空间，特别是格拉斯曼流形。
• 利用Hori-Vafa公式证明Givental的$R$-猜想和格拉斯曼流形的Virasoro猜想。
• 验证$G(2,n)$中$J$-函数常数项的特定组合恒等式，使其与[BCKS1]中的一个猜想相联系。

提出的方法

• 第一个证明使用Euler序列推导$G(r,n)$的$J$-函数，不依赖于等变上同调环，从而避免了先前方法中的技术困难。
• 第二个证明将Hori-Vafa猜想解释为量子上同调条件，将其与平坦联络及$\hbar$-形变联络$\nabla_\hbar = d + \frac{1}{\hbar}*$联系起来。
• $J$-函数被构造为Gromov-Witten不变量与重力后代的生成函数，使用Givental理论中的基本解矩阵。
• 该猜想被简化为在$r=2$情形下验证一个高度非平凡的组合恒等式，该恒等式通过在$q \to 1$极限下迭代Bailey引理得以证明。
• 关键步骤涉及取Andrews著作中一个$q$-超几何恒等式在$q \to 1$极限下的形式，从而将嵌套分拆的和表示为单重和的形式。
• 该恒等式的证明依赖于计算一个超几何型函数在极点处的导数，从而得到所需的调和数$\gamma(m)$结构。

实验结果

研究问题

• RQ1 能否使用量子上同调方法严格证明格拉斯曼流形$J$-函数的Hori-Vafa猜想？
• RQ2 $G(r,n)$的$J$-函数是否如猜想所述，由作用于$\prod \mathbb{P}^{n-1}$的$J$-函数的微分算子生成？
• RQ3 Hori-Vafa公式能否用于证明格拉斯曼流形的Givental $R$-猜想和Virasoro猜想？
• RQ4 $G(2,n)$中$J$-函数的常数项是否等于[BCKS1]中猜想5.2.3的组合和？
• RQ5 $G(2,n)$中将嵌套和转化为单重和的组合恒等式能否被严格确立？

主要发现

• Hori-Vafa猜想以两种不同方式得到证明：一种使用Euler序列，另一种通过$J$-函数的量子上同调解释。
• $G(r,n)$的$J$-函数被证明为$J^\mathbf{G} = e^{-\sigma_1(r-1)\pi i / \hbar} \frac{\mathcal{D}_\Delta(J^\mathbf{P})}{\Delta}\big|_{t_i = t + (r-1)\pi i}$，确认了量子上同调中深层的对称性。
• 该猜想蕴含Givental的$R$-猜想，因此也蕴含格拉斯曼流形的Virasoro猜想，建立了量子不变量与表示理论之间的强联系。
• 对于$G(2,n)$，通过$q \to 1$极限下的Bailey引理，证明了$J$-函数的常数项等于[BCKS1]中的和。
• 关键恒等式的验证依赖于计算一个超几何函数在极点处的导数，从而得到包含调和数$\gamma(m)$的和。
• 该恒等式的证明利用了$m \to d-m$下的对称性，使得各项得以合并，并分离出所需的调和和结构。