[论文解读] Permutation-equivariant quantum K-theory IX. Quantum Hirzebruch-Riemann-Roch in all genera

Alexander Givental|arXiv (Cornell University)|Sep 10, 2017

Advanced Algebra and Geometry参考文献 9被引用 7

一句话总结

本文通过在稳定映射模空间上使用虚拟Kawasaki-黎曼-罗赫公式，建立了佩尔穆塔tion等变量子K-理论中阿代尔特征刻画的高亏格推广，利用辛形式化方法将K-理论Gromov-Witten不变量的总 descendant 生成函数表示为上同调不变量。该构造在Fock空间中定义了一个量子态，其阿代尔结构通过单位根处的留数条件编码了K-理论不变量，从而将亏格零的结果推广至所有亏格。

ABSTRACT

We introduce the most general to date version of the permutation-equivariant quantum K-theory, and express its total descendant potential in terms of cohomological Gromov-Witten invariants. This is the higher-genus analogue of adelic characterization from the paper [7] by Givental-Tonita, and is based on the application of Kawasaki's Riemann-Roch formula to moduli spaces of stable maps.

研究动机与目标

• 将置换等变量子K-理论中亏格零的阿代尔特征刻画推广至所有亏格。
• 将K-理论Gromov-Witten不变量的总descendant生成函数表示为上同调不变量。
• 通过单位根处的留数条件，建立一个连接K-理论与上同调不变量的量子力学辛形式化框架。
• 通过稳定映射模空间上的虚拟Kawasaki-黎曼-罗赫公式，提供一个统一框架以计算高亏格K-理论不变量。

提出的方法

• 构造一个由$K^0(X) \otimes \Lambda$-值洛朗级数在$q$中构成的序列的辛空间$\mathcal{K}^\infty$，并将其极化为正负部分。
• 在$\mathcal{K}^\infty$上赋予一个取值于$\Lambda$的辛形式$\Omega^\infty$，其涉及在$q=0$、$q=\infty$以及单位根处的留数。
• 将总descendant生成函数$\mathcal{D}_X$定义为$\mathcal{K}^\infty$上Fock空间中的一个量子态，且在$\mathcal{K}^\infty_-$上为常数。
• 引入一个从负部分到正部分的阿代尔映射，通过在$q=1$处由留数定义的双微分算子$\nabla_\eta^\zeta$实现，编码了K-理论与上同调不变量之间的联系。
• 利用虚拟Kawasaki-黎曼-罗赫公式，将模空间$X_{g,n,d}$上向量丛的层上同调与K-理论欧拉示性数联系起来。
• 证明阿代尔映射的图像与统一极化下的负部分重合，从而通过基于留数的量子态重构方法证明主定理。

实验结果

研究问题

• RQ1 如何将置换等变量子K-理论中亏格零的阿代尔特征刻画推广至所有亏格？
• RQ2 高亏格量子K-理论中总descendant生成函数背后的辛空间与Fock空间结构是什么？
• RQ3 上同调Gromov-Witten不变量如何通过单位根处的留数条件编码K-理论不变量？
• RQ4 虚拟Kawasaki-黎曼-罗赫公式在模空间上同调与K-理论不变量之间起到何种作用？
• RQ5 Fock空间中的量子态如何通过所有单位根处的阿代尔条件来表征？

主要发现

• 置换等变量子K-理论的总descendant生成函数$\mathcal{D}_X$完全由其阿代尔结构决定：一个有理函数属于拉格朗日子流形当且仅当其在每个单位根$q=\zeta$处的洛朗展开满足一个上同调条件。
• Fock空间中的量子态$\langle \mathcal{D}_X \rangle$满足其在阿代尔映射下的像位于双微分算子$\nabla_\eta^\zeta$的图像中，而该算子通过$q=1$处的留数公式定义。
• 对每个$r \geq 1$，块$\mathcal{K}^{(r)}$通过$\Psi^r$映射到$\underline{\mathcal{K}}^{(r)}$，且由此产生的辛形式$\underline{\Omega}^{(r)}$与$\Omega^\infty$的限制一致，确保了各亏格间的自洽性。
• 阿代尔映射$\oplus_{\eta \neq \zeta^{-1}} \nabla_\eta^\zeta$从$\mathcal{K}_-^{(\zeta^{-1})}$到$\underline{\mathcal{K}}_+^{(\eta)}$的图像与$\underline{\mathcal{K}}^{(r)}$上统一极化的负部分重合，从而证明了主定理。
• 该构造将量子态实现为一组留数条件的解，且给出了基元素$\phi_\alpha q^{k/n}/(1-q^{1/n})^{k+1}$在$\nabla_\eta^\zeta$下的像的显式公式：$\phi_\alpha (\eta^{-1}\zeta^{-1}q^{1/m})^k / (1 - \eta^{-1}\zeta^{-1}q^{1/m})^{k+1}$，展开为$q^{1/m}-1$的幂级数。